Last update: Wed Sep 26 02:10:27 MDT 2018
Top |
Symbols |
Numbers |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@InProceedings{Pugh:1991:OTF,
author = "W. Pugh",
title = "The {Omega} test: a fast and practical integer
programming algorithm for dependence analysis",
crossref = "IEEE:1991:PSA",
pages = "4--13",
year = "1991",
bibdate = "Wed Apr 15 16:28:01 MDT 1998",
acknowledgement = ack-nhfb,
classification = "C1180 (Optimisation techniques); C4240 (Programming
and algorithm theory); C6150G (Diagnostic, testing,
debugging and evaluating systems)",
corpsource = "Dept. of Comput. Sci., Maryland Univ., College Park,
MD, USA",
keywords = "approximate algorithms; array references;
computational complexity; dependence analysis;
Fourier-Motzkin variable elimination; integer
programming; integer programming algorithm; Omega test;
polynomial time complexity; production compilers;
program testing; worst-case exponential time
complexity",
sponsororg = "IEEE; ACM",
treatment = "P Practical",
}
Related entries
- algorithm,
0(0)xxiii--917,
0(0)56,
0(0)101,
0(0)122,
0(0)139,
0(0)187,
0(0)197,
0(0)218,
0(0)294,
0(0)316,
0(0)462,
0(0)502,
0(0)512,
0(0)578,
0(0)600,
0(0)633,
0(0)654,
0(0)678,
0(0)702,
0(0)712,
0(0)722,
0(0)732,
0(0)742,
0(0)754,
0(0)764,
0(0)786,
0(0)842,
0(0)854,
0(0)866
- analysis,
0(0)xxiii--917,
0(0)101,
0(0)218,
0(0)338,
0(0)390,
0(0)453,
0(0)491,
0(0)512,
0(0)764,
0(0)786,
0(0)818,
0(0)830,
0(0)854,
0(0)878
- array,
0(0)101,
0(0)348,
0(0)644,
0(0)764,
0(0)854
- C4240,
0(0)187,
0(0)294,
0(0)512,
0(0)702
- C6150G,
0(0)24,
0(0)424,
0(0)472,
0(0)481,
0(0)491
- case, worst-,
0(0)24
- compiler,
0(0)14,
0(0)86,
0(0)101,
0(0)111,
0(0)208,
0(0)316,
0(0)328,
0(0)338,
0(0)424,
0(0)502,
0(0)544,
0(0)610,
0(0)620,
0(0)806,
0(0)842,
0(0)854,
0(0)900
- complexity,
0(0)187,
0(0)197,
0(0)294,
0(0)512,
0(0)633,
0(0)732,
0(0)742,
0(0)754
- computational,
0(0)68,
0(0)158,
0(0)166,
0(0)187,
0(0)197,
0(0)230,
0(0)242,
0(0)294,
0(0)304,
0(0)462,
0(0)512,
0(0)541,
0(0)633,
0(0)732,
0(0)742,
0(0)754
- debugging,
0(0)24,
0(0)424,
0(0)472,
0(0)481,
0(0)491
- dependence,
0(0)xxiii--917,
0(0)86,
0(0)620,
0(0)854
- Diagnostic,
0(0)24,
0(0)424,
0(0)472,
0(0)481,
0(0)491
- evaluating,
0(0)24,
0(0)424,
0(0)472,
0(0)481,
0(0)491
- fast,
0(0)56,
0(0)166,
0(0)446,
0(0)633,
0(0)754
- optimisation,
0(0)86
- practical,
0(0)610
- production,
0(0)588
- program,
0(0)xxiii--917,
0(0)14,
0(0)24,
0(0)36,
0(0)86,
0(0)101,
0(0)111,
0(0)122,
0(0)139,
0(0)176,
0(0)197,
0(0)208,
0(0)218,
0(0)328,
0(0)338,
0(0)424,
0(0)435,
0(0)472,
0(0)481,
0(0)491,
0(0)502,
0(0)522,
0(0)544,
0(0)567,
0(0)610,
0(0)620,
0(0)679,
0(0)806,
0(0)842,
0(0)854,
0(0)900
- reference,
0(0)176,
0(0)187,
0(0)567,
0(0)854
- system,
0(0)xxiii--917,
0(0)24,
0(0)36,
0(0)46,
0(0)56,
0(0)68,
0(0)86,
0(0)101,
0(0)122,
0(0)139,
0(0)150,
0(0)158,
0(0)166,
0(0)176,
0(0)187,
0(0)197,
0(0)230,
0(0)304,
0(0)316,
0(0)328,
0(0)338,
0(0)358,
0(0)400,
0(0)412,
0(0)424,
0(0)446,
0(0)472,
0(0)481,
0(0)491,
0(0)502,
0(0)512,
0(0)522,
0(0)540,
0(0)541,
0(0)554,
0(0)567,
0(0)578,
0(0)588,
0(0)610,
0(0)633,
0(0)644,
0(0)664,
0(0)677,
0(0)678,
0(0)682,
0(0)722,
0(0)796,
0(0)806,
0(0)818,
0(0)830,
0(0)866,
0(0)878,
0(0)900
- techniques,
0(0)xxiii--917,
0(0)36,
0(0)46,
0(0)68,
0(0)86,
0(0)150,
0(0)158,
0(0)166,
0(0)230,
0(0)253,
0(0)304,
0(0)316,
0(0)328,
0(0)338,
0(0)370,
0(0)453,
0(0)491,
0(0)522,
0(0)540,
0(0)541,
0(0)554,
0(0)567,
0(0)644,
0(0)664,
0(0)682,
0(0)712,
0(0)732,
0(0)806,
0(0)818,
0(0)830,
0(0)900
- testing,
0(0)xxiii--917,
0(0)24,
0(0)130,
0(0)150,
0(0)158,
0(0)166,
0(0)412,
0(0)424,
0(0)472,
0(0)481,
0(0)491,
0(0)522,
0(0)544,
0(0)654,
0(0)776,
0(0)806,
0(0)830,
0(0)890
- theory,
0(0)158,
0(0)166,
0(0)187,
0(0)197,
0(0)230,
0(0)242,
0(0)294,
0(0)304,
0(0)462,
0(0)512,
0(0)578,
0(0)600,
0(0)633,
0(0)644,
0(0)654,
0(0)702,
0(0)712,
0(0)722,
0(0)732,
0(0)742,
0(0)754,
0(0)764,
0(0)786,
0(0)806,
0(0)830,
0(0)842,
0(0)854,
0(0)866
- time,
0(0)101,
0(0)370,
0(0)481,
0(0)502,
0(0)610,
0(0)633,
0(0)644,
0(0)677,
0(0)682,
0(0)742,
0(0)754,
0(0)830,
0(0)842
- worst-case,
0(0)24