Sciweavers

3192 search results - page 552 / 639
» Translating Model Simulators to Analysis Models
Sort
View
ICRA
2009
IEEE
183views Robotics» more  ICRA 2009»
14 years 3 months ago
Turning dynamics and passive damping in flapping flight
—we investigated whether flapping flight has an inherent stability by analyzing the inertial and aerodynamic effects of flapping wings on body dynamics. Based on wing and body ki...
Bo Cheng, Steven N. Fry, Qingfeng Huang, William B...
GROUP
2009
ACM
14 years 3 months ago
Lazy scheduling of processing and transmission tasks in collaborative systems
A collaborative system must perform both processing and transmission tasks. We present a policy for scheduling these tasks on a single core that is inspired by studies of human pe...
Sasa Junuzovic, Prasun Dewan
INFOCOM
2008
IEEE
14 years 3 months ago
Joint Effects of Radio Channels and Node Mobility on Link Dynamics in Wireless Networks
—In this paper, we study link properties over dynamic radio channels based on analytical models and simulations. Specifically, channel variability and mobility are investigated ...
Wenye Wang, Ming Zhao 0001
DSN
2007
IEEE
14 years 3 months ago
On the Quality of Service of Crash-Recovery Failure Detectors
In this paper, we study and model a crash-recovery target and its failure detector’s probabilistic behavior. We extend Quality of Service (QoS) metrics to measure the recovery d...
Tiejun Ma, Jane Hillston, Stuart Anderson
ADAEUROPE
2007
Springer
14 years 3 months ago
Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar
In this article, we experiment a way to extend an Ada library called Cheddar. Cheddar provides a domain specific language. Programs written with this domain specific language can...
Frank Singhoff, Alain Plantec