Sciweavers

1595 search results - page 127 / 319
» Illustrative Parallel Coordinates
Sort
View
IPPS
2002
IEEE
15 years 11 months ago
Overview of Hydra: A Concurrent Language for Synchronous Digital Circuit Design
Hydra is a computer hardware description language that integrates several kinds of software tool (simulation, netlist generation and timing analysis) within a single circuit speci...
John O'Donnell
ARTS
1999
Springer
15 years 10 months ago
Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms
In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...
Annabelle McIver
IPPS
1999
IEEE
15 years 10 months ago
Condition-Based Maintenance: Algorithms and Applications for Embedded High Performance Computing
Condition based maintenance (CBM) seeks to generate a design for a new ship wide CMB system that performs diagnoses and failure prediction on Navy shipboard machinery. Eventually, ...
Bonnie Holte Bennett, George D. Hadden
ECOOPW
1999
Springer
15 years 10 months ago
Is Domain Knowledge an Aspect?
Our industrial partners have difficulties coping with maintenance and reuse of their software applications, due to the hard coded presence of domain knowledge in the implementation...
Maja D'Hondt, Theo D'Hondt
PVM
1999
Springer
15 years 10 months ago
Reproducible Measurements of MPI Performance Characteristics
In this paper we describe the difficulties inherent in making accurate, reproducible measurements of message-passing performance. We describe some of the mistakes often made in att...
William Gropp, Ewing L. Lusk