1926 search results - page 206 / 386 » Hierarchical Peer-to-Peer Systems |
154
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—The compilation of imperative synchronous languages like Esterel has been widely studied, the separate compilation of synchronous modules has not, and remains a challenge. We pr...
169
click to vote
LPAR
2005
Springer
16 years 1 days ago
2005
Springer
In this paper the Recursive Path Ordering is adapted for proving termination of rewriting incrementally. The new ordering, called Recursive Path Ordering with Modules, has as ingre...
167
click to vote
PPAM
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We address parallel jobs scheduling problem for computational GRID systems. We concentrate on two-level hierarchy scheduling: at the first level broker allocates computa...
151
click to vote
CMSB
2004
Springer
15 years 12 months ago
2004
Springer
A refinement of Cardelli’s brane calculus [1] is introduced where membrane actions are directed. This modification brings the language closer to biological membranes and also o...
145
click to vote
ICCS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We describe, analyze and submit results of a real-time total order multicast protocol developed on a distributed real-time system architecture that consists of hierarchic...