5356 search results - page 726 / 1072 » Adventures in time and space |
168
click to vote
EUROCRYPT
2005
Springer
16 years 8 days ago
2005
Springer
The Lenstra-Lenstra-Lov´asz lattice basis reduction algorithm (LLL or L3 ) is a very popular tool in public-key cryptanalysis and in many other fields. Given an integer d-dimensi...
182
Voted
ICLP
2005
Springer
16 years 8 days ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
158
click to vote
KDD
2005
ACM
16 years 7 days ago
2005
ACM
This paper describes TIPPPS (Time Interleaved Product Purchase Prediction System), which analyses billing data of corporate customers in a large telecommunications company in orde...
163
click to vote
SSS
2005
Springer
16 years 7 days ago
2005
Springer
This paper considers the self-stabilizing unison problem. The contribution of this paper is threefold. First, we establish that when any self-stabilizing asynchronous unison protoc...
192
click to vote
SPIN
2004
Springer
16 years 3 days ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...