Index file section S for jacm.bib

Last update: Tue Nov 11 02:06:07 MST 2025

Return to index directory

S

S, 21(1)114--123, 21(1)140--156, 21(4)549--568, 21(4)671--679, 22(1)155--171, 26(1)103--118, 26(1)129--147, 26(3)441--456, 27(1)118--122, 32(1)130--136, 33(3)603--617, 34(1)209--219
s, 21(1)114--123
S,E,D,L,U, 21(1)140--156
s-pd, 27(1)96--117
S-Semigroups, 19(1)3--10
s.c, 22(1)11--16
S.P.M, 13(2)179--193
S4, 28(1)41--70
SA, 22(2)177--183
Saccà, Domenico, 30(4)752--766, 32(4)774--803, see Ausiello, Giorgio
Sacca:1985:CDH, 32(4)774--803
Sackman, Harold, 11(4)450--464
Sackman:1964:ICO, 11(4)450--464
Sadri, Fereidoon, 29(2)363--372
Sadri:1982:TDL, 29(2)363--372
safe, 28(4)646--661, 29(3)718--740, 31(3)486--506, 31(4)761--791
safely, 31(2)227--244
safety, 24(3)455--464, 29(3)718--740, 31(2)227--244, 31(3)486--506, 31(3)560--599, 35(2)404--432
Sagiv, Y., 34(4)1016--1018
Sagiv, Yehoshua, 27(2)250--262, 27(4)633--655, 28(3)435--453, 28(4)680--695, 29(1)103--117
Sagiv, Yehoshua, see Maier, David
Sagiv:1980:AIM, 27(2)250--262
Sagiv:1980:EAR, 27(4)633--655
Sagiv:1981:EBR, 28(3)435--453, 34(4)1016--1018
Sagiv:1982:SDC, 29(1)103--117
Sagiv:1987:CEB, 28(3)435--453, 34(4)1016--1018
Sahasrabudhe, S. E., 24(4)624--629
Sahasrabudhe:1977:SFI, 24(4)624--629
Sahni, S., 22(1)38--50
Sahni, S., see Horowitz, E.
Sahni, Sartaj, 21(2)277--292, 22(1)115--124, 23(2)317--327, 23(3)555--565, 23(4)665--679, 25(1)92--101, 27(1)6--29, 27(3)550--563, 29(3)642--667
Sahni, Sartaj, see Gonzalez, Teofilo, see Horowitz, Ellis, \see{Nassimi, David
Sahni, Sartaj K., 23(1)116--127
Sahni:1975:AAK, 22(1)115--124
Sahni:1976:ASI, 23(1)116--127
Sahni:1976:CAP, 23(3)555--565
Sahni:1980:SIT, 27(3)550--563
said, 20(3)469--481, 25(4)544--555, 27(1)191--205, 30(3)449--456, 32(1)137--161, 32(3)597--617, 33(3)451--464, 37(4)720--741
Saito, N., 29(3)623--641
Saito, N., see Takamizawa, K.
Saks, Michael, 36(4)738--757
Saks, Michael, see Dowd, Martin
salesman, 7(4)326--329, 9(1)61--63, 21(3)500--504, 25(3)435--448, 31(1)163--188, 31(2)392--400, 32(2)383--410, 35(3)740--747, 36(4)719--737
salesmen, 21(3)500--504
salesperson, 23(3)555--565
Salkin, Harvey M., 20(2)189--193
Salkin:1973:SCA, 20(2)189--193
Salomaa, 26(2)345--350
Salomaa, A., 29(1)118--126, 30(1)95--102
Salomaa, A., see Maurer, H. A.
Salomaa, Arto, 13(1)158--169
Salomaa:1966:TCA, 13(1)158--169
Salton, G., 15(1)8--36, 16(1)1--2, 17(1)1--2, 18(1)1--3, 18(4)477--477, 19(1)1--2, 20(2)258--278, 23(1)76--88, 25(2)210--225, 29(1)152--170
Salton, G., see Yu, C. T.
Salton, Gerard, 7(2)140--149, 10(0)440--457
Salton:1960:NMP, 7(2)140--149
Salton:1963:ADR, 10(0)440--457
Salton:1968:CEI, 15(1)8--36
Salton:1969:PJ, 16(1)1--2
Salton:1970:RAJ, 17(1)1--2
Salton:1971:EST, 18(1)1--3
Salton:1971:I, 18(4)477--477
Salton:1972:EWC, 19(1)1--2
Salton:1973:RSA, 20(2)258--278
Sameh, A. H., 25(1)81--91
Sameh:1978:SPL, 25(1)81--91
Samelson, Christopher L., 29(3)830--840
Samelson:1982:NPF, 29(3)830--840
Samet, Hanan, 28(3)487--501
Samet:1981:CCL, 28(3)487--501
sample, 27(2)384--392, 30(3)397--416, 31(3)600--627, 33(4)702--705, 33(4)822--829, 34(3)686--717, 36(4)929--965
Samplesort, 17(3)496--507
sampling, 17(3)496--507, 19(4)734--741, 24(2)298--310, 32(4)762--773, 33(4)822--829, 36(2)270--279
Sanders, Jerry, 12(2)249--253
Sanders:1965:DAC, 12(2)249--253
Sandewall, Erik J., 16(3)364--382
Sandewall:1969:PPS, 16(3)364--382
Sandhu, Ravinderpal Singh, 35(2)404--432
Sandhu:1988:SPM, 35(2)404--432
Sangren, W. C., 4(4)477--486
Sangren, W. C., see Gerberich, C. L.
Sangren, Ward C., 1(4)170--172
Sangren, Ward C., see Atta, Susie E.
Santos, Eugene S., 19(2)222--224
Santos:1972:NBG, 19(2)222--224
Sarwate, D. V., 30(1)33--35
Sarwate:1983:NNM, 30(1)33--35
Sasaki, Galen H., 35(2)387--403
Sasaki:1988:TCM, 35(2)387--403
SAT, 3-, 34(2)492--510
Satellite, 15(4)712--719
satisfaction, 28(2)411--421, 29(1)24--32, 29(3)668--677, 32(4)755--761, 33(1)105--129, 33(4)658--686, 34(3)532--543, 35(2)345--373
satisfactory, 14(1)100--119, 14(2)337--340, 14(4)785--792
satisfiability, 21(2)191--200, 23(3)398--417, 25(1)136--145, 27(2)356--364, 32(3)733--749, 35(4)759--768
satisfiable, 23(3)398--417
satisfied, 19(4)660--674, 21(2)329--339, 21(3)454--458, 22(2)231--247, 23(4)680--690, 31(4)761--791, 34(1)28--59, 35(2)345--373, 36(1)46--68
satisfy, 21(1)54--65, 23(2)273--286, 23(2)389--396, 24(2)250--263, 25(4)517--525, 26(1)129--147, 26(4)794--818, 27(2)270--280, 29(3)668--677, 31(1)30--46, 31(2)210--226, 31(4)742--760, 32(3)597--617, 33(2)327--348, 34(2)255--288, 34(3)544--577, 34(4)802--824, 36(1)46--68, 36(2)230--269
satisfying, 22(4)463--468, 24(1)161--175, 26(4)618--630, 29(3)678--698, 35(4)769--776, 36(3)573--590, 36(4)687--718
saturated, 27(2)235--249
saturation, 22(3)397--412, 23(1)97--102, 33(3)489--498, 37(2)318--334
Savage, J. E., 19(4)660--674
Savage, John E., 31(2)422--437
Savage:1972:CWT, 19(4)660--674
Savage:1984:STT, 31(2)422--437
save, 22(2)184--194
saved, 24(2)222--240
saving, 24(2)241--249
Savitch, Walter J., 26(1)103--118
Savitch:1979:TBR, 26(1)103--118
say, 25(1)52--66, 31(1)30--46
SBA., 37(4)720--741
scalar, 28(1)71--80
scale, 12(2)259--261, 15(1)1--7, 16(3)474--482, 19(4)641--648, 23(3)475--487, 26(3)494--526, 32(2)344--373, 32(3)573--588, 33(1)60--85, 33(4)687--701, 34(2)376--396, 35(3)675--696, 35(4)777--809
Scale, Large-, 18(1)19--33
scale, large-, 25(2)266--270
scaled, 21(3)514--524
scaling, 3(2)65--72, 7(4)338--345, 11(1)79--83, 18(4)566--572, 21(3)514--524, 26(3)494--526, 29(2)492--513
scaling, self-, 23(4)599--618
SCAN, 22(3)397--412
scan, 22(3)397--412, 36(2)209--229
Scan, Single-, 11(2)159--167
scanning, 22(3)346--351
Scanning-Rate, High-, 5(1)76--88
scene, 33(4)658--686
Schach, Stephen R., 28(1)5--15, 29(1)58--67
Schach, Stephen R., see Becker, Ronald I., see Perl, Yehoshua
Schank, Roger C., 22(3)309--328
Schank:1975:IPC, 22(3)309--328
Schassberger, R., 30(1)146--150
Schassberger:1983:TRT, 30(1)146--150
schedule, 14(3)439--465, 21(1)66--75, 23(3)461--467, 23(4)665--679, 24(1)32--43, 24(4)544--565, 25(1)92--101, 25(4)612--619, 26(4)631--653, 27(2)287--312, 28(1)81--99, 28(3)462--476, 29(3)766--780, 29(3)812--829, 30(1)186--196, 31(2)227--244, 32(3)589--596, 35(4)832--844
scheduled, 16(1)73--90, 16(4)646--646, 35(4)832--844
scheduler, 26(4)631--653, 29(2)514--526, 30(1)186--196, 32(4)824--840
Scheduling, Task-, 22(4)522--550, 24(3)527--527
schema, 20(3)489--499, 21(2)213--226, 26(4)819--833, 30(4)767--786, 32(1)79--101, 32(4)774--803, 33(3)423--450, 34(2)349--375, 34(3)544--577, 36(1)97--128, 36(4)758--789, 37(1)15--46
schemata, 11(1)1--9, 20(3)514--537, 20(4)696--710, 21(2)213--226, 23(4)720--732, 24(1)161--175, 25(1)10--22, 26(4)819--833, 32(4)774--803
Schematic, 35(2)404--432
Schinzel, Davenport-, 35(2)267--287
Schkolnick, M., 25(4)536--543
Schkolnick, M., see Bentley, J. L.
Schkolnick, Mario, 18(1)148--172
Schkolnick, Mario, see Harrison, Michael A.
Schlessing, M., 12(4)545--546
Schlessing, M., see Berkovits, S.
Schmidt, Douglas C., 23(3)433--445
Schmidt, Erik Meineche, 27(1)96--117
Schmidt, Erik Meineche, see Engelfriet, Joost
Schmidt, Gram-, 21(4)581--585
Schmidt:1976:FBA, 23(3)433--445
Schneider, V. B., 23(3)511--533
Schneider, V. B., see Mickunas, M. D.
Schnorr, C. P., 25(1)136--145
Schnorr, Claus P., 34(3)513--531
Schnorr, Claus P., see Galil, Zvi
Schnorr:1978:SQC, 25(1)136--145
Schönhage, Arnold, 35(3)748--754
Schönhage--Strassen, 23(2)242--251
Schonhage:1988:NLB, 35(3)748--754
Schöning, Uwe, 33(3)603--617, see Balcázar, Jose L.
Schorr-Waite, Deutsch-, 26(2)283--301
Schroeder, R., 11(2)152--158
Schroeder:1964:IDS, 11(2)152--158
Schubert, L. K., 21(3)436--445
Schubert:1974:ILR, 21(3)436--445
Schultz, Gary D., 19(3)483--495
Schultz:1972:SMM, 19(3)483--495
Schur, 7(1)78--79
Schützenberger, Marcel Paul, 15(2)300--303
Schutzenberger:1968:RAS, 15(2)300--303
Schwartz, Eugene S., 8(4)513--537, 10(4)413--439
Schwartz, J., 13(1)25--32
Schwartz, J. T., 27(4)701--717
Schwartz, Jules I., 3(4)292--298
Schwartz, Jules I., see Hempstead, Gus
Schwartz:1961:ASP, 8(4)513--537
Schwartz:1963:DMR, 10(4)413--439
Schwartz:1966:LPC, 13(1)25--32
Schwartz:1980:FPA, 27(4)701--717
Schweitzer-Bard, 37(3)643--673
Schwetman, H. D., 22(4)522--550, 24(3)527--527
Schwetman, H. D., see Krause, K. L.
science, 3(3)129--133, 15(4)490--492, 16(1)3--12, 17(2)197--215, 19(1)1--2, 22(1)17--37, 22(3)309--328, 22(3)341--345, 23(1)76--88, 23(2)262--272, 23(2)273--286, 23(3)398--417, 23(3)451--454, 24(3)397--417, 24(3)418--427, 24(3)428--440, 24(4)607--622, 25(1)67--80, 25(2)210--225, 25(4)544--555, 26(1)28--36, 27(4)797--821, 28(3)615--628, 28(4)633--645, 28(4)646--661, 29(1)1--23, 29(1)24--32, 29(1)127--151, 29(1)152--170, 30(3)389--396, 30(4)687--708, 32(1)1--27, 32(1)28--51, 32(1)205--217, 32(3)505--536, 32(3)702--719, 34(3)578--595, 34(3)686--717, 34(4)950--967, 35(2)374--386, 35(4)965--984
scientific, 12(4)490--515, 18(1)1--3, 18(1)173--185
Sciore, Edward, 29(2)373--393
Sciore:1982:CAF, 29(2)373--393
scope, 25(2)261--265, 26(1)129--147
scoring, 32(3)505--536
Scott, A. E., 5(1)57--66
Scott:1958:APF, 5(1)57--66
SDB, 33(3)451--464
Search, Parallel-, 9(4)488--511
search, prune-and-, 31(1)114--127
search, tree-, 23(1)31--42
searched, 29(1)24--32
searcher, 8(4)553--578, 35(1)18--44
searching, 4(2)131--136, 9(1)13--28, 10(4)478--486, 17(3)508--517, 21(2)227--232, 21(3)392--402, 23(2)262--272, 24(3)441--454, 26(2)196--210, 28(2)289--304, 28(4)737--751, 30(3)389--396, 30(4)687--708, 31(1)163--188, 32(3)597--617, 32(3)652--686, 32(3)687--693, 32(4)755--761, 32(4)938--949, 33(2)371--407, 33(3)489--498, 33(4)658--686, 34(1)60--76, 34(1)200--208, 34(2)397--410, 34(3)578--595, 34(3)596--615, 34(3)616--625, 34(4)968--984, 35(1)18--44, 35(4)777--809, 36(2)270--279, 36(2)280--289, 36(2)290--334, 36(3)573--590, 36(4)719--737, 36(4)738--757, 37(2)200--212, 37(2)213--223, 37(2)224--237, 37(3)439--463, 37(4)691--711
Searching, Tree-, 37(2)195--199
searchonyms, 24(3)397--417
Second-Order, 20(2)333--364, 30(1)151--185
second-order, 30(1)151--185
secondary, 20(3)429--438, 23(4)619--635, 24(2)222--240
section, 21(4)576--580, 32(2)374--382
section, 2-, 30(4)767--786
sector, 18(3)400--404, 23(1)103--115, 25(3)378--395
secure, 26(2)259--270, 36(2)335--348
Security*, 35(2)404--432
security, 24(3)455--464, 26(1)45--57, 32(1)229--246, 33(3)451--464, 33(4)792--807, 35(2)404--432, 36(1)129--141, 36(2)335--348, 36(3)591--614, 36(4)758--789, 37(1)15--46
seek, 16(4)602--620
seem, 12(1)83--89, 23(3)534--543, 24(2)250--263, 26(2)345--350, 27(2)365--383, 33(1)105--129, 33(3)593--602, 35(3)523--534
seemed, 7(1)78--79
seemingly, 35(3)697--726
Seger, C.-J., 36(1)20--45
Seger, C.-J., see Brzozowski, J. A.
segment, 14(3)423--438, 16(1)145--159, 23(4)619--635, 27(1)3--5
segment, single-, 21(1)18--30
Segmental, 21(1)18--30
segmentation, 12(4)589--602, 23(2)368--388, 23(4)619--635, 33(2)290--312
Segmented, 21(1)18--30
Seiferas, Joel, 25(1)102--111
Seiferas, Joel, see Galil, Zvi
Seiferas, Joel I., 25(1)146--167, 28(1)166--180, 35(4)985--1000
Seiferas, Joel I., see Leong, Benton L.
Seiferas:1978:SNT, 25(1)146--167
Seiferas:1988:CE, 35(4)985--1000
Sekiguchi, Shigeru, 13(2)236--261
Sekiguchi, Shigeru, see Kobayashi, Kojiro
SEL, 22(1)83--105
seldom, 31(4)839--854
select, 35(2)345--373
select-project-join, 37(4)712--719
selected, 21(2)246--260, 28(2)358--371, 31(2)377--391
selecting, 23(3)446--450, 32(4)841--860, 36(2)209--229
selection, 4(3)348--353, 16(4)569--579, 17(2)216--230, 21(1)140--156, 22(1)125--128, 25(4)556--570, 26(1)58--64, 26(2)227--238, 27(1)42--59, 27(3)457--473, 28(1)150--165, 28(3)454--461, 30(1)36--54, 30(4)852--865, 31(4)761--791, 32(1)79--101, 33(3)409--422, 35(1)70--120, 35(4)769--776, 36(2)270--279
Self, 0(0)xxvi--375
Self-Adjusting, 32(3)652--686
self-adjusting, 32(3)652--686
Self-Consistency, 9(2)280--281
self-contained, 26(4)794--818
self-correcting, 36(3)531--539
self-delimiting, 22(3)329--340
Self-Describing, 18(3)329--338
self-dual, 32(4)871--895
Self-Organizing, 25(4)526--535
self-organizing, 32(3)652--686
Self-Reproducing, 0(0)xix--388
self-reproducing, 0(0)xix--388
self-scaling, 23(4)599--618
selfrepro, automata-, 0(0)xix--388, 0(0)xxvi--375
Selkow, Stanley M., 19(2)283--295
Selkow:1972:OPC, 19(2)283--295
Selman, Alan L., 32(1)205--217, 33(3)618--627
Selman, Alan L., see Even, Shimon, see Long, Timothy J.
Semal, P., 31(4)804--825
Semal, P., see Courtois, P.-J.
semantic-preserving, 27(2)338--355
Semantic-Syntax-Directed, 27(2)338--355
semantic-syntax-directed, 27(2)338--355
semantically, 31(3)518--537, 31(4)761--791, 34(4)1004--1015
Semaphore, 29(4)1049--1072
Semi-Automated, 16(1)49--62
Semi-Automatic, 3(4)299--308
Semi-Decision, 10(1)1--24
Semi-Definite, 5(3)244--245
Semi-Implicit, 23(3)455--460
semi-implicit, 23(3)455--460, 26(3)483--493
Semi-Joins, 28(1)25--40
Semi-Markov, 18(2)221--238
semi-Markov, 18(2)221--238
semiautomatic, 24(1)44--67
semiconductor, 36(1)20--45
semidecision, 23(3)398--417
Semidegenerate, 17(2)412--419
semigroup, 10(0)521--525, 28(4)696--705, 36(2)362--382, 37(3)439--463
Semigroups, S-, 19(1)3--10
semilinear, 17(1)44--50, 32(2)466--483
semiring, 29(3)874--897, 31(4)879--904
Semitic, 25(1)52--66
send, 32(4)824--840
sender, 34(4)825--845
Senders, J. W., 2(4)267--279
Senders, J. W., see Haneman, V. S.
Senko, M. E., 16(4)569--579
Senko, M. E., see Ghosh, S. P.
sense, 19(4)641--648, 19(4)742--764, 22(1)129--144, 22(3)341--345, 23(3)423--432, 23(3)502--510, 24(3)441--454, 25(1)52--66, 25(3)421--434, 25(4)544--555, 26(1)129--147, 26(3)441--456, 26(3)555--566, 27(1)128--145, 27(2)263--269, 28(3)535--560, 28(3)577--593, 28(4)696--705, 29(2)394--403, 29(3)907--927, 30(3)389--396, 30(3)479--513, 30(3)657--667, 31(2)336--345, 31(4)761--791, 32(3)505--536, 32(3)687--693, 33(4)724--767, 35(3)635--650, 35(4)965--984
sensitive, 24(3)441--454, 27(2)281--286
sensitive, context-, 34(2)411--449
sensitivity, 21(1)103--113, 21(1)114--123
sensor, 33(4)658--686
sensory, 33(4)658--686
sent, 27(1)30--41, 35(2)288--323, 36(3)615--642
sentence, 22(3)309--328, 23(4)733--742, 33(1)105--129
separate, 22(2)231--247, 23(4)680--690, 24(2)241--249, 30(4)805--819, 31(1)1--12, 31(3)628--648, 32(3)549--561, 36(2)349--361
separated, 12(2)286--294, 35(2)433--446
separately, 22(3)367--379
separating, 25(1)146--167, 37(2)415--438
separation, 30(3)677--685, 31(4)826--838
separator, 33(3)465--488
September, 3(1)1--2, 34(4)921--938
sequenced, 36(4)719--737
sequencing, 8(3)426--439, 8(4)513--537, 21(2)329--339, 22(1)106--114, 23(1)116--127, 23(4)655--664, 28(1)100--113, 32(3)562--572, 32(3)589--596, 33(1)130--150, 34(1)144--162, 34(1)200--208, 35(4)832--844, 35(4)985--1000, 36(4)719--737
sequential, 5(2)177--180, 5(4)343--352, 6(2)259--282, 7(1)24--28, 7(1)78--79, 8(4)585--600, 8(4)601--612, 9(3)324--344, 10(0)78--88, 10(0)209--216, 10(0)365--385, 10(0)386--411, 12(1)71--82, 12(1)141--149, 13(1)33--42, 13(2)179--193, 13(4)471--494, 14(3)478--489, 14(4)666--676, 16(4)569--579, 17(3)518--524, 18(1)34--40, 21(1)18--30, 23(4)599--618, 23(4)720--732, 26(1)148--175, 26(4)631--653, 27(4)831--838, 30(1)197--216, 31(2)401--421, 31(3)459--473, 31(3)560--599, 31(4)792--803, 33(4)808--821, 35(1)45--69, 35(3)740--747
serial, 7(1)72--74, 19(4)590--607, 19(4)613--640, 29(2)394--403, 30(4)852--865, 31(2)227--244, 34(1)200--208
serializability, 26(4)631--653, 29(2)394--403, 31(2)227--244, 31(4)855--878, 32(2)314--326, 35(1)121--145, 36(2)230--269
serializable, 26(4)631--653, 29(2)394--403, 31(2)227--244, 32(2)314--326
serialization, 31(3)474--485
serially, 27(1)72--80, 27(2)270--280, 30(4)736--751
series, 1(4)170--172, 3(1)10--15, 4(4)487--504, 6(1)111--114, 8(3)374--383, 8(4)613--627, 14(2)337--340, 15(1)115--123, 22(1)115--124, 22(2)270--290, 23(1)89--96, 23(2)310--316, 24(1)161--175, 25(4)581--595, 29(3)623--641, 34(3)646--660
Series-Parallel, 18(3)354--372, 29(3)623--641
series-parallel, 27(1)146--163
serious, 6(2)196--203
seriousness, 16(1)3--12
serve, 21(1)40--53, 29(2)310--332, 30(2)231--258, 31(1)47--85
served, 12(3)350--355, 21(1)103--113, 22(2)231--247, 23(1)97--102, 31(1)134--149, 35(4)832--844
served, first-, 21(1)66--75, 34(4)985--1003
served, first-come-first-, 23(1)97--102, 24(4)566--582, 31(4)826--838
served, last-come-first-, 26(4)779--793
server, 19(1)92--108, 21(1)18--30, 23(2)328--341, 23(2)347--360, 23(4)680--690, 26(4)779--793, 27(2)281--286, 29(2)478--491, 30(4)834--851, 31(1)86--98, 31(3)474--485, 33(1)207--223, 33(3)593--602, 34(4)985--1003, 36(1)194--207, 37(1)144--174
server, nearer-, 31(4)826--838
server, single-, 27(3)519--532, 31(3)628--648, 35(4)832--844, 36(1)194--207
Service, Constant-, 31(3)628--648
service, constant-, 31(3)628--648
service, quanta-of-, 29(2)448--460
Service-Time, 29(3)830--840
service-time, 23(4)655--664, 29(3)830--840
serviceability, 32(4)824--840, 33(3)499--516, 34(1)77--97, 34(1)179--199, 35(2)288--323
serviced, 25(2)283--303
serving, 16(2)315--323, 23(4)680--690
Servos, G. H., 11(2)240--251
Servos, G. H., see Smith, K. U.
set, Sort-, 33(3)465--488
set, sort-, 33(3)465--488
set, test-and-, 29(1)183--205
set-of-support, 21(1)124--139
set-parameters, 27(1)96--117
Sethi, 19(4)613--640
Sethi, Ravi, 17(4)715--728, 21(4)671--679, 22(3)424--424, 23(3)502--510, 24(1)32--43, 24(3)428--440, 25(4)652--666, 25(4)667--674, 27(1)146--163, 27(3)580--597, 27(4)758--771, 29(2)394--403, 30(3)457--478, 30(3)595--611
Sethi, Ravi, see Bruno, John, see Coffman, Jr., E. G., see Comer, Douglas, \see{Downey, Peter J., see Horvath, Edward C., see Prabhala, Bhaskaram, see Raoult, Jean-Claude
Sethi:1970:GOC, 17(4)715--728
Sethi:1974:TCR, 21(4)671--679, 22(3)424--424
Sethi:1975:ETC, 21(4)671--679, 22(3)424--424
Sethi:1978:CEE, 25(4)667--674
Sethi:1980:CCV, 27(3)580--597
Sethi:1982:UAM, 29(2)394--403
settle, 31(2)336--345, 35(4)941--952
Settle, L. G., 16(1)49--62
Settle, L. G., see Guard, J. R.
settled, 29(3)668--677, 35(3)603--634
Sevcik, K. C., 28(2)358--371
Sevcik, Kenneth C., 21(1)66--75, 33(1)179--206
Sevcik, Kenneth C., see Eager, Derek L.
Sevcik:1974:SMT, 21(1)66--75
Sevcik:1981:DQN, 28(2)358--371
Severance, Dennis G., 23(4)619--635
Severance, Dennis G., see Eisner, Mark J.
severely, 28(2)215--222
sex, 34(3)532--543
sextuple, 21(1)140--156
sG, 35(1)18--44
Shahrokhi, Farhad, 37(2)318--334
Shahrokhi:1990:MCF, 37(2)318--334
Shalla, Leon, 14(4)698--709
Shalla, Leon, see Wos, Lawrence
Shampine, L. F., 17(4)655--660
Shampine:1970:EPN, 17(4)655--660
Shank, H., 15(3)382--389
Shank, H., see Hartmanis, J.
Shankar, N., 35(3)475--522
Shankar:1988:MPC, 35(3)475--522
Shannon, 23(4)710--719
shape, 21(2)293--310, 25(2)261--265, 29(2)514--526, 36(3)573--590, 37(4)691--711
Shapiro, Marvin B., 14(4)720--731
Shapiro:1967:ARP, 14(4)720--731
share, 6(2)123--127, 6(2)128--133, 6(2)134--140, 6(2)141--144, 6(2)145--151, 6(2)152--155, 23(2)221--234, 24(2)222--240, 29(3)907--927, 32(3)618--651, 34(1)116--127, 35(3)579--602
SHARED, 30(4)787--804
shared, 18(1)186--198, 19(3)464--482, 21(1)124--139, 23(4)619--635, 26(1)6--27, 29(1)183--205, 30(4)787--804, 31(2)193--209, 32(1)102--129, 32(3)618--651, 34(1)116--127, 34(2)289--325, 35(4)876--892, 36(3)671--680, 37(3)491--523
shared, processor-, 14(2)242--261
Shared, Time-, 13(3)317--338, 15(4)549--576, 17(1)131--145, 28(3)477--486
shared, Time-, 14(2)242--261, 15(4)549--576
shared, time-, 14(2)242--261, 21(2)329--339, 28(2)351--357, 28(3)477--486
shared-memory, 34(1)116--127
sharing, 19(3)464--482, 21(2)340--349, 23(1)97--102, 24(2)222--240, 26(2)283--301, 26(4)779--793, 27(2)270--280, 27(3)519--532, 29(2)478--491, 32(1)102--129, 32(2)445--465, 35(4)876--892
sharing, last-batch-processor-, 26(4)779--793
Sharing, Processor-, 17(1)123--130
sharing, processor-, 27(3)519--532, 29(2)514--526
Sharing, Time-, 13(1)1--16, 14(2)262--272, 15(3)341--353, 16(2)315--323, 16(4)602--620, 16(4)631--645, 18(2)221--238, 18(4)603--610, 18(4)611--615, 19(1)70--91, 19(3)453--463, 22(2)231--247
sharing, Time-, 15(3)341--353
sharing, time-, 16(2)315--323, 16(4)631--645, 18(4)611--615, 19(1)70--91, 22(2)231--247, 26(4)761--778, 29(2)478--491
Sharir, 35(2)267--287
Sharir, Micha, 35(2)267--287
Sharir, Micha, see Baltsan, Avikam
sharp, 19(4)641--648, 30(3)637--640, 31(3)545--559
sharper, 21(1)6--17, 21(2)201--206, 30(4)834--851, 31(2)193--209
Shaw, Alan C., 17(3)453--481
Shaw, Brian, 14(1)143--154
Shaw, H., 13(4)600--604
Shaw, Harry, 10(0)545--549
Shaw, Harry, see Rich, Robert P.
Shaw, Mary, 21(1)161--167
Shaw:1966:DAC, 13(4)600--604
Shaw:1967:MMM, 14(1)143--154
Shaw:1970:PGR, 17(3)453--481
Shaw:1974:NME, 21(1)161--167
Shearer, James B., 33(1)86--104
Shearer, James B., see Chor, Benny
Shedler, G. S., 18(1)199--220
Shedler, G. S., see Lewis, P. A. W.
Shedler, Gerald S., 25(3)449--460
Shedler, Gerald S., see Iglehart, Donald L.
Shelah, Saharon, 37(3)674--687
Shelah, Saharon, see Gurevich, Yuri
Sheldon, 7(1)78--79
Sheldon, J. W., 6(4)494--505
Sheldon:1959:SNS, 6(4)494--505
shell, 36(4)738--757
Shell, D. L., 5(1)22--31
Shell, D. L., see Spitzbart, A.
Shell, Donald L., 6(2)123--127
Shell:1959:SSC, 6(2)123--127
Shemer, Jack E., 14(2)262--272
Shemer:1967:SMC, 14(2)262--272
Shen, V. Y., 22(4)522--550, 24(3)527--527, 25(3)365--377
Shen, V. Y., see Kafura, D. G., see Krause, K. L.
Sheng, C. L., 12(2)262--276, 12(3)435--435
Sheng:1965:CTL, 12(2)262--276, 12(3)435--435
Sheng:1965:TLE, 12(2)262--276, 12(3)435--435
Shenitzer, A., 4(1)30--35
Shenitzer:1957:CAC, 4(1)30--35
Shepherdson, J. C., 10(2)217--255
Shepherdson:1963:CRF, 10(2)217--255
Sherman, Bernard, 4(4)472--476
Sherman:1957:DTP, 4(4)472--476
Shetty, C. M., 21(3)505--513
Shetty, C. M., see Trotter, Jr., L. E.
shift, 5(4)385--388, 7(2)129--139, 14(3)529--542, 20(3)456--468, 33(4)706--711, 34(4)939--949, 35(4)1001--1001
Shift-Register, 16(3)461--473
shifted, phase-, 25(4)675--686
shifting, 9(3)375--378, 20(3)539--544, 23(3)423--432, 29(1)58--67, 32(1)130--136
Shiloach, Y., 25(1)1--9
Shiloach, Y., see Perl, Y.
Shiloach, Yossi, 27(3)445--456, 28(1)1--4
Shiloach, Yossi, see Even, Shimon
Shiloach:1980:PSU, 27(3)445--456
Shimizu, Tamio, 16(3)511--516
Shimizu:1969:SAM, 16(3)511--516
Shin, Kang G., 34(2)326--348, 35(1)45--69
Shin, Kang G., see Lee, Yann-Hang
shipments, 23(1)155--157
Shirakawa, I., 27(4)619--632
Shirakawa, I., see Tsukiyama, S.
Shmoys, David B., 33(3)533--550, 34(1)144--162, 36(3)591--614
Shmoys, David B., see Chor, Benny, see Hochbaum, Dorit S.
Shmueli, Oded, 30(4)767--786
Shmueli, Oded, see Goodman, Nathan
shop, 23(4)665--679, 28(3)462--476, 31(2)336--345
Shop, Flow-, 22(1)106--114, 28(3)462--476
shop, flow-, 22(1)106--114
short, 11(1)31--40, 21(3)459--469, 23(1)97--102, 23(2)342--346, 28(4)633--645, 32(1)229--246, 32(3)537--548, 34(1)209--219, 36(3)510--530, 36(4)719--737
shorter, 14(1)100--119, 23(1)97--102, 28(3)435--453, 28(3)462--476, 33(1)1--59, 34(4)825--845
Shortest-Path, 37(3)607--625
Shostak, R., 27(2)228--234
Shostak, R., see Pease, M.
Shostak, Robert, 28(4)769--779
Shostak, Robert E., 24(4)529--543, 26(2)351--360, 31(1)1--12
Shostak:1977:SIM, 24(4)529--543
Shostak:1979:PDP, 26(2)351--360
Shostak:1981:DLI, 28(4)769--779
Shostak:1984:DCT, 31(1)1--12
should, 11(1)31--40, 26(2)259--270, 26(2)271--282, 28(3)615--628, 30(2)231--258, 31(4)761--791, 32(4)896--928, 34(1)144--162, 36(3)510--530
showed, 7(1)78--79, 32(4)762--773, 36(2)290--334
showing, 21(2)207--212, 21(4)671--679, 22(1)155--171, 26(1)103--118, 28(4)715--720, 30(3)677--685, 32(4)896--928, 34(3)731--760, 36(1)92--96
Shrager, Richard I., 17(3)446--452
Shrager:1970:NRL, 17(3)446--452
shuffle, 27(1)6--29, 29(3)642--667
shuffle-exchange, 31(2)193--209, 36(4)738--757
SI, 19(4)699--711
Sibert, E. E., 21(2)175--190
Sibert, E. E., see Michie, D.
side, 26(2)322--344, 26(3)494--526, 33(2)290--312, 33(3)423--450, 34(3)544--577, 35(4)810--831
sided, one-, 21(3)514--524
sided, two-, 21(3)514--524
Siegel, Alan, 35(4)777--809
Siegel, Alan, see Cole, Richard
Sieving, 14(1)10--19
Sifting, 13(3)404--411
SIGACT-SIGMOD, 31(3)518--537
Sigillito, V. G., 14(4)732--741
Sigillito:1967:CMA, 14(4)732--741
SIGMOD, SIGACT-, 31(3)518--537
Sigmon, Timothy M., 27(3)457--473, 28(2)270--288
Sigmon, Timothy M., see Trivedi, Kishor S.
sign, 6(2)196--203, 27(2)235--249
signature, 30(2)343--359, 32(1)52--78, 32(1)191--204, 35(1)161--184, 37(2)335--372
significance, 22(4)551--571, 26(4)716--730, 27(1)191--205, 30(4)687--708, 32(4)896--928
significant, 12(2)242--246, 22(3)346--351, 23(2)361--367, 23(2)368--388, 26(2)259--270, 26(3)434--440, 26(4)761--778, 36(3)591--614
significantly, 21(2)277--292, 21(3)505--513, 22(1)61--82, 23(2)235--241, 23(4)619--635, 26(4)761--778, 27(4)831--838, 30(4)805--819, 34(1)116--127, 35(2)267--287, 35(3)579--602, 35(3)675--696, 36(3)591--614
Silberschatz, A., 32(2)314--326
Silberschatz, A., see Buckley, G. N.
Silberschatz, Abraham, 27(1)72--80, 30(4)787--804
Silberschatz, Abraham, see Kedem, Zvi M.
Silberschatz:1980:CHD, 27(1)72--80
Silva, Edmundo, de Souza e, 36(1)171--193, 36(1)194--207
Silverman, Harvey F., 20(3)429--438
Silverman, Harvey F., see Grossman, David D.
SIMD, 30(1)186--196
similar, 22(4)504--511, 23(4)582--598, 26(2)361--381, 27(2)228--234, 27(2)365--383, 28(1)81--99, 28(4)737--751, 30(1)151--185, 30(4)805--819, 30(4)820--833, 31(3)507--517, 31(3)545--559, 32(1)130--136, 32(2)466--483, 32(4)841--860, 33(3)618--627, 34(4)985--1003, 36(2)209--229, 36(3)435--473, 37(2)373--414
similarity, 6(3)336--359, 26(3)422--433, 32(3)702--719
Similarity-Invariant, 9(2)259--267
similarly, 26(2)196--210, 36(3)540--572
Simmons, Robert F., 10(0)334--347
Simmons, Robert F., see Klein, Sheldon
Simões Pereira, J. M. S., 12(3)376--382, 14(2)419--420
SimoesPereira:1965:BME, 12(3)376--382, 14(2)419--420
SimoesPereira:1967:CBM, 12(3)376--382, 14(2)419--420
Simon, 30(2)271--285
Simon, B., 31(1)134--149
Simon, Herbert A., 10(0)493--506
Simon, Istvan, 37(2)224--237
Simon, Istvan, see Bollobás, Béla
Simon, Richard, 18(3)354--372
Simon:1963:EHC, 10(0)493--506
Simon:1971:OSS, 18(3)354--372
Simon:1984:PQF, 31(1)134--149
simple-minded, 25(1)52--66
simpler, 22(4)522--550, 23(2)361--367, 23(3)544--554, 27(1)3--5, 27(2)287--312, 27(2)323--337, 28(4)715--720, 30(4)752--766, 36(1)92--96
simplest, 26(2)345--350, 36(3)540--572
simplex, 12(4)603--603, 15(2)221--235, 22(3)413--424, 23(3)475--487, 26(3)401--414, 32(4)871--895, 33(3)551--567
Simplex, Primal-, 25(2)266--270
simplex, primal-, 25(2)266--270
simplicial, 26(4)611--617
simplicity, 16(3)407--422, 21(2)293--310, 21(4)652--670
simplification, 5(1)67--75, 17(1)166--181, 17(2)385--396, 30(3)641--656, 35(1)185--220, 36(1)46--68, 36(1)92--96
simplified, 16(3)349--363, 19(4)590--607, 27(2)323--337, 28(3)594--614
simplifier, 21(4)622--642, 27(2)356--364
simplify, 21(4)671--679, 23(1)58--73
simplifying, 8(4)497--512
simply, 16(1)3--12, 30(1)151--185, 32(2)327--343, 33(4)808--821
Simpson, 6(2)196--203, 16(3)483--495
Simula, 23(2)389--396
simulate, 26(2)361--381, 27(4)831--838, 30(2)360--387, 34(1)116--127, 35(4)985--1000
simulated, 19(4)742--764, 26(2)361--381, 30(2)300--322, 35(2)387--403
simulating, 5(3)281--288, 12(1)14--22, 21(1)103--113, 21(1)114--123, 23(2)347--360, 27(1)123--127, 27(4)831--838, 32(4)804--823, 34(4)921--938, 35(3)635--650
SIMULATION, 34(4)859--909
simulator, 12(1)1--13
simultaneous, 8(3)374--383, 13(3)386--403, 31(2)422--437, 34(1)163--178, 34(2)376--396, 36(3)615--642, 37(4)720--741
simultaneously, 14(3)423--438, 22(3)367--379, 26(4)611--617, 31(2)401--421, 32(3)589--596, 33(1)86--104, 33(3)465--488, 34(1)163--178, 34(2)289--325, 35(1)45--69, 35(2)404--432, 35(2)447--460, 36(3)540--572
since, 7(1)78--79, 14(4)785--792, 21(4)622--642, 23(3)534--543, 25(2)304--311, 25(3)481--498, 25(4)620--629, 26(3)441--456, 27(1)191--205, 29(2)394--403, 30(1)186--196, 30(3)564--594, 30(3)612--636, 31(2)401--421, 32(1)137--161, 32(2)296--313, 32(2)374--382, 34(1)209--219, 34(2)326--348, 34(2)411--449, 35(1)121--145, 35(2)324--344, 36(1)194--207, 36(2)335--348
sine, 21(4)586--589, 23(1)89--96
Singh, Samar, 33(3)551--567
Singh:1986:IMS, 33(3)551--567
Single-Ended, 13(3)412--418
single-entry, 21(3)367--375
single-point, 32(2)445--465
single-precision, 20(3)391--398, 23(2)242--251
Single-Scan, 11(2)159--167
single-segment, 21(1)18--30
single-server, 27(3)519--532, 31(3)628--648, 35(4)832--844, 36(1)194--207
single-source, 28(3)594--614
Single-Step, 5(1)39--44
Single-Tape, 35(4)985--1000
single-tape, 35(4)985--1000
Singletary, Wilson E., 15(4)680--692
Singletary, Wilson E., see Cudia, Dennis F.
Singleton, R. C., 3(3)169--174
Singleton, R. C., see Isaac, E. J.
singly, 16(1)73--90, 32(3)589--596, 34(2)289--325
singular, 33(2)371--407, 37(1)144--174
singularity, 35(3)675--696
sink, 35(4)921--940
Sint, Lenie, 24(2)177--191
Sint, Lenie, see Champeaux, Dennis de
Sippu, Seppo, 30(2)259--270
Sippu:1983:CLK, 30(2)259--270
Sipser, Michael, 27(2)393--401
Sipser, Michael, see Lichtenstein, David
Sistla, A. P., 32(3)733--749
Sistla:1985:CPL, 32(3)733--749
situated, 35(2)433--446
situation, 22(3)352--360, 24(4)607--622, 26(3)457--482, 26(4)716--730, 27(1)181--190, 30(3)514--550, 30(4)709--728, 30(4)805--819, 34(2)349--375
Siu, M. K., 25(2)210--225
Siu, M. K., see Yu, C. T.
six, 3(2)65--72, 25(2)283--303
sixty, 19(4)734--741
Size, Cell-, 12(1)53--70
size, equal-, 23(1)103--115
size, fixed-, 37(3)491--523
size, minimal-, 22(3)329--340
size, polynomial-, 34(4)1004--1015
size, program-, 22(3)329--340
size, variable-, 37(3)491--523
Size-Time, 36(2)362--382
size-time, 36(2)362--382
sized, 21(2)233--245, 25(3)365--377
sized, equal-, 22(4)441--449
sized, minimal-, 31(1)30--46
Sizing, 20(2)307--319
Skeel, Robert D., 26(3)494--526
Skeel:1979:SNS, 26(3)494--526
Skeletons, 15(4)600--624, 16(4)534--549
sketched, 26(2)283--301, 26(3)434--440, 36(3)573--590
skew, 25(2)261--265
skewing, 25(2)261--265
skewness, 22(3)413--424
skip, 30(3)595--611
skipped, 32(3)505--536
Sklansky, J., 15(2)165--175, 17(1)161--165
Sklansky:1968:FPT, 15(2)165--175
Sklansky:1970:TCO, 17(1)161--165
Skolem, 21(4)606--621
Skolemizing, 36(1)46--68
Skupien, 22(2)226--230
Skyum, S., 32(2)484--502
Skyum:1985:CTB, 32(2)484--502
SL, 28(3)535--560
SL-program, 28(3)535--560
SL-resolution, 22(4)572--595
Slagle, J. R., 18(1)126--136
Slagle, J. R., see Chang, C. L.
Slagle, James H., 16(2)189--207
Slagle, James R., 10(0)507--520, 11(3)253--264, 14(4)687--697, 15(1)85--99, 17(3)535--542, 19(1)120--135, 19(3)496--516, 21(4)622--642
Slagle:1963:HPS, 10(0)507--520
Slagle:1964:EAF, 11(3)253--264
Slagle:1967:ATP, 14(4)687--697
Slagle:1968:EMT, 15(1)85--99
Slagle:1969:ESP, 16(2)189--207
Slagle:1970:ITR, 17(3)535--542
Slagle:1972:AFL, 19(3)496--516
Slagle:1972:ATP, 19(1)120--135
Slagle:1974:ATP, 21(4)622--642
Slater, P. J., 22(3)352--360
Slater, P. J., see Goodman, S. E.
Slater, Peter J., 23(3)446--450
Slater:1976:DG, 23(3)446--450
SLD, 29(3)841--862
Sleator, Daniel Dominic, 32(3)652--686
Sleator:1985:SAB, 32(3)652--686
slight, 19(4)613--640, 21(3)505--513, 28(3)535--560
slightly, 21(4)581--585, 26(3)434--440, 27(2)356--364, 28(4)721--736, 30(1)1--21, 34(2)492--510
Sloate, Harry M., 20(1)7--26
Sloate:1973:SCM, 20(1)7--26
slot, 30(2)231--258
slotted, 24(3)375--386, 29(3)907--927, 34(3)661--685
slow, 23(2)361--367, 24(2)222--240
slow-growing, 22(2)215--225
slower, 30(3)449--456, 31(2)245--281
Slowing, 34(1)200--208
slowly, 22(3)341--345, 30(4)736--751, 31(1)114--127, 35(2)267--287
SLR1, 23(3)511--533
SLTF, 22(1)83--105
smaller, 26(2)227--238, 26(3)401--414, 27(1)81--95, 28(3)615--628, 30(2)271--285, 32(4)871--895, 34(1)179--199, 34(3)578--595
smallest, 5(3)266--280, 22(3)346--351, 26(2)227--238, 26(3)441--456, 30(1)36--54, 31(1)114--127, 31(4)804--825, 35(1)18--44, 36(2)270--279
Smallest-Last, 30(3)417--427
smallest-last, 30(3)417--427
Smiley III, A. K., 21(1)124--139
Smiley III, A. K., see Fleisig, S.
Smith III, Alvy Ray, 18(3)339--353
Smith, M. E., Gonzalez, 32(2)344--373
Smith, Alan Jay, 26(1)6--27
Smith, Brian T., 17(4)661--674
Smith, Bruce T., 35(3)603--634
Smith, Bruce T., see Heath, Lenwood S.
Smith, C. S., 18(4)586--593
Smith, Carl H., 29(4)1144--1165
Smith, D. R., 9(2)268--279
Smith, Douglas R., 31(1)163--188
Smith, Harry J., 5(3)244--245
Smith, Harry J., see den Broeder, Jr., George G.
Smith, J. E. Keith, 6(4)527--537
Smith, J. E. Keith, see Green, Jr., Bert F.
Smith, J. L., 6(3)313--335
Smith, J. L., see Leiner, A. L.
Smith, K. U., 11(2)240--251
Smith, P. M., Melliar-, 32(1)52--78
Smith:1962:MAN, 9(2)268--279
Smith:1964:DCS, 11(2)240--251
Smith:1970:EBZ, 17(4)661--674
Smith:1971:MPR, 18(4)586--593
Smith:1971:SCU, 18(3)339--353
Smith:1979:CSP, 26(1)6--27
Smith:1982:PPA, 29(4)1144--1165
Smith:1984:RTA, 31(1)163--188
smooth, 17(4)589--602
Smyth, 26(2)302--321, 33(4)724--767
S//n, 21(1)140--156
Snepscheut, Jan L. A. van de, 36(4)826--840
Snir, Marc, 29(3)874--897, 32(4)938--949, 35(4)845--875
Snir, Marc, see Attiya, Hagit, see Jerrum, Mark, \see{Moran, Shlomo
SNOBOL, 11(1)21--30
Snyder, L., 24(3)455--464
Snyder, L., see Lipton, R. J.
so-called, 21(2)329--339, 31(4)761--791, 32(4)871--895
Sobel, Sheldon, 9(3)372--374
Sobel:1962:OSN, 9(3)372--374
Soffa, Mary Lou, 32(2)296--313
Soffa, Mary Lou, see Wang, Ching-Chy
SOFTWARE, 32(3)537--548, 32(3)733--749, 33(1)151--178, 33(4)724--767, 35(1)185--220, 35(2)345--373, 35(2)404--432
Soininen, Eljas, Soisalon-, 30(2)259--270
Soisalon-Soininen, Eljas, 30(2)259--270
Soisalon-Soininen, Eljas, see Sippu, Seppo
sojourn, 31(1)128--133, 31(4)839--854, 34(4)985--1003
Sojourn-Time, 31(4)839--854
sojourn-time, 31(4)839--854, 34(4)985--1003
Soland, Richard M., 13(3)339--358, 14(4)742--756
Soland, Richard M., see Reinwald, Lewis T.
solely, 30(2)231--258
solid, 36(2)209--229
Solomon, Marvin, 27(1)3--5
Solomon, Reed-, 30(1)33--35
Solomon:1980:NEB, 27(1)3--5
solvability, 11(3)302--312, 13(2)223--225, 14(4)677--682, 20(1)112--126, 23(3)398--417, 29(3)863--873, 32(4)929--937
solvable, 10(0)348--356, 21(2)207--212, 21(3)436--445, 23(1)116--127, 23(3)398--417, 23(4)710--719, 24(3)522--526, 27(1)60--71, 27(1)191--205, 30(2)323--342, 30(3)637--640, 31(2)361--376, 31(3)441--458, 32(1)205--217, 32(2)466--483
solved, 21(2)329--339, 21(3)500--504, 22(2)177--183, 23(1)147--154, 23(1)172--202, 24(3)455--464, 25(4)612--619, 28(3)577--593, 29(3)898--903, 30(3)449--456, 30(3)551--563, 30(3)668--676, 31(1)114--127, 31(1)163--188, 32(3)549--561, 32(4)762--773, 35(1)18--44, 35(2)267--287, 35(3)740--747, 35(4)810--831
solver, 12(1)95--113, 16(3)364--382, 25(1)81--91
Solving, Problem-, 15(4)625--646, 29(1)1--23
solving, problem-, 29(1)1--23
something, 16(1)3--12
sometimes, 14(4)785--792, 26(4)716--730, 26(4)739--760, 28(3)477--486, 29(2)478--491, 30(1)36--54, 33(1)151--178, 33(2)349--370, 36(1)46--68
somewhat, 26(2)183--195
sons, 32(3)694--701
soon, 3(2)65--72, 28(3)487--501
sophisticated, 25(1)52--66
SORT, 22(1)129--144
sort, 9(3)372--374, 19(4)641--648, 21(2)175--190, 22(2)195--201, 26(3)441--456, 27(1)191--205, 29(3)642--667, 33(3)465--488, 34(1)60--76, 35(1)1--17, 35(1)185--220, 36(2)290--334, 36(4)687--718, 36(4)738--757
sort, merge-, 22(4)450--462
sort-merge, 36(2)290--334
sort-set, 33(3)465--488
sorted, 19(4)641--648, 21(2)246--260, 26(2)211--226, 28(3)615--628, 30(1)80--94, 30(3)428--448, 33(3)465--488, 35(4)810--831
Sorted, Many-, 35(1)1--17
sorted, Many-, 35(1)1--17
sorted, many-, 35(1)1--17
sorter, 35(4)777--809
sought, 21(4)569--575, 22(1)51--60
sound, 11(2)240--251, 26(1)129--147, 29(3)668--677, 30(3)612--636, 32(2)249--279, 33(2)349--370, 33(3)409--422, 33(3)465--488
soundness, 30(1)197--216, 31(3)600--627, 32(2)249--279, 33(2)349--370, 33(4)633--657, 33(4)724--767, 36(4)758--789
source, 11(2)152--158, 18(1)186--198, 22(3)413--424, 26(1)1--5, 27(2)402--402, 28(3)594--614, 34(4)802--824
Source, Finite-, 29(2)478--491
source, finite-, 29(2)478--491
source, single-, 28(3)594--614
Source, Source-to-, 24(1)121--145
source, source-to-, 24(1)121--145
source-destination, 34(4)802--824
Source-to-Source, 24(1)121--145
source-to-source, 24(1)121--145
Souza e Silva, Edmundo, de, 36(1)171--193, 36(1)194--207
Space, Polynomial-, 27(2)393--401
space, state-, 34(1)179--199
Space, Time-, 25(3)509--515, 27(4)839--849, 29(4)1087--1130, 30(3)657--667
space, time-, 30(3)657--667, 37(3)674--687
Space-Economical, 23(2)262--272
Space-Time, 26(4)819--833, 27(1)123--127, 31(2)422--437
space-time, 26(4)819--833, 31(2)422--437
spaceash, 25(2)177--199
spacefilling, 36(4)719--737
span, 21(2)261--271
Spanier, Edwin H., 10(0)487--492, 12(3)423--434
Spanier, Edwin H., see Ginsburg, Seymour
spanning, 21(3)367--375, 26(2)177--182, 29(2)285--309, 30(3)428--448, 31(2)401--421, 31(3)649--667, 34(2)225--254, 34(3)596--615, 36(3)540--572
spanning-tree, minimum-, 30(4)852--865
sparse, 17(1)87--109, 18(4)573--575, 22(3)341--345, 22(4)450--462, 22(11)606--611, 24(1)1--13, 26(3)494--526, 28(3)577--593, 28(3)594--614, 31(3)538--544, 33(3)517--532, 33(3)603--617, 33(3)618--627, 33(4)658--686, 34(4)968--984, 35(3)675--696, 36(4)912--928
Sparse, Edge-, 23(1)50--57
spatial, 22(3)397--412
spec, 29(1)206--227
special, 5(1)89--99, 11(1)31--40, 19(4)613--640, 21(3)436--445, 21(4)622--642, 22(4)450--462, 22(4)463--468, 23(1)13--16, 23(1)147--154, 23(2)242--251, 23(2)328--341, 23(2)361--367, 23(3)418--422, 23(3)475--487, 23(4)733--742, 25(2)245--260, 25(2)283--303, 25(3)481--498, 25(4)581--595, 26(1)129--147, 26(3)434--440, 26(4)716--730, 27(2)323--337, 28(1)41--70, 28(2)270--288, 29(1)206--227, 30(3)668--676, 30(4)834--851, 31(1)163--188, 32(1)229--246, 32(3)720--732, 33(1)1--59, 33(4)633--657, 34(2)255--288, 35(1)185--220, 35(2)267--287, 35(3)535--563, 36(3)510--530, 36(3)540--572
specialized, 19(4)712--726, 21(1)54--65
specifiability, 31(2)210--226
specifiable, 31(2)210--226
specific, 9(3)379--386, 14(4)785--792, 19(4)613--640, 19(4)712--726, 24(1)161--175, 25(2)261--265, 25(4)675--686, 26(1)28--36, 29(2)514--526, 31(4)879--904, 32(4)841--860, 34(1)179--199, 36(1)129--141
specifically, 21(1)54--65, 23(3)502--510, 32(4)755--761, 34(1)116--127, 36(3)540--572, 37(3)439--463
specified, 23(4)700--709, 27(1)6--29, 28(2)265--269, 28(4)633--645, 28(4)696--705, 29(2)448--460, 29(2)525--554, 30(3)677--685, 30(4)834--851, 31(1)86--98, 31(3)628--648, 31(4)742--760, 31(4)761--791, 32(3)597--617, 34(2)411--449, 34(3)513--531, 34(3)626--645, 35(2)433--446, 35(4)876--892
specify, 13(3)386--403, 21(3)436--445, 26(2)302--321, 29(1)1--23, 30(2)323--342, 30(3)677--685, 35(2)433--446
specifying, 19(4)613--640, 26(2)196--210, 29(2)514--526, 32(1)137--161, 32(3)733--749, 32(4)896--928, 33(1)151--178, 33(1)224--248, 33(4)724--767, 34(2)411--449, 34(2)450--479, 34(2)492--510, 35(2)345--373, 35(4)953--964, 36(4)826--840, 37(2)279--317, 37(2)335--372, 37(3)549--587
Specker, E., 28(2)411--421
Specker, E., see Lieberherr, K. J.
Spector, Alfred Z., 34(4)859--909
Spector, Alfred Z., see Bloch, Joshua J.
spectra, 17(2)260--268
spectral, 6(4)494--505, 11(1)98--103, 13(4)605--614, 31(4)804--825, 33(1)130--150
spectrum, 23(4)636--654, 28(3)502--520, 30(3)612--636
sped, 36(3)540--572
speech, 11(2)240--251
speed, 3(2)65--72, 4(4)459--466, 6(2)196--203, 14(3)423--438, 16(3)407--422, 19(4)590--607, 21(3)385--391, 23(2)317--327, 23(2)368--388, 24(1)32--43, 24(3)441--454, 25(1)92--101, 27(3)457--473, 28(2)270--288, 29(3)874--897, 30(3)449--456, 31(1)1--12, 32(2)445--465, 34(2)289--325, 35(1)161--184, 35(2)288--323, 36(3)474--509
Speed, High-, 1(4)177--182, 3(3)129--133, 5(2)132--153, 8(1)87--96
Speedcoding, 1(1)4--6
speeded, 31(4)792--803
speeding, 18(2)290--305
speedup, 26(1)65--71, 29(2)408--428, 31(2)193--209, 31(3)459--473, 34(3)513--531
spelling, 21(1)168--173
Spencer, Thomas H., 36(3)540--572
Spencer, Thomas H., see Gabow, Harold N.
spend, 23(1)97--102, 29(1)68--95
spent, 7(1)78--79, 15(4)549--576, 34(1)179--199
spherical, 6(3)366--375
Spielberg, Kurt, 8(4)613--627
Spielberg:1961:RPS, 8(4)613--627
Spinrad, 36(1)1--19
Spinrad, Jeremy, 36(1)1--19
Spinrad, Jeremy, see Muller, John H.
Spira, Philip M., 16(2)235--243
Spira:1969:TRG, 16(2)235--243
spirit, 19(4)613--640
spite, 32(2)327--343
Spitzbart, A., 5(1)22--31
Spitzbart:1958:CFC, 5(1)22--31
Spitzen, Jay M., 23(2)389--396
Spitzen, Jay M., see Wegbreit, Ben
splay, 32(3)652--686
splaying, 32(3)652--686
splines, 21(2)293--310
split, 27(1)30--41, 31(2)401--421, 33(3)423--450, 34(3)544--577, 36(3)540--572
splitting, 23(2)368--388
SPM, 35(2)404--432
Sponsler, George C., 2(1)28--41
Sponsler, George C., see Logan, Benjamin F.
Sprachtheorie, 20(2)235--257
square, 2(3)162--168, 7(1)78--79, 8(4)628--636, 10(0)528--531, 13(1)124--134, 17(1)110--112, 18(1)48--62, 20(2)279--289, 21(2)261--271, 21(2)277--292, 21(4)581--585, 22(4)441--449, 26(1)6--27, 26(3)457--482, 30(2)271--285, 30(3)637--640, 31(1)150--162, 33(3)517--532, 33(4)687--701
squared, 33(4)687--701
squares, least-, 33(3)517--532
squaring, 31(1)150--162
Squaring, Root-, 7(1)69--71
SR, 20(3)456--468
SRI, 26(2)351--360
Srikanth, T. K., 34(3)626--645
Srikanth:1987:OCS, 34(3)626--645
Srinivasan, A. V., 12(4)525--535
Srinivasan, V., 19(4)712--726, 20(2)194--213, 23(3)475--487
Srinivasan:1965:ISC, 12(4)525--535
Srinivasan:1972:AAL, 19(4)712--726
Srinivasan:1973:BCA, 20(2)194--213
Srinivasan:1976:LPC, 23(3)475--487
SSDT, 27(2)338--355
SSDTs, 27(2)338--355
stability, 6(2)196--203, 6(3)336--359, 6(3)363--365, 7(1)46--56, 7(1)78--79, 7(2)163--175, 9(1)104--117, 9(4)457--468, 10(0)557--561, 12(2)227--241, 13(3)374--385, 15(4)706--711, 17(2)284--293, 21(2)201--206, 21(4)581--585, 22(4)504--511, 22(4)512--521, 24(3)375--386, 26(3)494--526, 26(4)739--760, 34(4)802--824, 35(3)579--602, 36(3)615--642, 37(2)373--414
stabilization, 14(3)439--465
stable, 4(1)18--23, 6(1)37--47, 12(1)141--149, 14(3)529--542, 18(1)75--79, 20(1)7--26, 21(1)103--113, 21(1)114--123, 23(2)347--360, 25(1)81--91, 25(2)177--199, 26(3)483--493, 26(4)761--778, 30(1)103--117, 31(1)47--85, 34(3)532--543, 34(4)802--824, 35(3)579--602, 36(1)194--207
stable, A-, 23(3)455--460
stack, 14(1)172--201, 14(2)389--418, 16(3)383--406, 16(4)550--563, 18(1)148--172, 19(2)341--346, 22(3)382--396, 27(1)96--117, 27(1)146--163, 30(3)457--478
stack-oriented, 30(3)457--478
stack-pointer, 27(1)96--117
stacking, 34(3)731--760
stage, 14(1)84--99, 23(2)328--341, 31(1)134--149
stage, first-, 23(2)328--341
stage, one-, 6(3)415--428
stage, two-, 23(2)328--341
Stand-alone, 34(2)411--449
Standardized, 4(3)254--273
standing, long-, 30(2)231--258
standpoint, 37(1)1--14
Stanfel, L. E., 19(3)425--436
Stanfel, Larry E., 17(3)508--517
Stanfel:1970:TSO, 17(3)508--517
Stanfel:1972:PAD, 19(3)425--436
Stanford, 22(1)83--105, 27(2)356--364, 32(3)687--693, 33(1)105--129
Staples, John, 32(2)411--444
Staples:1985:FSN, 32(2)411--444
star, 14(3)466--477
Star-Free, 16(2)220--225
Stark, Eugene W., 29(4)1049--1072, 33(3)499--516
Stark, Eugene W., see Dolev, Danny
Stark, R. H., 3(1)29--40
Stark:1956:RCN, 3(1)29--40
Stark:1982:SPS, 29(4)1049--1072
start, 21(1)103--113, 21(1)114--123, 21(3)525--526, 26(4)654--667, 27(1)81--95, 31(1)134--149, 33(3)499--516, 33(3)593--602, 35(4)845--875
started, 32(4)871--895, 35(4)810--831
starting, 7(2)176--180, 21(1)103--113, 21(1)114--123, 21(4)671--679, 23(1)155--157, 26(2)302--321, 33(4)808--821, 35(2)288--323
starvation, 33(2)327--348
Starvation-Free, 29(4)1049--1072
state, discrete-, 31(4)839--854
State, Finite-, 16(3)442--454, 30(2)323--342
state, finite-, 22(1)1--10, 27(4)831--838, 30(2)323--342, 31(2)422--437, 35(3)675--696
state, steady-, 16(2)315--323, 16(4)631--645, 18(1)199--220, 21(1)114--123, 28(2)358--371, 29(3)830--840, 30(2)271--285, 33(1)207--223
State-Dependent, 27(2)323--337, 33(3)568--592
state-dependent, 27(2)323--337
state-of-the-art, 33(3)551--567
state-space, 34(1)179--199
state-transition, 33(1)130--150
stated, 7(1)78--79, 20(3)469--481, 22(1)129--144, 25(4)581--595, 31(3)441--458, 31(3)545--559, 31(3)560--599, 33(4)808--821, 36(2)349--361
statement, 6(1)33--36, 15(1)115--123, 21(2)191--200, 23(4)720--732, 24(1)98--120, 25(4)652--666, 26(2)283--301, 26(2)322--344, 26(3)555--566, 27(1)123--127, 28(2)393--410, 28(3)435--453, 30(1)133--145, 30(1)217--228, 30(4)687--708, 33(2)327--348, 35(4)893--920, 36(1)46--68, 36(4)826--840
static, 11(1)84--97, 20(2)307--319, 21(2)246--260, 25(3)421--434, 25(4)526--535, 26(1)129--147, 32(2)344--373, 32(2)445--465, 32(3)597--617, 32(3)618--651, 32(3)652--686, 33(3)593--602, 34(1)28--59, 34(1)179--199, 35(4)893--920, 36(4)758--789, 37(3)439--463
stating, 32(4)824--840
station, 16(2)315--323, 19(1)92--108, 21(2)316--328, 24(2)241--249, 24(2)250--263, 29(2)478--491, 32(3)589--596, 34(2)289--325, 35(3)579--602
stationary, 21(1)103--113, 21(3)470--490, 23(2)310--316, 23(2)328--341, 23(2)347--360, 27(1)30--41, 27(1)42--59, 27(2)263--269, 29(2)525--554, 30(4)834--851, 32(3)702--719, 33(1)130--150
statistic, 19(4)734--741, 21(1)103--113, 22(3)413--424, 24(1)14--31, 25(4)675--686, 26(1)6--27, 28(2)351--357, 32(2)344--373, 32(3)720--732, 33(4)706--711, 34(2)397--410, 34(4)939--949, 36(1)129--141
statistical, 6(3)415--428, 7(1)78--79, 8(2)212--229, 11(1)31--40, 11(2)234--239, 11(4)471--480, 12(3)364--375, 12(4)473--489, 13(3)469--469, 13(4)511--525, 14(1)20--44, 14(1)100--119, 14(2)337--340, 14(3)423--438, 14(4)785--792, 15(1)100--114, 16(1)145--159, 17(4)683--697, 19(1)92--108, 19(2)347--365, 20(3)391--398, 21(1)1--5, 21(1)103--113, 22(2)291--308, 23(2)273--286, 26(1)45--57, 33(3)451--464, 35(1)45--69, 35(2)433--446
statistically, 18(1)199--220, 21(1)31--39
statisticians, 21(1)1--5
STATISTICS, 33(4)706--711, 33(4)792--807, 34(4)802--824, 34(4)910--920, 34(4)939--949, 34(4)1004--1015, 35(1)45--69, 35(2)387--403, 36(1)129--141, 36(2)270--279, 36(4)929--965
Statman, Richard, 31(1)30--46
Statman, Richard, see Beeri, Catriel
STDF, 34(4)985--1003
STE, 35(4)832--844
steady, 21(1)103--113, 23(2)361--367, 27(3)519--532, 28(2)358--371, 29(2)448--460, 32(3)618--651
steady-state, 16(2)315--323, 16(4)631--645, 18(1)199--220, 21(1)114--123, 28(2)358--371, 29(3)830--840, 30(2)271--285, 33(1)207--223
Stearns, 22(1)1--10
Stearns, R. E., 13(4)533--546, 15(3)465--488
Stearns, R. E., see Hennie, F. C., see Lewis II, P. M.
Steel, Jr., T. B., 4(1)8--11, 6(2)134--140
Steel, Jr., T. B., see Boehm, E. M.
Steel:1957:PI, 4(1)8--11
Steffanelli, R., 18(2)255--264
Steffanelli:1971:SPT, 18(2)255--264
STEI, 35(4)832--844
Steiglitz, K., 19(3)517--525
Steiglitz, K., see Bruno, J.
Steiglitz, Kenneth, 21(1)140--156, 22(1)106--114
Steiglitz, Kenneth, see Kohler, Walter H.
Stein, Marvin L., 7(1)10--23
Stein, P., 4(2)174--177
Stein, P., see Kister, J.
Stein:1960:CAD, 7(1)10--23
Steiner, 19(4)699--711
stem, 27(4)797--821
Step'', ``Off-, 14(4)769--784, 15(3)390--401
step, One-, 22(4)504--511
step, one-, 23(1)17--30
Step, Single-, 5(1)39--44
Step, Step-by-, 11(2)229--233
step, step-by-, 30(3)449--456
step, two-, 29(2)394--403
Step-by-Step, 11(2)229--233
step-by-step, 30(3)449--456
Stetter, Hans J., 11(2)188--209
Stetter, Hans J., see Gragg, William B.
Stevenson, D. K., 23(4)636--654
Stevenson, D. K., see Heller, D. E.
Stewart III, G. W., 14(1)72--83
Stewart, G. W., 21(2)261--271, 30(2)271--285
Stewart, G. W., see Blevins, M. M.
Stewart, William J., 32(3)702--719
Stewart, William J., see Cao, Wei-Lu
Stewart:1967:MDM, 14(1)72--83
Stewart:1983:CEB, 30(2)271--285
Stickel, Mark E., 28(2)223--264, 28(2)423--434
Stickel, Mark E., see Peterson, Gerald E.
Stickel:1981:UAA, 28(2)423--434
Stieltjes, Fourier-, 27(3)519--532
Stieltjes, Laplace-, 18(2)221--238, 29(2)448--460, 31(1)128--133
stiff, 22(4)504--511, 23(3)455--460, 26(3)483--493
Stiffly, 18(1)75--79
Stigler, Stephen M., 17(4)683--697
Stigler, Stephen M., see Purdom, Jr., Paul W.
Stiles, H. Edmund, 8(2)271--279
Stiles:1961:AFI, 8(2)271--279
still, 21(1)40--53, 22(2)177--183, 22(3)361--366, 24(3)441--454, 24(4)566--582, 27(1)191--205, 28(3)477--486, 36(1)20--45, 36(2)290--334
Stillman, Rona B., 20(4)648--667
Stillman:1973:CWS, 20(4)648--667
Stimson, Michael J., 26(1)103--118
Stimson, Michael J., see Savitch, Walter J.
stimul, 18(3)405--415
stimulated, 27(2)365--383
Stineman, R. W., 12(2)286--294
Stineman:1965:DTD, 12(2)286--294
Stirling, 11(1)70--78
stock-cutting, 22(1)125--128
Stockmal, Frank, 11(1)41--52
Stockmal:1964:CPR, 11(1)41--52
Stockmeyer, Larry, 31(3)459--473, 34(1)77--97, 35(2)288--323
Stockmeyer, Larry, see Dolev, Danny, see Dwork, Cynthia, \see{Gurevich, Yuri
Stockmeyer, Larry J., 24(2)199--221, 28(1)114--133
Stockmeyer, Larry J., see Chandra, Ashok K., see Rosenberg, Arnold L.
Stoer, Josef, 11(1)59--69
Stoer:1964:DMC, 11(1)59--69
Stone, 30(3)551--563
Stone, Harold S., 17(1)182--195, 20(1)27--38
Stone:1970:AMP, 17(1)182--195
Stone:1973:EPA, 20(1)27--38
stood, 30(4)729--735
stop, fail-, 32(4)824--840, 36(3)591--614
stopping, 21(1)103--113, 21(1)114--123, 37(4)720--741
STORAGE, 32(3)597--617, 32(3)687--693, 33(3)409--422, 34(2)397--410, 34(3)578--595, 34(4)846--858, 35(4)985--1000, 36(1)46--68, 36(4)687--718, 37(2)224--237, 37(4)691--711
Storage, List-, 15(3)428--446
store, 18(2)306--328, 18(3)416--423, 21(1)1--5, 21(3)376--384, 21(3)491--499, 22(3)367--379, 26(1)6--27, 27(1)96--117, 28(3)615--628, 30(3)457--478, 32(4)804--823, 35(4)876--892
stored, 11(4)365--399, 21(2)233--245, 21(2)246--260, 23(4)619--635, 25(1)67--80, 25(2)210--225, 26(4)654--667, 30(2)231--258, 30(4)805--819, 33(2)371--407, 36(3)510--530
Storer, J. A., 32(2)344--373
Storer, J. A., see Gonzalez Smith, M. E.
Storer, James A., 29(4)928--951
Storer:1982:DCT, 29(4)928--951
storing, 21(3)356--366, 22(11)606--611, 25(2)200--209, 27(1)81--95, 30(2)231--258, 31(3)538--544, 33(3)551--567, 35(1)161--184, 35(3)748--754
story, 7(1)78--79
straight, 25(4)652--666
Straight-Line, 23(1)203--220, 29(3)874--897, 30(1)217--228, 30(3)641--656, 35(1)231--264
straight-line, 23(1)203--220, 29(3)874--897, 29(4)998--1006, 30(1)217--228, 30(3)657--667, 35(1)70--120, 35(1)231--264
straight-lines-in-the-plane, 33(2)290--312
straightforward, 21(4)525--548, 29(3)668--677, 30(3)449--456, 35(3)675--696
Strain-Gage, 1(1)36--43
Strand, 21(1)1--5
Strand, Otto Neall, 15(1)100--114
Strand:1968:SEN, 15(1)100--114
strange, 30(3)514--550
Strassen, Schönhage-, 23(2)242--251
stream, 29(2)461--477, 33(1)130--150, 34(1)116--127, 34(4)802--824, 35(3)603--634, 36(3)615--642, 37(2)373--414, 37(3)588--606
streamlined, 33(1)1--59
strength, 32(3)549--561
strengthen, 31(1)150--162
strengthening, 34(2)480--491
stretch, 36(3)510--530
strict, 21(4)525--548, 29(2)394--403, 36(3)643--670
stricter, 35(4)893--920
strictly, 22(1)155--171, 26(1)103--118, 27(1)96--117, 27(2)207--227, 33(2)253--289, 35(3)697--726
strictly-unit, 21(4)590--605
striking, 21(4)590--605, 31(2)377--391, 34(3)596--615
String, String-to-, 21(1)168--173, 22(2)177--183
string, string-to-, 21(1)168--173, 22(2)177--183
string-indexed, 27(1)81--95
string-matching, 26(4)603--610, 28(1)134--149
String-to-String, 21(1)168--173, 22(2)177--183
string-to-string, 21(1)168--173, 22(2)177--183
stringent, 12(1)83--89, 14(2)337--340, 21(3)425--435, 22(4)512--521
stripping, 25(1)52--66
strong, 16(1)3--12, 19(4)742--764, 25(3)421--434, 25(3)499--508, 29(1)228--249, 30(4)820--833, 31(2)336--345, 36(1)46--68
Strong, H. R., 26(3)457--482, 30(1)186--196
Strong, H. Raymond, 37(4)720--741
Strong, H. Raymond, see Dolev, Danny
Strong:1979:SWP, 26(3)457--482
Strong:1983:VEF, 30(1)186--196
stronger, 21(3)491--499, 25(3)378--395, 26(2)250--258, 27(1)128--145
strongest, 19(4)641--648, 34(1)144--162, 34(1)163--178, 35(2)324--344, 36(3)591--614
strongly, 12(2)187--195, 14(2)421--421, 22(1)11--16, 32(1)130--136, 32(3)549--561, 35(1)70--120, 35(2)374--386
STRUCT, 24(1)98--120
structural, 15(4)672--679, 23(2)389--396, 32(2)314--326, 32(3)652--686, 34(4)859--909, 35(1)18--44
structured, 23(1)203--220, 24(1)121--145, 24(3)441--454, 27(1)123--127, 32(2)314--326, 32(3)537--548, 35(4)893--920, 36(4)790--825
structured, forest-, 35(1)1--17
structured, tree-, 26(2)361--381, 36(2)230--269
STRUCTURES, 32(3)597--617, 32(3)652--686, 32(3)687--693, 32(3)694--701, 33(1)60--85, 33(1)86--104, 33(2)371--407, 33(3)489--498, 34(1)1--27, 34(1)116--127, 34(2)326--348, 34(2)376--396, 34(3)578--595, 34(3)596--615, 34(3)616--625, 34(3)661--685, 34(4)825--845, 34(4)846--858, 34(4)859--909, 35(1)45--69, 35(2)433--446, 36(2)280--289, 36(3)540--572, 37(2)200--212, 37(2)213--223, 37(3)464--473, 37(3)626--642
structuring, 15(2)176--192, 24(1)98--120
Students, 5(4)309--318
studied, well-, 34(1)144--162
study, parametric-, 32(2)445--465
studying, 23(1)1--12, 26(2)361--381, 31(3)545--559, 36(1)20--45
Sturgis, H. E., 10(2)217--255
Sturgis, H. E., see Shepherdson, J. C.
Sturm, 7(3)260--263
style, Metropolis-, 7(2)129--139
styles, 32(2)344--373, 32(3)573--588, 33(1)60--85, 33(1)86--104, 33(4)687--701, 34(2)376--396, 35(4)777--809, 36(1)20--45, 36(3)531--539
subchain, 28(2)358--371, 33(4)768--791
subclass, 26(4)618--630, 26(4)631--653, 27(1)81--95, 27(4)675--700, 29(1)103--117, 29(2)394--403, 29(3)623--641, 31(2)210--226, 35(1)70--120, 35(1)146--160
subdiagonal, 7(1)78--79
subexpression, 21(1)76--102, 24(1)146--160, 27(1)146--163, 27(4)758--771, 34(2)492--510
subfamily, 21(2)213--226, 29(1)118--126
subgoals, 22(4)572--595, 28(4)646--661
subgraph, 21(3)367--375, 21(3)385--391, 22(3)361--366, 23(1)31--42, 26(4)618--630, 30(3)417--427, 31(4)681--693, 32(2)296--313, 34(2)225--254, 34(2)255--288, 36(3)435--473
subgroup, 23(2)235--241, 35(1)146--160
subhypergraph, 30(3)514--550
subinterval, 21(3)454--458, 36(1)171--193
subject, 6(3)415--428, 12(4)490--515, 21(3)491--499, 24(3)455--464, 26(3)494--526, 27(1)118--122, 28(2)270--288, 28(4)706--714, 29(1)24--32, 29(1)68--95, 29(3)766--780, 30(2)259--270, 31(1)86--98, 32(2)411--444, 35(2)404--432
sublanguages, 33(1)151--178
sublinear, 34(1)1--27, 37(3)674--687
sublogarithmic, 34(1)163--178
submatrix, 30(2)271--285
subnetwork, 25(4)620--629, 27(2)323--337, 35(3)668--674
suboptimal, 10(0)89--96, 22(1)106--114, 32(3)562--572
subpixel, 36(2)209--229
subproblem, 33(4)633--657
Subrecursive, 16(4)621--630, 19(3)526--568
Subresultants, 14(1)128--142, 18(4)505--514
subroutine, 3(1)6--9, 8(1)104--116, 8(4)648--649, 20(4)545--562, 21(4)549--568, 21(4)569--575, 21(4)576--580, 22(1)38--50, 22(1)51--60, 22(1)61--82, 22(1)83--105, 22(1)106--114, 22(1)115--124, 23(1)1--12, 23(2)317--327, 23(4)636--654, 24(1)98--120, 25(1)92--101, 25(2)226--244, 25(4)544--555, 26(4)690--715, 28(4)696--705, 28(4)721--736, 28(4)752--764, 29(2)448--460, 29(3)642--667, 29(3)766--780, 29(3)781--811, 29(3)812--829, 35(4)953--964
subrows, 22(2)184--194
subschema, 32(1)79--101, 32(4)774--803, 33(3)423--450, 34(2)349--375, 34(3)544--577, 36(4)758--789, 37(1)15--46
Subscript, 22(3)380--381
subsentences, 33(1)1--59
subsequence, 21(1)168--173, 22(3)380--381, 23(1)1--12, 23(1)13--16, 23(2)235--241, 24(4)664--675, 25(2)322--336, 34(3)616--625
subsequent, 25(2)304--311, 25(4)544--555, 30(2)231--258
subsequently, 12(1)83--89, 16(1)145--159, 25(4)652--666, 30(1)1--21
subset, 21(2)311--313, 21(3)454--458, 22(3)341--345, 22(4)463--468, 25(3)481--498, 25(4)517--525, 26(1)37--44, 26(1)129--147, 28(1)41--70, 28(3)535--560, 29(1)103--117, 29(2)394--403, 30(1)186--196, 31(4)761--791, 32(1)205--217, 32(1)229--246, 32(3)549--561, 33(3)451--464, 34(2)349--375, 35(1)1--17, 35(2)461--471, 37(1)15--46
subspace, 21(2)261--271, 21(2)311--313
substantial, 23(1)155--157, 23(2)342--346, 33(4)706--711
substantially, 24(1)98--120, 31(1)134--149, 33(4)768--791, 36(1)46--68, 37(3)674--687
substep, 36(3)435--473
substituting, 32(2)484--502
substitution, 20(4)648--667, 29(1)206--227, 29(4)928--951, 32(2)344--373, 35(1)1--17, 36(1)1--19
substitution, back-, 33(3)517--532
substring, 23(2)262--272
substructure, 26(3)422--433
subsume, 26(4)631--653, 32(2)280--295
subsumed, 27(1)81--95
subsumption, 28(4)633--645, 32(2)280--295
subsystem, 34(2)326--348
subterms, 33(1)1--59
subtheory, 31(1)1--12
subtraction, 23(2)252--261, 27(1)191--205, 29(3)874--897, 35(3)740--747
subtransactions, 36(2)230--269
subtree, 29(1)58--67
subword, 34(3)578--595
succeed, 32(3)589--596, 34(2)289--325, 34(3)731--760
succeeding, 26(4)731--738
success, 7(1)78--79, 16(4)517--533, 32(2)249--279, 36(2)383--433
successful, 6(1)1--23, 32(2)249--279, 32(2)411--444, 34(2)397--410, 36(2)383--433, 37(4)691--711
successfully, 21(4)549--568, 31(2)422--437
successive, 19(1)92--108, 21(2)191--200, 26(2)259--270, 30(4)729--735, 31(3)545--559, 31(4)826--838, 32(2)327--343, 33(3)499--516, 34(2)411--449
successively, 23(3)398--417, 35(3)748--754, 36(1)1--19
successor, 19(4)712--726, 23(1)31--42, 27(1)3--5, 29(1)118--126
succinct, 36(3)510--530
succinctness, 22(1)1--10
Sudborough, I. H., 22(4)499--500, 25(3)405--414
Sudborough:1975:NTB, 22(4)499--500
Sudborough:1978:TCD, 25(3)405--414
suffer, 35(2)404--432
suffice, 19(4)675--698, 26(4)716--730, 29(1)183--205, 34(3)616--625, 35(1)18--44, 36(2)335--348
sufficient, 7(2)163--175, 16(4)517--533, 17(4)675--682, 19(4)608--612, 19(4)727--733, 19(4)742--764, 21(4)671--679, 22(4)501--503, 22(4)596--612, 23(1)13--16, 23(2)273--286, 23(3)488--501, 24(3)375--386, 24(3)441--454, 25(2)226--244, 25(2)245--260, 26(4)631--653, 26(4)668--689, 27(2)338--355, 28(1)134--149, 29(1)24--32, 29(1)171--182, 29(2)525--554, 29(3)678--698, 29(3)718--740, 29(4)998--1006, 30(2)343--359, 31(1)19--29, 31(4)879--904, 32(2)327--343, 32(3)694--701, 32(4)755--761, 32(4)824--840, 32(4)861--870, 33(3)451--464, 35(1)1--17, 35(2)345--373, 36(1)46--68, 36(2)270--279, 36(2)349--361
sufficiently, 21(2)261--271, 24(3)375--386, 28(3)615--628, 31(2)193--209, 32(3)652--686, 32(4)871--895, 35(3)579--602
suffix, 23(2)262--272, 25(1)52--66, 34(3)578--595
suggest, 21(3)356--366, 23(4)636--654, 23(4)710--719, 24(4)566--582, 26(2)302--321, 26(4)668--689, 28(2)265--269, 30(3)595--611, 30(3)612--636, 31(2)210--226, 31(3)507--517, 33(3)593--602, 34(3)578--595
suggested, 3(1)10--15, 6(3)415--428, 7(1)78--79, 21(3)351--355, 22(4)441--449, 31(3)441--458, 35(3)603--634
suggesting, 16(1)3--12
suggestion, 7(1)78--79, 19(4)577--589, 22(1)125--128, 29(1)206--227
suitable, 7(2)129--139, 21(2)340--349, 23(1)58--73, 23(2)242--251, 26(2)302--321, 26(4)794--818, 27(2)235--249, 31(3)628--648, 32(2)344--373, 33(2)349--370, 33(2)371--407
suitably, 30(1)33--35, 35(2)387--403
suited, 28(4)769--779, 30(3)595--611, 32(2)445--465, 32(3)573--588, 33(1)130--150, 34(4)825--845
SUM, 33(3)451--464, 35(4)845--875
sum, 7(1)78--79, 21(2)277--292, 22(3)380--381, 22(4)441--449, 22(4)463--468, 23(1)58--73, 23(4)655--664, 28(2)265--269, 28(3)535--560, 28(4)696--705, 28(4)752--764, 29(1)250--260, 32(1)229--246, 33(3)451--464, 34(1)128--143, 35(3)579--602, 36(2)335--348
sumcost, 32(1)28--51
summarized, 23(4)700--709
summary, 12(4)603--603, 21(3)351--355
summation, 11(4)400--415, 28(2)305--350, 34(4)939--949
Summers, Phillip D., 24(1)161--175
Summers:1977:MLP, 24(1)161--175
summing, 26(3)401--414
SUP-INF, 24(4)529--543
Superdeterministic, 27(4)675--700
superfluous, 6(2)259--282, 22(1)11--16
superimposed, 28(2)270--288, 30(4)687--708
superior, 21(2)261--271, 21(2)277--292, 22(1)61--82, 27(1)128--145, 33(3)551--567
superiority, 22(1)61--82
Supernormal-Form, 30(1)95--102
superoptimal, 34(1)144--162
Supersequences, 25(2)322--336
superstrategy, 26(3)457--482
Supervisory, 6(2)152--155
Supowit, Kenneth J., 30(3)428--448, 36(3)435--473
Supowit, Kenneth J., see Gabor, Csaba P.
Supowit:1983:RNG, 30(3)428--448
Supplement, 1(1)45--55, 1(2)93--100, 1(3)139--148, 1(4)193--200, 2(1)53--60, 2(2)119--136, 2(3)211--228, 2(4)283--298
supplied, 23(4)691--699
support, 12(4)536--541, 22(1)38--50, 23(2)273--286, 26(2)322--344, 27(3)564--579, 31(4)761--791, 34(3)596--615, 35(3)727--739, 36(1)97--128, 36(3)531--539, 36(3)540--572, 36(4)687--718
support, set-of-, 21(1)124--139
supporting, 18(3)339--353, 31(4)761--791
Suppose, 32(3)589--596, 34(4)1004--1015, 35(4)893--920
supposed, 32(1)191--204
supposedly, 14(4)785--792
surface, 12(3)395--398, 13(2)194--204, 21(2)293--310, 35(3)523--534, 36(2)209--229
Suri, Rajan, 30(3)564--594, 32(3)618--651, 34(3)686--717
Suri, Rajan, see Tay, Y. C.
Suri:1983:RQN, 30(3)564--594
Suri:1987:IPA, 34(3)686--717
surprising, 30(3)657--667, 30(4)687--708, 31(2)377--391
surprisingly, 21(3)376--384, 26(2)322--344, 30(3)564--594, 35(3)697--726, 36(1)194--207
surrogate, 25(2)266--270
survey, 1(1)27--35, 12(3)295--314, 14(2)203--241, 19(4)577--589, 22(3)397--412
surveyed, 27(2)356--364
survivability, 34(1)28--59
Suzuki, Norihisa, 27(1)191--205
Suzuki:1980:VDP, 27(1)191--205
Svoboda, Antonin, 22(3)425--440
Svoboda:1975:CTE, 22(3)425--440
SWAC, 4(4)438--441, 5(1)9--21
swap, 19(1)70--91, 26(1)6--27
swapping, 15(3)341--353
Swartz, G. Boyd, 27(1)42--59
Swartz:1980:PLS, 27(1)42--59
Sweeps, 36(4)841--869
Swenker, Johan B., 36(4)826--840
Swenker, Johan B., see Snepscheut, Jan L. A. van de
Swift, Charles J., 4(2)172--173, 6(2)145--151
Swift, Charles J., see Mock, Owen
Swift:1957:MFM, 4(2)172--173
Swinnerton-Dyer, H. P. F., 6(2)305--305
Swinnerton-Dyer, H. P. F., see Wheeler, D. J.
switch, 29(3)642--667, 34(4)802--824
switch-level, 36(1)20--45
switched, 31(4)694--717
switched, packet-, 35(4)832--844
switching, 4(1)47--62, 8(4)497--512, 10(0)209--216, 13(1)151--157, 20(1)88--111, 20(2)320--332, 22(2)195--201, 22(4)551--571, 23(1)97--102, 23(4)700--709, 23(4)710--719, 24(3)375--386, 24(4)630--645, 27(1)30--41, 27(1)181--190, 28(3)502--520, 36(1)20--45
switching, packet-, 31(3)474--485
Sycara-Cyranski, E., 24(4)544--565
Sycara-Cyranski, E., see DeMillo, R. A.
symbol, 8(4)476--483, 8(4)579--584, 21(1)168--173, 22(2)177--183, 22(3)346--351, 23(1)1--12, 23(1)13--16, 26(2)351--360, 28(2)265--269, 29(3)863--873, 31(4)761--791, 34(1)128--143, 34(4)1004--1015
symbol, two-, 23(1)1--12
symbolic, 4(4)420--427, 6(1)33--36, 6(2)134--140, 9(4)480--487, 10(0)507--520, 13(3)444--468, 17(1)87--109, 19(4)613--640, 20(3)482--488, 22(2)202--214, 22(3)329--340, 22(3)382--396, 22(4)501--503, 23(1)155--157, 23(3)488--501, 23(3)502--510, 25(2)245--260, 26(2)322--344, 28(4)737--751, 30(1)33--35, 34(4)825--845, 35(1)185--220, 35(3)635--650, 36(1)142--149, 36(1)150--170, 36(2)335--348
symbolically, 24(2)241--249
symmetric, 3(3)223--238, 4(4)459--466, 6(1)59--96, 9(1)41--60, 9(4)522--522, 10(0)123--125, 11(1)53--58, 12(1)90--94, 15(3)402--408, 18(4)566--572, 22(2)195--201, 25(3)481--498, 26(4)716--730, 26(4)779--793, 27(1)181--190, 31(2)401--421
Symmetric-Definite, 12(3)399--410
symmetry, 31(3)545--559, 37(3)524--548
Symp, 23(3)488--501, 29(1)261--268, 31(3)518--537, 32(3)720--732
Symposium, 24(1)96--97, 26(2)382--382, 27(4)797--821, 34(4)950--967, 35(2)374--386, 35(4)921--940, 36(4)873--886, 37(3)549--587
synchronism, 34(1)77--97
synchronization, 16(2)226--234, 25(2)226--244, 27(1)60--71, 30(2)300--322, 32(1)52--78, 32(1)191--204, 32(4)804--823, 33(2)327--348, 34(2)411--449, 34(3)626--645, 37(2)373--414, 37(3)588--606
synchronized, 26(2)302--321, 30(1)186--196, 34(3)626--645, 35(4)845--875, 36(2)362--382, 37(2)373--414
synchronizer, 32(4)804--823
synchronizing, 32(1)52--78, 34(3)626--645
synchronous, 24(4)544--565, 30(3)449--456, 32(2)374--382, 32(4)804--823, 33(3)499--516, 34(1)98--115, 34(4)910--920, 35(2)288--323, 35(4)845--875
synchrony, 31(3)560--599, 32(1)52--78, 34(1)77--97, 35(2)288--323
synonymous, 24(3)397--417
Synonymyash, 14(1)20--44
syntactic, 10(0)316--333, 25(4)571--580, 26(1)148--175, 27(2)365--383, 30(4)767--786, 31(3)600--627
syntax, 13(1)90--107, 26(2)302--321, 31(3)600--627
Syntax-Analysis, 16(3)423--431
Syntax-Directed, 15(3)447--464, 15(3)465--488
syntax-directed, 27(2)338--355
Syntax-Directed, Semantic-, 27(2)338--355
syntax-directed, semantic-, 27(2)338--355
synthesis, 6(4)486--493, 7(3)287--297, 12(1)141--149, 13(2)262--280, 14(1)1--9, 21(2)329--339, 25(1)52--66, 25(3)481--498, 27(1)60--71, 29(2)514--526, 29(4)1144--1165, 31(3)486--506, 32(2)249--279, 33(1)1--59, 36(2)383--433
synthesized, 32(2)249--279
synthesizing, 21(2)329--339, 24(3)504--512, 31(3)486--506, 32(2)249--279
sys-tem, 16(1)73--90
Systemash, 19(4)613--640
systematic, 22(1)61--82, 31(3)486--506
systematically, 8(4)538--552
systolic, 32(3)573--588, 36(4)826--840
sytems, 29(2)478--491
Szabo, J., 15(2)193--204
Szabo, J., see Kubert, B.
Szemerédi, Endre, 31(3)538--544, 35(4)759--768, see Chvátal, Va{\v{s}}ek, see Fredman, Michael L.
Szpankowski, Wojciech, 37(4)691--711
Szpankowski:1990:PTA, 37(4)691--711
Szymanski, T. G., 26(4)687--688
Szymanski, T. G., see Hunt, III, H. B.
Szymanski, Thomas G., 25(1)32--51, 29(4)928--951
Szymanski, Thomas G., see Hunt, III, Harry B., see Storer, James A.