Sciweavers

1392 search results - page 84 / 279
» Staging generic programming
Sort
View
SAT
2007
Springer
126views Hardware» more  SAT 2007»
14 years 3 months ago
Sensor Deployment for Failure Diagnosis in Networked Aerial Robots: A Satisfiability-Based Approach
Unmanned aerial vehicles (UAVs) represent an important class of networked robotic applications that must be both highly dependable and autonomous. This paper addresses sensor deplo...
Fadi A. Aloul, Nagarajan Kandasamy
GECCO
2005
Springer
142views Optimization» more  GECCO 2005»
14 years 2 months ago
Goal-oriented preservation of essential genetic information by offspring selection
This contribution proposes an enhanced and generic selection model for Genetic Algorithms (GAs) and Genetic Programming (GP) which is able to preserve the alleles which are part o...
Michael Affenzeller, Stefan Wagner 0002, Stephan M...
IFIP
2004
Springer
14 years 2 months ago
Dependability and its threats - A taxonomy
: This paper gives the main definitions relating to dependability, a generic concept including as special case such attributes as reliability, availability, safety, confidentiality...
Algirdas Avizienis, Jean-Claude Laprie, Brian Rand...
IFIP
2004
Springer
14 years 2 months ago
The Problematic of Distributed Systems Supervision - An Example: Genesys
: This chapter presents the problematic of the distributed systems supervision through a comprehensive state-of-the-art. Issues are illustrated with a case study about an innovativ...
Jean-Eric Bohdanowicz, Stefan Wesner, Lászl...
COCOON
2007
Springer
14 years 1 months ago
Improved Exact Algorithms for Counting 3- and 4-Colorings
Abstract. We introduce a generic algorithmic technique and apply it on decision and counting versions of graph coloring. Our approach is based on the following idea: either a graph...
Fedor V. Fomin, Serge Gaspers, Saket Saurabh