Sciweavers

4689 search results - page 160 / 938
» Analysis and modeling of control tasks in dynamic systems
Sort
View
RTCSA
2008
IEEE
16 years 27 days ago
CREAM: A Generic Build-Time Component Framework for Distributed Embedded Systems
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...
Chetan Raj, Jiyong Park, Jungkeun Park, Seongsoo H...
ICRA
2003
IEEE
142views Robotics» more  ICRA 2003»
15 years 11 months ago
Model identification and attitude control for a micromechanical flying insect including thorax and sensor models
This paper describes recent developments on the model identification and attitude control system for a Micmmechanical Flying lnsect (MFI). We include recently developed dynamical m...
Xinyan Deng, Luca Schenato, Shankar Sastry
EMSOFT
2007
Springer
15 years 10 months ago
Verification of device drivers and intelligent controllers: a case study
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
David Monniaux
USENIX
1994
15 years 7 months ago
Latency Analysis of TCP on an ATM Network
In this paper we characterize the latency of the BSD 4.4 alpha implementation of TCP on an ATM network. Latency reduction is a difficult task, and careful analysis is the first st...
Alec Wolman, Geoffrey M. Voelker, Chandramohan A. ...
SIGMETRICS
2009
ACM
131views Hardware» more  SIGMETRICS 2009»
16 years 1 months ago
Modeling channel popularity dynamics in a large IPTV system
Understanding the channel popularity or content popularity is an important step in the workload characterization for modern information distribution systems (e.g., World Wide Web,...
Tongqing Qiu, Zihui Ge, Seungjoon Lee, Jia Wang, Q...