1675 search results - page 3 / 335 » A Structured Approach to Parallel Programming: Methodology a... |
118
Voted
SAS
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
110
click to vote
PPOPP
2012
ACM
13 years 8 months ago
2012
ACM
Lock-freedom is a progress guarantee that ensures overall program progress. Wait-freedom is a stronger progress guarantee that ensures the progress of each thread in the program. ...
126
Voted
ICDCS
1995
IEEE
15 years 4 months ago
1995
IEEE
One of the mostsoughtaftersoftware innovation of thisdecade is the construction of systems using off-the-shelf workstations that actually deliver, and even surpass, the power and ...
ICPP
2007
IEEE
15 years 7 months ago
2007
IEEE
Program parallelization requires mapping computation and data to processing elements. Navigational Programming (NavP), based on the principle of migrating computations, offers a d...
116
Voted
IEE
2008
15 years 1 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...