Sciweavers

5470 search results - page 535 / 1094
» Distributed Control Lab
Sort
View
ASM
2010
ASM
16 years 4 months ago
Synchronous Message Passing and Semaphores: An Equivalence Proof
A natural encoding of synchronous message exchange with direct wait-control is proved to be equivalent in a distributed environment to a refinement which uses semaphores to implem...
Iain Craig, Egon Börger
ISCC
2006
IEEE
114views Communications» more  ISCC 2006»
16 years 29 days ago
On Cooperative Inter-Domain Path Computation
Inter-domain path computation, or the ability to compute end-to-end paths across multiple domains, is the next step toward wide deployment of a distributed control plane with supp...
Payam Torab, Bijan Jabbari, Qian Xu, Shujia Gong, ...
ECOOP
2008
Springer
15 years 8 months ago
Kilim: Isolation-Typed Actors for Java
This paper describes Kilim, a framework that employs a combination of techniques to help create robust, massively concurrent systems in mainstream languages such as Java: (i) ultra...
Sriram Srinivasan, Alan Mycroft
MASCOTS
2008
15 years 8 months ago
Power Optimization in Fault-Tolerant MANETs
Abstract--In this paper, we investigate the problem of optimizing the lifetime of a mobile ad hoc network at a given degree k of connectivity by minimizing power consumption. Our p...
Oliviero Riganelli, Radu Grosu, Scott A. Smolka
CYS
1999
145views more  CYS 1999»
15 years 6 months ago
Eels: Electric Snakes
This paper presents the incorporation of a new internal force for active contours. This internal force is generated by an electric charge, distributed all-over the active contour....
Antonio Marín-Hernández, Homero V. R...