Sciweavers

8671 search results - page 349 / 1735
» A generator for hierarchical problems
Sort
View
ICRA
2003
IEEE
137views Robotics» more  ICRA 2003»
16 years 2 days ago
Biped walking pattern generation by using preview control of zero-moment point
We introduce a new method of a biped walking pattern generation by using a preview control of the zeromoment point (ZMP). First, the dynamics of a biped robot is modeled as a runn...
Shuuji Kajita, Fumio Kanehiro, Kenji Kaneko, Kiyos...
QSIC
2003
IEEE
16 years 1 days ago
Character String Predicate Based Automatic Software Test Data Generation
A character string is an important element in programming. A problem that needs further research is how to automatically generate software test data for character strings. This pa...
Ruilian Zhao, Michael R. Lyu
DAC
2003
ACM
16 years 1 days ago
Test generation for designs with multiple clocks
To improve the system performance, designs with multiple clocks have become more and more popular. In this paper, several novel test generation procedures are proposed to utilize ...
Xijiang Lin, Rob Thompson
EUROGP
2003
Springer
101views Optimization» more  EUROGP 2003»
16 years 5 hour ago
An Enhanced Framework for Microprocessor Test-Program Generation
Test programs are fragment of code, but, unlike ordinary application programs, they are not intended to solve a problem, nor to calculate a function. Instead, they are supposed to ...
Fulvio Corno, Giovanni Squillero
TAP
2010
Springer
102views Hardware» more  TAP 2010»
15 years 12 months ago
Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding
Abstract. We consider the problem of test generation for Boolean combinational circuits. We use a novel approach based on the idea of treating tests as a proof encoding rather than...
Eugene Goldberg, Panagiotis Manolios