5159 search results - page 636 / 1032 » Structural Testing of Executables |
212
Voted
ISORC
2000
IEEE
15 years 12 months ago
2000
IEEE
This paper documents progress to date on a research project, the goal of which is wartime event prediction. The paper describes the operational concept, the datamining environment...
242
click to vote
DATE
1999
IEEE
15 years 12 months ago
1999
IEEE
Boolean Satisfiability is a ubiquitous modeling tool in Electronic Design Automation, It finds application in test pattern generation, delay-fault testing, combinational equivalen...
177
click to vote
ACMSE
2007
ACM
15 years 11 months ago
2007
ACM
Many strategies have been proposed to address the problems associated with managing increasingly complex computing systems. IBM's Autonomic Computing (AC) paradigm is one suc...
170
click to vote
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
- For sub-90nm technology nodes and below, random fluctuations of within-die physical process properties are also known as random on-chip variation (OCV). It impacts on the VLSI/So...
212
click to vote
3DPVT
2004
IEEE
15 years 11 months ago
2004
IEEE
In this work, we present an adaptive space carving method for scene reconstruction from a set of images obtained from low cost calibrated webcams. Our method uses a combination of...