1304 search results - page 143 / 261 » Evaluating Hardware Compilation Techniques |
146
click to vote
CAV
2004
Springer
15 years 12 months ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
180
click to vote
CODES
2008
IEEE
16 years 28 days ago
2008
IEEE
Processor Idle Cycle Aggregation (PICA) is a promising approach for low power execution of processors, in which small memory stalls are aggregated to create a large one, and the p...
167
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
While circuit density and power efficiency increase with each major advance in IC technology, reliability with respect to soft errors tends to decrease. Current solutions to this...
176
click to vote
AHS
2007
IEEE
16 years 24 days ago
2007
IEEE
The field of Evolvable Hardware, applying artificial evolution to the design of digital and analogue hardware is around ten years old. However, the field is far from reaching m...
156
click to vote
GLVLSI
2006
IEEE
16 years 15 days ago
2006
IEEE
Most of the logic synthesis algorithms are not scalable for large networks and, for this reason, partitioning is often applied. However traditional mincut-based partitioning techn...