845 search results - page 89 / 169 » Parallel Exact Inference |
HPDC
1995
IEEE
15 years 1 months ago
1995
IEEE
A novel packet multiplexing technique, called Rotating-Priority-Queues (RPQ), is presented which exploits the tradeoff between high eficiency, i.e., the ability to support many co...
100
click to vote
APPT
2005
Springer
14 years 11 months ago
2005
Springer
It is difficult to maintain the exact location of mobile objects due to the limited resources in a mobile network. A consequence of this problem is that the update cost for a locat...
DCOSS
2008
Springer
14 years 11 months ago
2008
Springer
We analyze a propagation delay tolerant ALOHA (PDT-ALOHA) protocol proposed recently for underwater networks [16]. In this scheme, guard-bands are introduced at each slot to reduc...
CONCUR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We present a reconstruction of session types in a conventional pi calculus where types are qualified as linear or unrestricted. Linearly typed communication channels are ...
CONCUR
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. A well-known decision procedure for Presburger arithmetic uses deterministic finite-state automata. While the complexity of the decision procedure for Presburger arithme...