Sciweavers

1225 search results - page 189 / 245
» Performance Evaluation of Grid-Enabled Code: A Case Study
Sort
View
CSCLP
2004
Springer
15 years 11 months ago
Automatically Exploiting Symmetries in Constraint Programming
We introduce a framework for studying and solving a class of CSP formulations. The framework allows constraints to be expressed as linear and nonlinear equations, then compiles th...
Arathi Ramani, Igor L. Markov
FOCS
2003
IEEE
15 years 11 months ago
On the Implementation of Huge Random Objects
We initiate a general study of pseudo-random implementations of huge random objects, and apply it to a few areas in which random objects occur naturally. For example, a random obj...
Oded Goldreich, Shafi Goldwasser, Asaf Nussboim
DSN
2002
IEEE
15 years 11 months ago
An Automated Approach to Increasing the Robustness of C Libraries
As our reliance on computers increases, so does the need for robust software. Previous studies have shown that many C libraries exhibit robustness problems due to exceptional inpu...
Christof Fetzer, Zhen Xiao
SAGA
2001
Springer
15 years 10 months ago
Evolutionary Search for Smooth Maps in Motor Control Unit Calibration
We study the combinatorial optimization task of choosing the smoothest map from a given family of maps, which is motivated from motor control unit calibration. The problem is of a ...
Jan Poland, Kosmas Knödler, Alexander Mittere...
HPCA
1997
IEEE
15 years 10 months ago
Datapath Design for a VLIW Video Signal Processor
This paper represents a design study of the datapath for a very long instruction word (VLIW) video signal processor (VSP). VLIW architectures provide high parallelism and excellen...
Andrew Wolfe, Jason Fritts, Santanu Dutta, Edil S....