2686 search results - page 85 / 538 » Parallel object monitors |
112
click to vote
ESOP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
115
click to vote
ICDCSW
2007
IEEE
15 years 8 months ago
2007
IEEE
1 Challenges of scale have limited the development of event notification systems with strong properties, despite the urgent demand for consistency, reliability, security, and other...
125
click to vote
RE
2004
Springer
15 years 7 months ago
2004
Springer
Requirements engineers need to make sure that the requirements models and specifications they are building do accurately capture what stakeholders really want. Requirements animat...
107
click to vote
EDOC
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper we sketch a framework supporting contract enactment within the context of virtual organisation units that are dynamically created in order to achieve a common object...
100
click to vote
ICCS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. BSML is a library for parallel programming with the functional language Objective Caml. It is based on an extension of the λcalculus by parallel operations on a parallel...