Sciweavers

1728 search results - page 193 / 346
» The Accelerated Euclidean Algorithm
Sort
View
SBCCI
2005
ACM
185views VLSI» more  SBCCI 2005»
15 years 9 months ago
Automatic generation of test sets for SBST of microprocessor IP cores
Higher integration densities, smaller feature lengths, and other technology advances, as well as architectural evolution, have made microprocessor cores exceptionally complex. Cur...
Ernesto Sánchez, Matteo Sonza Reorda, Giova...
120
Voted
ATVA
2005
Springer
132views Hardware» more  ATVA 2005»
15 years 9 months ago
Flat Counter Automata Almost Everywhere!
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
Jérôme Leroux, Grégoire Sutre
ICRA
2000
IEEE
108views Robotics» more  ICRA 2000»
15 years 7 months ago
Controllability of Single Input Rolling Manipulation
This paper investigates controllability of underactuated rolling systems consisting of a smooth object rolling on a moving smooth surface. Our system consists of a spherical ball ...
Prasun Choudhury, Kevin M. Lynch
SIGGRAPH
2000
ACM
15 years 7 months ago
Conservative volumetric visibility with occluder fusion
Visibility determination is a key requirement in a wide range of graphics algorithms. This paper introduces a new approach to the computation of volume visibility, the detection o...
Gernot Schaufler, Julie Dorsey, Xavier Déco...
PETRA
2010
ACM
15 years 7 months ago
Tracking your steps on the track: body sensor recordings of a controlled walking experiment
Monitoring human motion has recently received great attention and can be used in many applications, such as human motion prediction. We present the collected data set from a body ...
Jefrey Lijffijt, Panagiotis Papapetrou, Jaakko Hol...