Last update: Thu May 27 02:00:25 MDT 2021
Return to index directory
T
-
T.-Y, 16(3)370--371
-
T9000, 21(2)69--78
-
table, 18(7)631--645
-
Tada, M., 19(8)765--773
-
Tada, M., see Nakajo, T.
-
Taff, L. M., 17(8)839--849
-
Taff:1991:EDE, 17(8)839--849
-
Tai, K. C., 17(1)45--63
-
Tai, Kuo-Chung, 22(8)552--562, 24(6)471--490
-
Tai, Kuo-Chung, see Carver, R. H.
-
Tai:1991:DCA, 17(1)45--63
-
Tai:1996:TFB, 22(8)552--562
-
Takada, S., 25(4)474--492
-
Takada, S., see Torii, K.
-
Takada, Y., 25(4)474--492
-
Takada, Y., see Torii, K.
-
Takamatsu, S., 17(9)853--871
-
Takamatsu, S., see Nishida, F.
-
TAME, 18(10)886--898
-
Tamura, H., 17(2)126--132
-
Tamura, H., see Hatono, I.
-
Tanaka, M., 16(10)1178--1184
-
Tanaka, M., see Hirakawa, M.
-
Tanca, L., 18(6)534--546
-
Tanca, L., see Cacace, F.
-
Tandem, 21(5)455--467
-
Tanenbaum, Andrew S., 18(3)190--205
-
Tanenbaum, Andrew S., see Bal, H. E.
-
Tang, D., 19(11)1105--1118
-
Tang, D., see Kao, W. I.
-
Tani, T., 17(9)853--871
-
Tani, T., see Nishida, F.
-
Tarver, E., 19(12)1157--1170
-
Tarver, E., see Bhandari, I.
-
task, 16(3)294--301, 16(7)741--754, 16(10)1198--1208, 16(12)1374--1389,
17(7)731--734, 17(10)1076--1092, 18(1)72--77, 18(8)736--748,
19(3)253--267, 21(8)674--681, 21(11)894--901, 23(2)93--106,
23(6)388--400, 23(10)635--645, 23(12)745--758
-
tasking, 16(1)51--63, 22(7)461--483
-
Tate, G., 18(4)265--278
-
Tate, G., see Verner, J.
-
Taylor, D. J., 21(1)1--18
-
Taylor, D. J., see Triantafillou, P.
-
Taylor, H., 18(3)225--236
-
Taylor, P. G., 17(2)108--116
-
Taylor, P. G., see Henderson, W.
-
Taylor, R., 16(12)1402--1411
-
Taylor, R., see Hamlet, D.
-
Taylor, R. N., 18(3)206--215, 19(2)198--199, 22(6)390--406,
24(8)585--585
-
Taylor, R. N., see Fuggetta, A.,
see Young, M.
-
Taylor:1992:LFC, 18(3)225--236
-
Taylor:1992:STC, 18(3)206--215
-
Taylor:1996:CMB, 22(6)390--406
-
Teamwork, 17(5)467--482
-
Teapot, 25(3)317--333
-
technique, 16(1)92--99, 16(4)389--402, 16(12)1325--1336, 17(7)712--724,
18(7)631--645, 18(8)717--727, 18(11)979--987, 18(11)1029--1034,
19(3)214--230, 19(5)529--532, 19(10)950--961, 19(12)1145--1156,
22(7)508--528, 22(8)529--551, 24(2)125--136, 24(6)401--419,
24(10)889--902
-
technologies, 25(4)438--455
-
telecommunications, 24(10)777--778, 24(10)779--796, 24(10)831--847
-
telephone, 19(6)625--639, 22(12)886--894
-
temporal, 16(11)1273--1281, 17(10)1109--1125, 19(2)198--199,
19(4)410--423, 20(2)115--126, 24(3)216--231
-
term, 20(4)259--274
-
test, 16(3)261--267, 16(3)316--324, 16(8)870--879, 16(12)1337--1343,
17(6)565--581, 17(6)591--603, 17(9)900--910, 17(9)976--978,
19(6)533--553, 19(6)640--99999999, 19(11)1055--1070, 20(1)29--42,
20(2)149--162, 20(5)353--363, 21(3)219--228, 21(9)705--716,
21(10)858--863, 22(4)248--255, 22(8)529--551, 23(8)473--484,
23(8)498--516, 24(3)161--173, 24(6)401--419, 25(6)769--781
-
Test-execution-based, 21(5)405--414
-
testability, 17(6)553--564, 22(2)97--108
-
testing, 16(1)1--12, 16(2)121--128, 16(8)844--857, 16(8)897--916,
16(9)965--979, 16(12)1402--1411, 17(4)313--319, 17(5)403--423,
17(7)703--711, 17(9)934--943, 18(1)33--43, 18(3)206--215,
19(3)202--213, 19(7)687--697, 19(7)742--746, 19(8)774--787,
19(9)912--919, 19(10)941--949, 19(10)962--975, 20(1)72--87,
20(2)142--148, 20(4)318--323, 20(10)812--824, 20(12)977--980,
21(2)163--177, 21(12)1006--1009, 22(2)109--119, 22(3)218--223,
22(8)552--562, 22(10)719--729, 22(11)777--793, 23(3)146--156,
23(7)437--444, 23(11)673--683, 24(6)471--490, 24(8)586--601,
25(5)661--674
-
Tewari, R., 19(6)594--602
-
Tewari, R., see Adam, N. R.
-
textual, 23(11)722--735
-
than, 21(11)894--901
-
the, 27(6)573--576
-
the-fly'', ``{On}-, 24(10)889--902
-
then, 21(11)894--901
-
theorem, 16(6)563--568, 20(1)55--71, 20(2)115--126, 23(4)203--213
-
theoretical, 20(9)740--747
-
theory, 16(8)844--857, 16(9)993--1004, 20(1)55--71, 20(11)825--832,
21(4)302--313, 22(1)53--67, 22(4)267--271, 22(8)552--562,
24(3)174--196
-
Thibault, S. A., 25(3)363--377
-
Thibault:1999:DSL, 25(3)363--377
-
third, 18(7)631--645
-
Thomas, W. M., 18(11)931--942
-
Thomas, W. M., see Briand, L. C.
-
Thomasian, A., 16(7)684--698, 17(5)386--402
-
Thomasian, A., see Ryu, I. K.
-
Thomasian:1991:PAT, 17(5)386--402
-
Thomason, M. G., 20(10)812--824
-
Thomason, M. G., see Whittaker, J. A.
-
Thompson, M. C., 19(6)533--553
-
Thompson, M. C., see Richardson, D. J.
-
Thorough, 22(4)271--274
-
threads, 18(8)736--748
-
three, 19(2)120--138
-
three-dimensional, 19(10)997--1011
-
three-view, 21(9)754--767
-
threefold, 18(7)631--645
-
through, 17(12)1253--1269, 20(2)127--141, 23(7)401--417, 25(4)456--473
-
throughout, 16(2)153--165
-
throughput, 17(2)117--125, 20(7)526--535
-
thus, 21(11)894--901
-
Tian, J., 21(5)405--414, 21(8)641--650, 21(12)945--958
-
Tian:1995:CME, 21(8)641--650
-
Tian:1995:ITD, 21(12)945--958
-
Tian:1995:TEB, 21(5)405--414
-
Tichy, W. F., 24(4)302--312
-
Tichy, W. F., see Prechelt, L.
-
time, 16(1)1--12, 16(3)360--369, 16(7)729--740, 16(12)1374--1389,
16(12)1390--1401, 17(3)259--273, 17(4)313--319, 17(5)436--442,
17(10)1005--1012, 17(10)1013--1027, 17(10)1076--1092, 18(2)89--102,
18(7)631--645, 19(2)139--154, 19(6)571--583, 19(9)845--855,
20(4)308--317, 20(9)677--683, 20(9)708--719, 21(5)429--439,
21(12)945--958, 21(12)969--992, 22(4)225--247, 22(8)580--598,
23(10)603--615, 25(1)22--32, 25(2)237--257
-
time, hard-real-, 17(8)737--750, 19(1)70--84, 19(3)310--z
-
time, Pre-run-, 21(11)865--880
-
time, pre-run-, 17(7)669--677, 23(9)599--600
-
time, Real-, 23(10)0--0
-
time, real-, 16(2)212--216, 16(4)373--388, 16(7)699--709,
16(8)897--916, 16(12)1374--1389, 17(1)34--44, 17(3)241--258,
17(7)669--677, 17(10)1076--1092, 18(8)736--748, 18(9)768--784,
18(9)785--793, 18(9)794--804, 18(9)805--816, 19(1)3--12,
19(1)41--55, 19(1)56--69, 19(5)453--477, 19(8)788--803,
19(9)863--885, 19(10)976--981, 20(1)13--28, 20(2)127--141,
20(10)798--811, 20(11)849--867, 20(12)933--947, 21(1)32--49,
21(5)389--404, 21(5)475--480, 21(7)579--592, 21(10)834--844,
23(2)93--106, 23(9)599--600, 23(10)635--645, 23(12)745--758,
23(12)759--776, 24(8)602--614, 25(1)22--32, 25(1)50--74,
25(5)701--721
-
time, Response-, 21(7)605--614
-
time, run-, 24(10)818--830
-
time-critical, 17(2)160--172, 21(12)969--992
-
time-triggered, 25(5)651--660, 32(5)347--348
-
timed, 16(8)858--869, 18(9)817--826, 19(6)625--639, 24(11)1014--1030,
25(2)237--257
-
timing, 19(1)70--84, 19(3)310--z, 20(1)13--28, 21(1)32--49,
21(5)389--404, 21(7)593--604, 22(7)461--483
-
Tindell, K., 21(5)475--480
-
Tindell, K., see Burns, A.
-
Tisato, F., 20(8)606--616
-
Tisato, F., see De Paoli, F.
-
TLA, 21(9)768--775
-
TMN, 23(10)659--669
-
to-end, end-, 23(2)93--106
-
Tobin, M., 24(1)15--23
-
Tobin, M., see Neil, M.
-
Tohma, Y., 17(5)483--489
-
Tohma:1991:EPH, 17(5)483--489
-
token, 16(8)858--869, 20(6)500--504
-
tolerance, 17(2)173--182
-
tolerance, fault-, 16(4)444--457, 24(6)435--450
-
tolerant, 21(7)629--639
-
tolerant, fault-, 17(2)153--159, 17(6)513--526, 17(7)652--668,
19(2)108--119, 19(11)1015--1027, 21(2)107--125, 25(5)651--660,
32(5)347--348
-
Tolerating, 24(11)982--1001
-
Tolksdorf, R., 24(5)362--375
-
Tolksdorf, R., see Ciancarini, P.
-
Toman, C. A., 23(6)329--346
-
Toman, C. A., see Porter, A. A.
-
Tomek, L. A., 19(11)1071--1086
-
Tomek:1993:MCS, 19(11)1071--1086
-
too, 22(2)158--159
-
tool, 16(1)39--50, 17(9)961--971, 18(4)329--346, 18(11)957--968,
18(12)1053--1064, 19(5)486--502, 19(6)640--z, 21(4)275--287,
21(4)314--335, 21(11)894--901, 23(9)550--571, 23(11)722--735,
24(1)15--23, 24(7)534--558, 25(5)633--650
-
toolset, 17(11)1204--1222
-
Torii, K., 25(4)474--492
-
Torii:1999:GEC, 25(4)474--492
-
Tortora, G., 16(10)1122--1135, 22(10)730--750, 23(12)777--799
-
Tortora, G., see Costagliola, G.,
see Crimi, C., \see{Ferrucci, F.
-
total, 17(5)436--442, 22(9)687--688
-
toward, 16(3)335--349, 17(1)10--21, 19(2)165--180, 21(12)929--944,
23(3)187--189, 23(3)189--189, 25(3)387--400
-
Towsley, 16(4)471--z
-
Towsley, D., 16(4)472--z, z(10)1018--1024
-
Towsley:1986:APC, 16(4)471--z, z(10)1018--1024
-
Towsley:1990:CAP, 16(4)472--z
-
TPL, 16(6)639--646
-
trace, 16(9)993--1004, 20(10)750--759
-
Trace-based, 25(1)122--135
-
tracing, 19(11)1105--1118
-
Tractable, 20(8)579--593
-
tradeoffs, 16(2)183--196, 19(10)950--961, 21(4)275--287
-
trail, 19(9)886--901
-
Trakhtenbrot, M., 16(4)403--414
-
Trakhtenbrot, M., see Harel, D.
-
transaction, 16(8)791--806, 17(8)814--829, 17(9)954--960,
18(10)899--914, 21(12)1--z, 22(12)912--919, 23(12)800--807
-
transaction-based, 19(8)804--812, 20(3)207--217
-
transaction-oriented, 18(1)72--77
-
transaction-undo, 19(2)155--164
-
transformation, 16(6)630--638, 18(7)613--623, 18(12)1065--1075,
19(5)436--452, 22(9)665--686
-
transformation, knowledge-action-, 17(4)370--382
-
transient, 19(2)187--197, 25(2)182--193, 25(2)194--206
-
transition, 16(7)755--775, 17(6)513--526, 18(3)252--261, 21(3)181--199
-
transitive, 17(3)296--309
-
translating, 21(11)902--912
-
transport, 16(12)1325--1336
-
transportable, 16(6)639--646
-
Trauring, A., Shtull-, 16(4)403--414
-
tree, 17(7)731--734, 17(11)1166--1185, 21(11)894--901, 23(10)646--658,
25(3)378--386
-
tree, OR-, 16(1)13--31
-
tree-based, 21(12)945--958
-
tree-structured, 16(12)1433--1435
-
Tremblay, J. P., 17(1)10--21
-
Tremblay, J. P., see Protsko, L. B.
-
trend, 20(9)740--747
-
Triantafillou, P., 21(1)1--18, 22(11)812--826, 23(1)35--55
-
Triantafillou:1995:LBP, 21(1)1--18
-
Triantafillou:1996:IRL, 22(11)812--826
-
Triantafillou:1997:ASC, 23(1)35--55
-
Trie, 17(7)678--691
-
triggered, time-, 25(5)651--660, 32(5)347--348
-
Tripathi, S. K., 16(4)444--457, 17(5)443--453, 19(2)108--119,
19(7)698--706
-
Tripathi, S. K., see Ghosal, D.,
see Huang, Y., \see{Rangarajan, S.,
see Shieh, Y. B.
-
Trivedi, K. S., 19(11)1071--1086, 22(9)640--653, 25(2)207--217
-
Trivedi, K. S., see Ciardo, G.,
see Mainkar, V., \see{Tomek, L. A.
-
TROPICO-R, 17(4)334--344
-
truly, 19(4)410--423
-
Trust, 19(2)181--186
-
Tsai, C. R., 16(6)569--580
-
Tsai, G., 25(5)701--721
-
Tsai, G., see Younis, M. F.
-
Tsai, J. J. P., 16(8)897--916, 18(12)1076--1100, 21(1)32--49
-
Tsai, W. T., 16(3)316--324, 16(11)1225--1234
-
Tsai, W. T., see Ramamoorthy, C. V.
-
Tsai:1990:ATC, 16(3)316--324
-
Tsai:1990:ICS, 16(6)569--580
-
Tsai:1990:NMR, 16(8)897--916
-
Tsai:1992:HKR, 18(12)1076--1100
-
Tsai:1995:TCP, 21(1)32--49
-
Tsang, S., 24(10)818--830
-
Tsang:1998:LDA, 24(10)818--830
-
TSE, 18(7)631--645
-
Tsoukalas, M. Z., 19(7)687--697
-
Tsoukalas:1993:SRE, 19(7)687--697
-
Tucci, M., 16(10)1122--1135, 20(9)720--739, 22(10)730--750
-
Tucci, M., see Crimi, C., \see{Ferrucci, F.
-
Tucci, S., 18(1)72--77
-
Tucci, S., see Grassi, V.
-
Tucci:1994:PNL, 20(9)720--739
-
TuringTool, 16(3)294--301
-
Turini, F., 16(11)1235--1246
-
Turini, F., see Degl'Innocenti, M.
-
tutoring, 21(5)415--428
-
twin-page, 19(2)155--164
-
two, 19(10)950--961, 21(11)894--901, 23(3)129--145, 23(3)185--186
-
Two-dimensional, 18(3)216--224
-
two-phase, 17(5)386--402
-
Two-state, 20(6)500--504
-
Tygar, J. D., 16(10)1185--1197, 22(1)16--30
-
Tygar, J. D., see Heintze, N., \see{Heydon, A.
-
Tyler, S., 18(10)870--885
-
Tyler, S., see Mark, W.
-
type, 16(9)949--964, 23(3)157--170, 24(4)233--251, 24(4)302--312
-
typestate, 19(5)478--485
-
Tyrrell, A. M., 21(7)629--639
-
Tyrrell:1995:CMI, 21(7)629--639
-
Tzeng, N. F., 17(7)731--734
-
Tzeng, N. F., see Mishra, S. K.