16725 search results - page 3107 / 3345 » Engineering Software Correctness |
127
click to vote
IOLTS
2006
IEEE
15 years 10 months ago
2006
IEEE
— Delay failures are becoming a dominant failure mechanism in nanometer technologies. Diagnosis of such failures is important to ensure yield and robustness of the design. Howeve...
125
click to vote
ISORC
2006
IEEE
15 years 10 months ago
2006
IEEE
Convenience, reliability, and effectiveness of automatic memory management have long been established in modern systems and programming languages such as Java. The timeliness req...
152
click to vote
ISORC
2006
IEEE
15 years 10 months ago
2006
IEEE
Dynasoar is an infrastructure for dynamically deploying Web Services over a Grid or the Internet. It enables an approach to Grid computing in which distributed applications are bu...
150
click to vote
ISORC
2006
IEEE
15 years 10 months ago
2006
IEEE
Many real-time applications, such as traffic control systems, surveillance systems and health monitoring systems, need to operate on continuous unbounded streams of data. These ap...
141
click to vote
ISSRE
2006
IEEE
15 years 10 months ago
2006
IEEE
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...