8083 search results - page 1405 / 1617 » A Formalization of Software Architecture |
170
click to vote
CODES
2003
IEEE
15 years 12 months ago
2003
IEEE
Multitasked real-time systems often employ caches to boost performance. However the unpredictable dynamic behavior of caches makes schedulability analysis of such systems difficul...
173
click to vote
EUROMICRO
2003
IEEE
15 years 12 months ago
2003
IEEE
Recently, several languages for web service composition have emerged (e.g., BPEL4WS and WSCI). The goal of these languages is to glue web services together in a process-oriented w...
229
click to vote
PLDI
2003
ACM
15 years 12 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
178
click to vote
PPOPP
2003
ACM
15 years 12 months ago
2003
ACM
We present a new method for dynamically detecting potential data races in multithreaded programs. Our method improves on the state of the art in accuracy, in usability, and in ove...
180
click to vote
IWMM
2010
Springer
15 years 11 months ago
2010
Springer
Temporal memory safety errors, such as dangling pointer dereferences and double frees, are a prevalent source of software bugs in unmanaged languages such as C. Existing schemes t...