Sciweavers

2379 search results - page 198 / 476
» Modeling, scheduling, and simulation of switched processing ...
Sort
View
RTSS
2008
IEEE
16 years 23 days ago
Symbolic Computation of Schedulability Regions Using Parametric Timed Automata
In this paper, we address the problem of symbolically computing the region in the parameter’s space that guarantees a feasible schedule, given a set of real-time tasks character...
Alessandro Cimatti, Luigi Palopoli, Yusi Ramadian
DPD
1998
141views more  DPD 1998»
15 years 6 months ago
Dynamic Query Operator Scheduling for Wide-Area Remote Access
Distributed databases operating over wide-area networks such as the Internet, must deal with the unpredictable nature of the performance of communication. The response times of acc...
Laurent Amsaleg, Michael J. Franklin, Anthony Toma...
DATE
2007
IEEE
85views Hardware» more  DATE 2007»
16 years 22 days ago
Timing simulation of interconnected AUTOSAR software-components
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...
Matthias Krause, Oliver Bringmann, André He...
RTCSA
2000
IEEE
15 years 10 months ago
Optimal scheduling of imprecise computation tasks in the presence of multiple faults
With the advance of applications such as multimedia, imagelspeech processing and real-time AI, real-time computing models allowing to express the “timeliness versus precision”...
Hakan Aydin, Rami G. Melhem, Daniel Mossé
TVCG
2010
155views more  TVCG 2010»
15 years 4 months ago
TanGeoMS: Tangible Geospatial Modeling System
—We present TanGeoMS, a tangible geospatial modeling visualization system that couples a laser scanner, projector, and a flexible physical three-dimensional model with a standar...
Laura Tateosian, Helena Mitásová, Br...