338 search results - page 24 / 68 » Automated Design and Programming of a Microfluidic DNA Compu... |
DAC
2002
ACM
15 years 10 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
15 years 10 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...
91
Voted
PLDI
2004
ACM
15 years 3 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 ...
63
Voted
ATAL
2008
Springer
14 years 11 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 ...
IPPS
2007
IEEE
15 years 3 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...