Sciweavers

Share
121 search results - page 1 / 25
» Verification, Performance Analysis and Controller Synthesis ...
Sort
View
FSEN
2009
Springer
9 years 5 months ago
Verification, Performance Analysis and Controller Synthesis for Real-Time Systems
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane
ICPR
2006
IEEE
10 years 2 months ago
Real Time Tracking for 3D Realistic Lip Animation
This article deals with facial segmentation and liptracking with feedback control for real-time animation of a synthetic 3D face model. Classical approaches consist in two success...
Brice Beaumesnil, Franck Luthon
RTSS
2002
IEEE
9 years 6 months ago
A Fast Resource Synthesis Technique for Energy-Efficient Real-Time System
We consider a resource synthesis technique for realtime systems where the energy budget is limited and the performance of the system depends on how resources and energy are used. ...
Dong-In Kang, Stephen P. Crago, Jinwoo Suh
CAV
2003
Springer
140views Hardware» more  CAV 2003»
9 years 5 months ago
Rabbit: A Tool for BDD-Based Verification of Real-Time Systems
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
Dirk Beyer, Claus Lewerentz, Andreas Noack
RTSS
2015
IEEE
3 years 9 months ago
Modular Performance Analysis of Energy-Harvesting Real-Time Networked Systems
Abstract—This paper studies the performance analysis problem of energy-harvesting real-time network systems in the RealTime Calculus (RTC) framework. The behavior of an energyhar...
Nan Guan, Mengying Zhao, Chun Jason Xue, Yongpan L...
books