Sciweavers

1739 search results - page 136 / 348
» Battery Model for Embedded Systems
Sort
View
ICW
2005
IEEE
167views Communications» more  ICW 2005»
15 years 3 months ago
Dynamic Software Reconfiguration in Sensor Networks
Reconfiguration and self-adaptation are vital capabilities of sensor networks and networked embedded systems that are required to operate in dynamic environments. This paper prese...
Sachin Kogekar, Sandeep Neema, Xenofon D. Koutsouk...
ECRTS
2002
IEEE
15 years 3 months ago
POSIX-Compatible Application-Defined Scheduling in MaRTE OS
Abstract: This paper presents an application program interface (API) that enables applications to use applicationdefined scheduling algorithms in a way compatible with the scheduli...
Mario Aldea Rivas, Michael González Harbour
TACAS
1995
Springer
94views Algorithms» more  TACAS 1995»
15 years 1 months ago
A User Guide to HyTech
HyTech is a tool for the automated analysis of embedded systems. This document, designed for the rst-time user of HyTech, guides the reader through the underlying system model, an...
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
JTRES
2010
ACM
14 years 10 months ago
Cyclic executive for safety-critical Java on chip-multiprocessors
Chip-multiprocessors offer increased processing power at a low cost. However, in order to use them for real-time systems, tasks have to be scheduled efficiently and predictably. I...
Anders P. Ravn, Martin Schoeberl
HICSS
2007
IEEE
120views Biometrics» more  HICSS 2007»
15 years 4 months ago
A Model-Based Approach for Platform-Independent Binary Components with Precise Timing and Fine-Grained Concurrency
Fine grained concurrency and accurate timing can be essential for embedded hardware and software systems. These requirements should be reflected in the specification and must be c...
Tim Schattkowsky, Gregor Engels, Alexander Fö...