183 search results - page 22 / 37 » Exploiting Symmetries to Test Programs |
115
click to vote
ICS
1993
Tsinghua U.
15 years 6 months ago
1993
Tsinghua U.
: The EM-4 is a supercomputer that offers very fast inter processor communication and support for multi threading. In this paper we demonstrate that the EM-4, Together with an auto...
112
click to vote
CGO
2003
IEEE
15 years 7 months ago
2003
IEEE
Optimizing programs at run-time provides opportunities to apply aggressive optimizations to programs based on information that was not available at compile time. At run time, prog...
135
Voted
SOFTVIS
2010
ACM
15 years 2 months ago
2010
ACM
Developers must often diagnose anomalies in programs they only have a partial knowledge of. As a result, they must simultaneously reverse engineer parts of the system they are unf...
92
Voted
CORR
2002
Springer
15 years 1 months ago
2002
Springer
We introduce a general and in a certain sense time-optimal way of solving one problem after another, efficiently searching the space of programs that compute solution candidates, i...
106
click to vote
SIAMJO
2000
15 years 1 months ago
2000
Abstract. Despite the efficiency shown by interior-point methods in large-scale linear programming, they usually perform poorly when applied to multicommodity flow problems. The ne...