5235 search results - page 43 / 1047 » Analysis of Multithreaded Programs |
116
click to vote
CPHYSICS
2010
14 years 10 months ago
2010
We present TFORM, the version of the symbolic manipulation system FORM that can make simultaneous use of several processors in a shared memory architecture. The implementation use...
125
click to vote
MICRO
1997
IEEE
15 years 5 months ago
1997
IEEE
Compiler optimizations are often driven by specific assumptions about the underlying architecture and implementation of the target machine. For example, when targeting shared-mem...
136
click to vote
ASPLOS
2006
ACM
15 years 5 months ago
2006
ACM
Transient faults are expected a be a major design consideration in future microprocessors. Recent proposals for transient fault detection in processor cores have revolved around t...
102
click to vote
ASWEC
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
126
click to vote
TLDI
2005
ACM
15 years 7 months ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...