8555 search results - page 1630 / 1711 » Property Based Coordination |
149
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
172
click to vote
ISAAC
2004
Springer
15 years 10 months ago
2004
Springer
For c ∈ R, a c-spanner is a subgraph of a complete Euclidean graph satisfying that between any two vertices there exists a path of weighted length at most c times their geometric...
168
click to vote
IWQOS
2004
Springer
15 years 10 months ago
2004
Springer
— Traditional SLAs, defined by average delay or packet loss, often camouflage the instantaneous performance perceived by end-users. We define a set of metrics for service avai...
132
click to vote
NIME
2004
Springer
15 years 10 months ago
2004
Springer
On-the-fly programming is a style of programming in which the programmer/performer/composer augments and modifies the program while it is running, without stopping or restarting, ...
140
click to vote
SAMOS
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents a model for instruction-level distributed computing that allows the implementation of scalable chip multiprocessors. Based on explicit microthreading it serves ...