3565 search results - page 554 / 713 » Modeling a system controller for timing analysis |
139
Voted
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
The development cost of low-power embedded systems can be significantly reduced by reusing legacy designs and applying proper modifications to meet the new power constraints. The ...
159
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
Rising interest in the applications of wireless sensor networks has spurred research in the development of computing systems for lowthroughput, energy-constrained applications. Un...
137
click to vote
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Uncertainty analysis through sensitivity studies and quantification of the variance of the reliability estimate has become more common in architecture-based software reliability ...
153
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
—The main goal of a streaming application is to enable the successful decoding of each video object before its displaying deadline is violated, and to recover from a deadline vio...
147
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...