Sciweavers

615 search results - page 96 / 123
» Relatively inertial delays
Sort
View
FSTTCS
2006
Springer
15 years 3 months ago
Distributed Synthesis for Well-Connected Architectures
Abstract. We study the synthesis problem for external linear or branching specifications and distributed, synchronous architectures with arbitrary delays on processes. External mea...
Paul Gastin, Nathalie Sznajder, Marc Zeitoun
VLDB
1991
ACM
171views Database» more  VLDB 1991»
15 years 3 months ago
Language Constructs for Programming Active Databases
: This paper presents database programming language constructs that. can be used to realize a variety of different semantics for rule application in active database syst.ems. The p...
Richard Hull, Dean Jacobs
AICT
2008
IEEE
15 years 1 months ago
Towards Efficient Service Placement and Server Selection for Large-Scale Deployments
Currently many service providers offer their services using a private and proprietary hard- and software infrastructure. These infrastructures often share many similarities. Hence...
Jeroen Famaey, Tim Wauters, Filip De Turck, Bart D...
AISC
2008
Springer
15 years 1 months ago
Strategies for Solving SAT in Grids by Randomized Search
Grid computing offers a promising approach to solving challenging computational problems in an environment consisting of a large number of easily accessible resources. In this pape...
Antti Eero Johannes Hyvärinen, Tommi A. Juntt...
CDC
2008
IEEE
186views Control Systems» more  CDC 2008»
15 years 1 months ago
A mathematical model of the Skype VoIP congestion control algorithm
The Internet is changing from being only an efficient platform for data delivery to become also a platform for audio/video applications. The stability of the traditional Internet i...
Luca De Cicco, Saverio Mascolo, Vittorio Palmisano