173 search results - page 23 / 35 » Interprocedural analysis of asynchronous programs |
107
click to vote
LCTRTS
2009
Springer
15 years 6 months ago
2009
Springer
Register file (RF) is extremely vulnerable to soft errors, and traditional redundancy based schemes to protect the RF are prohibitive not only because RF is often in the timing c...
107
click to vote
PPOPP
1999
ACM
15 years 4 months ago
1999
ACM
Divide and conquer algorithms are a good match for modern parallel machines: they tend to have large amounts of inherent parallelism and they work well with caches and deep memory...
OOPSLA
2007
Springer
15 years 5 months ago
2007
Springer
There are many proposals for language techniques to control aliasing and encapsulation in object oriented programs, typically based on notions of object ownership and pointer uniq...
105
click to vote
PLDI
2006
ACM
15 years 5 months ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...
120
click to vote
PPOPP
2005
ACM
15 years 5 months ago
2005
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...