Sciweavers

529 search results - page 71 / 106
» Optimizing Photo Composition
Sort
View
IFL
2003
Springer
128views Formal Methods» more  IFL 2003»
15 years 3 months ago
With-Loop Scalarization - Merging Nested Array Operations
Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, na¨ıve compilation of suc...
Clemens Grelck, Sven-Bodo Scholz, Kai Trojahner
DATE
2010
IEEE
121views Hardware» more  DATE 2010»
15 years 2 months ago
Using filesystem virtualization to avoid metadata bottlenecks
—Parallel file systems are very sensitive to adverse conditions, and the lack of synergy between such file systems and some of the applications running on them has a negative i...
Ernest Artiaga, Toni Cortes
GI
2009
Springer
15 years 2 months ago
A Game-Theoretic Model for Distributed Programming by Contract
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
Anders Starcke Henriksen, Tom Hvitved, Andrzej Fil...
EUROPAR
2001
Springer
15 years 2 months ago
A Component Framework for HPC Applications
Abstract. We describe a general component software framework designed for demanding grid environments that provides optimal performance for the assembled component application. Thi...
Nathalie Furmento, Anthony Mayer, Stephen McGough,...
SIBGRAPI
1999
IEEE
15 years 2 months ago
Piecewise Trilinear Deformation of Tomographic Models
: In this work we introduce an iterative method that deforms brain models built from tomographic images. The deformation is used for normalization purposes: individual models are d...
Sílvio de Barros Melo