77 search results - page 4 / 16 » Reachability analysis of GSPDIs: theory, optimization, and i... |
INFORMATICALT
2002
13 years 8 months ago
2002
Two examples of open-loop differential games are considered in the paper. Starting with simplified dynamic Duel, further it was developed to differential economic Duel modelling pr...
ICDCSW
2005
IEEE
14 years 2 months ago
2005
IEEE
Congestion in the Internet results in wasted bandwidth and also stands in the way of guaranteeing QoS. The effect of congestion is multiplied many fold in Satellite networks, wher...
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
— We report on a 9-axis inertial measurement unit (IMU) which utilizes 3-axis angular velocity measurements from rate gyros and 6-axis linear acceleration measurements from three...
CIIA
2009
13 years 10 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...
IWMM
2010
Springer
13 years 10 months ago
2010
Springer
The accurate prediction of program's memory requirements is a critical component in software development. Existing heap space analyses either do not take deallocation into ac...