Sciweavers

2485 search results - page 318 / 497
» Enabling Simulation Interoperability
Sort
View
IROS
2009
IEEE
142views Robotics» more  IROS 2009»
15 years 9 months ago
ISROBOTNET: A testbed for sensor and robot network systems
— This paper introduces a testbed for sensor and robot network systems, currently composed of 10 cameras and 5 mobile wheeled robots equipped with several sensors for self-locali...
Marco Barbosa, Alexandre Bernardino, Dario Figueir...
IROS
2009
IEEE
128views Robotics» more  IROS 2009»
15 years 9 months ago
Motion planning for active cannulas
— An active cannula is a medical device composed of thin, pre-curved, telescoping tubes that may enable many new surgical procedures. Planning optimal motions for these devices i...
Lisa A. Lyons, Robert J. Webster, Ron Alterovitz
125
Voted
MICRO
2009
IEEE
103views Hardware» more  MICRO 2009»
15 years 9 months ago
BulkCompiler: high-performance sequential consistency through cooperative compiler and hardware support
A platform that supported Sequential Consistency (SC) for all codes — not only the well-synchronized ones — would simplify the task of programmers. Recently, several hardware ...
Wonsun Ahn, Shanxiang Qi, M. Nicolaides, Josep Tor...
ATAL
2009
Springer
15 years 9 months ago
Self-organising agent organisations
Self-organising multi-agent systems provide a suitable paradigm for developing autonomic computing systems that manage themselves. Towards this goal, we demonstrate a robust, dece...
Ramachandra Kota, Nicholas Gibbins, Nicholas R. Je...
CMSB
2009
Springer
15 years 9 months ago
A Bayesian Approach to Model Checking Biological Systems
Recently, there has been considerable interest in the use of Model Checking for Systems Biology. Unfortunately, the state space of stochastic biological models is often too large f...
Sumit Kumar Jha, Edmund M. Clarke, Christopher Jam...