1109 search results - page 32 / 222 » Software verification for TinyOS |
KBSE
2002
IEEE
15 years 6 months ago
2002
IEEE
ISSTA
2000
ACM
15 years 5 months ago
2000
ACM
132
click to vote
CORR
2010
Springer
15 years 1 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
16 years 2 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 ...
FSTTCS
2009
Springer
15 years 8 months ago
2009
Springer
