2960 search results - page 207 / 592 » A vision for embedded software |
140
click to vote
DAC
1998
ACM
16 years 5 months ago
1998
ACM
A number of techniques and software tools for embedded system design have been recently proposed. However, the current practice in the designer community is heavily based on manua...
146
click to vote
VLSID
2003
IEEE
16 years 4 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
135
click to vote
EDBT
2008
ACM
16 years 4 months ago
2008
ACM
Data management functionality is not only needed in large-scale server systems, but also in embedded systems. Resource restrictions and heterogeneity of hardware, however, complic...
148
click to vote
RTAS
2009
IEEE
15 years 11 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
152
click to vote
FGCN
2008
IEEE
15 years 10 months ago
2008
IEEE
Due to the impact of the rapid popularization of Internet and e-commerce, most organizations and enterprises take great effort to protect their information systems against malicio...