1532 search results - page 215 / 307 » A Comparison of RESTART Implementations |
FMCAD
2004
Springer
15 years 3 months ago
2004
Springer
This paper describes a new method that is useful in combinational equivalence checking with very challenging industrial designs. The method does not build a miter; instead it build...
ICFEM
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
PPSN
2004
Springer
15 years 3 months ago
2004
Springer
Evolving large phenotypes remains nowadays a problem due to the combinatorial explosion of the search space. Seeking better scalability and inspired by the development of biologica...
SDMW
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Due to the growing interest in XML security, various access control schemes have been proposed recently. However, little effort has been put forth to facilitate a unifor...
131
click to vote
SEM
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Current research in peer to peer systems is lacking appropriate environments for simulation and experimentation of large scale overlay services. This has led to a plethor...