Sciweavers

747 search results - page 58 / 150
» Testing for tunneling opens
Sort
View
JSS
2010
107views more  JSS 2010»
13 years 8 months ago
An empirical investigation into branch coverage for C programs using CUTE and AUSTIN
Automated test data generation has remained a topic of considerable interest for several decades because it lies at the heart of attempts to automate the process of Software Testi...
Kiran Lakhotia, Phil McMinn, Mark Harman
CRV
2009
IEEE
206views Robotics» more  CRV 2009»
14 years 4 months ago
Unsupervised Learning of Terrain Appearance for Automated Coral Reef Exploration
We describe a navigation and coverage system based on unsupervised learning driven by visual input. Our objective is to allow a robot to remain continuously moving above a terrain...
Philippe Giguère, Gregory Dudek, Chris Prah...
FSTTCS
2009
Springer
14 years 4 months ago
Donation Center Location Problem
We introduce and study the donation center location problem, which has an additional application in network testing and may also be of independent interest as a general graph-theor...
Chien-Chung Huang, Zoya Svitkina
HICSS
2008
IEEE
137views Biometrics» more  HICSS 2008»
14 years 4 months ago
Social Network Structure as a Critical Success Condition for Virtual Communities
Virtual communities have become an important new organizational form and yet relatively little is known about the conditions which lead to their success. In an attempt to address ...
David Hinds, Ronald M. Lee
ICMENS
2003
IEEE
127views Hardware» more  ICMENS 2003»
14 years 2 months ago
Design and Fabrication of Microchannels for Magnetohydrodynamic Flow
This paper introduces a new microchannel design for magnetohydrodynamic (MHD) flow that maximizes MHD pumping power. An electromagnetic channel (EMC), which has a rectangular cros...
Jian-Bin Bao, D. Jed Harrison