Sciweavers

30 search results - page 4 / 6
» Towards an efficient implementation of traceback mechanisms ...
Sort
View
GECCO
2005
Springer
142views Optimization» more  GECCO 2005»
16 years 4 days ago
Toward evolved flight
We present the first hardware-in-the-loop evolutionary optimization on an ornithopter. Our experiments demonstrate the feasibility of evolving flight through genetic algorithms an...
Rusty Hunt, Gregory Hornby, Jason D. Lohn
POPL
2010
ACM
16 years 4 months ago
Toward a Verified Relational Database Management System
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
Avraham Shinnar, Greg Morrisett, J. Gregory Malech...
ATAL
2010
Springer
15 years 7 months ago
MagneBike: toward multi climbing robots for power plant inspection
An ever-growing infrastructure, including existing and newly built power plants, as well as a rising environmental awareness in society call for inspection and maintenance systems...
Andreas Breitenmoser, Fabien Tâche, Gilles C...
CLUSTER
2001
IEEE
15 years 10 months ago
A Distributed Object Model for Solving Irregularly Structured Problems on Cluster
This paper presents a distributed object model MOIDE for solving irregularly structured problems on cluster. The primary appeal of MOIDE is its flexible system structure that is a...
Yudong Sun, Cho-Li Wang
EDCC
1999
Springer
15 years 11 months ago
Efficient Reliable Real-Time Group Communication for Wireless Local Area Networks
We consider teams of mobile autonomous robot systems that coordinate their work via communication over a wireless local area network. In such a scenario, timely delivery and group...
Michael Mock, Edgar Nett, Stefan Schemmer