Sciweavers

2044 search results - page 214 / 409
» Collective Intelligence for Control of Distributed Dynamical...
Sort
View
EUROSYS
2006
ACM
16 years 1 months ago
Database replication policies for dynamic content applications
The database tier of dynamic content servers at large Internet sites is typically hosted on centralized and expensive hardware. Recently, research prototypes have proposed using d...
Gokul Soundararajan, Cristiana Amza, Ashvin Goel
EEMMAS
2007
Springer
15 years 10 months ago
Swarms of Self-assembling Robots
In this talk I present recent research in swarm robotics, the discipline that studies robotic systems composed of swarms of robots tightly interacting and cooperating to reach thei...
Marco Dorigo
MOVEP
2000
136views Hardware» more  MOVEP 2000»
15 years 7 months ago
UPPAAL - Now, Next, and Future
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Ped...
SIGMETRICS
1994
ACM
113views Hardware» more  SIGMETRICS 1994»
15 years 8 months ago
Shade: A Fast Instruction-Set Simulator for Execution Profiling
Shade is an instruction-set simulator and custom trace generator. Application programs are executed and traced under the control of a user-supplied trace analyzer. To reduce commu...
Robert F. Cmelik, David Keppel
ICRA
2010
IEEE
134views Robotics» more  ICRA 2010»
15 years 2 months ago
Design of guaranteed safe maneuvers using reachable sets: Autonomous quadrotor aerobatics in theory and practice
— For many applications, the control of a complex nonlinear system can be made easier by modeling the system as a collection of simplified hybrid modes, each representing a part...
Jeremy H. Gillula, Haomiao Huang, Michael P. Vitus...