709 search results - page 137 / 142 » An Equational Theory for Transactions |
166
click to vote
MOBIHOC
2007
ACM
16 years 5 months ago
2007
ACM
We consider distributed opportunistic scheduling (DOS) in wireless ad-hoc networks, where many links contend for the same channel using random access. In such networks, distribute...
159
click to vote
ICS
2009
Tsinghua U.
16 years 28 days ago
2009
Tsinghua U.
Several existing compiler transformations can help improve communication-computation overlap in MPI applications. However, traditional compilers treat calls to the MPI library as ...
203
click to vote
LICS
2009
IEEE
16 years 24 days ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
200
click to vote
SIGMETRICS
2009
ACM
16 years 20 days ago
2009
ACM
Disseminating a piece of information, or updates for a piece of information, has been shown to benefit greatly from simple randomized procedures, sometimes referred to as gossipi...
192
click to vote
ICRA
2008
IEEE
16 years 17 days ago
2008
IEEE
—Capsule endoscopy is a promising technique for diagnosing diseases in the small intestines. Here we propose a miniature swimming mechanism that uses MRI’s magnetic fields for ...