1304 search results - page 64 / 261 » Model Checking C Programs Using F-SOFT |
138
click to vote
VLSI
2010
Springer
14 years 9 months ago
2010
Springer
Future systems will have to support multiple and concurrent dynamic compute-intensive applications, while respecting real-time and energy consumption constraints. To overcome these...
133
Voted
PVM
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. The MPI standard provides a way to send and receive complex combinations of datatypes (e.g., integers and doubles) with a single communication operation. The MPI standard...
114
Voted
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Current real-world software applications typically involve heavy use of relational and XML data and their query languages. Unfortunately object-oriented languages and database que...
145
click to vote
SPIN
2007
Springer
15 years 8 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
110
Voted
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
The following study shows a direct comparison of memory write policies in Shared Memory Multicore Systems. Although there are much work and many studies about this issue, our work...