Sciweavers

2870 search results - page 311 / 574
» Synchronization of multi-agent systems
Sort
View
ICDCSW
2002
IEEE
15 years 9 months ago
Autonomous and Asynchronous Operation of Networked Appliances with Mobile Agent
This paper describes the Smart Operation of Networked Appliances (SONA) system which realizes the autonomous and asynchronous operation of networked appliances by using mobile age...
Soko Aoki, Jin Nakazawa, Hideyuki Tokuda
133
Voted
DICS
2006
15 years 6 months ago
Definition and Correct Refinement of Operation Specifications
Abstract. Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simpliabstract model of the system which is ...
Thomas Baar, Slavisa Markovic, Frédé...
141
Voted
CLUSTER
2008
IEEE
15 years 11 months ago
A trace-driven emulation framework to predict scalability of large clusters in presence of OS Jitter
—Various studies have pointed out the debilitating effects of OS Jitter on the performance of parallel applications on large clusters such as the ASCI Purple and the Mare Nostrum...
Pradipta De, Ravi Kothari, Vijay Mann
156
Voted
CODES
2007
IEEE
15 years 11 months ago
HW/SW co-design for Esterel processing
We present a co-synthesis approach that accelerates reactive software processing by moving the calculation of complex expressions into external combinational hardware. The startin...
Sascha Gädtke, Claus Traulsen, Reinhard von H...
ICALP
1989
Springer
15 years 8 months ago
Causal Trees
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
Philippe Darondeau, Pierpaolo Degano