2227 search results - page 74 / 446 » Reversibility and Models for Concurrency |
DATE
2009
IEEE
14 years 4 months ago
2009
IEEE
—More and more processor manufacturers have launched embedded multicore processors for consumer electronics products because such processors provide high performance and low powe...
ECOOPWEXCEPTION
2000
Springer
2000
Springer
Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems
14 years 2 months ago
The chief aim of this survey is to discuss exception handling models which have been developed for concurrent object systems. In conducting this discussion we rely on the following...
FMOODS
2008
13 years 11 months ago
2008
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
INFSOF
2006
13 years 10 months ago
2006
Providing efficient access to XML documents becomes crucial in XML database systems. More and more concurrency control protocols for XML database systems were proposed in the past...
LICS
2006
IEEE
14 years 4 months ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...