1781 search results - page 124 / 357 » Visualizing program execution using user abstractions |
126
click to vote
CIKM
2003
Springer
15 years 7 months ago
2003
Springer
In this paper, we describe a graphical workflow management system called HyperThesis to address the challenges of integrating bioinformatics applications. HyperThesis is an integ...
116
click to vote
SPIN
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
114
click to vote
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—The permanent growth of personal music collections caused by the ongoing digital revolution asks for novel ways of organization. Traditional list based approaches are—...
PPOPP
2010
ACM
15 years 11 months ago
2010
ACM
This paper addresses the problem of extracting coarse-grained parallelism from large sequential code. It builds on BOP, a system for software speculative parallelization. BOP lets...
102
click to vote
ITICSE
2005
ACM
15 years 8 months ago
2005
ACM
One of the largest barriers to learning programming is the precise and complex syntax required to write programs. This barrier is a key impediment to the integration of programmin...