Sciweavers

RTAS
2000
IEEE
14 years 5 months ago
Chocolate: A Reservation-Based Real-Time Java Environment on Windows/NT
In this paper, we present Chocolate, a reservation-based Real-Time Java run-time environment that runs on Windows NT. We first present a brief overview of the emerging RealTime Ja...
Dionisio de Niz, Ragunathan Rajkumar
RTAS
2000
IEEE
14 years 5 months ago
Voltage-Clock-Scaling Adaptive Scheduling Techniques for Low Power in Hard Real-Time Systems
—Many embedded systems operate under severe power and energy constraints. Voltage clock scaling is one mechanism by which energy consumption may be reduced: It is based on the fa...
C. Mani Krishna, Yann-Hang Lee
RTAS
2000
IEEE
14 years 5 months ago
Scheduling Distributed Real-Time Tasks in the DGMF Model
Deji Chen, Aloysius K. Mok, Sanjoy K. Baruah
RTAS
2000
IEEE
14 years 5 months ago
Design and Implementation of a Caching System for Streaming Media over the Internet
Congested networks and overloaded servers resulting from the ever growing number of Internet users contribute to the lack of good quality video streaming over the Internet. We pro...
Ethendranath Bommaiah, Katherine Guo, Markus Hofma...
IWPC
2000
IEEE
14 years 5 months ago
Automated Quality Analysis of Component Software for Embedded Systems
The Java programming language has gained increasing importance for the development of embedded systems. To be cost efficient, such systems have to cope with significant hardware...
Jens H. Jahnke, Jörg Niere, Jörg P. Wads...
ISSS
2000
IEEE
109views Hardware» more  ISSS 2000»
14 years 5 months ago
Verification of Embedded Systems using a Petri Net based Representation
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
ICECCS
2000
IEEE
135views Hardware» more  ICECCS 2000»
14 years 5 months ago
Definitions of Equivalence for Transformational Synthesis of Embedded Systems
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
EUROMICRO
2000
IEEE
14 years 5 months ago
A Simulink(c)-Based Approach to System Level Design and Architecture Selection
We propose a design flow for low-power and low-cost, data-dominated, embedded systems which tightly integrate different technologies and architectures. We use Mathworks’ Simuli...
Luciano Lavagno, Begoña Pino, Leonardo Mari...
ECRTS
2000
IEEE
14 years 5 months ago
Clock synchronization for wireless local area networks
Michael Mock, Reiner Frings, Edgar Nett, Spiro Tri...