Sciweavers

925 search results - page 72 / 185
» A Solution to the Extended GCD Problem
Sort
View
ROBOCUP
2005
Springer
98views Robotics» more  ROBOCUP 2005»
14 years 2 months ago
RoboCup X: A Proposal for a New League Where RoboCup Goes Real World
To put more emphasis on real-world problems, the authors propose to extend the RoboCup competitions. In order to foster progress in the desired abilities the authors propose to exp...
Tijn van der Zant, Thomas Wisspeintner
ICCAD
1999
IEEE
76views Hardware» more  ICCAD 1999»
14 years 1 months ago
Optimal allocation of carry-save-adders in arithmetic optimization
: Carry-save-adder(CSA) is one of the most widely used schemes for fast arithmetic in industry. This paper provides a solution to the problem of finding an optimal-timing allocatio...
Junhyung Um, Taewhan Kim, C. L. Liu
ECP
1999
Springer
138views Robotics» more  ECP 1999»
14 years 1 months ago
Numeric State Variables in Constraint-Based Planning
We extend a planning algorithm to cover simple forms of arithmetics. The operator preconditions can refer to the values of numeric variables and the operator postconditions can mod...
Jussi Rintanen, Hartmut Jungholt
SIGGRAPH
1998
ACM
14 years 1 months ago
The Design of a Parallel Graphics Interface
It has become increasingly difficult to drive a modern highperformance graphics accelerator at full speed with a serial immediate-mode graphics interface. To resolve this problem,...
Homan Igehy, Gordon Stoll, Pat Hanrahan
FMCO
2006
Springer
128views Formal Methods» more  FMCO 2006»
14 years 23 days ago
Model-Based Test Selection for Infinite-State Reactive Systems
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu