1271 search results - page 200 / 255 » On Simulation-Checking with Sequential Systems |
139
click to vote
VLDB
2005
ACM
15 years 10 months ago
2005
ACM
The application of structured overlay networks to implement index structures for data-oriented applications such as peer-to-peer databases or peer-to-peer information retrieval, r...
262
Voted
CRYPTO
2004
Springer
15 years 10 months ago
2004
Springer
In the bare public-key model (BPK in short), each verifier is assumed to have deposited a public key in a file that is accessible by all users at all times. In this model, intro...
133
Voted
SAMOS
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we present a new approach for generating high-speed optimized event-driven register transfer level (RTL) compiled simulators. The generation of the simulators is part...
149
click to vote
CLUSTER
2003
IEEE
15 years 10 months ago
2003
IEEE
While previous CPU- or memory-centric load balancing schemes are capable of achieving the effective usage of global CPU and memory resources in a cluster system, the cluster exhib...
135
Voted
ICDAR
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper we propose a parallel approach for the Kmeans Vector Quantization (VQ) algorithm used in a twostage Hidden Markov Model (HMM)-based system for recognizing handwritte...