Sciweavers

3265 search results - page 309 / 653
» Distributed Slicing in Dynamic Systems
Sort
View
ASPDAC
2005
ACM
104views Hardware» more  ASPDAC 2005»
15 years 8 months ago
Speed and voltage selection for GALS systems based on voltage/frequency islands
Due to increasing clock speeds and shrinking technologies, distributing a single global clock signal throughout a chip is becoming a difficult and challenging proposition. In this...
Koushik Niyogi, Diana Marculescu
PERCOM
2004
ACM
16 years 6 months ago
Energy-Aware Media Transcoding in Wireless Systems
In distributed systems, transcoding techniques have been used to customize multimedia objects, utilizing trade-offs between the quality and sizes of these objects to provide diffe...
Christian Poellabauer, Karsten Schwan
RSP
2009
IEEE
149views Control Systems» more  RSP 2009»
16 years 1 months ago
Rapid-Prototyping of Adaptive Component-Based Systems Using Runtime Aspectual Interactions
Aspect-oriented mechanisms have been widely exploited at the programming-level. Nevertheless, little has been achieved at the architectural level, and this despite the potential b...
Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake
C5
2010
IEEE
15 years 12 months ago
Overseer: A Mobile Context-Aware Collaboration and Task Management System for Disaster Response
Efficient collaboration and task management is challenging in distributed, dynamically-formed organizations such as ad hoc disaster response teams. Ineffective collaboration may r...
Faisal B. Luqman, Martin L. Griss
SIGMETRICS
2008
ACM
130views Hardware» more  SIGMETRICS 2008»
15 years 6 months ago
Using probabilistic model checking in systems biology
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
Marta Z. Kwiatkowska, Gethin Norman, David Parker