Sciweavers

1598 search results - page 32 / 320
» High-Assurance Distributed, Adaptive Software for Dynamic Sy...
Sort
View
ECOOPW
2004
Springer
14 years 1 months ago
Coordination and Adaptation Techniques for Software Entities
Abstract. Coordination and Adaptation are two key issues when developing complex distributed systems. Coordination focuses on the interaction among computational entities. Adaptati...
Carlos Canal, Juan Manuel Murillo, Pascal Poizat
DATE
2009
IEEE
98views Hardware» more  DATE 2009»
14 years 2 months ago
Dynamic and distributed frequency assignment for energy and latency constrained MP-SoC
—In this paper we present an adaptive technique to locally adjust the frequency of processing elements on MP-SoC. The proposed method, based on Game Theory, optimizes the system ...
Diego Puschini, Fabien Clermidy, Pascal Benoit, Gi...
AOSD
2009
ACM
13 years 10 months ago
Modular verification of dynamically adaptive systems
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
Ji Zhang, Heather Goldsby, Betty H. C. Cheng
FSEN
2007
Springer
14 years 1 months ago
Adapting the UPPAAL Model of a Distributed Lift System
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...
Wan Fokkink, Allard Kakebeen, Jun Pang
IPPS
1997
IEEE
13 years 11 months ago
View Caching: Efficient Software Shared Memory for Dynamic Computations
Software distributed shared memory (DSM) techniques, while effective on applications with coarse-grained sharing, yield poor performance for the fine-grained sharing encountered i...
Vijay Karamcheti, Andrew A. Chien