9 search results - page 2 / 2 » A Brief Introduction to Property Testing |
JUCS
2006
13 years 4 months ago
2006
Abstract: Combinatorial property testing, initiated formally by Goldreich, Goldwasser, and Ron in [Goldreich et al. (1998)] and inspired by Rubinfeld and Sudan in [Rubinfeld and Su...
IROS
2009
IEEE
13 years 11 months ago
2009
IEEE
— Autonomous navigation of an unmanned aerial vehicle (UAV) can be achieved with a reactive system which allows the robot to overcome all the unexpected changes in its environmen...
ISCN
2006
IEEE
13 years 10 months ago
2006
IEEE
— In this study, Voice over IP (VoIP) performance in multi-layered satellite IP networks with on-board processing (OBP) capability is investigated. With on-board processing, a sa...
SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...