Sciweavers

1594 search results - page 143 / 319
» Visualizing Program Executions on Large Data Sets
Sort
View
130
Voted
SPIN
2000
Springer
15 years 7 months ago
Using Runtime Analysis to Guide Model Checking of Java Programs
This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java pr...
Klaus Havelund
126
Voted
GECCO
2008
Springer
115views Optimization» more  GECCO 2008»
15 years 4 months ago
A genetic programming approach to business process mining
The aim of process mining is to identify and extract process patterns from data logs to reconstruct an overall process flowchart. As business processes become more and more comple...
Chris J. Turner, Ashutosh Tiwari, Jörn Mehnen
127
Voted
ICLP
2007
Springer
15 years 7 months ago
User-Definable Resource Bounds Analysis for Logic Programs
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
Jorge Navas, Edison Mera, Pedro López-Garc&...
122
Voted
VL
2003
IEEE
134views Visual Languages» more  VL 2003»
15 years 9 months ago
End-user programming as translation: an experimental framework and study
One of the reputed advantages of end-user programming languages is that they support a given problem doh a set of programming abstractions that are “just right” for the end-us...
Christopher D. Hundhausen, Ravikiran Vatrapu, Josh...
139
Voted
SIGMOD
2012
ACM
246views Database» more  SIGMOD 2012»
13 years 6 months ago
Skimmer: rapid scrolling of relational query results
A relational database often yields a large set of tuples as the result of a query. Users browse this result set to find the information they require. If the result set is large, ...
Manish Singh, Arnab Nandi, H. V. Jagadish