Sciweavers

3863 search results - page 639 / 773
» Function in Device Representation
Sort
View
IPPS
2007
IEEE
15 years 11 months ago
Memory Optimizations For Fast Power-Aware Sparse Computations
— We consider memory subsystem optimizations for improving the performance of sparse scientific computation while reducing the power consumed by the CPU and memory. We first co...
Konrad Malkowski, Padma Raghavan, Mary Jane Irwin
IPPS
2007
IEEE
15 years 11 months ago
Using Speed Diagrams for Symbolic Quality Management
We present a quality management method for multimedia applications. The method takes as input an application software composed of actions. The execution times of actions are unkno...
Jacques Combaz, Jean-Claude Fernandez, Joseph Sifa...
ISBI
2007
IEEE
15 years 11 months ago
Validation and Comparison of Analytical Q-Ball Imaging Methods
Q-ball imaging (QBI), introduced by D. Tuch, reconstructs the diffusion orientation distribution function (ODF) of the underlying fiber population of a biological tissue. An anal...
Maxime Descoteaux, Peter Savadjiev, Jennifer S. W....
SEMCO
2007
IEEE
15 years 11 months ago
Evolutionary Conceptual Clustering of Semantically Annotated Resources
A clustering method is presented which can be applied to knowledge bases storing semantically annotated resources. The method can be used to discover groupings of structured objec...
Nicola Fanizzi, Claudia d'Amato, Floriana Esposito
CAV
2007
Springer
121views Hardware» more  CAV 2007»
15 years 11 months ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh