1491 search results - page 215 / 299 » Resource-Passing Concurrent Programming |
IEEEPACT
1998
IEEE
15 years 2 months ago
1998
IEEE
Conventional speculative architectures use branch prediction to evaluate the most likely execution path during program execution. However, certain branches are difficult to predic...
LICS
1996
IEEE
15 years 2 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
DOOD
1989
Springer
15 years 1 months ago
1989
Springer
This paper attempts to de ne an object-oriented database system. It describes the main features and characteristics that a system must have to qualify as an objectoriented databas...
110
click to vote
AMOST
2007
ACM
15 years 1 months ago
2007
ACM
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
CASES
2007
ACM
15 years 1 months ago
2007
ACM
The memory intensive nature of object-oriented languages such as C++ and Java has created the need of a high-performance dynamic memory management (DMM); however, it is a challeng...