3522 search results - page 31 / 705 » Incremental physical design |
ASPDAC
2010
ACM
14 years 7 months ago
2010
ACM
CASES
2006
ACM
15 years 1 months ago
2006
ACM
We present a new technique for compiling run-time reconfigurable hardware designs. Run-time reconfigurable embedded systems can deliver promising benefits over implementations in ...
TIP
2010
14 years 4 months ago
2010
Software realizations of computationally-demanding image processing tasks (e.g. image transforms and convolution) do not currently provide graceful degradation when their clock-cy...
ICCAD
1994
IEEE
15 years 1 months ago
1994
IEEE
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...
COMPSAC
2002
IEEE
15 years 2 months ago
2002
IEEE
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...