232 search results - page 18 / 47 » concurrency 2000 |
CAISE
2000
Springer
15 years 2 months ago
2000
Springer
Serializability is a prominent correctness criterion for an interleaved execution of concurrent transactions. Serializability guarantees that the interleaved execution of concurre...
102
click to vote
VL
2000
IEEE
15 years 2 months ago
2000
IEEE
Concurrent programming is a complex task, even with modern languages such as Java who provide languagebased support for multithreading and synchronization. In addition to typical ...
MICRO
2000
IEEE
15 years 2 months ago
2000
IEEE
Virtual machine service threads can perform many tasks in parallel with program execution such as garbage collection, dynamic compilation, and profile collection and analysis. Har...
CP
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. This paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, co...
ROOM
2000
14 years 11 months ago
2000
This paper proposes a revised semantic interpretation of UML Statechart Diagrams which ensures, under the specified design rules, that Statecharts may be constructed to have true ...