5434 search results - page 976 / 1087 » Tool support for MOLA |
197
click to vote
NAR
2011
14 years 9 months ago
2011
The University of California, Santa Cruz Genome Browser (http://genome.ucsc.edu) offers online access to a database of genomic sequence and annotation data for a wide variety of o...
240
click to vote
PPOPP
2011
ACM
14 years 9 months ago
2011
ACM
In recent years, GPUs have emerged as an extremely cost-effective means for achieving high performance. Many application developers, including those with no prior parallel program...
225
Voted
EMSOFT
2011
Springer
14 years 6 months ago
2011
Springer
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
178
click to vote
VIS
2009
IEEE
16 years 8 months ago
2009
IEEE
Abstract-- We present an interactive framework for exploring space-time relationships in databases of experimentally collected highresolution biomechanical data. These data describ...
199
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...