Sciweavers

4000 search results - page 223 / 800
» Simulation down under
Sort
View
RV
2007
Springer
130views Hardware» more  RV 2007»
16 years 4 days ago
Statistical Runtime Checking of Probabilistic Properties
Probabilistic correctness is another important aspect of reliable systems. A soft real-time system, for instance, exhibits probabilistic behaviors from tolerating some degrees of ...
Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regeh...
TELETRAFFIC
2007
Springer
16 years 4 days ago
Distributed Path Computation Without Transient Loops: An Intermediate Variables Approach
Abstract— Paths with loops, even transient ones, pose significant stability problems in high-speed networks. We present a new algorithm, named Distributed Path Computation with ...
Saikat Ray, Roch Guérin, Rute Sofia
179
Voted
ICNP
2006
IEEE
16 years 2 days ago
On the Practical and Security Issues of Batch Content Distribution Via Network Coding
— File distribution via network coding has received a lot of attention lately. However, direct application of network coding may have security problems. In particular, attackers ...
Qiming Li, Dah-Ming Chiu, John C. S. Lui
167
Voted
INFOCOM
2006
IEEE
16 years 2 days ago
Flow Control Over Wireless Network and Application Layer Implementation
— Flow control, including congestion control for data transmission, and rate control for multimedia streaming, is an important issue in information transmission in both wireline ...
Minghua Chen, Avideh Zakhor
ICRA
2005
IEEE
130views Robotics» more  ICRA 2005»
15 years 11 months ago
Modeling and Control of Active End Effector for the AFM Based Nano Robotic Manipulators
Abstract— Nanomanipulation using Atomic Force Microscope (AFM) has been extensively investigated for many years. However, control of tip position during nanomanipulation is still...
Jiangbo Zhang, Guangyong Li, Ning Xi