Sciweavers

388 search results - page 69 / 78
» Discrete Hamilton-Jacobi theory and discrete optimal control
Sort
View
CN
2002
195views more  CN 2002»
13 years 8 months ago
A simulation study of the OSPF-OMP routing algorithm
Open shortest path first (OSPF) is the most widely used internal gateway routing protocol on the Internet. However, one shortcoming is that it does not take advantage of the exist...
G. Michael Schneider, Tamás Németh
SAB
2010
Springer
133views Optimization» more  SAB 2010»
13 years 7 months ago
Simulating Human Table Tennis with a Biomimetic Robot Setup
Playing table tennis is a difficult motor task which requires fast movements, accurate control and adaptation to task parameters. Although human beings see and move slower than mos...
Katharina Mülling, Jens Kober, Jan Peters
HYBRID
1998
Springer
14 years 25 days ago
Formal Verification of Safety-Critical Hybrid Systems
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
Carolos Livadas, Nancy A. Lynch
ACSD
2009
IEEE
106views Hardware» more  ACSD 2009»
13 years 11 months ago
Specification Enforcing Refinement for Convertibility Verification
Protocol conversion deals with the automatic synthesis of an additional component, often referred to as an adaptor or a converter, to bridge mismatches between interacting compone...
Partha S. Roop, Alain Girault, Roopak Sinha, Grego...
IPPS
1997
IEEE
14 years 24 days ago
External Adjustment of Runtime Parameters in Time Warp Synchronized Parallel Simulators
Several optimizations to the Time Warp synchronization protocol for parallel discrete event simulation have been proposed and studied. Many of these optimizations have included so...
Radharamanan Radhakrishnan, Lantz Moore, Philip A....