5054 search results - page 334 / 1011 » How designers design and program interactive behaviors |
189
click to vote
ML
1998
ACM
15 years 7 months ago
1998
ACM
This paper is a case study of a machine aided knowledge discovery process within the general area of drug design. More speci cally, the paper describes a sequence of experiments in...
192
Voted
HPCA
2009
IEEE
16 years 8 months ago
2009
IEEE
The Architectural Vulnerability Factor (AVF) of a hardware structure is the probability that a fault in the structure will affect the output of a program. AVF captures both microa...
197
Voted
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
Functional verification is widely acknowledged as a major bottleneck in microprocessor design. While early work on specification driven functional test program generation has prop...
212
click to vote
MEMOCODE
2010
IEEE
15 years 5 months ago
2010
IEEE
To overcome over-synchronization in synchronous programs, we recently introduced clock refinement to our synchronous programming language Quartz. This extension basically allows p...
184
click to vote
APSEC
1995
IEEE
15 years 11 months ago
1995
IEEE
Guaranteeiq reproducibility and minimizing probe effects are major issues in the parallel program debugging. This paper suggests a new debugging method, named Detect and Reproduce...