Sciweavers

10707 search results - page 170 / 2142
» Designing executable abstractions
Sort
View
102
Voted
ICRA
2010
IEEE
137views Robotics» more  ICRA 2010»
15 years 2 months ago
Assembling wheels to continuously conveyed car bodies using a standard industrial robot
Abstract— Within assembly lines, wheel assembly to continuously conveyed car bodies is still executed by human workers using a device that compensates the weight of the wheel. Th...
Friedrich Lange, Jochen Werner, Johannes Scharrer,...
175
Voted
PROCEDIA
2010
281views more  PROCEDIA 2010»
15 years 1 months ago
Introductory computational science using MATLAB and image processing
We describe a new course designed to introduce engineering students to computational thinking. One of the most significant challenges in teaching an introductory-level applied co...
D. Brian Larkins, William Harvey
136
Voted
SEUS
2010
IEEE
15 years 1 months ago
Code Generation for Embedded Java with Ptolemy
Abstract. Code generation from models is the ultimate goal of model-based design. For real-time systems the generated code must be analyzable for the worstcase execution time (WCET...
Martin Schoeberl, Christopher Brooks, Edward A. Le...
145
Voted
IFM
2010
Springer
147views Formal Methods» more  IFM 2010»
15 years 1 months ago
Symbolic Model-Checking of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
Hanifa Boucheneb, Abdessamad Imine, Manal Najem
145
Voted
ICRA
2009
IEEE
165views Robotics» more  ICRA 2009»
15 years 1 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...