383 search results - page 54 / 77 » Unit testing concurrent software |
114
Voted
ENTCS
2006
15 years 2 months ago
2006
We present GMC2 , a software model checker for GCC, the opensource compiler from the Free Software Foundation (FSF). GMC2 , which is part of the GMC static-analysis and model-check...
121
click to vote
ICCD
2006
IEEE
15 years 8 months ago
2006
IEEE
Microfluidics-based biochips offer exciting possibilities for highthroughput sequencing, parallel immunoassays, blood chemistry for clinical diagnostics, DNA sequencing, and envir...
162
click to vote
OOPSLA
2010
Springer
15 years 2 days ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
120
Voted
ASPLOS
2012
ACM
13 years 10 months ago
2012
ACM
Numerous tools have been proposed to help developers fix software errors and inefficiencies. Widely-used techniques such as memory checking suffer from overheads that limit thei...
124
Voted
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper we present a software tool for the simulation of distributed real-time embedded systems. Our tool is based on the popular NS-2 package for simulating the networking ...