338 search results - page 24 / 68 » Automated Design and Programming of a Microfluidic DNA Compu... |
115
click to vote
DAC
2002
ACM
16 years 2 months ago
2002
ACM
With energy consumption becoming one of the first-class optimization parameters in computer system design, compilation techniques that consider performance and energy simultaneous...
DAC
2005
ACM
16 years 2 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
131
click to vote
PLDI
2004
ACM
15 years 7 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
We demonstrate two game theory-based programs for headsup limit and no-limit Texas Hold'em poker. The first player, GS3, is designed for playing limit Texas Hold'em, in ...
92
Voted
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
We are designing dynamic analysis techniques to identify executed program statements where a fault lies, i.e. the fault candidate set. To narrow the set of statements in the fault...