7262 search results - page 478 / 1453 » Reversible Computer Hardware |
111
click to vote
ICECCS
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the µcalculus ...
134
click to vote
WACV
2007
IEEE
15 years 11 months ago
2007
IEEE
We address the limited automatic scanning functionality of standard PTZ camera systems. We present an adaptive, scene-specific model using standard PTZ camera hardware. The adapt...
110
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
Recently, the interest about the Tate pairing over binary fields has decreased due to the existence of efficient attacks to the discrete logarithm problem in the subgroups of su...
133
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract - A cell delay model based on rate-of-currentchange is presented, which accounts for the impact of the shape of the noisy waveform on the output voltage waveform. More pre...
112
click to vote
ASYNC
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper addresses the issue of Single-Event Upset (SEU) in quasi delay-insensitive (QDI) asynchronous circuits. We show that an SEU can cause abnormal computations in QDI circu...