Sciweavers

3481 search results - page 502 / 697
» A New Approach to Component Testing
Sort
View
ICRA
2008
IEEE
134views Robotics» more  ICRA 2008»
16 years 25 days ago
Towards robust place recognition for robot localization
— Localization and context interpretation are two key competences for mobile robot systems. Visual place recognition, as opposed to purely geometrical models, holds promise of hi...
Muhammad Muneeb Ullah, Andrzej Pronobis, Barbara C...
SSDBM
2008
IEEE
146views Database» more  SSDBM 2008»
16 years 24 days ago
Kriging for Localized Spatial Interpolation in Sensor Networks
Abstract. The presence of coverage holes can adversely affect the accurate representation of natural phenomena being monitored by a Wireless Sensor Network (WSN). Current WSN resea...
Muhammad Umer, Lars Kulik, Egemen Tanin
ISMVL
2007
IEEE
104views Hardware» more  ISMVL 2007»
16 years 21 days ago
Evaluation of Toggle Coverage for MVL Circuits Specified in the SystemVerilog HDL
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
Mahsan Amoui, Daniel Große, Mitchell A. Thor...
IPPS
2006
IEEE
16 years 13 days ago
A tool for environment deployment in clusters and light grids
Focused around the field of the exploitation and the administration of high performance large-scale parallel systems , this article describes the work carried out on the deployme...
Yiannis Georgiou, Julien Leduc, Brice Videau, Joha...
SCAM
2006
IEEE
16 years 12 days ago
Constructing Accurate Application Call Graphs For Java To Model Library Callbacks
Call graphs are widely used to represent calling relationships among methods. However, there is not much interest in calling relationships among library methods in many software e...
Weilei Zhang, Barbara G. Ryder