2634 search results - page 21 / 527 » Faster Than Uppaal |
ICCD
2003
IEEE
14 years 4 months ago
2003
IEEE
This paper introduces a new method for two-level logic minimization. Unlike previous approaches, the new method uses a SAT solver as an underlying engine. While the overall minimi...
CHES
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. A digit-serial, multiplier-accumulator based cryptographic coprocessor architecture is proposed, similar to fix-point DSP's with enhancements, supporting long modula...
ARC
2008
Springer
13 years 9 months ago
2008
Springer
We present an improved method for scheduling speculative data paths which relies on cancel tokens to undo computations in misspeculated paths. Performancewise, this method is consi...
ASIACRYPT
2001
Springer
14 years 12 hour ago
2001
Springer
This paper describes several speedups and simpliļ¬cations for XTR. The most important results are new XTR double and single exponentiation methods where the latter requires a chea...
ICIP
2002
IEEE
14 years 9 months ago
2002
IEEE
Transform approximations are explored for speeding up the software compression of images and video. Faster approximations are used to replace the regular DCT whenever only few DCT...