2797 search results - page 327 / 560 » Code query by example |
126
click to vote
CONCURRENCY
2007
15 years 4 months ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
125
click to vote
JLP
2008
15 years 4 months ago
2008
We demonstrate a method for describing data-flow analyses based program optimizations as compositional type systems with a transformation component. Analysis results are presented...
135
click to vote
NAR
2008
15 years 4 months ago
2008
Panzea (http://www.panzea.org), the public web site of the project `Molecular and Functional Diversity in the Maize Genome', has expanded over the past two years in data cont...
122
click to vote
FMSD
2007
15 years 4 months ago
2007
Real-time embedded systems are often specified as a collection of independent tasks, each generating a sequence of event-triggered code blocks, and the scheduling in this domain ...
123
click to vote
CANDC
2005
ACM
15 years 4 months ago
2005
ACM
Overlapping genes in mammalian genomes are unexpected phenomena even though hundreds of pairs of protein coding overlapping genes have been reported so far. Overlapping genes can ...