1151 search results - page 140 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
131
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
Multi-million gate System-on-Chip (SoC) designs increasingly rely on Intellectual Property (IP) blocks. However, due to technology scaling the leakage power consumption of the IP ...
133
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
Today’s mobile communication systems use sophisticated signal processing to achieve high transmission rates. Therefore a high complexity in the digital system part as well as ve...
162
click to vote
DAGSTUHL
1997
15 years 5 months ago
1997
Interactive rendering of large data sets requires fast algorithms and rapid hardware acceleration. Both can be improved, but none of this ensures interactive response times. If a ...
148
click to vote
CAV
2010
Springer
15 years 2 months ago
2010
Springer
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
131
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
This paper presents a high-level component-based methodology and design environment for application-specific multicore SoC architectures. Component-based design provides primitive...