Sciweavers

4421 search results - page 576 / 885
» Libraries
Sort
View
ERCIMDL
2009
Springer
75views Education» more  ERCIMDL 2009»
15 years 10 months ago
Evaluation in Context
Abstract. All search happens in a particular context—such as the particular collection of a digital library, its associated search tasks, and its associated users. Information re...
Jaap Kamps, Mounia Lalmas, Birger Larsen
124
Voted
ERCIMDL
2009
Springer
198views Education» more  ERCIMDL 2009»
15 years 10 months ago
Adding Quality-Awareness to Evaluate Migration Web-Services and Remote Emulation for Digital Preservation
Abstract. Digital libraries are increasingly relying on distributed services to support increasingly complex tasks such as retrieval or preservation. While there is a growing body ...
Christoph Becker, Hannes Kulovits, Michael Kraxner...
EUROPAR
2009
Springer
15 years 10 months ago
Process Mapping for MPI Collective Communications
It is an important problem to map virtual parallel processes to physical processors (or cores) in an optimized way to get scalable performance due to non-uniform communication cost...
Jin Zhang, Jidong Zhai, Wenguang Chen, Weimin Zhen...
EUROPAR
2009
Springer
15 years 10 months ago
Impact of Quad-Core Cray XT4 System and Software Stack on Scientific Computation
An upgrade from dual-core to quad-core AMD processor on the Cray XT system at the Oak Ridge National Laboratory (ORNL) Leadership Computing Facility (LCF) has resulted in significa...
Sadaf R. Alam, Richard F. Barrett, Heike Jagode, J...
110
Voted
FM
2009
Springer
123views Formal Methods» more  FM 2009»
15 years 10 months ago
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, ...