Sciweavers

5186 search results - page 541 / 1038
» Embedded Systems
Sort
View
ECRTS
2002
IEEE
15 years 12 months ago
The FTT-Ethernet Protocol: Merging Flexibility, Timeliness and Efficiency
Despite having been designed to interconnect office equipment such as computers and printers, since its early days Ethernet has also been considered for use in the industrial doma...
Paulo Pedreiras, Luís Almeida, Paolo Gai
ECRTS
2002
IEEE
15 years 12 months ago
Scope-Tree: A Program Representation for Symbolic Worst-Case Execution Time Analysis
Most WCET analysis techniques only provide an upper bound on the worst case execution time as a constant value. However, it often appears that the execution time of a piece of cod...
Antoine Colin, Guillem Bernat
RTAS
2002
IEEE
15 years 11 months ago
Performance Evaluation on a Real-Time Database
We have implemented an object-oriented real-time database system called BeeHive. Using BeeHive, the performance of two data-deadline cognizant scheduling policies, called EDDF and...
Suhee Kim, Sang Hyuk Son, John A. Stankovic
RTAS
2000
IEEE
15 years 11 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
CONCUR
2000
Springer
15 years 11 months ago
Formal Models for Communication-Based Design
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, L...