Sciweavers

3522 search results - page 31 / 705
» Incremental physical design
Sort
View
ASPDAC
2010
ACM
105views Hardware» more  ASPDAC 2010»
15 years 4 months ago
Physical design techniques for optimizing RTA-induced variations
Yaoguang Wei, Jiang Hu, Frank Liu, Sachin S. Sapat...
CASES
2006
ACM
15 years 10 months ago
Incremental elaboration for run-time reconfigurable hardware designs
We present a new technique for compiling run-time reconfigurable hardware designs. Run-time reconfigurable embedded systems can deliver promising benefits over implementations in ...
Arran Derbyshire, Tobias Becker, Wayne Luk
TIP
2010
119views more  TIP 2010»
15 years 26 days ago
Software Designs of Image Processing Tasks With Incremental Refinement of Computation
Software realizations of computationally-demanding image processing tasks (e.g. image transforms and convolution) do not currently provide graceful degradation when their clock-cy...
Davide Anastasia, Yiannis Andreopoulos
ICCAD
1994
IEEE
65views Hardware» more  ICCAD 1994»
15 years 10 months ago
Incremental formal design verification
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...
Gitanjali Swamy, Robert K. Brayton
COMPSAC
2002
IEEE
15 years 11 months ago
Formalizing Incremental Design in Real-time Area: SCTL/MUS-T
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in...
Ana Fernández Vilas, José J. Pazos A...