729 search results - page 86 / 146 » And Or Hierarchies and Round Abstraction |
ICST
2009
IEEE
13 years 7 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
FSE
2011
Springer
13 years 1 months ago
2011
Springer
Abstract. Blue Midnight Wish (BMW) is one of the fastest SHA-3 candidates in the second round of the competition. In this paper we study the compression function of BMW and we obta...
VIS
2007
IEEE
14 years 11 months ago
2007
IEEE
Abstract-- We describe a system for interactively rendering isosurfaces of tetrahedral finite-element scalar fields using coherent ray tracing techniques on the CPU. By employing s...
ICPR
2002
IEEE
14 years 11 months ago
2002
IEEE
We present a novel technique for the recognition of complex human gestures for video annotation using accelerometers and the hidden Markov model. Our extension to the standard hid...
ISPASS
2010
IEEE
14 years 5 months ago
2010
IEEE
—Graphics processors (GPU) offer the promise of more than an order of magnitude speedup over conventional processors for certain non-graphics computations. Because the ften prese...