1491 search results - page 84 / 299 » Resource-Passing Concurrent Programming |
115
click to vote
PPOPP
2012
ACM
13 years 10 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. ...
134
click to vote
COORDINATION
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. Although coordination of concurrent objects is a fundamental aspect of object-oriented concurrent programming, there is only little support specification and abstraction ...
102
click to vote
CONCURRENCY
2008
15 years 2 months ago
2008
Computational steering is a valuable mechanism for scientific investigation in which the parameters of a running program can be altered and the results visualized immediately. In ...
110
click to vote
FUIN
2008
15 years 2 months ago
2008
Abstract. Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides ...
109
click to vote
ENTCS
2006
15 years 2 months ago
2006
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...