Sciweavers

3844 search results - page 41 / 769
» Modular interpreted systems
Sort
View
FM
2003
Springer
107views Formal Methods» more  FM 2003»
14 years 1 months ago
A Formal Framework for Modular Synchronous System Design
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
Maria-Cristina V. Marinescu, Martin C. Rinard
ICRA
2002
IEEE
120views Robotics» more  ICRA 2002»
14 years 1 months ago
A Hierarchical Motion Planning Strategy for a Uniform Self-Reconfigurable Modular Robotic System
This paper describes a multi-layered hierarchical motion planning strategy for a class of self-reconfigurable modular robotic systems, I-Cubes. The approach is based on the synthe...
Konstantine C. Prevas, Cem Ünsal, Mehmet &Oum...
DARS
2000
Springer
128views Robotics» more  DARS 2000»
14 years 25 days ago
Motion Planning for a Modular Self-Reconfiguring Robotic System
In this paper, we address the issue of motion planning for a bipartite class of modular self-reconfiguring robotic system (I-Cubes) that is a collection of active elements providin...
Cem Ünsal, Han Kiliççöte, ...
ATAL
2008
Springer
13 years 10 months ago
Sensing-based shape formation on modular multi-robot systems: a theoretical study
This paper presents a theoretical study of decentralized control for sensing-based shape formation on modular multirobot systems, where the desired shape is specified in terms of ...
Chih-Han Yu, Radhika Nagpal
EICS
2010
ACM
13 years 11 months ago
Improving modularity and usability of interactive systems with Malai
In this paper we present Malai, a model-based user interface development environment. Malai is dedicated to the conception of post-WIMP (Window, Icon, Menu, Pointing device) inter...
Arnaud Blouin, Olivier Beaudoux