2774 search results - page 316 / 555 » Query-Driven Program Testing |
119
click to vote
SIAMSC
2010
15 years 21 days ago
2010
A surface reconstruction technique based on minimization of the total variation of the gradient is introduced. Convergence of the method is established, and an interior-point algor...
136
click to vote
FECS
2010
15 years 9 days ago
2010
In this paper, we present a method to help teach computer architecture (or computer organization) by developing an in class system where the students, themselves, compile high-leve...
115
click to vote
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
Fixing software bugs has always been an important and timeconsuming process in software development. Fixing concurrency bugs has become especially critical in the multicore era. H...
156
click to vote
SIGMOD
2011
ACM
14 years 5 months ago
2011
ACM
In most enterprises, databases are deployed on dedicated database servers. Often, these servers are underutilized much of the time. For example, in traces from almost 200 producti...
128
click to vote
PPOPP
2012
ACM
13 years 10 months ago
2012
ACM
The virtues of deterministic parallelism have been argued for decades and many forms of deterministic parallelism have been described and analyzed. Here we are concerned with one ...