140 search results - page 24 / 28 » Contract driven development = test driven development - writ... |
SIGSOFT
2006
ACM
14 years 8 months ago
2006
ACM
Fixing runtime bugs in long running programs using trace based analyses such as dynamic slicing was believed to be prohibitively expensive. In this paper, we present a novel execu...
ICRA
2000
IEEE
14 years 10 hour ago
2000
IEEE
Autonomous planetary rovers operating in vast unknown environments must operate efficiently because of size, power and computing limitations. Recently, we have developed a rover c...
JMLR
2006
13 years 7 months ago
2006
We develop a new component analysis framework, the Noisy-Or Component Analyzer (NOCA), that targets high-dimensional binary data. NOCA is a probabilistic latent variable model tha...
IJACTAICIT
2010
13 years 4 months ago
2010
In this work, a Modified Vector Field Histogram (MVFH) has been developed to improve path planning and obstacle avoidance for a wheeled driven mobile robot. It permits the detecti...
EMSOFT
2011
Springer
12 years 7 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...