13397 search results - page 150 / 2680 » From Static Distributed Systems to Dynamic Systems |
130
click to vote
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper we present a new technique which exploits timing-correlation between tasks for scheduling analysis in multiprocessor and distributed systems with tree-shaped task-de...
123
Voted
CSFW
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
126
Voted
ESA
2004
Springer
15 years 8 months ago
2004
Springer
The task of balancing dynamically generated work load occurs in a wide range of parallel and distributed applications. Diffusion based schemes, which belong to the class of nearest...
121
click to vote
IPPS
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper we formulate the static load balancing problem in single class job distributed systems as a cooperative game among computers. It is shown that the Nash Bargaining So...
124
click to vote
SIGGRAPH
2010
ACM
15 years 7 months ago
2010
ACM
This paper presents a system for generating dynamic narratives from videos. These narratives are characterized for being compact, coherent and interactive, as inspired by principl...