184 search results - page 8 / 37 » Monitoring Atomicity in Concurrent Programs |
CONCURRENCY
2004
13 years 7 months ago
2004
The heterogeneous and dynamic nature of Grid environments place new demands on models and paradigms for parallel programming. In this work we discuss how ALua, a programming syste...
ECOOP
2004
Springer
14 years 29 days ago
2004
Springer
Transactional monitors are proposed as an alternative to monitors based on mutualexclusion synchronization for object-oriented programming languages. Transactional monitors have e...
CSSE
2008
IEEE
14 years 2 months ago
2008
IEEE
Version control helps coordinating a group of people working concurrently to achieve a shared objective. Concurrency control helps coordinating a group of threads working concurre...
RV
2010
Springer
13 years 5 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
ENTCS
2008
13 years 7 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...