Sciweavers

2137 search results - page 315 / 428
» Experiments on Graph Clustering Algorithms
Sort
View
OSDI
2008
ACM
14 years 9 months ago
Error Log Processing for Accurate Failure Prediction
Error logs are a fruitful source of information both for diagnosis as well as for proactive fault handling ? however elaborate data preparation is necessary to filter out valuable...
Felix Salfner, Steffen Tschirpke
EDBT
2008
ACM
154views Database» more  EDBT 2008»
14 years 9 months ago
Data utility and privacy protection trade-off in k-anonymisation
K-anonymisation is an approach to protecting privacy contained within a dataset. A good k-anonymisation algorithm should anonymise a dataset in such a way that private information...
Grigorios Loukides, Jianhua Shao
EUROPAR
2004
Springer
14 years 2 months ago
Task-Queue Based Hybrid Parallelism: A Case Study
Abstract. In this paper we report on our experiences with hybrid parallelism in PARDISO, a high-performance sparse linear solver. We start with the OpenMP-parallel numerical factor...
Karl Fürlinger, Olaf Schenk, Michael Hagemann
ATVA
2006
Springer
153views Hardware» more  ATVA 2006»
14 years 23 days ago
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
Wonhong Nam, Rajeev Alur
PSB
2003
13 years 10 months ago
Decomposing Gene Expression into Cellular Processes
We propose a probabilistic model for cellular processes, and an algorithm for discovering them from gene expression data. A process is associated with a set of genes that particip...
Eran Segal, Alexis Battle, Daphne Koller