139 search results - page 22 / 28 » Airborne Collision Avoidance System |
JVCIR
2007
14 years 10 months ago
2007
The most popular approaches for the simulation of dynamic systems in computer graphics are force based. Internal and external forces are accumulated from which accelerations are c...
SIAMSC
2010
14 years 8 months ago
2010
In this paper we extend the micro-macro decomposition based asymptotic-preserving scheme developed in [3] for the single species Boltzmann equation to the multispecies problems. A...
103
click to vote
HYBRID
1998
Springer
15 years 2 months ago
1998
Springer
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....
PPOPP
2010
ACM
15 years 7 months ago
2010
ACM
Drawing inspiration from several previous projects, we present an ownership-record-free software transactional memory (STM) system that combines extremely low overhead with unusua...
GLOBECOM
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—Vehicular Ad-Hoc networks (VANETs) play a critical role in enabling important active safety applications such as collision warning and vehicle tracking. The most pressin...