Sciweavers

812 search results - page 84 / 163
» corr 2007
Sort
View
CORR
2007
Springer
108views Education» more  CORR 2007»
13 years 10 months ago
Instruction sequences with indirect jumps
We study sequential programs that are instruction sequences with direct and indirect jump instructions. The intuition is that indirect jump instructions are jump instructions wher...
Jan A. Bergstra, C. A. Middelburg
CORR
2007
Springer
128views Education» more  CORR 2007»
13 years 10 months ago
A Mobile Computing Architecture for Numerical Simulation
The domain of numerical simulation is a place where the parallelization of numerical code is common. The definition of a numerical context means the configuration of resources suc...
Cyril Dumont, Fabrice Mourlin
CORR
2007
Springer
134views Education» more  CORR 2007»
13 years 10 months ago
A Partition-Based Relaxation For Steiner Trees
The Steiner tree problem is a classical NP-hard optimization problem with a wide range of practical applications. In an instance of this problem, we are given an undirected graph ...
Jochen Könemann, David Pritchard, Kunlun Tan
CORR
2007
Springer
120views Education» more  CORR 2007»
13 years 10 months ago
Curve Tracking Control for Legged Locomotion in Horizontal Plane
— We derive a hybrid feedback control law for the lateral leg spring (LLS) model so that the center of mass of a legged runner follows a curved path in horizontal plane. The cont...
F. Zhang
CORR
2007
Springer
102views Education» more  CORR 2007»
13 years 10 months ago
Solving Triangular Peg Solitaire
We consider the one-person game of peg solitaire on a triangular board of arbitrary size. The basic game begins from a full board with one peg missing and finishes with one peg a...
George I. Bell