Sciweavers

2256 search results - page 96 / 452
» The Modeling for Dynamic Power Management of Embedded System...
Sort
View
135
Voted
CORR
2010
Springer
131views Education» more  CORR 2010»
14 years 11 months ago
On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
Manuel Mazzara, Anirban Bhattacharyya
95
Voted
LREC
2010
162views Education» more  LREC 2010»
15 years 3 months ago
The Ariadne System: A Flexible and Extensible Framework for the Modeling and Storage of Experimental Data in the Humanities
This paper introduces the Ariadne Corpus Management System. First, the underlying data model is presented which enables users to represent and process heterogeneous data sets with...
Peter Menke, Alexander Mehler
RTAS
2005
IEEE
15 years 7 months ago
Practical On-line DVS Scheduling for Fixed-Priority Real-Time Systems
We present an on-line Dynamic Voltage Scaling (DVS) algorithm for preemptive fixed-priority real-time systems called low power Limited Demand Analysis with Transition overhead (l...
Bren Mochocki, Xiaobo Sharon Hu, Gang Quan
APPINF
2003
15 years 3 months ago
A Generated Management for Distributed Systems
An approach for specifying the management of a distributed system is herein described. Based on this formal approach, a management can be generated. The base of the specification ...
Thomas Peschel-Findeisen, Bertram Hütter
124
Voted
SENSYS
2006
ACM
15 years 7 months ago
Run-time dynamic linking for reprogramming wireless sensor networks
From experience with wireless sensor networks it has become apparent that dynamic reprogramming of the sensor nodes is a useful feature. The resource constraints in terms of energ...
Adam Dunkels, Niclas Finne, Joakim Eriksson, Thiem...