2072 search results - page 8 / 415 » Multibook's test environment |
IJRR
2011
13 years 2 months ago
2011
This paper presents a novel method for online and incremental appearance-based localization and mapping in a highly dynamic environment. Using position-invariant robust features (...
ICST
2010
IEEE
13 years 5 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
ACSAC
2010
IEEE
13 years 5 months ago
2010
IEEE
New security architectures are difficult to prototype and test at the design stage. Fine-grained monitoring of the interactions between hardware, the operating system, and applica...
ET
2010
13 years 4 months ago
2010
Modern mixed-signal/RF circuits with a digital calibration capability could achieve significant performance improvement through calibration. However, the calibration process often ...
GLVLSI
2009
IEEE
13 years 4 months ago
2009
IEEE
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...