3799 search results - page 649 / 760 » An Engineering Approach to Formal Methods |
146
click to vote
IROS
2007
IEEE
15 years 11 months ago
2007
IEEE
— The success of NASA’s Mars Exploration Rovers has demonstrated the important benefits that mobility adds to planetary exploration. Very soon, mission requirements will impos...
150
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
Reliability in embedded processors can be improved by control flow checking and such checking can be conducted using software or hardware. Proposed software-only approaches suffe...
135
click to vote
ML
2006
ACM
15 years 10 months ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
146
click to vote
SIGCSE
2005
ACM
15 years 10 months ago
2005
ACM
Courses in Relational Databases largely use a domain-specific design approach different from that used in the rest of the curriculum. Use of the Unified Process, UML, and Design P...
151
Voted
CODES
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper, we are concerned about the performance estimation of bus-based architectures assuming that the task partitioning on the processing components is already determined....