Sciweavers

678 search results - page 34 / 136
» On the design of distributed protocols from differential equ...
Sort
View
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
14 years 4 months ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...
CONCUR
1999
Springer
13 years 12 months ago
From Synchrony to Asynchrony
Abstract. We present an in-depth discussion of the relationships between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which guaran...
Albert Benveniste, Benoît Caillaud, Paul Le ...
CCGRID
2006
IEEE
14 years 1 months ago
A Relaxed-Criteria Bargaining Protocol for Grid Resource Management
Since participants in a computational Grid may be independent bodies, some mechanisms are necessary for resolving their differences. The contribution of this work is designing a b...
Kwang Mong Sim, Ka Fung Ng
IMC
2006
ACM
14 years 1 months ago
binpac: a yacc for writing application protocol parsers
A key step in the semantic analysis of network traffic is to parse the traffic stream according to the high-level protocols it contains. This process transforms raw bytes into s...
Ruoming Pang, Vern Paxson, Robin Sommer, Larry L. ...
ICASSP
2011
IEEE
12 years 11 months ago
Global emergent behaviors in clouds of agents
—Networks of biological agents (for example, ants, bees, fish, birds) and complex man-made cyberphysical infrastructures (for example, the power grid, transportation networks) e...
Soummya Kar, José M. F. Moura