47 search results - page 4 / 10 » A study of common pitfalls in simple multi-threaded programs |
CMMR
2007
Springer
15 years 3 months ago
2007
Springer
It is common “beat programming” practice to construct rhythmic sequences in a one-sample-per-instrument manner. Sounds of separate strokes on a drum, however, generally are not...
BMCBI
2006
14 years 9 months ago
2006
Background: Current genomic research methods provide researchers with enormous amounts of data. Combining data from different high-throughput research technologies commonly availa...
CCS
2009
ACM
15 years 4 months ago
2009
ACM
Genome-wide association studies (GWAS) aim at discovering the association between genetic variations, particularly single-nucleotide polymorphism (SNP), and common diseases, which...
FORMATS
2007
Springer
15 years 3 months ago
2007
Springer
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...
167
click to vote
POPL
2007
ACM
15 years 9 months ago
2007
ACM
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...