446 search results - page 25 / 90 » Sentries for the Execution of Concurrent Programs |
IWPC
2007
IEEE
15 years 3 months ago
2007
IEEE
Programs that use multi-threaded concurrency are known to be difficult to design. Moreover, research in computer-science education suggests that concurrency and synchronization co...
CONCUR
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...
SAC
2000
ACM
15 years 2 months ago
2000
ACM
Object-oriented modeling and design is a way of solving problems using models based upon real-world concepts. In this paradigm, the fundamental construct is the object, an entity ...
ECOOP
2004
Springer
15 years 3 months 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...
ENTCS
2006
14 years 9 months ago
2006
A Random test generator generates executable tests together with their expected results. In the form of a noise-maker, it seeds the program with conditional scheduling primitives ...