124 search results - page 18 / 25 » Generating test programs to cover pipeline interactions |
ICTAI
1993
IEEE
14 years 28 days ago
1993
IEEE
MERIT (Multimedia Extensions of Retrieval Interaction Tools)1 provides a user-centered interface to a database covering European research programs, projects, and consortia in the ...
DIGRA
2005
Springer
14 years 2 months ago
2005
Springer
Interactive story writing is a new medium for creative expression. The story “writer” uses a computer game (such as BioWare’s Neverwinter Nights) to create an interactive st...
SC
1990
ACM
14 years 25 days ago
1990
ACM
Loop distribution is an integral part of transforming a sequential program into a parallel one. It is used extensively in parallelization,vectorization, and memory management. For...
CHARME
2003
Springer
14 years 2 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
BMCBI
2010
13 years 9 months ago
2010
Background: Functional genomic studies involving high-throughput sequencing and tiling array applications, such as ChIP-seq and ChIP-chip, generate large numbers of experimentally...