Sciweavers

2362 search results - page 47 / 473
» Programming in Standard ML
Sort
View
139
Voted
EUROGP
2001
Springer
15 years 7 months ago
Exact Schema Theorems for GP with One-Point and Standard Crossover Operating on Linear Structures and Their Application to the S
In this paper, firstly we specialise the exact GP schema theorem for one-point crossover to the case of linear structures of variable length, for example binary strings or program...
Riccardo Poli, Nicholas Freitag McPhee
ERSHOV
2009
Springer
15 years 10 months ago
Standardization and Testing of Mathematical Functions
Abstract. The article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test ...
Victor V. Kuliamin
PVM
2007
Springer
15 years 9 months ago
A Case for Standard Non-blocking Collective Operations
Abstract. In this paper we make the case for adding standard nonblocking collective operations to the MPI standard. The non-blocking point-to-point and blocking collective operatio...
Torsten Hoefler, Prabhanjan Kambadur, Richard L. G...
WCRE
2000
IEEE
15 years 7 months ago
GXL: Toward a Standard Exchange Format
This paper describes ongoing work toward the development of a standard software exchange format (SEF), for exchanging information among tools that analyze computer programs. A par...
Richard C. Holt, Andreas Winter, Andy Schürr
ICRA
2010
IEEE
137views Robotics» more  ICRA 2010»
15 years 1 months ago
Assembling wheels to continuously conveyed car bodies using a standard industrial robot
Abstract— Within assembly lines, wheel assembly to continuously conveyed car bodies is still executed by human workers using a device that compensates the weight of the wheel. Th...
Friedrich Lange, Jochen Werner, Johannes Scharrer,...