1704 search results - page 154 / 341 » Design of a Concurrent and Distributed Language |
118
click to vote
EEE
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes an extension of the ebXML registry for publishing and discovering mathematical service descriptions. The MathBroker registry is able to handle descriptions gi...
130
click to vote
TOOLS
1997
IEEE
15 years 7 months ago
1997
IEEE
PROPAGATOR is a family of patterns for consistently updating objects in a dependency network. The propagator patterns are found in such diverse applications as MAKE, WWW, spreadsh...
137
Voted
ICALP
1994
Springer
15 years 7 months ago
1994
Springer
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...
132
click to vote
SPAA
2010
ACM
15 years 3 months ago
2010
ACM
We present a scheduling algorithm of stream programs for multi-core architectures called team scheduling. Compared to previous multi-core stream scheduling algorithms, team schedu...
119
click to vote
SAIG
2001
Springer
15 years 7 months ago
2001
Springer
Most foundational models for global computing have focused on the spatial dimension of computations, however global computing requires also new ways of thinking about the temporal ...