Last update: Thu May 27 02:00:25 MDT 2021
Return to index directory
S
-
Saavedra, R. H., 21(7)615--628
-
Saavedra:1995:PCO, 21(7)615--628
-
safe, 23(2)83--92, 24(6)401--419, 25(5)701--721
-
safety, 16(1)51--63, 23(11)673--683, 24(7)573--584, 24(11)927--948,
24(11)1002--1013
-
safety-critical, 21(2)99--106
-
Sahinoglu, M., 18(7)624--630
-
Sahinoglu:1992:CPS, 18(7)624--630
-
Saksena, M., 21(7)579--592
-
Saksena, M., see Gerber, R.
-
Sanders, W. H., 22(9)603--614, 24(10)889--902, 25(2)145--146
-
Sanders, W. H., see Chiola, G.,
see Deavours, D. D., \see{Qureshi, M. A.
-
Sankar, S., 23(5)265--266
-
Sankar, S., see Dillon, L. K.
-
Santucci, G., 16(10)1150--1163, 19(4)344--365
-
Santucci, G., see Angelaccio, M.,
see Batini, C.
-
SARA, 17(12)1229--1240
-
Sarkar, D., 16(7)677--683
-
Sarkar:1990:ESP, 16(7)677--683
-
Sarper, H., 21(8)701--702
-
Sarper:1995:NSS, 21(8)701--702
-
Sassa, M., 17(1)1--9
-
Sassa, M., see Nakata, I.
-
satisfying, 19(1)70--84, 19(3)310--z
-
Satyanarayanan, M., 18(1)1--9
-
Satyanarayanan:1992:ISD, 18(1)1--9
-
save, 20(1)72--87
-
Sawyer, P., 25(6)784--799
-
Sawyer, P., see Sommerville, I.
-
Saxena, N. R., 20(6)424--431
-
Saxena:1994:LCA, 20(6)424--431
-
Sayrs, B. G., 18(7)646--653
-
Sayrs, B. G., see Novak, G. S.
-
Scalar, 18(1)78--86
-
Scalas, M. R., 19(7)641--660
-
Scalas, M. R., see Grandi, F.
-
scale, 18(1)1--9, 22(6)424--437, 23(6)329--346
-
scale, large-, 22(11)812--826
-
Scamell, R. W., 19(4)390--409
-
Scamell, R. W., see Yen, M. Y. M.
-
scanning, 17(7)641--651
-
scenario-based, 24(12)1072--1088, 24(12)1156--1170
-
scenarios, 24(9)695--708, 24(12)1055--1071, 24(12)1089--1114,
24(12)1171--1181, 24(12)1182--1196
-
scene, 24(12)1036--1054
-
Schaefer, D. A., 17(1)10--21
-
Schaefer, D. A., see Protsko, L. B.
-
Schafer, W., 17(12)1270--1283
-
Schafer, W., see Madhavji, N. H.
-
schedulability, 17(8)737--750, 21(1)32--49
-
schedule, 18(8)749--760, 21(11)865--880
-
scheduler, 16(3)302--315, 17(1)34--44, 19(9)920--934, 21(5)475--480
-
scheduler-luck, 21(5)429--439
-
scheduling, 16(3)360--369, 16(4)421--431, 16(10)1198--1208,
16(12)1374--1389, 16(12)1390--1401, 17(2)126--132, 17(5)443--453,
17(7)669--677, 17(9)954--960, 18(8)736--748, 19(2)139--154,
19(3)253--267, 19(8)813--825, 19(12)1171--1179, 20(1)13--28,
20(6)432--444, 21(11)865--880, 23(2)93--106, 23(6)388--400,
23(8)517--528, 23(9)599--600, 23(12)745--758
-
Schell, R. R., 16(6)593--607
-
Schell, R. R., see Lunt, T. F.
-
schemas, 16(8)777--790, 19(4)344--365
-
scheme, 14(11)1731--1738, 17(7)725--730, 18(7)631--645, 22(4)271--274,
25(4)526--540
-
schemes, 16(2)183--196, 18(2)118--129, 21(8)701--702
-
Scheurich, C., 16(6)660--673
-
Scheurich, C., see Dubois, M.
-
Schlossberg, J., 18(10)870--885
-
Schlossberg, J., see Mark, W.
-
Schlumberger, 20(11)833--839
-
Schneider, S., 24(9)741--758
-
Schneider-Hufschmidt, M., 20(11)825--832
-
Schneider-Hufschmidt, M., see Lichter, H.
-
Schneider:1998:VAP, 24(9)741--758
-
Schneidewind, N. F., 18(5)410--422, 19(11)1095--1104, 25(6)769--781
-
Schneidewind:1992:MVS, 18(5)410--422
-
Schneidewind:1993:SRM, 19(11)1095--1104
-
Schneidewind:1999:MEM, 25(6)769--781
-
Schnorr--Waite, 22(9)665--686
-
Schofield, C., 23(11)736--743
-
Schofield, C., see Shepperd, M.
-
Schurmann, B., 18(8)728--735
-
Schurmann, B., see Wang, D.
-
Schwan, K., 17(1)34--44, 18(8)736--748, 22(2)132--152
-
Schwan, K., see Blake, B. A.,
see Clemencon, C.
-
Schwan:1992:DSH, 18(8)736--748
-
Schwartzbach, M. I., 25(3)378--386
-
Schwartzbach, M. I., see Klarlund, N.
-
Schwarz, P. M., 19(10)950--961
-
Schwarz, P. M., see Cabrera, L. F.
-
scientific, 20(3)199--206, 20(10)785--797
-
Scudder, G. D., 22(12)875--885
-
Scudder, G. D., see Blackburn, J. D.
-
SDL, 20(1)72--87
-
sea, 18(7)631--645
-
Seaman, C. B., 24(7)559--572, 25(4)557--572
-
Seaman:1998:COE, 24(7)559--572
-
Seaman:1999:QME, 25(4)557--572
-
search, 16(1)13--31, 16(12)1433--1435, 20(6)463--475, 21(12)1009--1010,
22(6)407--423
-
Sears, A., 19(7)707--719
-
Sears:1993:LAM, 19(7)707--719
-
SeaView, 16(6)593--607
-
second, 18(7)631--645
-
secondary, 16(1)32--38
-
section, 22(1)3--z, 22(5)281--z, 22(6)361--z, 22(9)601--z, 23(2)65--66,
23(4)201--202, 23(10)601--602, 24(7)497--497, 24(8)585--585,
24(9)681--681, 25(2)145--146, 25(3)289--290, 25(6)747--748,
25(6)782--783
-
secure, 16(6)569--580, 19(2)181--186, 22(1)16--30, 22(1)31--42,
22(1)43--52, 22(5)302--312
-
security, 16(6)563--568, 16(6)593--607, 16(6)647--659, 16(10)1185--1197,
17(11)1147--1165, 21(2)63--68, 22(5)283--293, 23(4)235--245,
23(9)550--571, 25(5)633--650
-
security-relevant, 17(11)1195--1203
-
See, 14(11)1731--1738, 15(11)1471--1480, 15(12)1507--1517,
16(3)370--371, 16(4)471--z, 16(5)510--522, 16(5)537--542,
16(12)1435--1439, 16(12)1439--z, 16(12)1440--z, 17(7)669--677,
17(9)900--910, 17(10)1109--1125, 18(1)19--32, 18(11)998--1010,
18(12)1053--1064, 19(2)198--199, 19(2)199--200, 19(4)366--378,
19(6)640--99999999, 19(6)640--z, 20(3)218--219, 20(6)463--475,
20(6)476--493, 20(8)664--z, 21(3)263--265, 21(10)799--821,
21(12)929--944, 21(12)1009--1010, 22(1)68--86, 22(4)271--274,
22(12)911--911, 22(12)911--z, 23(3)187--189, 23(3)189--189,
23(3)190--197, 23(3)196--197, 23(4)260--261, 23(5)279--295,
23(6)379--387, 23(8)533--z, 23(9)599--600, 24(1)24--45,
24(5)390--390, 24(8)640--649, 25(2)282--285, 25(5)651--660,
27(3)279--286, 27(3)282--286, 27(6)573--576, z(10)1018--1024,
z(11)1088--1089
-
Seesoft, 18(11)957--968
-
Seidman, S. B., 20(1)88--101
-
Seidman, S. B., see Rice, M. D.
-
Seiter, L. M., 24(1)79--92
-
Seiter:1998:EOB, 24(1)79--92
-
Selby, R. W., 17(2)141--152
-
Selby:1991:AEP, 17(2)141--152
-
selection, 16(1)32--38, 17(6)591--603, 17(7)731--734, 19(6)533--553,
19(11)1095--1104, 20(2)149--162, 21(8)641--650, 22(8)529--551,
24(6)401--419
-
selectivities, 17(6)544--552
-
self, 16(4)432--443
-
self-stabilizing, 20(6)500--504
-
Seliger, A., 18(9)827--839
-
Seliger, A., see Greif, I.
-
Sellers, B., Henderson-, 23(4)260--261
-
Sellers:1997:CSS, Henderson-, 16(5)510--522
-
Sellis, T., 17(1)22--33
-
Sellis, T., see Roussopoulos, N.
-
Sellis, T. K., 17(1)77--86
-
Sellis:1991:QON, 17(1)77--86
-
semantic, 16(9)980--992, 17(11)1195--1203, 19(5)453--477,
21(10)799--821, 22(12)911--z, 23(8)498--516, 24(4)233--251
-
Semantically, 18(4)329--346
-
Semantics-based, 22(10)730--750
-
Semaphore, 21(10)834--844
-
Semi-automatic, 17(9)853--871
-
Semi-distributed, 17(10)987--1004
-
semiautomatic, 16(9)1024--1043
-
semijoins, 16(5)558--560
-
Sen, A., 23(7)418--436
-
Sen:1997:ROS, 23(7)418--436
-
Sengupta, K., 19(6)603--612
-
Sengupta, K., see Abdel-Hamid, T. K.
-
Sengupta, S., 17(9)944--953
-
Sengupta, S., see Wolfson, O.
-
sensitivity, 20(4)308--317
-
Separate, 22(7)442--460
-
sequence, 17(9)976--978
-
sequencing, 16(3)268--280, 24(6)471--490
-
sequential, 24(9)695--708
-
Serazzi, G., 17(5)443--453
-
Serazzi, G., see Ghosal, D.
-
Sereno, M., 22(9)654--664
-
Sereno:1996:AMV, 22(9)654--664
-
server, 16(7)741--754
-
server, client-, 21(9)776--782
-
service, 16(6)581--592, 17(2)133--140, 19(8)813--825, 22(5)302--312,
24(10)779--796, 24(10)831--847, 25(1)3--21, 25(3)309--316,
25(3)334--346, 25(5)603--618
-
service, quality-of-, 23(10)616--634
-
set, 17(5)443--453, 18(2)168--171, 19(11)1028--1044, 24(6)491--496,
25(3)378--386
-
Sethuraman, R., 21(9)735--746
-
Sethuraman, R., see Goldman, K. J.
-
Setia, S., 18(1)44--54
-
Setia, S., see Carson, S. D.
-
Setliff, D. E., 18(6)523--533
-
Setliff:1992:KRR, 18(6)523--533
-
Sevcik, K. C., 21(8)689--700
-
Sevcik, K. C., see Rolia, J. A.
-
Seven, 18(6)451--469
-
Shankar, A. U., 16(7)755--775, 20(1)55--71
-
Shankar, A. U., see Lam, S. S.
-
Shankar, N., 21(2)107--125, 24(9)709--720
-
Shankar, N., see Owre, S., \see{Rushby, J.
-
Shapiro, L., 17(1)77--86
-
Shapiro, L., see Sellis, T. K.
-
shared, 16(9)1044--1057, 16(12)1361--1373, 17(1)87--93, 20(4)288--307,
22(2)132--152
-
shared-memory, 16(6)660--673
-
sharing, 18(4)319--328, 21(5)468--475, 21(9)747--753, 23(10)603--615
-
Shatz, S. M., 16(5)523--536
-
Shatz, S. M., see Suzuki, T.
-
Shaw, A. C., 18(9)805--816
-
Shaw, Mary, 21(4)314--335
-
Shaw, N. G., 27(3)279--286
-
Shaw, N. G., see Yadav, S. B.
-
Shaw:1992:CRT, 18(9)805--816
-
Shaw:1995:ASA, 21(4)314--335
-
Shekhar, S., 19(8)788--803
-
Shekhar, S., see Hamidzadeh, B.
-
Shen, C. C., 17(10)1042--1058
-
Shen, C. C., see Bagrodia, R. L.
-
Shepard, T., 17(7)669--677
-
Shepard:1991:PRT, 17(7)669--677, 23(9)599--600
-
Shepperd, M., 23(11)736--743
-
Shepperd, M. J., 21(3)263--265
-
Shepperd, M. J., see Churcher, N. I.
-
Shepperd:1997:ESP, 23(11)736--743
-
Sherman, R., 16(4)403--414
-
Sherman, R., see Harel, D.
-
Shieh, Y. B., 16(4)444--457
-
Shieh:1990:MHD, 16(4)444--457
-
Shih, Wei Kuan, 19(12)1171--1179
-
Shih:1993:MRM, 19(12)1171--1179
-
Shilling, J. J., 19(9)935--940
-
Shilling:1993:ILP, 19(9)935--940
-
Shima, K., 25(4)474--492
-
Shima, K., see Torii, K.
-
Shimeall, T. J., 16(4)432--443, 17(2)173--182
-
Shimeall, T. J., see Leveson, N. G.
-
Shimeall:1991:ECS, 17(2)173--182
-
Shin, D. G., 17(9)872--883
-
Shin, Heonshik, 21(7)593--604
-
Shin, Heonshik, see Lim, Sung-Soo
-
Shin, K. G., 16(2)212--216, 16(12)1374--1389, 19(3)253--267,
19(6)571--583, 20(10)798--811, 21(10)834--844, 23(9)599--600,
23(10)616--634, 23(12)745--758
-
Shin, K. G., see Abdelzaher, T. F.,
see Haban, D., \see{Kiskis, D. L.,
see Lortz, V. B., \see{Mehra, A.,
see Peng, D. T., \see{Peng, Dar-Tzen,
see Ramanathan, P., \see{Woodbury, M. H.
-
Shin:1991:FRH, 17(9)872--883
-
Shiratori, N., 25(2)258--273
-
Shiratori, N., see Go, Kentaro
-
Shivaratri, N. G., 20(6)432--444
-
Shivaratri, N. G., see Krueger, P.
-
Shneiderman, B., 23(11)722--735
-
Shneiderman, B., see Mahajan, R.
-
Shockley, W. R., 16(6)593--607
-
Shockley, W. R., see Lunt, T. F.
-
shotgun, 24(4)268--277
-
Shoval, P., 17(8)814--829
-
Shoval, P., see Babin, G.
-
Shtull-Trauring, A., 16(4)403--414
-
Shtull-Trauring, A., see Harel, D.
-
Shu, W., 23(8)517--528
-
Shu, W., see Wu, M. Y.
-
Shull, F., 25(4)456--473
-
Shull, F., see Basili, V. R.
-
Shyamasundar, R. K., 16(4)373--388
-
Shyamasundar, R. K., see Liu, L. Y.
-
Sibert, O., 22(5)283--293
-
Sibert:1996:AIS, 22(5)283--293
-
Siewiorek, D. P., 23(6)366--378
-
Siewiorek, D. P., see Mukherjee, A.
-
Sifakis, J., 18(9)794--804
-
Sifakis, J., see Nicollin, X.
-
Siff, M., 25(6)749--768
-
Siff:1999:IMC, 25(6)749--768
-
Silberschatz, A., 17(9)954--960
-
Silberschatz, A., see Breitbart, Y.
-
Silva, J. G., 24(2)125--136
-
Silva, J. G., see Carreira, J.
-
Silva, J. H., 22(2)153--157
-
Silva, J. H., see Rajlich, V.
-
Silva, M., 17(2)117--125, 20(7)526--535, 25(2)147--165
-
Silva, M., see Campos, J.
-
SIMD, 17(5)403--423
-
Simone, R. de, 22(4)256--266
-
Simone, R. de, see Boussinot, F.
-
simple, 17(6)527--543
-
Simpson, D. J., 25(6)870--882
-
Simpson:1999:SEE, 25(6)870--882
-
Simulating, 20(10)750--759
-
simulation, 16(1)82--91, 17(10)1042--1058, 18(7)551--562, 19(7)661--671,
20(4)225--238, 22(9)629--639, 25(2)207--217, 25(2)237--257,
25(5)619--632
-
since, 18(7)631--645
-
Singh, A., 20(5)353--363
-
Singh, A., see Weyuker, E.
-
Singh, A. K., 20(12)914--932
-
Singh, A. K., see Liu, Ying
-
Singhal, M., 16(12)1325--1336, 17(8)789--799, 20(1)43--54,
21(5)468--475, 24(8)664--677
-
Singhal, M., see Hurfin, M.,
see Kshemkalyani, A. D.,
see Sriram, M. G.
-
Singhal:1990:UTN, 16(12)1325--1336
-
single, 20(5)385--403
-
Singpurwalla, N. D., 17(2)196--207, 17(4)313--319, 20(9)677--683
-
Singpurwalla, N. D., see Campodonico, S.,
see Humphrey, W. S.
-
Singpurwalla:1991:DOT, 17(4)313--319
-
Sinha, A. P., 18(5)368--379, 25(4)541--556
-
Sinha, A. P., see Agarwal, R.
-
Sinha, P. K., 17(12)1289--1295
-
Sinha, P. K., see Lakshmanan, K. B.
-
Sinha:1992:CFE, 18(5)368--379
-
Sit, C. M., 17(10)1076--1092
-
Sit, C. M., see Chu, W. W.
-
Sitaraman, M., 23(3)157--170
-
Sitaraman:1997:PNA, 23(3)157--170
-
site, primary-, 19(2)108--119
-
Siy, H. P., 23(6)329--346
-
Siy, H. P., see Porter, A. A.
-
size, 16(5)510--522, 18(4)265--278, 20(3)169--187, 23(4)260--261
-
size, medium-, 17(9)979--982
-
Skrzypek, J., 18(7)575--589
-
Skrzypek, J., see Mesrobian, E.
-
SL, 22(4)256--266
-
Slaughter, S., 25(4)493--509
-
Slaughter, S., see Kemerer, C. F.
-
slices, 23(1)17--34
-
slicing, 17(8)751--761, 23(4)246--259
-
Sloman, M., 25(6)852--869
-
Sloman, M., see Lupu, E. C.
-
Sluizer, S., 17(6)527--543
-
Sluizer, S., see Lee, S.
-
Smalltalk, 21(2)138--145, 21(11)902--912
-
Smith, A. J., 21(7)615--628
-
Smith, A. J., see Saavedra, R. H.
-
Smith, C. H., 17(6)636--638
-
Smith, C. H., see Cherniavsky, J. C.
-
Smith, C. U., 19(7)720--741
-
Smith, D. R., 16(9)1024--1043
-
Smith, G. W., 17(11)1195--1203
-
Smith, L. S., 18(7)601--612
-
Smith:1990:KSP, 16(9)1024--1043
-
Smith:1991:MSR, 17(11)1195--1203
-
Smith:1992:FNN, 18(7)601--612
-
Smith:1993:SPE, 19(7)720--741
-
smooth, 17(4)383--384, 19(3)307--309, 22(8)z--z
-
Snell, J., 16(4)458--470
-
Snell, J., see Brocklehurst, S.
-
Snoeck, M., 24(4)233--251
-
Snoeck:1998:EDK, 24(4)233--251
-
Socha, J., 25(4)584--599
-
Socha, J., see Sullivan, K. J.
-
Sockut, G. H., 18(3)216--224
-
Sockut, G. H., see Whang, K. Y.
-
Soffa, M. L., 16(4)421--431
-
Soffa, M. L., see Gupta, R.
-
SOFL, 24(1)24--45, 24(5)390--390
-
soft, 23(6)388--400
-
software, concurrent-, 20(5)325--336
-
Sohn, A., 16(3)281--293
-
Sohn, A., see Gaudiot, J. L.
-
Solheim, J. A., 19(10)941--949
-
Solheim:1993:EST, 19(10)941--949
-
solution, 17(2)99--107, 24(10)889--902, 25(2)147--165
-
solvers, 19(8)788--803
-
solving, 17(3)274--282, 21(8)701--702
-
Sommerville, I., 25(6)784--799
-
Sommerville:1999:MPI, 25(6)784--799
-
Son, Sang H., 23(10)601--602
-
Son:1997:GEI, 23(10)601--602
-
Song, Xiping, 20(5)364--384, 24(9)759--775
-
Song:1994:EAC, 20(5)364--384
-
Song:1998:ESD, 24(9)759--775
-
Sorensen, E. V., 19(6)554--570
-
Sorensen:1993:CMM, 19(6)554--570
-
Sorenson, P. G., 17(1)10--21
-
Sorenson, P. G., see Protsko, L. B.
-
sorting, 20(6)424--431
-
source, 20(6)463--475, 21(12)1009--1010, 24(9)721--740
-
Southworth, M., 24(1)15--23
-
Southworth, M., see Neil, M.
-
Souveyet, C., 24(12)1055--1071
-
Souveyet, C., see Rolland, C.
-
Souza, J. M. de, 17(4)334--344
-
Souza, J. M. de, see Kanoun, K.
-
Sowmya, A., 24(3)216--231
-
Sowmya:1998:EST, 24(3)216--231
-
space, 22(10)706--718, 25(6)870--882
-
space, Passive-, 19(9)845--855
-
SPADE, 19(12)1128--1144
-
SPADE-1, 22(12)841--865
-
Spanje, J. M. van, 16(8)807--821
-
Spanje, J. M. van, see Nicola, V. F.
-
SPARE, 18(4)304--318
-
Spawn, 18(2)103--117
-
special, 18(12)1037--1037, 21(8)701--702, 22(1)3--z, 22(5)281--z,
22(6)361--z, 22(9)601--z, 23(2)65--66, 23(4)201--202, 23(5)265--266,
23(9)537--549, 23(10)601--602, 24(5)0--0, 24(5)313--314,
24(7)497--497, 24(8)585--585, 24(9)681--681, 24(12)1033--1035,
25(2)145--146, 25(3)289--290, 25(6)747--748, 25(6)782--783
-
specialization, 17(9)884--899, 23(7)401--417
-
specialized, 25(3)347--362
-
specific, Domain-, 25(3)363--377
-
specific, domain-, 21(4)288--301, 25(3)317--333, 25(3)334--346,
25(3)378--386
-
specification, 16(1)1--12, 16(1)39--50, 16(4)472--477, 16(5)523--536,
16(6)581--592, 16(9)932--948, 16(9)949--964, 16(9)1044--1057,
16(9)1089--1103, 16(10)1185--1197, 16(11)1235--1246,
16(12)1337--1343, 16(12)1352--1360, 16(12)1412--1426,
17(5)454--466, 17(6)513--526, 17(8)814--829, 17(9)853--871,
17(10)1126--1142, 18(3)216--224, 18(3)252--261, 18(4)329--346,
18(7)601--612, 18(8)705--716, 18(9)794--804, 18(12)1076--1100,
19(6)625--639, 19(8)788--803, 20(1)72--87, 20(2)127--141,
20(5)353--363, 20(6)405--423, 20(8)562--568, 20(8)569--578,
20(8)631--643, 20(9)684--707, 20(10)760--773, 20(10)798--811,
20(12)933--947, 21(1)32--49, 21(2)63--68, 21(3)229--243,
21(4)336--354, 21(4)373--386, 21(10)785--798, 22(2)158--159,
22(6)378--389, 22(7)508--528, 23(4)224--234, 23(9)572--598,
24(4)252--267, 24(7)498--520, 24(9)709--720, 24(11)927--948,
24(12)1089--1114, 25(1)33--49, 25(2)258--273
-
specification-based, 19(5)436--452, 22(11)777--793, 24(6)471--490
-
specificational, 18(11)969--978
-
specified, 16(3)316--324, 19(9)863--885
-
specify, 16(9)1076--1088, 22(10)689--705, 24(1)15--23
-
specifying, 16(6)630--638, 16(7)741--754, 19(1)41--55, 20(3)207--217,
21(2)99--106
-
spectral, 16(3)261--267
-
speculative, 25(5)701--721
-
speed, 22(12)875--885
-
speedup, 16(7)677--683
-
Spezialetti, M., 21(6)497--505
-
Spezialetti:1995:LMS, 21(6)497--505
-
SPiCE, 21(11)902--912
-
SPIN, 23(5)279--295, 27(6)573--576
-
Spinuzzi, C., 24(4)268--277
-
Spinuzzi, C., see McLellan, S.
-
SQL, 19(4)390--409
-
Srimani, P. K., 19(11)1087--1094
-
Srimani, P. K., see Malaiya, Y. K.
-
Srinivasan, K., 21(2)126--137
-
Srinivasan:1995:MLA, 21(2)126--137
-
Sriram, M. G., 21(5)468--475
-
Sriram:1995:MPL, 21(5)468--475
-
stability, 17(2)133--140, 25(5)690--700
-
stabilizing, self-, 20(6)500--504
-
Stafylopatis, A., 18(7)590--600
-
Stafylopatis:1992:PIR, 18(7)590--600
-
Stamos, J. W., 16(7)710--722
-
Stamos:1990:IRE, 16(7)710--722
-
Stanczyk, C. M., 15(11)1471--1480
-
Stanczyk, C. M., see Karam, G. M.
-
standard, 24(11)1002--1013, 25(6)836--851
-
standby, 20(8)658--663
-
Stanojevic, M., 21(3)244--262
-
Stanojevic, M., see Vranes, S.
-
Starvation, 16(8)829--843
-
Staskauskas, M., 22(7)496--507
-
Staskauskas, M., see Godefroid, P.
-
Staskauskas, M. G., 19(5)503--528, 22(6)378--389
-
Staskauskas, M. G., see Ardis, M. A.
-
Staskauskas:1993:FDC, 19(5)503--528
-
state, 16(4)472--477, 16(7)755--775, 16(8)880--896, 17(6)591--603,
18(9)805--816, 21(3)181--199
-
state, finite-, 20(2)149--162
-
state, Two-, 20(6)500--504
-
state-based, 19(1)24--40, 22(6)363--377
-
state-level, 22(9)603--614
-
statecharts, 18(1)8--18, 24(3)216--231, 25(1)33--49
-
stateful, 25(3)401--415
-
STATEMATE, 16(4)403--414
-
statement, 21(6)497--505, 21(11)894--901
-
static, 16(3)268--280, 16(4)373--388, 23(8)517--528, 24(3)197--215
-
Statically, 25(5)701--721
-
statistical, 19(9)886--901, 20(10)812--824, 22(12)866--874,
23(8)529--532
-
statistics, 18(11)957--968
-
Stavely, A. M., 21(6)506--514
-
Stavely:1995:VDI, 21(6)506--514
-
Stavridou, V., 23(5)267--278, 24(7)573--584
-
Stavridou, V., see Dutertre, B.,
see Hansen, K. M.
-
Steece, B., 25(4)573--583
-
Steece, B., see Chulani, S.
-
Steegmans, E., 18(5)357--367
-
Steegmans:1992:GIP, 18(5)357--367
-
Stefano, A., Di, 21(11)865--880
-
Steffen, J. L., 18(11)957--968
-
Steffen, J. L., see Eick, S. C.
-
Stensrud, E., 25(4)510--525
-
Stensrud, E., see Myrtveit, I.
-
steps, 25(3)387--400
-
stepsize, 25(2)194--206
-
Stepwise, 19(1)56--69
-
Stevens, R., 25(6)836--851
-
Stevens, R., see Emmerich, W.
-
Stewart, D. B., 23(12)759--776
-
Stewart:1997:DDR, 23(12)759--776
-
Stiemerling, O., 24(12)1171--1181
-
Stiemerling:1998:UCS, 24(12)1171--1181
-
stochastic, 17(2)99--107, 17(2)108--116, 17(2)126--132,
17(10)1005--1012, 17(10)1093--1108, 18(1)55--71, 19(2)89--107,
20(7)506--515, 20(7)516--525, 20(7)526--535, 20(7)536--544,
22(9)603--614, 22(9)640--653, 22(9)654--664, 24(10)889--902,
24(11)1014--1030, 25(2)147--165, 25(2)207--217, 25(2)218--236
-
Stocks, P., 22(11)777--793
-
Stocks:1996:FSB, 22(11)777--793
-
Stoller, S., 20(8)664--z
-
Stoller:1994:APR, 19(4)366--378, 20(8)664--z
-
stop, 20(4)318--323
-
stopping, 23(11)673--683
-
storage, 16(6)569--580, 17(11)1166--1185, 19(2)155--164
-
store, 18(7)631--645
-
Storing, 23(7)445--460
-
Stornetta, W. S., 18(2)103--117
-
Stornetta, W. S., see Waldspurger, C. A.
-
Stoyen, A. D., 25(1)50--74, 25(5)701--721
-
Stoyen, A. D., see Younis, M. F.
-
Stoyen:1999:DEC, 25(1)50--74
-
Stoyenko, A. D., 17(8)737--750
-
Stoyenko:1991:AHR, 17(8)737--750
-
strategy, 16(11)1311--1316, 17(7)692--702, 17(7)703--711,
19(10)941--949, 23(3)146--156, 24(11)1002--1013
-
streams, 17(1)1--9, 21(8)682--688
-
strength, 23(4)203--213
-
Strigini, L., 22(2)97--108, 24(8)586--601, 25(2)286--286
-
Strigini, L., see Bertolino, A.,
see Franki, P., \see{Frankl, P. G.
-
string, 25(3)378--386
-
Strom, R. E., 19(5)478--485
-
Strom:1993:ETC, 19(5)478--485
-
strong, 23(1)35--55
-
Strooper, P., 17(9)934--943
-
Strooper, P., see Hoffman, D. M.
-
Strosnider, J. K., 19(9)920--934
-
Strosnider, J. K., see Katcher, D. I.
-
structural, 18(3)206--215, 20(2)115--126, 21(5)389--404, 24(4)233--251
-
structure, 16(5)543--557, 16(8)777--790, 16(8)791--806,
16(12)1427--1432, 17(2)141--152, 17(4)345--356, 18(2)159--167,
19(7)672--686, 19(9)902--911, 21(6)506--514, 21(7)605--614,
22(9)603--614, 25(5)690--700
-
structured, 20(8)658--663, 25(2)147--165
-
structured, tree-, 16(12)1433--1435
-
structured, well-, 20(12)948--976
-
structuring, 19(4)344--365, 23(10)616--634, 25(2)166--181
-
Stuart, C., Ho-, 24(1)24--45, 24(5)390--390
-
study, 16(2)121--128, 16(2)216--223, 16(4)432--443, 17(6)513--526,
17(6)582--590, 18(1)78--86, 18(2)89--102, 18(4)279--295,
18(5)368--379, 18(9)827--839, 18(11)1011--1024, 19(5)425--435,
19(7)720--741, 19(10)941--949, 19(12)1157--1170, 20(8)617--630,
21(10)822--833, 22(8)563--579, 22(12)895--910, 23(3)129--145,
23(9)537--549, 24(6)401--419, 24(6)451--470, 24(7)559--572,
25(4)541--556, 25(4)557--572
-
study, case-, 18(9)817--826
-
studying, 18(7)575--589, 25(4)493--509
-
style, 22(6)390--406, 22(7)484--495
-
style, OSI-, 16(12)1435--1439
-
style, OSI-, 15(12)1507--1517
-
styles, 24(7)521--533
-
subdomain, 22(2)109--119
-
subjectivity, 23(2)67--82
-
subprogram, 18(2)89--102
-
subset, 14(11)1731--1738, 22(4)271--274
-
subsume, 22(4)248--255
-
subtransport-level, 19(2)181--186
-
subtree, 19(3)231--252
-
Subtypes, 24(9)709--720
-
subtyping, 24(9)709--720
-
success, 17(9)922--933
-
such, 18(7)631--645
-
Sufficient, 22(9)640--653
-
suite, 20(6)476--493, 21(3)263--265, 21(9)705--716, 22(4)267--271,
23(8)473--484
-
Sullivan, K., 16(6)639--646
-
Sullivan, K., see Leong, S.
-
Sullivan, K. J., 22(8)563--579, 25(4)584--599
-
Sullivan:1996:EMM, 22(8)563--579
-
Sullivan:1999:ACB, 25(4)584--599
-
Sumner, E. E., 18(11)957--968
-
Sumner, E. E., see Eick, S. C.
-
Sun, J., 23(10)603--615
-
Sun, Y., 24(1)24--45
-
Sun, Y., see Liu, Shaoying
-
Sun:1997:BCT, 23(10)603--615
-
Sundareshan, M. K., 16(6)647--659
-
Sundareshan, M. K., see Lu, W. P.
-
Suonio, R., Kurki-, 19(1)56--69, 24(12)1033--1035
-
superposed, 22(9)615--628, 25(2)166--181, 25(2)182--193
-
superposition, 21(8)682--688
-
supervised, 18(7)613--623
-
support, 16(11)1225--1234, 16(11)1247--1257, 17(5)467--482,
18(6)451--469, 18(7)631--645, 18(12)1038--1044, 18(12)1045--1052,
19(3)231--252, 21(4)314--335, 23(1)4--16, 24(7)534--558,
24(10)863--888, 24(11)982--1001, 25(1)33--49, 25(4)526--540
-
supporting, 18(6)498--510, 18(6)511--522, 22(6)407--423, 22(12)841--865,
24(9)682--694, 24(12)1072--1088
-
Suri, N., 23(11)684--721
-
Suri, N., see Walter, C. J.
-
survey, 22(12)875--885, 24(10)779--796
-
Sutcliffe, A., 24(3)174--196
-
Sutcliffe, A. G., 24(12)1072--1088
-
Sutcliffe:1998:DTR, 24(3)174--196
-
Sutcliffe:1998:SSB, 24(12)1072--1088
-
Sutcu, C., 27(3)279--286
-
Sutcu, C., see Yadav, S. B.
-
Suwunboriruksa, K., 18(7)613--623
-
Suwunboriruksa, K., see Kim, S. T.
-
Suzuki, I., 16(11)1273--1281, 20(2)115--126
-
Suzuki, I., see Li, Jianan
-
Suzuki, T., 16(5)523--536
-
Suzuki:1990:FAA, 16(11)1273--1281
-
Suzuki:1990:PMV, 16(5)523--536
-
Swaminathan, B., 21(9)735--746
-
Swaminathan, B., see Goldman, K. J.
-
swapping, 17(5)424--435, 20(8)631--643
-
switches, 22(12)886--894
-
switching, 17(4)334--344
-
swizzle, 18(8)657--673
-
SWSL, 20(10)798--811
-
symbolic, 17(9)884--899, 22(3)181--201
-
Symposium, 23(10)0--0
-
synchronization, 16(12)1325--1336, 21(10)834--844
-
synchronous, 18(9)785--793, 22(4)256--266
-
syntactic, 21(4)302--313
-
synthesis, 16(12)1412--1426, 17(12)1229--1240, 18(6)523--533,
18(8)674--704, 20(3)188--198, 22(12)866--874, 24(10)848--862
-
synthesis, logic-, 21(10)822--833
-
synthesizing, 14(11)1731--1738, 22(4)271--274
-
synthetic, 20(10)798--811
-
system, large-, 24(4)268--277
-
systematic, 20(6)445--462, 25(4)526--540, 25(5)651--660, 32(5)347--348
-
systems-experience, 22(6)378--389
-
Sztrik, J., 17(10)1069--1075
-
Sztrik:1991:AAH, 17(10)1069--1075