1392 search results - page 33 / 279 » A Calculus for Dynamic Linking |
PDPTA
2003
13 years 10 months ago
2003
Abstract Distributed Systems suffer from the enormous performance gap between local and remote operation. To bridge this gap a general purpose distributed operating system must pr...
TCS
2008
13 years 8 months ago
2008
We describe a type system for the Xd calculus of Gardner and Maffeis. An Xd-network is a network of locations, where each location consists of both a data tree (which contains scr...
ISSAC
2005
Springer
14 years 2 months ago
2005
Springer
In this article we propose a new symbolic-numeric algorithm to find positive equilibria of a n-dimensional dynamical system. This algorithm uses a symbolic manipulation of ODE in...
BPM
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper presents a tool, the PiVizTool, for the interactive simulation of choreographies. Different participant instances can be added, deleted, and dynamically bound...
ICALP
2009
Springer
14 years 1 months ago
2009
Springer
We study the impact on observational semantics for SOC of priority mechanisms which combine dynamic priority with local pre-emption. We define manageable notions of strong and wea...