644 search results - page 103 / 129 » An Experimental Chip to Evaluate Test Techniques: Experiment... |
135
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
Within the verification community, there has been a recent increase in interest in Quantified Boolean Formula evaluation (QBF) as many interesting sequential circuit verification ...
128
click to vote
ICMCS
2006
IEEE
16 years 4 days ago
2006
IEEE
The fundamental assumption of 3D videos using depth-imagebased rendering is the full availability of range images at video rate. In this work we alleviate this hard demand and ass...
146
click to vote
NETWORKING
2007
15 years 7 months ago
2007
Abstract. The wide deployment of 802.11 WLANs has led to the coexistence of wired and wireless clients in a network environment. This paper presents a robust technique to detect 80...
153
click to vote
BNCOD
2003
15 years 7 months ago
2003
Evaluating a query can involve manipulation of large volumes of temporary data. When the volume of data becomes too great, activities such as joins and sorting must use disk, and ...
175
click to vote
ICCS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Phylogeny reconstruction from molecular data poses complex optimization problems: almost all optimization models are NP-hard and thus computationally intractable. Yet app...