Sciweavers

21324 search results - page 429 / 4265
» Making the case for computing
Sort
View
168
Voted
EMO
2009
Springer
155views Optimization» more  EMO 2009»
16 years 1 months ago
A Hybrid Integrated Multi-Objective Optimization Procedure for Estimating Nadir Point
A nadir point is constructed by the worst objective values of the solutions of the entire Pareto-optimal set. Along with the ideal point, the nadir point provides the range of obje...
Kalyanmoy Deb, Kaisa Miettinen, Deepak Sharma
PODC
2010
ACM
15 years 10 months ago
Verifying linearizability with hindsight
We present a proof of safety and linearizability of a highlyconcurrent optimistic set algorithm. The key step in our proof is the Hindsight Lemma, which allows a thread to infer t...
Peter W. O'Hearn, Noam Rinetzky, Martin T. Vechev,...
DLT
2007
15 years 8 months ago
Two Element Unavoidable Sets of Partial Words
d Abstract) F. Blanchet-Sadri1 , N.C. Brownstein2 , and Justin Palumbo3 1 Department of Computer Science, University of North Carolina, P.O. Box 26170, Greensboro, NC 27402–6170,...
Francine Blanchet-Sadri, N. C. Brownstein, Justin ...
ICAC
2009
IEEE
16 years 1 months ago
Injecting realistic burstiness to a traditional client-server benchmark
The design of autonomic systems often relies on representative benchmarks for evaluating system performance and scalability. Despite the fact that experimental observations have e...
Ningfang Mi, Giuliano Casale, Ludmila Cherkasova, ...
CGF
2010
106views more  CGF 2010»
15 years 6 months ago
Invisible Seams
Surface materials are commonly described by attributes stored in textures (for instance, color, normal, or displacement). Interpolation during texture lookup provides a continuous...
Nicolas Ray, Vincent Nivoliers, Sylvain Lefebvre, ...