1271 search results - page 200 / 255 » On Simulation-Checking with Sequential Systems |
VLDB
2005
ACM
14 years 2 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...
CRYPTO
2004
Springer
14 years 2 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...
SAMOS
2004
Springer
14 years 2 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...
CLUSTER
2003
IEEE
14 years 2 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...
ICDAR
2003
IEEE
14 years 2 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...