571 search results - page 7 / 115 » A Case Study in Parallel Verification of Component-Based Sys... |
AICOM
2010
13 years 7 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
COORDINATION
1997
Springer
13 years 12 months ago
1997
Springer
ICPP
2008
IEEE
14 years 2 months ago
2008
IEEE
Parallel I/O plays an increasingly important role in today’s data intensive computing applications. While much attention has been paid to parallel read performance, most of this...
ICPR
2002
IEEE
14 years 8 months ago
2002
IEEE
Measuring the accuracy of biometrics systems is important. Accuracy estimates depend very much on the quality of the test data that are used. Including poor quality data will degr...
ENTCS
2010
13 years 7 months ago
2010
Component based development allows to build software upon existing components and promises to improve software reuse and reduce costs. To gain reliability of a component based sys...