983 search results - page 93 / 197 » Object-oriented Abstractions for Distributed Programming |
138
click to vote
ICPP
2002
IEEE
15 years 7 months ago
2002
IEEE
The advantages of pattern-based programming have been well-documented in the sequential literature. However patterns have yet to make their way into mainstream parallel computing,...
111
click to vote
STTT
2010
15 years 26 days ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
140
click to vote
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We deal with two intimately related subjects: quasi-randomness and regular partitions. The purpose of the concept of quasi-randomness is to measure how much a given graph...
122
Voted
EUROPAR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Modern microprocessors have sacrificed the exactness of exceptions for improved performance long ago. This is a side effect of reordering instructions so that the micropr...
143
Voted
PAAMS
2010
Springer
15 years 27 days ago
2010
Springer
Abstract Monitoring the runtime behaviour of a distributed agent system for debugging or demonstration purposes provides a challenge to agent system developers. As a lot of the com...