Sciweavers

4306 search results - page 316 / 862
» Timed Testing with TorX
Sort
View
GECCO
2008
Springer
108views Optimization» more  GECCO 2008»
15 years 4 months ago
Search space reduction technique for constrained optimization with tiny feasible space
The hurdles in solving Constrained Optimization Problems (COP) arise from the challenge of searching a huge variable space in order to locate feasible points with acceptable solut...
Abu S. S. M. Barkat Ullah, Ruhul A. Sarker, David ...
100
Voted
CAD
2008
Springer
15 years 3 months ago
Geometrically exact dynamic splines
In this paper, we propose a complete model handling the physical simulation of deformable 1D objects. We formulate continuous expressions for stretching, bending and twisting ener...
Adrien Theetten, Laurent Grisoni, Claude Andriot, ...
CORR
2008
Springer
129views Education» more  CORR 2008»
15 years 3 months ago
A polytime proof of correctness of the Rabin-Miller algorithm from Fermat's little theorem
Although a deterministic polytime algorithm for primality testing is now known ([4]), the Rabin-Miller randomized test of primality continues being the most efficient and widely u...
Grzegorz Herman, Michael Soltys
EAAI
2008
111views more  EAAI 2008»
15 years 3 months ago
Fuzzy conditional temporal problems: Strong and weak consistency
: In real life scenarios there is often the need for modelling conditional plans where external events determgine the actual execution sequence. Conditional Temporal Problems (CTPs...
Marco Falda, Francesca Rossi, Kristen Brent Venabl...
ENTCS
2008
110views more  ENTCS 2008»
15 years 3 months ago
Performance Evaluation of Elastic GALS Interfaces and Network Fabric
This paper reports on the design of a test chip built to test a) a new latency insensitive network fabric protocol and circuits, b) a new synchronizer design, and c) how efficient...
JunBok You, Yang Xu, Hosuk Han, Kenneth S. Stevens