Intel provides Hyper-Threading (HT) in processors based on its Pentium and Nehalem micro-architecture such as the Westmere-EP. HT enables two threads to execute on each core in order to hide latencies related to data access. These two threads can execute simultaneously, filling unused stages in the functional unit pipelines. To ...Download Now
In 2009 NASA began work on developing its own cloud computing initiative, Nebula, with the view to provide a cutting-edge, dynamically scalable computing platform capable of meeting Federal/Agency IT standards. Features of cloud computing, such as "Instant-on" IT infrastructure, automated provisioning capabilities, and quick scale-up services, are ideally suited for ...Download Now
NASA is supporting solar energy, energy-efficient building, and agriculture industries by developing contiguous environmental data sets spanning the time period from the early 1980's to near real-time via the Prediction of Worldwide Energy Resource (POWER) project. Through the POWER project, insolation on a horizontal surface produced at NASA Langley Research ...Download Now
This paper outlines some high level ideas for translating JAVA to the PHOMFLA, the "Programming Language" of the of the SPIN model checker. The purpose is to establish a framework for verification and debugging of JAVA programs based on model checking. This paper shall be seen in a broader attempt ...Download Now
Submit Your Content
Get your content listed in our directory for free!
Our directory is the largest library of vendor-supplied technical content on the web. It's also the first place IT decision makers turn to when researching technology solutions. Our members are already finding your competitors' papers here - shouldn't they find yours too?