Sciweavers

4433 search results - page 234 / 887
» Distributed Multi-Robot Localization
Sort
View
CAV
2009
Springer
116views Hardware» more  CAV 2009»
15 years 6 months ago
Priority Scheduling of Distributed Systems Based on Model Checking
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
Ananda Basu, Saddek Bensalem, Doron Peled, Joseph ...
111
Voted
PAAMS
2009
Springer
15 years 6 months ago
Dynamic Orchestration of Distributed Services on Interactive Community Displays: The ALIVE Approach
Interconnected service providers constitute a highly dynamic, complex, distributed environment. Multi-agent system design-methodologies have been trying to address this kind of env...
Ignasi Gómez-Sebastià, Manel Palau, ...
ISSS
1996
IEEE
134views Hardware» more  ISSS 1996»
15 years 6 months ago
ADOPT: Efficient Hardware Address Generation in Distributed Memory Architectures
An address generation and optimization environment (ADOPT) for distributed memory architectures, is presented. ADOPT is oriented to minimize the area overhead introduced by the us...
Miguel Miranda, Francky Catthoor, Martin Janssen, ...
ICCI
1993
15 years 6 months ago
The Perfect and Imperfect Clocks Approach to Performance Analysis of Basic Timestamp Ordering in Distributed Databases
Locking and timestamping are two popular approaches to concurrency control in databases systems. Although more than a dozen analytic performance studies of locking techniques have...
Christos Bouras, Paul G. Spirakis
AMAST
2004
Springer
15 years 5 months ago
Deductive Verification of Distributed Groupware Systems
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...
Abdessamad Imine, Pascal Molli, Gérald Oste...