IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper) Guillaume Brat, Jorge A. Navas, Nija Shi, and Arnaud Venet NASA Ames Research Center, Moffett Field, CAAbstract. The RTCA standar

Source URL: jorgenavas.github.io

• Software engineering
• Computing
• Software
• Compilers
• Compiler construction
• Compiler optimizations
• Abstract interpretation
• LLVM
• Programming language implementation
• Intermediate representation
• Polyspace
• Static program analysis

Kepler Science Center NASA Ames Research Center Kepler Certified False Positive Table Delivery Log Date

Source URL: exoplanetarchive.ipac.caltech.edu

Assessment in Practice Ethical Reasoning: Assessing a Critical Thinking Skill Keston H. Fulcher, Ph.D., Center for Assessment and Research Studies, Department of Graduate Psychology; Allison J. Ames, Ph.D., Center for As

Source URL: learningoutcomesassessment.org

Assessment in Practice Ethical Reasoning: Assessing a Critical Thinking Skill Keston H. Fulcher, Ph.D., Center for Assessment and Research Studies, Department of Graduate Psychology; Allison J. Ames, Ph.D., Center for As

Source URL: www.learningoutcomeassessment.org

Using Symbolic (Java) PathFinder at NASA Corina S. P˘as˘areanu Carnegie Mellon University/NASA Ames Research Center, Moffett Field, CA 94035, USA,

Source URL: fm.csl.sri.com

NASA Ames Research Center CASA SilvaCarbon Newsletter and Science Report Issue: January, 2014 In this issue

Source URL: cquest.arc.nasa.gov

Garden­Based Learning at North  Elementary School­­What a Feast!  What a GIG!  Background and Purpose  Garden­Based Learning (GBL) at North Elementary School is entering its third full year

Source URL: phaven-prod.s3.amazonaws.com

• Panorama photography
• Ames Research Center
• Carnegie Mellon University
• Gigapan
• Next Generation Science Standards
• Concept
• Snapshot
• Philosophy
• Cognition
• Academia

National Aeronautics and Space Administration TECHNOLOGY INNOVATION MAGAZINE FOR BUSINESS & TECHNOLOGY

Source URL: www.nttc.edu

• Mountain View
• California
• Goddard Space Flight Center
• Greenbelt
• Maryland
• Spaceflight
• Ames Research Center
• NASA
• Space Foundation
• Science and technology in the United States
• NASA Research Park
• NASA spin-off technologies

Microsoft WordUpdated Research Roadmap Report

Source URL: www.coe-cst.org

• Spaceflight
• Outer space
• Commercial spaceflight
• Economy
• Office of Commercial Space Transportation
• Spaceport
• Federal Aviation Administration
• Human spaceflight
• Satellite
• Ames Research Center
• European Space Agency
• International Space Station

BIO for BARRY T. SULLIVAN Barry Sullivan is currently the Technical Integration Manager for the Airspace Operations and Safety Program (AOSP) Office. In this role, he is primarily responsible for assuring that the uniqu

Source URL: www.aiaa-aviation.org

• Mountain View
• California
• Ames Research Center
• University of California
• Santa Cruz
• NASA
• NASA people
• California
• United States
• International Space Orchestra
• NASA Social