Sciweavers

584 search results - page 86 / 117
» A program visualization tool for program comprehension
Sort
View
SIGMOD
2005
ACM
124views Database» more  SIGMOD 2005»
14 years 8 months ago
Simplifying construction of complex workflows for non-expert users of the Southern California Earthquake Center Community Modeli
: Workflow systems often present the user with rich interfaces that express all the capabilities and complexities of the application programs and the computing environments that th...
Philip Maechling, Hans Chalupsky, Maureen Doughert...
EUROPAR
2009
Springer
14 years 2 months ago
Searching for Concurrent Design Patterns in Video Games
The transition to multicore architectures has dramatically underscored the necessity for parallelism in software. In particular, while new gaming consoles are by and large multicor...
Micah J. Best, Alexandra Fedorova, Ryan Dickie, An...
BMCBI
2007
113views more  BMCBI 2007»
13 years 7 months ago
PILER-CR: Fast and accurate identification of CRISPR repeats
Background: Sequencing of prokaryotic genomes has recently revealed the presence of CRISPR elements: short, highly conserved repeats separated by unique sequences of similar lengt...
Robert C. Edgar
SIGGRAPH
1994
ACM
13 years 11 months ago
Spreadsheets for images
We describe a data visualization system based on spreadsheets. Cells in our spreadsheet contain graphical objects such as images, volumes, or movies. Cells may also contain widget...
Marc Levoy
POPL
2008
ACM
14 years 8 months ago
Engineering formal metatheory
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
Arthur Charguéraud, Benjamin C. Pierce, Bri...