Sciweavers

2797 search results - page 36 / 560
» Control Structures
Sort
View
RAS
2006
129views more  RAS 2006»
13 years 9 months ago
Self-reconfigurable M-TRAN structures and walker generation
The M-TRAN is a modular robot capable of both three-dimensional self-reconfiguration and whole body locomotion. Introducing regularity in allowed structures reduced difficulties o...
Haruhisa Kurokawa, Eiichi Yoshida, Kohji Tomita, A...
DATE
1997
IEEE
99views Hardware» more  DATE 1997»
14 years 1 months ago
Fast controllers for data dominated applications
A target structure for implementing fast edge-triggered control units is presented. In many cases, the proposed controller is faster than a one-hot encoded structure as its correc...
Andre Hertwig, Hans-Joachim Wunderlich
VLDB
2005
ACM
397views Database» more  VLDB 2005»
14 years 9 months ago
Concurrency control and recovery for balanced B-link trees
Abstract. In this paper we present new concurrent and recoverable B-link-tree algorithms. Unlike previous algorithms, ours maintain the balance of the B-link tree at all times, so ...
Ibrahim Jaluta, Seppo Sippu, Eljas Soisalon-Soinin...
CDC
2008
IEEE
125views Control Systems» more  CDC 2008»
13 years 9 months ago
Efficient waypoint tracking hybrid controllers for double integrators using classical time optimal control
This paper is a response to requests from several respected colleagues in academia for a careful writeup of the classical time-optimal control based hybrid controllers that we have...
Haitham A. Hindi, Lara S. Crawford, Rong Zhou, Cra...
HASE
1998
IEEE
14 years 1 months ago
Verification in Concurrent Programming with Petri Nets Structural Techniques
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...
Kamel Barkaoui, Jean-François Pradat-Peyre