751 search results - page 107 / 151 » Large Event Traces in Parallel Performance Analysis |
100
click to vote
CONEXT
2008
ACM
15 years 3 months ago
2008
ACM
Abstract: Social virtual worlds such as Second Life are digital representations of the real world where human-controlled avatars evolve and interact through social activities. Unde...
109
click to vote
DAGSTUHL
2006
15 years 2 months ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...
107
click to vote
HPCA
1997
IEEE
15 years 5 months ago
1997
IEEE
Fast Ethernet and ATM are two attractive network technologies for interconnecting workstation clusters for parallel and distributed computing. This paper compares network interfac...
107
click to vote
FMCAD
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
130
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Genome-wide association studies (GWAS) using Copy Number Variation (CNV) are becoming a central focus of genetic research. CNVs have successfully provided target genom...