15 search results - page 3 / 3 » Flexecution, Part 2: Understanding and Supporting Flexible E... |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
The persistent programming systems of the 1980s offered a programming model that integrated computation and long-term storage. In these systems, reliable applications could be eng...
ASPLOS
2009
ACM
14 years 6 months ago
2009
ACM
Multicore hardware is making concurrent programs pervasive. Unfortunately, concurrent programs are prone to bugs. Among different types of concurrency bugs, atomicity violation bu...
SENSYS
2004
ACM
13 years 11 months ago
2004
ACM
Developing sensor network applications demands a new set of tools to aid programmers. A number of simulation environments have been developed that provide varying degrees of scala...
PLDI
2003
ACM
13 years 11 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...
RTAS
1999
IEEE
13 years 10 months ago
1999
IEEE
Unique challenges are present when one tries to build distributed real-time applications using standard o -the-shelf systems which are in common use but are not necessarily design...