291 search results - page 39 / 59 » Liveness-Preserving Atomicity Abstraction |
WOLLIC
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Proofs in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We shall follow the same idea by proposing that sentenc...
118
click to vote
ICRA
2005
IEEE
15 years 5 months ago
2005
IEEE
Abstract— Nanomanipulation using Atomic Force Microscope (AFM) has been extensively investigated for many years. However, control of tip position during nanomanipulation is still...
ASM
2004
ASM
15 years 5 months ago
2004
ASM
For a while it seemed possible to pretend that all interaction between an algorithm and its environment occurs inter-step, but not anymore. Andreas Blass, Benjamin Rossman and the ...
183
click to vote
CC
2009
Springer
16 years 12 days ago
2009
Springer
Abstract. We introduce the design and implementation of dynamic separation (DS) as a programming discipline for using transactional memory. Our approach is based on the programmer ...
ACNS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Users of online-collaboration tools and network storage services place considerable trust in their providers. This paper presents a novel approach for protecting data int...