Sciweavers

6796 search results - page 932 / 1360
» Java for Embedded Systems
Sort
View
LCTRTS
2004
Springer
15 years 10 months ago
Dynamic voltage scaling for real-time multi-task scheduling using buffers
This paper proposes energy efficient real-time multi-task scheduling (EDF and RM) algorithms by using buffers. The buffering technique overcomes a drawback of previous approaches ...
Chaeseok Im, Soonhoi Ha
CODES
2003
IEEE
15 years 10 months ago
RTOS scheduling in transaction level models
the level of abstraction in system design promises to enable faster exploration of the design space at early stages. While scheduling decision for embedded software has great impa...
Haobo Yu, Andreas Gerstlauer, Daniel Gajski
LICS
1996
IEEE
15 years 9 months ago
The Theory of Hybrid Automata
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...
Thomas A. Henzinger
ARGMAS
2004
Springer
15 years 9 months ago
Formal Dialectic Specification
Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for ...
Simon Wells, Chris Reed
ASAP
2004
IEEE
115views Hardware» more  ASAP 2004»
15 years 9 months ago
Design of the QBIC Wearable Computing Platform
Wearable computing systems can be broadly defined as mobile electronic devices that can be unobtrusively embedded in a user's outfit as part of the garment or an accessory. U...
Oliver Amft, Michael Lauffer, Stijn Ossevoort, Fab...