46 search results - page 1 / 10 » A Certified Thread Library for Multithreaded User Programs |
85
Voted
TASE
2007
IEEE
15 years 6 months ago
2007
IEEE
88
Voted
IPPS
2010
IEEE
14 years 10 months ago
2010
IEEE
With the advent of the multicore era, parallel programming is becoming ubiquitous. Multithreading is a common approach to benefit from these architectures. Hybrid M:N libraries lik...
103
Voted
USENIX
2001
15 years 1 months ago
2001
Multiple threads running in a single, shared address space is a simple model for writing parallel programs for symmetric multiprocessor (SMP) machines and for overlapping I/O and ...
107
Voted
ASPLOS
2011
ACM
14 years 4 months ago
2011
ACM
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...
124
Voted
ICFP
2005
ACM
16 years 9 days ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...