Sciweavers

2297 search results - page 198 / 460
» Production of Large Computer Programs
Sort
View
121
Voted
JGO
2010
100views more  JGO 2010»
14 years 9 months ago
On convex relaxations of quadrilinear terms
The best known method to find exact or at least -approximate solutions to polynomial programming problems is the spatial Branch-and-Bound algorithm, which rests on computing lower...
Sonia Cafieri, Jon Lee, Leo Liberti
148
Voted
EMSOFT
2011
Springer
14 years 2 months ago
From boolean to quantitative synthesis
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
Pavol Cerný, Thomas A. Henzinger
GECCO
2005
Springer
135views Optimization» more  GECCO 2005»
15 years 8 months ago
Parameter sweeps for exploring GP parameters
This paper describes our procedure and a software application for conducting large parameter sweep experiments in genetic and evolutionary computation research. Both procedure and...
Michael E. Samples, Jason M. Daida, Matthew J. Byo...
121
Voted
EUROPAR
2007
Springer
15 years 8 months ago
Search Strategies for Automatic Performance Analysis Tools
Periscope is a distributed automatic online performance analysis system for large scale parallel systems. It consists of a set of analysis agents distributed on the parallel machin...
Michael Gerndt, Edmond Kereku
ICIP
2004
IEEE
16 years 4 months ago
A novel progressive thick slab paradigm for volumetric medical image compression and navigation
In this paper, we propose a novel thick slab paradigm which provides an efficient scheme to navigate through large three dimensional (3-D) medical data sets within the framework o...
S. V. Bharath Kumar, Sudipta Mukhopadhyay, Vishram...