13397 search results - page 166 / 2680 » From Static Distributed Systems to Dynamic Systems |
156
Voted
HIPEAC
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Stream programming is a promising way to expose concurrency to the compiler. A stream program is built from kernels that communicate only via point-to-point streams. The ...
117
Voted
WSC
2000
15 years 4 months ago
2000
Current research in the area of manufacturing planning and control has moved away from traditional centralized solutions towards distributed architectures that range from hierarch...
188
Voted
BXML
2004
15 years 4 months ago
2004
Abstract: Engineering personalized ubiquitous Web applications requires to develop adaptable Web content as well as to automatically adjust it to varying client devices and dynamic...
111
click to vote
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
134
click to vote
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We introduce a calculus with mobile names, distributed principals and primitives for secure remote communication, without any reference to explicit cryptography. The calc...