1349 search results - page 219 / 270 » Towards a theory of events |
HIPC
2009
Springer
13 years 5 months ago
2009
Springer
Software transactional memory (STM) is an emerging concurrency control mechanism for shared memory accesses. Early abort is one of the important techniques to improve the executio...
HUC
2010
Springer
13 years 5 months ago
2010
Springer
Consumer game platforms are realizing Ubicomp's vision of seamless, sensor-based, embodied interaction with computation. Here we present Propinquity, a full-body dancing/figh...
SYNTHESE
2011
13 years 2 months ago
2011
This paper examines E. W. Beth’s work in the philosophy of physics, both from a historical and a systematic point of view. Beth saw the philosophy of physics first of all as an ...
DAC
2005
ACM
14 years 8 months ago
2005
ACM
This paper presents a unifying framework for the modeling of asynchronous pipeline circuits. A pipeline protocol is captured in a graph-based model which defines the partial order...
PODC
2009
ACM
14 years 8 months ago
2009
ACM
Peer-to-peer systems rely on scalable overlay networks that enable efficient routing between its members. Hypercubic topologies facilitate such operations while each node only nee...