894 search results - page 98 / 179 » Optimizations for LTL Synthesis |
102
Voted
ASAP
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper, we analyze the theoretical delay bound of the SHA-1 algorithm and propose architectures to achieve high throughput hardware implementations which approach this boun...
88
Voted
LICS
2006
IEEE
15 years 6 months ago
2006
IEEE
Automata on infinite objects are extensively used in system specification, verification, and synthesis. While some applications of the automata-theoretic approach have been wel...
134
Voted
CVPR
2008
IEEE
16 years 2 months ago
2008
IEEE
Automatic non-rigid registration of 3D time-varying data is fundamental in many vision and graphics applications such as facial expression analysis, synthesis, and recognition. De...
106
click to vote
CODES
2007
IEEE
15 years 7 months ago
2007
IEEE
We present a dynamic optimization technique, thread warping, that uses a single processor on a multiprocessor system to dynamically synthesize threads into custom accelerator circ...
116
Voted
CODES
2007
IEEE
15 years 7 months ago
2007
IEEE
Heterogeneous multiprocessors are emerging as the dominant implementation approach to embedded multiprocessor systems. In addition to having processing elements suited to the targ...