1516 search results - page 39 / 304 » Trends in Software Verification |
100
click to vote
CORR
2010
Springer
14 years 9 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...
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
In grid workflow systems, temporal correctness is critical to assure the timely completion of grid workflow execution. To monitor and control the temporal correctness, fixed-time ...
72
Voted
FSTTCS
2009
Springer
15 years 4 months ago
2009
Springer
65
Voted
FSTTCS
2009
Springer
15 years 4 months ago
2009
Springer
56
Voted
EMSOFT
2005
Springer
15 years 3 months ago
2005
Springer