Sciweavers

287 search results - page 4 / 58
» Grand challenges in embedded software
Sort
View
ASWSD
2004
Springer
15 years 3 months ago
Automotive Software: A Challenge and Opportunity for Model-Based Software Development
Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development proces...
Gabor Karsai
ICIP
2006
IEEE
15 years 11 months ago
Detection of Drivable Corridors for Off-Road Autonomous Navigation
This paper describes a hierarchical Bayesian network used for segmenting desert images and detecting off road drivable corridors for autonomous navigation. Unlike the embedded hid...
Ara V. Nefian, Gary R. Bradski
SEFM
2007
IEEE
15 years 3 months ago
Verifying the Mondex Case Study
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
Peter H. Schmitt, Isabel Tonin
JFR
2006
109views more  JFR 2006»
14 years 9 months ago
Alice: An information-rich autonomous vehicle for high-speed desert navigation
This paper describes the implementation and testing of Alice, the California Institute of Technology's entry in the 2005 DARPA Grand Challenge. Alice utilizes a highly networ...
Lars B. Cremean, Tully B. Foote, Jeremy H. Gillula...