Sciweavers

6978 search results - page 334 / 1396
» Reframing Requirements Analysis
Sort
View
BILDMED
2009
153views Algorithms» more  BILDMED 2009»
15 years 7 months ago
Automatic Classification of Embryonic Fruit Fly Gene Expression Patterns
Abstract. Carefully studied in-situ hybridization Gene expression patterns (GEP) can provide a first glance at possible relationships among genes. Automatic comparative analysis to...
Andreas Heffel, Sonja J. Prohaska, Peter F. Stadle...
163
Voted
IJHPCA
2006
73views more  IJHPCA 2006»
15 years 6 months ago
The Tau Parallel Performance System
The ability of performance technology to keep pace with the growing complexity of parallel and distributed systems depends on robust performance frameworks that can at once provid...
Sameer Shende, Allen D. Malony
WSC
2008
15 years 9 months ago
Control variate technique: A constructive approach
The technique of control variates requires that the user identify a set of variates that are correlated with the estimation variable and whose means are known to the user. We rela...
Tarik Borogovac, Pirooz Vakili
IEEEPACT
2005
IEEE
16 years 9 days ago
Memory State Compressors for Giga-Scale Checkpoint/Restore
We propose a checkpoint store compression method for coarse-grain giga-scale checkpoint/restore. This mechanism can be useful for debugging, post-mortem analysis and error recover...
Andreas Moshovos, Alexandros Kostopoulos
ATVA
2004
Springer
135views Hardware» more  ATVA 2004»
16 years 4 days ago
Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors
Data races do not cover all kinds of concurrency errors. This paper presents a data-ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...
Cyrille Artho, Klaus Havelund, Armin Biere