Sciweavers

1715 search results - page 87 / 343
» Embedded Systems and Real-Time Programming
Sort
View
ADAEUROPE
2007
Springer
15 years 7 months ago
Real-Time Utilities for Ada 2005
Modernlarge real-time systems are becoming more complex. Whilst Ada 2005 provides a comprehensive set of programming mechanisms that allow these systems to be implethe abstraction...
Andy J. Wellings, Alan Burns
VLDB
1998
ACM
102views Database» more  VLDB 1998»
15 years 5 months ago
A Database System for Real-Time Event Aggregation in Telecommunication
Telecommunication networks process verylarge numbers of events in real time. In this environment, database applications demand both high throughput (at reasonable costs), and pred...
Jerry Baulier, Stephen Blott, Henry F. Korth, Abra...
RTAS
2003
IEEE
15 years 7 months ago
Real-Time Scheduling of Hierarchical Reward-Based Tasks
A reward-based task typically consists of a mandatory part that must be accomplished before the given deadline, and an optional part that is associated with rewards for partial co...
Ming Zu, Albert Mo Kim Cheng
129
Voted
RTCSA
1999
IEEE
15 years 6 months ago
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
Zhe Dang, Richard A. Kemmerer
EUROMICRO
1997
IEEE
15 years 5 months ago
Performability and Reliability Modeling of N Version Fault Tolerant Software in Real Time Systems
The paper presents a hierarchical modeling approach of the N version programming in a real – time environment. The model is constructed in three layers. At the first layer we d...
Katerina Goseva-Popstojanova, Aksenti Grnarov