139 search results - page 9 / 28 » Airborne Collision Avoidance System |
104
click to vote
RT
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. In this paper we present some preliminary results concerning a realtime visualisation system for densely populated urban environments. In order to be able to render the l...
SEW
2006
IEEE
15 years 4 months ago
2006
IEEE
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...
125
click to vote
ICST
2009
IEEE
14 years 7 months ago
2009
IEEE
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
GI
2009
Springer
14 years 7 months ago
2009
Springer
Abstract: One of the basic tasks of automotive collision avoidance and collision mitigation systems is the robust and reliable detection of objects as well as the prediction of fut...
GLOBECOM
2009
IEEE
15 years 4 months ago
2009
IEEE
— A radio frequency identification (RFID) system consists of a set of readers and several objects, equipped with small computer chips, called tags. In a dense RFID system, where...