Sciweavers

4041 search results - page 362 / 809
» time 2009
Sort
View
ICRA
2009
IEEE
151views Robotics» more  ICRA 2009»
15 years 4 months ago
Surface identification using simple contact dynamics for mobile robots
This paper describes an approach to surface identification in the context of mobile robotics, applicable to supervised and unsupervised learning. The identification is based on ana...
Philippe Giguère, Gregory Dudek
ICRA
2009
IEEE
165views Robotics» more  ICRA 2009»
15 years 4 months ago
Planning the reconfiguration of grounded truss structures with truss climbing robots that carry truss elements
Abstract-- In this paper we describe an optimal reconfiguration planning algorithm that morphs a grounded truss structure of known geometry into a new geometry. The plan consists o...
Seung-kook Yun, David Alan Hjelle, Eric Schweikard...
ICS
2009
Tsinghua U.
15 years 4 months ago
Efficient high performance collective communication for the cell blade
This paper presents high-performance collective communication algorithms and implementations that exploit the unique architectural features of the Cell heterogeneous multicore pro...
Qasim Ali, Samuel P. Midkiff, Vijay S. Pai
ICSE
2009
IEEE-ACM
15 years 4 months ago
VCC: Contract-based modular verification of concurrent C
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
Markus Dahlweid, Michal Moskal, Thomas Santen, Ste...
ICWS
2009
IEEE
15 years 4 months ago
DIALOG: Distributed Auditing Logs
Service-oriented systems facilitate business workflows to span multiple organizations (e.g. by means of Web services). As a side effect, data may be more easily transferred over o...
Christoph Ringelstein, Steffen Staab