7262 search results - page 499 / 1453 » Reversible Computer Hardware |
116
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—The adoption of AUTOSAR in the development of automotive electronics can increase the portability and reuse of functional components. Inside each component, the behavior is repr...
144
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
Control design and real-time implementation are usually performed in isolation. The effects of the computer implementation on control system performance are still evaluated on the...
122
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
Characterizing setup/hold times of latches and registers, a crucial component for achieving timing closure of large digital designs, typically occupies months of computation in in...
135
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper we introduce a new algorithm for model order reduction in the presence of parameter or process variation. Our analysis is performed using a graph interpretation of t...
138
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...