3146 search results - page 214 / 630 » The use of compiler optimizations for embedded systems softw... |
170
click to vote
CDC
2008
IEEE
16 years 29 days ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
161
click to vote
CSMR
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes a case study where SofTrack a Software Defect Report and Tracking System - was implemented using internet technology in a geographically distributed organizat...
196
click to vote
CSREAESA
2003
15 years 7 months ago
2003
The combined benefits of Open Services Gateway Initiative (OSGi) and Smart card technologies in embedded devices have made the two technologies suitable for developing middleware ...
167
click to vote
QOSA
2007
Springer
16 years 18 days ago
2007
Springer
Component-based development helps to improve the modularity and reusability of embedded systems. Component models devised for embedded systems are typically restricted due to the l...
135
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Dual-execution/checkpointing based transient error tolerance techniques have been widely used in the high-end mission critical systems. These techniques, however, are not very att...