105 search results - page 3 / 21 » Scalable shared memory LTL model checking |
109
Voted
CF
2005
ACM
14 years 11 months ago
2005
ACM
Exploiting processor groups is becoming increasingly important for programming next-generation high-end systems composed of tens or hundreds of thousands of processors. This paper...
64
Voted
TASE
2007
IEEE
15 years 3 months ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...
83
Voted
TC
1998
14 years 9 months ago
1998
—This paper describes the methods used to formulate and validate the memory subsystem of the cache-coherent Sun Scalable emory MultiProcessor (S3.mp) at three levels of abstracti...
94
Voted
WSC
2001
14 years 11 months ago
2001
The problem of efficient load distribution and scaling of large-scale wireless communication system simulation on multiprocessor architectures (both shared memory and cluster arra...
IPPS
2003
IEEE
15 years 2 months ago
2003
IEEE
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...