429 search results - page 41 / 86 » General Pseudo-random Generators from Weaker Models of Compu... |
CAV
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
MABS
2005
Springer
14 years 1 months ago
2005
Springer
Currently there is a diversity of tools for agent-based simulation, which can be applied to the understanding of social phenomena. Describing this kind of phenomena with a visual l...
DAC
2007
ACM
13 years 11 months ago
2007
ACM
This paper presents a statistical framework to cooperatively design and develop technology, product circuit, benchmarking and model early in the development stage. The statistical...
ACL
2010
13 years 5 months ago
2010
Identifying background (context) information in scientific articles can help scholars understand major contributions in their research area more easily. In this paper, we propose ...