Sciweavers

6308 search results - page 418 / 1262
» Modeling Urgency in Timed Systems
Sort
View
GLOBECOM
2007
IEEE
16 years 1 months ago
An Analytical Model for a Book-Ahead Bandwidth Scheduler
— Optical networks with book-ahead bandwidth schedulers are being deployed to meet the high-speed and predictable-service networking requirements of applications in the scientiï¬...
Xiangfei Zhu, Mark E. McGinley, Tao Li, Malathi Ve...
RTAS
2003
IEEE
16 years 2 days ago
Tool Set Implementation for Scenario-based Multithreading of UML-RT Models and Experimental Validation
This paper presents our tool set implementation for scenario-based multithreading of object-oriented realtime models and an accompanying experimental validation. Our tools enable ...
Jamison Masse, Saehwa Kim, Seongsoo Hong
RTCSA
1999
IEEE
15 years 11 months ago
Incorporating Error Recovery into the Imprecise Computation Model
In this paper; we describe optimal algorithmsfor incorporating error recovery in the imprecise computation model. In that model eack task compriser a mandatory and an optional par...
Hakan Aydin, Rami G. Melhem, Daniel Mossé
PAMI
2012
13 years 9 months ago
Tracking-Learning-Detection
A novel system for long-term tracking of a human face in unconstrained videos is built on Tracking-Learning-Detection (TLD) approach. The system extends TLD with the concept of a ...
Zdenek Kalal, Krystian Mikolajczyk, Jiri Matas
CASE
2011
102views more  CASE 2011»
14 years 6 months ago
Towards an automated verification process for industrial safety applications
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
Kleanthis Thramboulidis, Doaa Soliman, Georg Frey