Sciweavers

6413 search results - page 210 / 1283
» Classes of cycle bases
Sort
View
ICRA
2007
IEEE
92views Robotics» more  ICRA 2007»
16 years 28 days ago
Using time-reversal symmetry for stabilizing a simple 3D walker model
— A new method is presented for controlling the lateral foot placement of a simple 3D compass biped model. The method is based on the fact that, in the limit cycle, the gait is t...
Gijs van Oort, Stefano Stramigioli
TIME
2007
IEEE
16 years 26 days ago
A Symbolic Decision Procedure for Robust Safety of Timed Systems
We present a symbolic algorithm for deciding safety (reachability) of timed systems modelled as Timed Automata (TA), under the notion of robustness w.r.t. infinitesimal clock-drif...
Mani Swaminathan, Martin Fränzle
SAMOS
2007
Springer
16 years 22 days ago
Low-Power Twiddle Factor Unit for FFT Computation
An integral part of FFT computation are the twiddle factors, which, in software implementations, are typically stored into RAM memory implying large memory footprint and power cons...
Teemu Pitkänen, Tero Partanen, Jarmo Takala
157
Voted
IPPS
2006
IEEE
16 years 19 days ago
Towards an analysis of race carrier conditions in real-time Java
The RTSJ memory model propose a mechanism based on a scope three containing all region-stacks in the system and a reference-counter collector. In order to avoid reference cycles a...
M. Teresa Higuera-Toledano
ASYNC
2005
IEEE
96views Hardware» more  ASYNC 2005»
16 years 7 days ago
GasP Control for Domino Circuits
We present two novel asynchronous control circuits for domino pipelines. The control circuits are based on GasP circuits, have a minimum cycle time of six gate delays, and compare...
Jo C. Ebergen, Jonathan Gainsley, Jon K. Lexau, Iv...