2227 search results - page 269 / 446 » Reversibility and Models for Concurrency |
POPL
2009
ACM
14 years 5 months ago
2009
ACM
We develop a rigorous semantics for Power and ARM multiprocessor programs, including their relaxed memory model and the behaviour of reasonable fragments of their instruction sets...
VMCAI
2009
Springer
14 years 5 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
CIVR
2005
Springer
14 years 4 months ago
2005
Springer
Automatic image annotation has attracted a lot of attention recently as a method for facilitating semantic indexing and text-based retrieval of visual content. In this paper, we pr...
TACAS
2005
Springer
14 years 4 months ago
2005
Springer
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...
CDVE
2004
Springer
14 years 4 months ago
2004
Springer
ALTERNE (Alternative Realities in Networked Environments) platform aims at providing a high level of integration between various techniques supporting mixed reality, graphics, inte...