461 search results - page 29 / 93 » Diagnosis of Embedded Software Using Program Spectra |
SETP
2007
14 years 11 months ago
2007
Scientific equations embedded in computer programs must obey the rules for dimensional consistency. Many efforts have been made to enforce these rules within computer programs. So...
AOSD
2007
ACM
15 years 1 months ago
2007
ACM
Embedded systems are an important field of research and will gain momentum in the near future. Many of these systems require data management functionality. Due to the resource con...
EMSOFT
2006
Springer
14 years 11 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
SAC
2006
ACM
15 years 3 months ago
2006
ACM
Dynamic languages typically allow programs to be written y high level of abstraction. But their dynamic nature makes it very hard to compile such languages, meaning that a price h...
114
click to vote
ECRTS
2005
IEEE
15 years 3 months ago
2005
IEEE
The number of embedded computers used in modern cars have increased dramatically during the last years, as they provide increased functionality to a reduced cost compared to previ...