NASA Ames Research Center Home

Displaying 1-4 of 4 results

  • White Papers // Feb 2012

    The Impact of Hyper-Threading on Processor Resource Utilization in Production Applications

    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...

    Provided By NASA Ames Research Center Home

  • White Papers // Aug 2011

    NASA Nebula in Action: Cloud Computing Case Examples

    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...

    Provided By NASA Ames Research Center Home

  • White Papers // May 2010

    Near Realtime Global Radiation and Meteorology Web Services Available From NASA

    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...

    Provided By NASA Ames Research Center Home

  • White Papers // Jan 2010

    Java PathFinder a Translator From Java to Promela

    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...

    Provided By NASA Ames Research Center Home

  • White Papers // Feb 2012

    The Impact of Hyper-Threading on Processor Resource Utilization in Production Applications

    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...

    Provided By NASA Ames Research Center Home

  • White Papers // Aug 2011

    NASA Nebula in Action: Cloud Computing Case Examples

    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...

    Provided By NASA Ames Research Center Home

  • White Papers // Jan 2010

    Java PathFinder a Translator From Java to Promela

    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...

    Provided By NASA Ames Research Center Home

  • White Papers // May 2010

    Near Realtime Global Radiation and Meteorology Web Services Available From NASA

    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...

    Provided By NASA Ames Research Center Home