Search
 
   

32 results for "domain:nasa.gov"

  1. 7
    Cleanroom Software Engineering Case Study at NASA: Early Analysis (1990) ☶ pdf historical practices programming ntrs.nasa.gov
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | 1 comment
  2. 3
    A Survey of Parallel Programming Languages and Tools (1993) ☶ pdf distributed historical performance programming nas.nasa.gov
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | 1 comment
  3. 2
    Testing First-Order Logic Axioms in Program Verification (2011) ☶ pdf c formalmethods testing ti.arc.nasa.gov
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  4. 3
    Computers in the Space Shuttle Avionics System historical practices programming science history.nasa.gov
    calvin avatar via calvin 7 months ago | cached | no comments
  5. 14
    Personal observations on the reliability of the Shuttle debugging hardware historical science.ksc.nasa.gov
    friendlysock avatar via friendlysock 11 months ago | cached | 2 comments
  6. 1
    Asteroid Flyby Will Benefit NASA Detection and Tracking Network science nasa.gov
    stsp avatar via stsp 1 year ago | cached | no comments
  7. 11
    Real System Failures (2012) ☶ hardware c3.nasa.gov
    kyle avatar via kyle 1 year ago | cached | 1 comment
  8. 14
    Saturn V Flight Manual pdf hardware historical history.nasa.gov
    jpm1 avatar via jpm1 1 year ago | cached | no comments
  9. 8
    Java Pathfinder - NASA's Model-Checker for Java formalmethods java programming babelfish.arc.nasa.gov
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  10. 1
    NASA Issues a Challenge to Speed Up Its Supercomputer Code fortran nasa.gov
    alynpost avatar via alynpost 1 year ago | cached | 1 comment
  11. 4
    NASA's MAVEN Reveals Most of Mars' Atmosphere Was Lost to Space science nasa.gov
    stsp avatar via stsp 1 year ago | cached | no comments
  12. 4
    NASA@SC16: Building Cost-Effective 100-Gbps Firewalls for HPC devops freebsd linux security nas.nasa.gov
    reezer avatar via reezer 1 year ago | cached | no comments
  13. 8
    Survey of Formal Methods for Intelligent Swarms (2004) pdf compsci distributed math ntrs.nasa.gov
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  14. 43
    Margaret Hamilton Awarded Presidential Medal of Freedom person practices science nasa.gov
    calvin avatar via calvin 1 year ago | cached | 3 comments
  15. 6
    NASA's Juno Spacecraft in Orbit Around Mighty Jupiter science nasa.gov
    apy avatar via apy 2 years ago | cached | no comments
  16. 13
    Coal and Gas are Far More Harmful than Nuclear Power (2013) science giss.nasa.gov
    pushcx avatar via pushcx 2 years ago | cached | 7 comments
  17. 16
    NASA Open APIs release api.nasa.gov
    av avatar via av 2 years ago | cached | 1 comment
  18. 1
    NASA Mission Reveals Speed of Solar Wind Stripping Martian Atmosphere science nasa.gov
    pushcx avatar via pushcx 2 years ago | cached | no comments
  19. 9
    Delay Tolerant Networking ☶ pdf networking ntrs.nasa.gov
    kghose avatar via kghose 2 years ago | cached | 1 comment
  20. 5
    New Horizons Finds Blue Skies and Water Ice on Pluto ☶ science nasa.gov
    kghose avatar via kghose 2 years ago | cached | no comments
Page: 1 2