Sciweavers

124 search results - page 18 / 25
» Generating test programs to cover pipeline interactions
Sort
View
145
Voted
ICTAI
1993
IEEE
15 years 6 months ago
MERIT Motifs
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 ...
Ulrich Thiel, Martin Kracker, Adelheit Stein
DIGRA
2005
Springer
15 years 7 months ago
Interactive Story Writing in the Classroom: Using Computer Games
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...
Jonathan Schaeffer, Mike Carbonaro, Duane Szafron,...
112
Voted
SC
1990
ACM
15 years 5 months ago
Loop distribution with arbitrary control flow
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...
Ken Kennedy, Kathryn S. McKinley
121
Voted
CHARME
2003
Springer
196views Hardware» more  CHARME 2003»
15 years 7 months ago
Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT
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...
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, K...
BMCBI
2010
156views more  BMCBI 2010»
15 years 1 months ago
PeakAnalyzer: Genome-wide annotation of chromatin binding and modification loci
Background: Functional genomic studies involving high-throughput sequencing and tiling array applications, such as ChIP-seq and ChIP-chip, generate large numbers of experimentally...
Mali Salmon-Divon, Heidi Dvinge, Kairi Tammoja, Pa...