8190 search results - page 152 / 1638 » From Timed to Hybrid Systems |
ISBRA
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. DNA copy number is the number of replicates of a contiguous segment of DNA on the genome. Copy number alteration (CNA) is a genetic abnormality in which the number of the...
IPPS
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract--A hybrid MPI/Pthreads parallelization was implemented in the RAxML phylogenetics code. New MPI code was added to the existing Pthreads production code to exploit parallel...
SC
2000
ACM
14 years 2 months ago
2000
ACM
The current trend in HPC hardware is towards clusters of shared-memory (SMP) compute nodes. For applications developers the major question is how best to program these SMP cluster...
SC
2004
ACM
14 years 3 months ago
2004
ACM
Active Harmony is an automated runtime performance tuning system. In this paper we describe a parameter prioritizing tool to help focus on those parameters that are performance cr...
FORMATS
2008
Springer
13 years 11 months ago
2008
Springer
Verification of partially synchronous distributed systems is difficult because of inherent concurrency and the potentially large state space of the channels. This paper identifies ...