Sciweavers

4757 search results - page 695 / 952
» Monads for Functional Programming
Sort
View
ARCS
2006
Springer
15 years 8 months ago
Large Event Traces in Parallel Performance Analysis
: A powerful and widely-used method for analyzing the performance behavior of parallel programs is event tracing. When an application is traced, performancerelevant events, such as...
Felix Wolf, Felix Freitag, Bernd Mohr, Shirley Moo...
CLADE
2004
IEEE
15 years 8 months ago
Support for Data-Intensive, Variable-Granularity Grid Applications via Distributed File System Virtualization - A Case Study of
A key challenge faced by large-scale, distributed applications in Grid environments is efficient, seamless data management. In particular, for applications that can benefit from a...
Jithendar Paladugula, Ming Zhao 0002, Renato J. O....
DATE
2004
IEEE
168views Hardware» more  DATE 2004»
15 years 8 months ago
Architectures and Design Techniques for Energy Efficient Embedded DSP and Multimedia Processing
Energy efficient embedded systems consist of a heterogeneous collection of very specific building blocks, connected together by a complex network of many dedicated busses and inte...
Ingrid Verbauwhede, Patrick Schaumont, Christian P...
DEXAW
2004
IEEE
99views Database» more  DEXAW 2004»
15 years 8 months ago
GI-Cat: a Web Service for Dataset Cataloguing Based on ISO 19115
In this article, we present the GI-Cat web service: a SOAP-based service which provides the basic functionalities for GI dataset cataloguing and access. The introduced GI-Cat data...
Lorenzo Bigagli, Stefano Nativi, Paolo Mazzetti, G...
145
Voted
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
15 years 8 months ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li