12745 search results - page 2377 / 2549 » Automating test automation |
123
Voted
ICCAD
2006
IEEE
16 years 23 days ago
2006
IEEE
Although many recent advances have been made in hardware synthesis techniques from software programming languages such as C, the performance of synthesized hardware commonly suffe...
118
click to vote
ICCAD
2003
IEEE
16 years 23 days ago
2003
IEEE
— In this paper, we present a high-level power model to estimate the power consumption in semi-global and global interconnects. Such interconnects are used for communications bet...
166
click to vote
ICCAD
2002
IEEE
16 years 23 days ago
2002
IEEE
Optimized solvers for the Boolean Satisfiability (SAT) problem have many applications in areas such as hardware and software verification, FPGA routing, planning, etc. Further use...
140
click to vote
SOSP
2005
ACM
16 years 22 days ago
2005
ACM
We present a method for automatically extracting from a running system an indexable signature that distills the essential characteristic from a system state and that can be subjec...
162
click to vote
PLPV
2010
ACM
16 years 22 days ago
2010
ACM
Singleton types are often considered a poor man’s substitute for dependent types. But their generalization in the form of GADTs has found quite a following. The main advantage o...