Sciweavers

5159 search results - page 747 / 1032
» Structural Testing of Executables
Sort
View
GLOBECOM
2007
IEEE
16 years 1 months ago
Hierarchical Provisioning Algorithm for Virtual Private Networks Using the Hose Model
— Virtual Private Networks (VPN) provide a secure and reliable communication between customer sites over a shared network. Two models were proposed for the service provisioning i...
Monia Ghobadi, Sudhakar Ganti, Gholamali C. Shoja
IAT
2007
IEEE
16 years 1 months ago
A Hybrid of Inference and Local Search for Distributed Combinatorial Optimization
We present a new hybrid algorithm for local search in distributed combinatorial optimization. This method is a mix between classical local search methods in which nodes take decis...
Adrian Petcu, Boi Faltings
ICRA
2007
IEEE
136views Robotics» more  ICRA 2007»
16 years 1 months ago
Automated Nanomanipulation with Atomic Force Microscopes
Abstract—Automation has long been recognized as an important goal in AFM (Atomic Force Microscope) nanomanipulation research. For the precise manipulation of small particles with...
Babak Mokaberi, Jaehong Yun, Michael Wang, Aristid...
ICRA
2007
IEEE
157views Robotics» more  ICRA 2007»
16 years 1 months ago
Learning to Select State Machines using Expert Advice on an Autonomous Robot
— Hierarchical state machines have proven to be a powerful tool for controlling autonomous robots due to their flexibility and modularity. For most real robot implementations, h...
Brenna Argall, Brett Browning, Manuela M. Veloso
IEEEPACT
2007
IEEE
16 years 1 months ago
Unified Architectural Support for Soft-Error Protection or Software Bug Detection
In this paper we propose a unified architectural support that can be used flexibly for either soft-error protection or software bug detection. Our approach is based on dynamically...
Martin Dimitrov, Huiyang Zhou