243 search results - page 37 / 49 » Error Detection Using Dynamic Dataflow Verification |
AICCSA
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
BPM
2006
Springer
14 years 10 days ago
2006
Springer
Adaptivity in Process Management Systems (PMS) is key to their successful applicability in pratice. Approaches have already been developed to ensure the system correctness after ar...
SIGSOFT
2003
ACM
14 years 9 months ago
2003
ACM
Software products are often released with missing functionality, errors, or incompatibilities that may result in failures, inferior performances, or user dissatisfaction. In previ...
CISS
2010
IEEE
13 years 6 days ago
2010
IEEE
—This paper presents the system level performance evaluation for energy-detection based cooperative spectrum sensing in cognitive radio networks. Three performance criteria are q...
EMSOFT
2007
Springer
14 years 2 months ago
2007
Springer
The design of safety-critical systems has typically adopted static techniques to simplify error detection and fault tolerance. However, economic pressure to reduce costs is exposi...