Login / Signup

Dependency on O.S. in long-term programs: experience report in space programs.

Patrick CormeryLe Vinh Quy RibalArnaud Stransky
Published in: ACM SIGOPS European Workshop (2002)
Keyphrases
  • long term
  • short term
  • automatic programming
  • data sets
  • search space
  • real time
  • social networks
  • search algorithm
  • higher education
  • computer programs
  • java programs
  • control structures
  • provably correct