Sciweavers

3868 search results - page 571 / 774
» Open Systems in TLA
Sort
View
SSS
2010
Springer
158views Control Systems» more  SSS 2010»
15 years 4 months ago
Low Memory Distributed Protocols for 2-Coloring
In this paper we present new distributed protocols to color even rings and general bipartite graphs. Our motivation is to provide algorithmic explanation for human subject experime...
Amos Israeli, Mathew D. McCubbins, Ramamohan Patur...
WCRE
2010
IEEE
15 years 4 months ago
Blending Conceptual and Evolutionary Couplings to Support Change Impact Analysis in Source Code
— The paper presents an approach that combines conceptual and evolutionary techniques to support change impact analysis in source code. Information Retrieval (IR) is used to deri...
Huzefa H. Kagdi, Malcom Gethers, Denys Poshyvanyk,...
EKAW
2010
Springer
15 years 4 months ago
Temporal Knowledge Acquisition and Modeling
The objectives of this paper are to present, describe, and explain the foundations and the functionalities of a temporal knowledge acquisition and modeling solution workflow, which...
Cyril Faucher, Charles Teissèdre, Jean-Yves...
ICPADS
2010
IEEE
15 years 4 months ago
Effective Performance Measurement at Petascale Using IPM
As supercomputers are being built from an ever increasing number of processing elements, the effort required to achieve a substantial fraction of the system peak performance is con...
Karl Fürlinger, Nicholas J. Wright, David Ski...
PDPTA
2010
15 years 4 months ago
Collecting Sensor Data for High-Performance Computing: A Case-study
- Many research questions remain open with regard to improving reliability in exascale systems. Among others, statistics-based analysis has been used to find anomalies, to isolate ...
Line C. Pouchard, Jonathan D. Dobson, Stephen W. P...