155 search results - page 13 / 31 » Fixing the Java Memory Model |
108
click to vote
ISPAN
1999
IEEE
15 years 4 months ago
1999
IEEE
For an effective Internet-based distributed parallel computing platform, Java-Internet Computing Environment (JICE) is designed and implemented with multithreading and remote meth...
131
Voted
PLDI
2010
ACM
15 years 2 months ago
2010
ACM
The most intuitive memory model for shared-memory multithreaded programming is sequential consistency (SC), but it disallows the use of many compiler and hardware optimizations th...
107
click to vote
PODC
2009
ACM
15 years 8 months ago
2009
ACM
The era of parallel computing for the masses is here, but writing correct parallel programs remains far more difficult than writing sequential programs. Aside from a few domains,...
ECOOP
2010
Springer
15 years 4 months ago
2010
Springer
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...
84
Voted
DAC
1998
ACM
16 years 19 days ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...