1724 search results - page 138 / 345 » Models for Concurrency |
POPL
1997
ACM
14 years 1 months ago
1997
ACM
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...
FIDJI
2003
Springer
14 years 3 months ago
2003
Springer
This paper introduces a new programming model for distributed systems, distributed composite objects (DCO), to meet efficient implementation, transparency, and performance demands ...
SPIN
2000
Springer
14 years 1 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
ISCAPDCS
2001
13 years 11 months ago
2001
The problem addressed in this paper deals with data sharing as a means to cooperate. Our main focus is on transactional mechanisms to manage concurrent accesses to (partially) sha...
ICML
1991
IEEE
14 years 1 months ago
1991
IEEE
The psychological literature on stages of cognitive development was reviewed and found to contain support for the idea that stages represent ordinal, qualitative changes in organi...