127 search results - page 21 / 26 » Efficiently generating test vectors with state pruning |
FPGA
2008
ACM
13 years 9 months ago
2008
ACM
Pattern-based synthesis has drawn wide interest from researchers who tried to utilize the regularity in applications for design optimizations. In this paper we present a general p...
CONCURRENCY
2007
13 years 7 months ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
PAMI
2006
13 years 7 months ago
2006
Estimating human body poses in static images is important for many image understanding applications including semantic content extraction and image database query and retrieval. Th...
GECCO
2005
Springer
14 years 1 months ago
2005
Springer
We propose a tuning method for MEMS gyroscopes based on evolutionary computation to efficiently increase the sensitivity of MEMS gyroscopes through tuning and, furthermore, to fin...
ICCAD
2009
IEEE
13 years 5 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...