5387 search results - page 196 / 1078 » Generating generic functions |
188
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
We report on GADGET, a new software test generation system that uses combinatorial optimization to obtain condition/decision coverage of C/C++ programs. The GADGET system is fully...
157
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
Functional verification of systems is aimed at validating the integration of previously verified components. It deals with complex designs, and invariably suffers from scarce re...
160
click to vote
FDL
2007
IEEE
16 years 23 days ago
2007
IEEE
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
134
click to vote
ICRA
2006
IEEE
16 years 14 days ago
2006
IEEE
— We develop decentralized controllers for a swarm of robots to generate a desired two-dimensional geometric pattern specified by a smooth function while maintaining specified ...
155
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
- The performance of monocular vision based target tracking is a strong function of camera motion. Without motion, the target estimation problem is unsolvable. By designing the cam...