2745 search results - page 160 / 549 » A fast algorithm for computing large Fibonacci numbers |
138
click to vote
ASIACRYPT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Secure multi-party computation has been considered by the cryptographic community for a number of years. Until recently it has been a purely theoretical area, with few im...
132
click to vote
MICRO
2000
IEEE
15 years 3 months ago
2000
IEEE
To exploit increased instruction-level parallelism available in modern processors, we describe the formation and optimization of tracenets, an integrated approach to reducing the ...
132
click to vote
ICCD
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper presents a new approach to the automated generation of an initialization sequence for synchronous sequential circuits. Finding an initialization sequence is a hard task...
143
click to vote
WDAG
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
132
click to vote
CACM
2010
15 years 1 months ago
2010
Multithreaded programs are notoriously prone to race conditions. Prior work on dynamic race detectors includes fast but imprecise race detectors that report false alarms, as well ...