2638 search results - page 419 / 528 » A Framework for Automatic Debugging |
141
click to vote
LCPC
2005
Springer
15 years 7 months ago
2005
Springer
Thread level speculation (TLS) has shown great promise as a strategy for fine to medium grain automatic parallelisation, and in a hardware context techniques to ensure correct TLS...
MATA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The paper presents the specification, development and initial performance evaluation of the Simplicity Device (SD), which is one of the key components of the SIMPLICITY A...
129
click to vote
NOSSDAV
2005
Springer
15 years 7 months ago
2005
Springer
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...
101
click to vote
PAM
2005
Springer
15 years 7 months ago
2005
Springer
A number of key areas in IP network engineering, management and surveillance greatly benefit from the ability to dynamically identify traffic flows according to the applications re...
135
click to vote
SPIN
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...