4719 search results - page 288 / 944 » Newtonian program analysis |
161
click to vote
VECPAR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents PerWiz, a performance prediction tool for improving the performance of message passing programs. PerWiz focuses on locating where a significant impro...
173
click to vote
PPDP
2001
Springer
15 years 10 months ago
2001
Springer
In this paper we present a new type system for logic programs. Our system combines ideas of the classical polymorphic, but not very precise, system due to Mycroft and O'Keefe...
152
click to vote
CC
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Optimizing compilers typically limit the scope of their analyses and optimizations to individual modules. This has two drawbacks: rst, library code cannot be optimized to...
152
click to vote
ICSE
1995
IEEE-ACM
15 years 9 months ago
1995
IEEE-ACM
This paper presents a compact Petri net representation that is e cient to construct for concurrent programs that use explicit tasking and rendezvous style communication. These Pet...
186
click to vote
PODS
1991
ACM
15 years 9 months ago
1991
ACM
d Abstract Kirack Sohn and Allen Van Gelder University of California, Santa Cruz Progress on automated termination detection for logic programs is reported. The prospects for han...