723 search results - page 4 / 145 » Exclusion for composite objects |
PACT
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. This paper describes a mechanism for “fusing” concurrent invocations of exclusive methods. The target of our work is object-oriented languages with concurrent extensi...
CP
2007
Springer
14 years 4 months ago
2007
Springer
Visualization is often invaluable to understand the behavior of optimization algorithms, identify their bottlenecks or pathological behaviors, and suggest remedial techniques. Yet ...
ECBS
2000
IEEE
14 years 2 months ago
2000
IEEE
We apply the XMC model checker to the Java metalocking algorithm, a highly optimized technique for ensuring mutually exclusive access by threads to object monitor queues. Our abst...
OOPSLA
2001
Springer
14 years 2 months ago
2001
Springer
Object-oriented languages come with pre-defined composition mechanisms, such as inheritance, object composition, or delegation, each characterized by a certain set of composition...
ADC
2004
Springer
14 years 3 months ago
2004
Springer
The development of new web services by composition of existing services is becoming an extensive approach. This has resulted in transactions that span in multiple web services. Th...