Sciweavers

529 search results - page 71 / 106
» Optimizing Photo Composition
Sort
View
IFL
2003
Springer
128views Formal Methods» more  IFL 2003»
14 years 1 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»
14 years 1 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
14 years 18 days 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
14 years 14 days 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
14 years 8 days 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