616 search results - page 55 / 124 » Component-Based Design of Embedded Software: An Analysis of ... |
124
click to vote
CASES
2006
ACM
15 years 4 months ago
2006
ACM
Device scaling trends dramatically increase the susceptibility of microprocessors to soft errors. Further, mounting demand for embedded microprocessors in a wide array of safety c...
139
click to vote
LCTRTS
2007
Springer
15 years 6 months ago
2007
Springer
Industry’s demand for flexible embedded solutions providing high performance and short time-to-market has led to the development of configurable and extensible processors. The...
102
Voted
CC
2004
Springer
15 years 6 months ago
2004
Springer
An important issue in embedded systems design is the size of programs. As computing devices decrease in size, yet with more and more functions, better code size optimizations are i...
117
click to vote
CCS
2009
ACM
15 years 4 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
203
click to vote
ICDE
2002
IEEE
16 years 2 months ago
2002
IEEE
Broad web search engines as well as many more specialized search tools rely on web crawlers to acquire large collections of pages for indexing and analysis. Such a web crawler may...