Sciweavers

17390 search results - page 487 / 3478
» Distributed Data Clustering
Sort
View
FMCO
2005
Springer
173views Formal Methods» more  FMCO 2005»
15 years 12 months ago
Cluster-Based LTL Model Checking of Large Systems
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
Jiri Barnat, Lubos Brim, Ivana Cerná
HIPC
2005
Springer
15 years 12 months ago
High Performance RDMA Based All-to-All Broadcast for InfiniBand Clusters
Sayantan Sur, Uday Bondhugula, Amith R. Mamidala, ...
ICS
2005
Tsinghua U.
15 years 12 months ago
An asymmetric clustered processor based on value content
Rubén González, Adrián Crista...
EUROPAR
2009
Springer
15 years 11 months ago
An Efficient Implementation of GPU Virtualization in High Performance Clusters
José Duato, Francisco D. Igual, Rafael Mayo...
JCP
2006
157views more  JCP 2006»
15 years 6 months ago
CF-GeNe: Fuzzy Framework for Robust Gene Regulatory Network Inference
Most Gene Regulatory Network (GRN) studies ignore the impact of the noisy nature of gene expression data despite its significant influence upon inferred results. This paper present...
Muhammad Shoaib B. Sehgal, Iqbal Gondal, Laurence ...