1368 search results - page 159 / 274 » The Implicit Pipeline Method |
113
click to vote
CAV
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formula describing the correctness condition ca...
105
Voted
BMCBI
2008
15 years 26 days ago
2008
Motivation: In the last years more than 20 vertebrate genomes have been sequenced, and the rate at which genomic DNA information becomes available is rapidly accelerating. Gene du...
107
click to vote
SAC
2008
ACM
15 years 7 days ago
2008
ACM
Software-based self-test (SBST) is emerging as a promising technology for enabling at-speed testing of high-speed embedded processors testing in an SoC system. For SBST, test rout...
107
click to vote
ICCS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. A framework for a fully implicit solution method is implemented into (1) the High Order Methods Modeling Environment (HOMME), which is a spectral element dynamical core o...
141
Voted
3DPVT
2004
IEEE
15 years 4 months ago
2004
IEEE
Looking around in our every day environment, many of the encountered objects are specular to some degree. Actively using this fact when reconstructing objects from image sequences...