Sciweavers

17390 search results - page 487 / 3478
» Distributed Data Clustering
Sort
View
FMCO
2005
Springer
173views Formal Methods» more  FMCO 2005»
16 years 12 days 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á
ICS
2005
Tsinghua U.
16 years 11 days 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 ...