Sciweavers

3265 search results - page 309 / 653
» Distributed Slicing in Dynamic Systems
Sort
View
ASPDAC
2005
ACM
104views Hardware» more  ASPDAC 2005»
15 years 5 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
137
Voted
PERCOM
2004
ACM
16 years 3 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
117
Voted
RSP
2009
IEEE
149views Control Systems» more  RSP 2009»
15 years 10 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 8 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 3 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