4719 search results - page 632 / 944 » Newtonian program analysis |
166
Voted
GCC
2003
Springer
15 years 12 months ago
2003
Springer
Even though grid research is prosperous in an extensive context, few grid platforms for high performance computing are practical and in operation so far. Since most applications a...
178
click to vote
ADAEUROPE
2001
Springer
15 years 11 months ago
2001
Springer
: ASIS has proven to be an effective platform for developing various program analysis tools. However, in many cases ASIS, as defined in the ASIS dard, appears to be at a very low-l...
173
click to vote
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
— Mercator is a program that uses hop-limited probes—the same primitive used in traceroute—to infer an Internet map. It uses informed random address probing to carefully expl...
173
click to vote
WOSP
2000
ACM
15 years 11 months ago
2000
ACM
Performance models are of increasing interest to professionals who do not have a background in mathematical analysis, it is important to provide additional mechanisms by developer...
147
click to vote
TLCA
1999
Springer
15 years 11 months ago
1999
Springer
AnnoDomini is a commercially available source-to-source conversion tool for finding and fixing Year 2000 problems in COBOL programs. AnnoDomini uses type-based specification, an...