Sciweavers

980 search results - page 20 / 196
» A Framework for Distributing Real-Time Functions
Sort
View
RTSS
2007
IEEE
15 years 6 months ago
Toward the Predictable Integration of Real-Time COTS Based Systems
The integration phase of real-time COTS-based systems is often problematic because when multiple tasks run concurrently, the interference at the bus level between cache fetching a...
Rodolfo Pellizzoni, Marco Caccamo
ICALP
1998
Springer
15 years 4 months ago
Metric Semantics for True Concurrent Real Time
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...
Christel Baier, Joost-Pieter Katoen, Diego Latella
CAV
2007
Springer
227views Hardware» more  CAV 2007»
15 years 3 months ago
The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
Martin Ouimet, Kristina Lundqvist
ECCV
2008
Springer
15 years 1 months ago
Robust Real-Time Visual Tracking Using Pixel-Wise Posteriors
We derive a probabilistic framework for robust, real-time, visual tracking of previously unseen objects from a moving camera. The tracking problem is handled using a bag-of-pixels ...
Charles Bibby, Ian D. Reid
BIRTE
2006
139views Business» more  BIRTE 2006»
15 years 3 months ago
Quality Contracts for Real-Time Enterprises
Real-time enterprises rely on user queries being answered in a timely fashion and using fresh data. This is relatively easy when systems are lightly loaded and both queries and upd...
Alexandros Labrinidis, Huiming Qu, Jie Xu