Sciweavers

826 search results - page 77 / 166
» Resolving Concurrent Interactions
Sort
View
122
Voted
FMICS
2010
Springer
15 years 1 months ago
A Study of Shared-Memory Mutual Exclusion Protocols Using CADP
Mutual exclusion protocols are an essential building block of concurrent systems: indeed, such a protocol is required whenever a shared resource has to be protected against concurr...
Radu Mateescu, Wendelin Serwe
173
Voted
EDBT
2012
ACM
308views Database» more  EDBT 2012»
13 years 5 months ago
Transactional stream processing
Many stream processing applications require access to a multitude of streaming as well as stored data sources. Yet there is no clear semantics for correct continuous query executi...
Irina Botan, Peter M. Fischer, Donald Kossmann, Ne...
137
Voted
CONCUR
2012
Springer
13 years 5 months ago
Linearizability with Ownership Transfer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it assumes a complete isolation between a library and ...
Alexey Gotsman, Hongseok Yang
ACMDIS
2006
ACM
15 years 9 months ago
Design documentaries: inspiring design research through documentary film
This paper shows how we can take inspiration and use techniques from documentary film in pursuing user research. Documentary filmmaking has a long history of portraying everyday l...
Bas Raijmakers, William W. Gaver, Jon Bishay
SI3D
2005
ACM
15 years 9 months ago
Interest management middleware for networked games
In this paper we present an implementation of an interest management scheme using standard message oriented middleware (MOM) technologies to provide scalable message dissemination...
Graham Morgan, Fengyun Lu, Kier Storey