Sciweavers

9210 search results - page 99 / 1842
» Analyzing Real-Time Systems
Sort
View
JEC
2006
113views more  JEC 2006»
13 years 9 months ago
CyNC: A method for real time analysis of systems with cyclic data flows
The paper addresses a novel method for realtime analysis of systems with cyclic data flows. The presented method is based on Network Calculus principles, where upper and lower flo...
Henrik Schiøler, Jens Dalsgaard Nielsen, Ki...
IEEECIT
2010
IEEE
13 years 7 months ago
Model-Level Debugging of Embedded Real-Time Systems
Abstract—Model-driven development has become the stateof-the-art approach for designing embedded real-time systems. heir high level of abstraction, models are easier to understan...
Wolfgang Haberl, Markus Herrmannsdoerfer, Jan Birk...
TPDS
2010
143views more  TPDS 2010»
13 years 7 months ago
FIT: A Flexible, Lightweight, and Real-Time Scheduling System for Wireless Sensor Platforms
—We propose FIT, a flexible, lightweight, and real-time scheduling system for wireless sensor platforms. There are three salient features of FIT. First, its two-tier hierarchical...
Wei Dong, Chun Chen, Xue Liu, Kougen Zheng, Rui Ch...
CORR
2010
Springer
59views Education» more  CORR 2010»
13 years 7 months ago
Refinement and Verification of Real-Time Systems
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...
Paul Z. Kolano, Carlo A. Furia, Richard A. Kemmere...
CVPR
2007
IEEE
14 years 11 months ago
A Real-Time ProCam System for Interaction with Chinese Ink-and-Wash Cartoons
This poster describes our recently developed real-time projector-camera system for interaction with Chinese Inkand-Wash Cartoons. We implement a real-time interactive water simula...
Ming Jin, Hui Zhang, Xubo Yang, Shuangjiu Xiao