Sciweavers

315 search results - page 11 / 63
» Parametric real-time reasoning
Sort
View
RTAS
2007
IEEE
14 years 3 months ago
Performance Debugging of Real-Time Systems Using Multicriteria Schedulability Analysis
Most of today’s real-time embedded systems consist of a heterogeneous mix of fully-programmable processors, fixed-function components or hardware accelerators, and partially-pr...
Unmesh D. Bordoloi, Samarjit Chakraborty
RTCSA
2005
IEEE
14 years 3 months ago
An On-Chip Garbage Collection Coprocessor for Embedded Real-Time Systems
Garbage collection considerably increases programmer productivity and software quality. However, it is difficult to implement garbage collection both efficiently and suitably fo...
Matthias Meyer
ICTAC
2005
Springer
14 years 3 months ago
The Timer Cascade: Functional Modelling and Real Time Calculi
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...
Raymond T. Boute, Andreas Schäfer
HICSS
2002
IEEE
120views Biometrics» more  HICSS 2002»
14 years 2 months ago
Real Time Decision Support System for Portfolio Management
We describe our real time decision support system; a system that supports information gathering and managing of an investment portfolio. Our system uses the Object Oriented Bayesi...
Chiu-Che Tseng, Piotr J. Gmytrasiewicz
VLDB
1998
ACM
102views Database» more  VLDB 1998»
14 years 1 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...