1304 search results - page 103 / 261 » Model Checking C Programs Using F-SOFT |
118
click to vote
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
125
Voted
ICDCS
1996
IEEE
15 years 7 months ago
1996
IEEE
We introduce a shared memory software prototype system for executing programs with nested parallelism on a network of workstations. This programming model exhibits a very convenie...
108
click to vote
APSEC
2005
IEEE
15 years 8 months ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
146
click to vote
PPOPP
2009
ACM
16 years 3 months ago
2009
ACM
On multiprocessors with explicitly managed memory hierarchies (EMM), software has the responsibility of moving data in and out of fast local memories. This task can be complex and...
123
click to vote
ASPLOS
1998
ACM
15 years 7 months ago
1998
ACM
Several application and technology trends indicate that it might be both pro table and feasible to move computation closer to the data that it processes. In this paper, we evaluat...