Sciweavers

2432 search results - page 170 / 487
» Degrees and choice numbers
Sort
View
WORDS
2003
IEEE
15 years 11 months ago
A Tool for Automatic Flow Analysis of C-programs for WCET Calculation
Bounding the Worst Case Execution Time (WCET) of programs is essential for real-time systems. To be able to do WCET calculations, the iteration bounds for loops and recursion must...
Jan Gustafsson, Björn Lisper, Christer Sandbe...
ATAL
2003
Springer
15 years 11 months ago
A decision making procedure for collaborative planning
A team of agents planning to perform a complex task make a number of interrelated decisions as they determine precisely how that complex task will be performed. The decision set i...
Timothy W. Rauenbusch, Barbara J. Grosz
WAIFI
2010
Springer
194views Mathematics» more  WAIFI 2010»
15 years 11 months ago
Constructing Tower Extensions of Finite Fields for Implementation of Pairing-Based Cryptography
A cryptographic pairing evaluates as an element of a finite extension field, and the evaluation itself involves a considerable amount of extension field arithmetic. It is recogn...
Naomi Benger, Michael Scott
ICPR
2002
IEEE
15 years 11 months ago
A Histogram-Based Color Consistency Test for Voxel Coloring
Voxel Coloring has become a popular technique for reconstructing a 3D scene from a set of 2D images. While many different variants of this technique exist, all rely on a test to d...
Mark R. Stevens, W. Bruce Culbertson, Thomas Malzb...
GECCO
2010
Springer
180views Optimization» more  GECCO 2010»
15 years 11 months ago
Comparing results of 31 algorithms from the black-box optimization benchmarking BBOB-2009
This paper presents results of the BBOB-2009 benchmarking of 31 search algorithms on 24 noiseless functions in a black-box optimization scenario in continuous domain. The runtime ...
Nikolaus Hansen, Anne Auger, Raymond Ros, Steffen ...