8083 search results - page 1405 / 1617 » A Formalization of Software Architecture |
198
click to vote
CODES
2003
IEEE
16 years 15 days 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...
193
click to vote
EUROMICRO
2003
IEEE
16 years 15 days 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...
265
click to vote
PLDI
2003
ACM
16 years 14 days 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...
197
click to vote
PPOPP
2003
ACM
16 years 14 days 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...
200
click to vote
IWMM
2010
Springer
16 years 6 hour 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...