Last update: Fri Apr 12 02:17:44 MDT 2024
Return to index directory
T
-
T, 0(0)186--197, 27(2)10--11, 27(11)11--11, 28(7)218--228, 30(3)1--12,
33(9)26--76
-
t, 0(0)272--285
-
T-sets, 29(2)33--38
-
T-statements, 29(2)33--38
-
T3D, 30(8)39--47
-
T3E, 31(9)26--36
-
Tabata, Kunio, 34(8)60--71
-
Tabata, Kunio, see Taura, Kenjiro
-
Tabatabai, Ali-Reza, Adl-, 0(0)371--383, 28(6)13--25, 31(5)33--43,
31(5)127--136, 31(10)51--68, 33(5)280--290
-
table, 17(9)18--27, 25(6)16--27, 25(6)112--126, 27(7)68--81,
27(7)273--282, 27(7)331--340, 27(11)33--38, 28(3)359--360,
28(10)259--270, 29(6)49--60, 29(6)313--325, 29(9)68--71,
29(10)244--244, 29(10)244--258, 29(10)427--439, 30(10)141--155,
30(11)7--19, 32(10)108--108, 32(10)125--141, 32(10)162--162,
32(10)206--206, 32(10)345--345, 33(11)295--306
-
Table-Based, 34(7)65--72
-
Table-based, 34(7)65--72
-
table-driven, 25(4)59--68
-
table-of-contents, 34(5)z--99999999, 34(5)z--z
-
tabling, 34(3)97--106
-
tabular, 0(0)345--358, 29(9)68--71
-
tackle, 0(0)95--106
-
tactic, 28(8)90--98
-
Taft, S. Tucker, 27(10)87--87, 27(10)88--88, 28(10)127--136
-
Taft, S. Tucker, see Bulman, David
-
Taft:1992:PPO, 27(10)88--88
-
Taft:1993:AAO, 28(10)127--136
-
tag, 27(7)311--321, 29(11)171--182, 31(9)268--278
-
tag-free, 0(0)51--58, 26(6)165--176
-
tagged, 29(11)319--327
-
Tagless, 34(1)163--173
-
Taha, W., 32(12)203--z
-
Taha, Walid, 32(8)321--321, 32(8)321--z, 32(12)203--217, 34(11)34--43
-
Taha:1997:MP, 32(8)321--z
-
Taha:1997:MPE, 32(12)203--z
-
Taha:1997:MSPa, 32(8)321--321
-
Taha:1997:MSPb, 32(12)203--217
-
Taha:1999:SRS, 34(11)34--43
-
tail, 33(5)174--185
-
Tail-Recursive, 31(1)20--21
-
tailor-made, 30(11)134--145
-
tailorable, 29(10)85--101
-
tailored, 28(8)90--98
-
tailoring, 6(4)94--99, 29(6)36--48, 29(10)85--101, 30(10)185--186
-
Taivalsaari, Antero, 6(4)180--185, 29(10)102--112, 31(12)12--17
-
Taivalsaari, Antero, see Noble, James,
see Smith, Randall B.
-
Taivalsaari:1995:OLS, 6(4)180--185
-
Tajima, Keishi, 31(10)1--17, 31(10)1--z
-
Tajima, Keishi, see Nishimura, Susumu
-
Takagi, Hiromitsu, 0(0)z--99999999
-
Takagi:1998:NMP, 0(0)z--99999999
-
Takano, Akihiko, 26(9)1--11, 32(8)164--175
-
Takano, Akihiko, see Hu, Zhenjiang
-
Takano:1991:GPC, 26(9)1--11
-
Takashio, Kazunori, 27(10)276--294
-
Takashio:1992:DOO, 27(10)276--294
-
take, 0(0)85--98, 0(0)246--259, 0(0)311--325, 25(6)165--173,
25(6)296--310, 26(4)28--37, 28(6)187--196, 28(6)227--236,
28(6)237--247, 28(8)90--98, 29(6)107--120, 29(6)196--205,
29(11)2--11, 29(11)242--251, 30(6)79--92, 30(8)134--143,
30(8)189--198, 30(11)134--145, 30(11)146--155
-
TAKE, GIVE-N-, 29(6)107--120
-
Takeichi, Masato, 0(0)316--328, 31(6)73--82, 32(8)164--175
-
Takeichi, Masato, see Hu, Zhenjiang
-
taken, 0(0)62--73, 0(0)389--396, 25(6)174--188, 27(7)322--330,
28(7)13--22, 29(8)111--118, 29(11)208--218, 30(6)67--78,
30(6)79--92, 30(6)139--150, 30(11)79--87, 33(7)59--66
-
Takeuchi, 30(4)10--10
-
Taki, K., 25(3)50--59
-
Taki, K., see Furuichi, M.
-
taking, 27(7)128--139
-
Talcott, Carolyn L., 26(9)297--308
-
Talcott, Carolyn L., see Mason, Ian A.
-
Talia, D., 25(1)33--42
-
Talia:1990:SCP, 25(1)33--42
-
Talini, P., 26(3)25--34
-
Talini, P., see Fantechi, A.
-
talk, 0(0)z--99999999, 28(11)9--12, 32(10)108--108, 32(10)162--162,
32(10)206--206, 34(9)8--8, 34(11)1--1, 34(11)33--33, 34(11)83--83
-
Talking, 33(4)21--25
-
Talla, D., 25(9)17--24
-
Talla:1990:NTO, 25(9)17--24
-
taller, 0(0)62--73
-
Talluri, Madhusudhan, 29(11)171--182
-
Talluri:1994:STP, 29(11)171--182
-
Talpin, 30(6)174--185
-
Talpin, Jean-Pierre, 0(0)188--201
-
Talpin, Jean-Pierre, see Tofte, Mads
-
Tambe, M., 25(3)156--167
-
Tambe, M., see Harvey, W.
-
taming, 0(0)209--220, 34(1)51--62
-
Tan, Jichang, 27(7)106--115
-
Tan, Yang Meng, 29(8)74--83
-
Tan:1992:CDA, 27(7)106--115
-
Tan:1994:ILS, 29(8)74--83
-
Tanenbaum, 32(1)14--57
-
Tang, Hong, 34(8)107--118
-
Tang, L. S., 26(10)44--52
-
Tang, Zhi-Min, 32(6)61--68
-
Tang, Zhi-Min, see Chen, Wen-Ke
-
Tang:1991:CDC, 26(10)44--52
-
Tang:1999:CRT, 34(8)107--118
-
Tao, Huang, 27(11)27--32
-
Tao, Huang, see Yulin, Feng
-
Taos, 27(9)223--233
-
Tapeworm, 29(11)132--144
-
Tarditi, D., 31(5)181--192
-
Tarditi, David, 0(0)1--14
-
Tarditi, David, see Diwan, Amer
-
Tarditi:1996:TTD, 31(5)181--192
-
target, 0(0)15--24, 0(0)130--141, 0(0)246--259, 0(0)258--268, 25(6)1--8,
25(6)322--336, 27(7)22--31, 28(3)347--348, 28(7)112--118,
29(9)140--148, 29(11)122--131, 30(6)93--102, 30(8)80--91,
30(11)41--49, 30(11)88--98, 30(11)146--155
-
Target-Sensitive, 31(5)249--257
-
targeted, 0(0)25--34, 28(6)68--77, 30(8)39--47
-
targeting, 29(11)308--318
-
Tarjan, 29(6)107--120
-
Tarlecki, Andrzej, 29(8)111--118
-
Tarlecki, Andrzej, see Kahrs, Stefan
-
Tarr, Peri, 34(10)325--339
-
Tarr, Peri, see Clarke, Siobhán
-
task, 0(0)39--50, 0(0)123--137, 0(0)211--222, 25(4)73--82, 25(6)174--188,
27(7)68--81, 27(7)200--211, 27(7)283--299, 28(1)32--35,
28(3)347--348, 28(6)13--25, 28(7)13--22, 28(8)109--116,
29(10)51--64, 30(8)123--133, 30(8)134--143, 30(8)189--198,
30(11)7--19, 30(11)20--30, 30(11)79--87, 30(11)99--107,
30(11)125--133, 30(11)134--145, 32(7)1--12, 33(7)19--26,
33(7)59--66, 33(7)83--90
-
task, Inter-, 30(8)134--143
-
task, inter-, 30(8)134--143
-
task, multiple-, 29(11)132--144
-
task-level, 25(3)156--167
-
Tasking, Multi-, 30(12)25--31
-
tasking, multi-, 30(11)60--69
-
Taste, 28(9)15--24
-
Tatsukawa, Kosuke, 34(7)65--72
-
Tatsukawa, Kosuke, see Sugawara, Tomoyoshi
-
tau, 25(6)165--173
-
Taura, Kenjiro, 28(7)218--228, 28(10)109--126, 32(5)320--333,
32(7)264--275, 34(8)60--71
-
Taura, Kenjiro, see Matsuoka, Satoshi
-
Taura:1993:EIS, 28(7)218--228
-
Taura:1997:EGC, 32(7)264--275
-
Taura:1997:FGM, 32(5)320--333
-
Taura:1997:FMM, 32(5)320--333
-
Taura:1999:SMI, 34(8)60--71
-
taxation, 0(0)297--310
-
taxonomy, 0(0)93--103, 0(0)142--153, 27(10)201--217, 29(9)159--167
-
Taylor, Colin J., 34(1)75--85
-
Taylor, Craig, 29(11)122--131
-
Taylor, Craig, see Argade, Pramod V.
-
Taylor, David, 26(11)355--358
-
Taylor, David, see Hazeltine, Nelson
-
Taylor, Frank, 28(1)60--63
-
Taylor, Frank, see Cox, Stuart
-
Taylor, Stanley, 33(10)45--47
-
Taylor, Stanley, see Artim, John
-
Taylor:1999:TCF, 34(1)75--85
-
TB, 26(8)60--69
-
TC-2, 31(12)33--38, 33(1)15--21
-
tcc, 0(0)272--285, 32(5)109--121
-
Tcl, 31(9)150--159
-
TCTL, 30(11)79--87
-
TDD, 29(8)13--21
-
teach, 6(4)30--45, 25(6)223--233
-
teaching, 28(6)26--35, 29(1)27--36, 29(3)18--22, 29(4)15--22,
29(5)37--40, 31(7)12--16, 31(7)19--24, 31(12)18--21, 33(2)48--55
-
teams, 29(10)468--473, 30(3)83--93
-
Teapot, 31(5)237--248
-
Tears, 34(9)126--137
-
technical, 0(0)221--232, 28(1)5--8, 28(3)231--270, 28(12)169--186,
29(6)147--158, 29(6)337--348, 29(11)145--156, 31(2)12--12,
31(3)13--13, 31(4)19--19, 31(4)20--27, 32(3)3--4, 32(3)32--32,
33(1)15--21, 33(1)z--99999999, 33(3)37--37, 33(9)25--25,
33(12)32--32, 33(12)33--33, 34(2)40--40, 34(2)47--51, 34(4)37--37,
34(4)38--45, 34(6)36--36, 34(6)37--42, 34(6)z--99999999,
34(12)35--36
-
technically, 28(3)231--270
-
technological, 29(6)186--195
-
TECHNOLOGIES, 31(2)8--9
-
technology, 0(0)z--99999999, 6(4)176--179, 6(4)186--190, 6(4)209--212,
6(4)213--217, 26(5)37--42, 26(11)355--358, 27(7)94--105,
27(9)285--295, 27(10)166--177, 28(10)304--304, 28(10)356--359,
28(10)356--362, 28(10)365--373, 28(10)374--375, 28(10)437--447,
29(6)196--205, 29(8)13--21, 29(10)46--50, 29(10)205--211,
29(10)287--300, 29(11)2--11, 29(11)76--85, 29(11)86--97,
29(12)78--86, 30(10)33--46, 31(2)8--9, 31(11)21--27, 31(12)18--21,
32(4)16--18, 33(2)15--17, 33(7)1--10, 34(4)35--36
-
tedious, 28(6)1--12, 28(6)156--165, 28(8)90--98, 30(11)134--145
-
Teitelbaum, Tim, 0(0)157--170, 25(6)197--208
-
Teitelbaum, Tim, see Liu, Yanhong A.
-
Teitelbaum:1990:HAG, 25(6)197--208
-
Teitelbaum:1990:HOA, 25(6)197--208
-
Telecom, 29(10)205--211
-
Telecommunication, 6(4)77--82, 34(7)104--120
-
Telecontrol, 30(11)146--155
-
telemetering, 30(11)146--155
-
teleoperated, 30(11)146--155
-
tell, 27(9)262--273
-
Tellez-Arenas, A., 32(8)318--318
-
Tellez-Arenas, A., see Richard, G.
-
Temam, Olivier, 31(9)94--104, 33(11)218--227
-
Temam, Olivier, see McKinley, Kathryn S.
-
Temam:1998:IOL, 33(11)218--227
-
temperature, 29(4)58--63
-
Templ, Josef, 28(4)61--66
-
Templ:1993:SAM, 28(4)61--66
-
template, 25(6)283--295, 27(12)47--56, 28(6)156--165, 28(7)92--101,
28(7)149--158, 31(4)4--10, 34(6)76--81
-
Templer, Kevin, 33(7)67--74
-
Templer, Kevin, see Jeffery, Clinton
-
temporal, 0(0)95--106, 0(0)343--354, 0(0)353--366, 27(6)8--8,
29(6)290--301, 29(11)252--262, 34(1)339--339, 34(5)215--228
-
temporarily, 29(11)208--218
-
temporary, 0(0)25--36, 25(6)53--65, 29(5)31--36, 30(6)130--138,
30(6)233--245
-
ten, 0(0)0--0, 26(6)145--156, 28(6)1--12, 29(11)2--11
-
tend, 0(0)188--201, 25(6)102--111
-
tended, 30(6)93--102
-
Teng, Shang-Hua, 0(0)16--28, 28(1)68--71, 28(7)149--158, 32(7)13--24
-
Teng, Shang-Hua, see Chatterjee, Siddhartha,
see Hu, Y. Charlie
-
Tennent, R. D., 0(0)171--184
-
Tennent, R. D., see O'Hearn, P. W.
-
Tenth, 30(0)xiii--483
-
tenured, 30(6)301--314
-
Teodosiu, Dan, 26(1)109--120
-
Teodosiu:1991:HOP, 26(1)109--120
-
term, 0(0)84--97, 0(0)99--112, 0(0)124--136, 0(0)144--154, 0(0)154--165,
0(0)157--170, 0(0)176--185, 0(0)185--195, 0(0)206--219,
0(0)211--222, 0(0)233--246, 0(0)255--269, 0(0)281--292,
0(0)285--298, 0(0)293--304, 0(0)299--312, 0(0)348--360,
0(0)361--374, 0(0)379--392, 0(0)386--399, 0(0)389--396,
0(0)446--457, 0(0)458--471, 0(0)465--478, 25(4)73--82, 27(7)55--67,
27(7)188--199, 28(6)237--247, 28(6)300--313, 29(6)1--12,
29(6)121--134, 30(11)50--59, 34(1)347--347
-
term, short-, 29(6)313--325
-
terminable, 29(2)33--38
-
terminal, 0(0)7--12, 0(0)223--234, 29(12)94--103, 30(11)60--69,
34(2)36--38, 34(2)36--39, 34(7)104--120
-
terminate, 25(6)112--126
-
termination, 0(0)60--69, 0(0)130--141, 0(0)206--219, 0(0)254--267,
0(0)313--324, 25(9)17--24, 28(6)46--55
-
Terminology, 32(2)54--61
-
TErms, 0(0)339--347
-
terms, lambda-, 0(0)60--69, 0(0)254--267, 0(0)458--471
-
terribly, 28(6)197--206
-
Terry, P. D., 30(5)11--17
-
Terry:1995:UAM, 30(5)11--17
-
Terse, 31(12)41--51
-
Tessman, Thant, 30(4)45--50
-
Tessman:1995:AGF, 30(4)45--50
-
test, 0(0)25--34, 0(0)171--184, 0(0)246--257, 0(0)384--396,
25(6)137--149, 25(6)150--164, 27(7)140--151, 27(7)152--161,
28(3)299--331, 29(6)218--229, 29(9)77--80, 30(6)218--232,
30(11)7--19, 32(10)142--157, 33(7)19--26
-
test, field-, 25(1)52--58
-
test, GCD-, 27(7)152--161
-
Test-And-Set, 27(9)223--233
-
test-and-set, 29(11)25--35
-
test-data, 29(8)13--21
-
tested, 0(0)51--58, 0(0)384--396, 0(0)409--420, 0(0)472--492,
27(7)94--105, 27(7)283--299, 28(6)258--267, 29(6)186--195,
29(8)119--128, 30(6)139--150, 34(10)114--131
-
testing/debugging, 0(0)viii--510
-
Tews, Hendrik, 33(10)329--340
-
Tews, Hendrik, see Jacobs, Bart
-
TEX, 25(10)237--244
-
Texas, 0(0)ii--134, 30(0)xiii--483
-
text, 25(6)234--245, 28(3)1--35, 29(6)290--301, 29(8)94--100,
29(9)115--124
-
Text-Based, 25(6)234--245
-
Text-based, 25(6)234--245
-
textbook, 25(8)72--74
-
Texts, Routine-, 28(4)45--48
-
textual, 25(6)234--245, 29(10)176--190
-
Thacker, Charles P., 27(9)98--110
-
Thacker, Charles P., see Anderson, Thomas E.
-
thanks, 0(0)35--47, 30(3)83--93
-
Thatte, Satish, 0(0)367--381
-
Thatté, Satish R., 0(0)174--187
-
Thatte:1990:QT, 0(0)367--381
-
Thatte:1994:ASI, 0(0)174--187
-
the, 29(9)8--8, 31(7)25--29
-
the, languages-, 27(5)z--z
-
the, processor-, 30(11)88--98
-
the-art, state-of-, 25(6)1--8, 30(6)93--102
-
the-envelope, Back-of-, 28(8)90--98
-
the-envelope, back-of-, 28(8)90--98
-
the-Fly, On-, 26(4)86--95
-
the-fly, On-, 28(12)12--20, 28(12)107--117
-
the-fly, on-, 0(0)70--83, 25(6)150--164, 27(7)331--340,
30(3)119--128
-
the-world, stop-, 0(0)39--50
-
Thekkath, Chandramohan A., 29(11)2--11, 29(11)110--119, 31(9)84--92,
31(9)174--185
-
Thekkath, Chandramohan A., see Lee, Edward K.,
see Scales, Daniel J.
-
Thekkath, Radhika, 27(7)175--187, 29(11)328--337
-
Thekkath, Radhika, see Sarkar, Vivek
-
Thekkath:1994:EMH, 29(11)328--337
-
Thekkath:1994:HSS, 29(11)110--119
-
Thekkath:1994:SDC, 29(11)2--11
-
themselves, 0(0)375--388, 25(6)9--15, 25(6)283--295, 28(6)177--186,
32(11)49--56
-
then, 0(0)35--47, 0(0)51--58, 0(0)95--106, 0(0)99--112, 0(0)154--165,
0(0)221--232, 0(0)254--267, 0(0)297--310, 0(0)311--325,
0(0)326--338, 0(0)384--396, 0(0)458--471, 0(0)472--492,
25(6)92--101, 25(6)102--111, 25(6)209--222, 25(6)223--233,
25(6)296--310, 27(7)152--161, 27(7)188--199, 27(7)300--310,
27(7)311--321, 28(3)37--52, 28(3)177--199, 28(3)209--230,
28(3)231--270, 28(3)333--342, 28(6)13--25, 28(6)78--89,
28(6)166--176, 28(7)64--72, 29(11)98--109, 29(11)122--131,
29(11)171--182, 29(11)242--251, 30(3)23--34, 30(3)94--102,
30(6)47--55, 30(6)67--78, 30(6)116--129, 30(6)186--195,
30(6)218--232, 30(8)166--178, 30(8)179--188, 30(11)79--87,
33(7)59--66
-
theorem, 0(0)57--70, 0(0)105--118, 0(0)133--146, 0(0)157--170,
0(0)161--174, 0(0)185--195, 0(0)197--209, 0(0)221--232,
0(0)272--285, 0(0)276--290, 0(0)414--427, 0(0)458--471, 25(6)1--8,
27(1)95--98, 27(7)152--161, 28(3)37--52, 32(5)226--234
-
theoretic, automata-, 0(0)419--428
-
theoretic, Graph-, 28(6)78--89
-
theoretic, graph-, 28(6)78--89
-
theoretic, model-, 0(0)95--104
-
theoretic, number-, 25(6)137--149
-
Theoretic, Type-, 29(10)31--45
-
theoretic, Type-, 29(10)31--45
-
theoretic, type-, 0(0)123--137, 29(10)31--45
-
theoretical, 0(0)107--117, 0(0)123--137, 0(0)259--271, 0(0)348--360,
25(12)37--44, 28(6)147--155, 28(7)129--138, 29(6)1--12,
30(8)123--133, 30(8)134--143
-
theoretically, 0(0)227--239, 27(7)44--54
-
Theoreticians, 27(10)452--465
-
theoreticians., 28(3)231--270
-
THEORY, 0(0)106--119, 0(0)470--482, 27(9)2--9, 31(9)128--137
-
theory, improvement-, 0(0)221--232
-
there, 0(0)13--24, 0(0)154--165, 0(0)157--170, 0(0)176--185,
0(0)293--304, 0(0)429--438, 0(0)472--492, 25(6)174--188,
25(6)296--310, 26(9)255--273, 27(7)188--199, 28(3)97--132,
28(3)209--230, 28(3)343--344, 28(3)347--348, 28(6)207--216,
28(8)90--98, 29(6)147--158, 29(11)308--318, 29(11)328--337,
30(6)56--66, 30(6)186--195, 30(6)205--217, 30(6)270--278,
33(7)19--26, 33(7)35--42, 34(5)z--99999999, 34(5)z--z
-
thereby, 0(0)367--378, 0(0)397--408, 27(9)285--295, 29(8)1--12,
29(11)86--97, 29(11)297--306
-
therefor, 25(4)73--82
-
therefore, 0(0)16--28, 0(0)84--97, 0(0)123--137, 0(0)174--187,
0(0)479--492, 25(6)174--188, 25(6)246--256, 27(7)1--11, 27(7)55--67,
27(9)223--233, 28(6)278--289, 28(7)13--22, 29(6)206--217,
29(6)278--289, 29(11)12--24, 29(11)145--156, 30(6)32--46,
30(6)93--102, 30(6)151--162
-
thermodynamics, 29(4)58--63
-
thesis, 0(0)124--136
-
Thiemann, Peter, 0(0)329--341, 31(5)206--214, 32(5)215--225,
32(8)204--216
-
Thiemann, Peter, see Dussart, Dirk,
see Jagannathan, Suresh,
see Sperber, Michael
-
Thiemann, Peter J., 31(6)180--189
-
Thiemann:1996:CSL, 31(6)180--189
-
Thilo, Jesse, 0(0)z--99999999
-
Thilo, Jesse, see Glossner, John
-
Thin, 33(5)258--268
-
thing, 0(0)246--259, 28(3)69--95
-
think, 28(3)231--270
-
Thinking, 27(7)94--105, 30(8)29--38, 30(8)68--79
-
third, 0(0)ii--134, 0(0)1--14, 0(0)333--343, 26(0)ii--223, 29(6)73--84,
29(6)97--106, 29(10)229--243, 29(11)297--306, 30(6)130--138,
30(8)207--216, 31(2)8--9
-
third-generation, 29(10)229--243
-
Thirion, Bernard, 27(1)75--84
-
Thirion:1992:EUC, 27(1)75--84
-
thirty, 29(11)252--262
-
Thiruvathukal, George K., 0(0)z--99999999
-
Thiruvathukal:1998:RRM, 0(0)z--99999999
-
Tho89, 0(0)339--347
-
Thoen, Filip, 30(11)60--69
-
Thoen:1995:SSR, 30(11)60--69
-
Thomas, 30(4)9--9
-
Thomas, Dave, 28(10)256--258, 29(10)145--152
-
Thomas, Dave, see Shan, Yen-Ping
-
Thomas, Dave A., 27(10)145--145
-
Thomas, Dave A., see DeNatale, Rick
-
Thomas, Edward J., 25(2)7--16
-
Thomas, Jeff, 30(1)37--44
-
Thomas, Jeff, see Copperman, Max
-
Thomas, Lovely S., 0(0)z--99999999
-
Thomas, Lovely S., see Thiruvathukal, George K.
-
Thomas, Reuben R., 32(2)22--25
-
Thomas:1990:BPS, 25(2)7--16
-
Thomas:1993:DPO, 28(10)256--258
-
Thomas:1997:IBF, 32(2)22--25
-
Thomborson, Clark, 0(0)184--196, 0(0)311--324
-
Thomborson, Clark, see Collberg, Christian
-
Thompson, Jim, 31(10)384--388, 31(10)384--z
-
Thompson, Jim, see Shan, Yen-Ping
-
Thomson, Dave, 30(10)140--140
-
Thomson, Dave, see McGregor, John D.
-
Thor, 29(10)341--354
-
thorough, 28(6)237--247, 29(6)49--60, 30(3)62--70
-
though, 0(0)186--197, 25(6)40--52, 25(6)102--111, 27(7)249--260,
27(9)248--259, 28(6)197--206, 29(6)24--35, 29(6)49--60,
29(6)218--229, 29(8)74--83, 29(11)61--73, 29(11)274--285,
30(4)13--20
-
thought, 25(6)78--84, 26(8)86--89, 30(11)125--133, 31(8)26--27,
33(12)25--31
-
thousand, 27(7)283--299
-
thread, 0(0)15--24, 0(0)113--123, 0(0)259--271, 0(0)379--392,
25(10)278--288, 27(7)44--54, 27(7)55--67, 27(9)223--233,
27(12)81--90, 28(7)73--82, 28(7)198--207, 28(7)239--248, 29(0)360,
29(6)24--35, 29(7)61--67, 29(11)328--337, 30(8)217--226,
31(6)42--49, 31(9)50--59, 31(9)60--71, 32(10)229--242,
33(11)127--138
-
thread, multi-, 29(11)328--337
-
threaded, 0(0)196--205, 26(4)164--175, 28(3)353--354, 30(8)189--198,
33(7)35--42, 34(8)49--59, 34(8)107--118
-
threaded, Direct-, 33(5)291--300
-
threaded, Multi-, 0(0)z--99999999
-
threaded, multi-, 0(0)355--364
-
threaded, single-, 0(0)15--24, 0(0)43--56
-
threaded, two-, 0(0)15--24
-
Threading, 25(2)17--24
-
Threading, Multi-, 30(1)45--z
-
threading, multi-, 30(1)45--52
-
threat, 27(8)87--88
-
threatening, 30(6)301--314
-
three, 0(0)13--24, 0(0)16--28, 0(0)206--219, 0(0)247--258, 0(0)293--304,
0(0)333--343, 0(0)334--344, 0(0)371--383, 0(0)472--492, 26(4)28--37,
27(7)22--31, 27(7)44--54, 27(7)200--211, 27(7)212--223, 28(6)13--25,
28(6)237--247, 28(7)33--43, 28(7)187--197, 28(7)198--207,
29(6)1--12, 29(6)186--195, 29(8)46--58, 29(11)61--73, 29(11)98--109,
29(11)286--296, 29(11)297--306, 30(3)83--93, 30(3)94--102,
30(4)29--35, 30(6)151--162, 30(8)68--79, 30(8)80--91, 30(11)50--59,
30(11)117--123
-
Three-Tier, 33(4)44--52
-
through, 0(0)37--48, 0(0)39--50, 0(0)60--69, 0(0)130--141, 0(0)211--222,
0(0)227--239, 0(0)247--258, 0(0)272--285, 0(0)333--343,
0(0)344--354, 0(0)379--392, 0(0)458--471, 0(0)472--492, 25(6)16--27,
25(6)272--282, 26(2)75--82, 27(7)12--21, 27(7)68--81, 27(9)248--259,
28(3)69--95, 28(3)231--270, 28(3)299--331, 28(3)343--344,
28(3)367--368, 28(6)56--67, 28(6)78--89, 28(6)90--99, 28(7)54--63,
28(7)83--91, 28(7)119--128, 28(7)187--197, 29(6)196--205,
29(6)290--301, 29(8)94--100, 29(8)119--128, 29(11)232--241,
29(11)263--272, 29(11)274--285, 29(11)286--296, 29(11)319--327,
29(12)112--113, 30(6)67--78, 30(6)196--204, 30(6)218--232,
30(8)48--57, 30(8)179--188, 30(11)31--40, 30(11)117--123,
30(11)146--155, 31(6)251--261, 33(5)249--257, 33(6)48--60,
33(7)11--18, 33(10)271--283, 34(5)229--241, 34(11)52--61
-
through, Pass-, 28(6)90--99
-
through, pass-, 28(6)90--99
-
throughout, 27(7)311--321, 28(3)299--331, 28(8)90--98
-
throughput, 29(11)2--11, 29(11)76--85, 30(8)134--143
-
thunks, 25(6)137--149
-
Thuraisingham, Bhavani, 28(10)304--304
-
Thuraisingham, Bhavani M., 28(10)304--304
-
Thuraisingham:1993:IOO, 28(10)304--304
-
Thuraisingham:1993:IOT, 28(10)304--304
-
thus, 0(0)13--24, 0(0)57--70, 0(0)95--106, 0(0)105--118, 0(0)163--173,
0(0)235--245, 0(0)272--285, 0(0)379--392, 0(0)446--457, 25(4)73--82,
25(6)102--111, 25(6)322--336, 27(7)44--54, 27(7)82--93, 28(3)69--95,
28(3)355--356, 28(3)361--362, 28(6)197--206, 28(6)237--247,
28(6)248--257, 28(6)290--299, 28(7)179--186, 29(6)36--48,
29(8)101--110, 29(11)328--337, 30(6)174--185, 30(8)19--28,
30(8)48--57, 33(7)19--26
-
Tian, Xin-Min, 32(7)124--135, 32(7)124--z
-
Tian, Xin-Min, see Sodan, Angela
-
Tibbets, John, 27(10)145--145, 31(10)384--z
-
Tibbets, John, see DeNatale, Rick,
see Shan, Yen-Ping
-
Tibetts, John, 31(10)384--388
-
Tibetts, John, see Shan, Yen-Ping
-
Tice, Caroline, 33(7)19--26
-
Tice:1998:ONA, 33(7)19--26
-
Tick, E., 25(3)31--39
-
Tick:1990:PTE, 25(3)31--39
-
tie, 28(3)347--348
-
tied, 27(7)162--174, 30(6)291--300
-
Tier, Three-, 33(4)44--52
-
tight, 0(0)71--82, 29(11)12--24
-
tightening, 0(0)421--434
-
tighter, 29(11)2--11, 30(11)1--6
-
tightly, 0(0)85--98
-
tightly-coupled, 27(9)111--122
-
TIL, 31(5)181--192
-
tile, 30(6)279--290
-
tiling, 0(0)160--173, 30(6)279--290, 32(7)37--47, 32(10)206--206,
34(5)215--228
-
TIM, 30(3)94--102
-
time'', Real-, 33(4)27--27
-
time'', real-, 0(0)113--123
-
Time, Binding-, 32(12)63--z
-
time, binding-, 0(0)137--143, 26(6)80--91, 32(12)63--73
-
time, branching-, 0(0)95--106
-
Time, Compile-, 28(1)36--39, 28(10)162--177, 29(6)73--84
-
time, Compile-, 0(0)130--141, 26(10)19--28, 28(7)239--248,
28(12)129--139, 30(6)116--129, 30(8)29--38, 30(8)144--155,
30(8)156--165, 32(1)110--114
-
time, compile-, 0(0)113--123, 0(0)123--137, 0(0)196--205,
0(0)397--408, 25(6)223--233, 25(6)272--282, 27(7)116--127,
27(9)238--247, 28(6)46--55, 28(7)139--148, 28(7)239--248,
29(6)73--84, 29(6)85--96, 29(6)290--301, 29(7)21--28, 29(9)105--114,
29(10)85--101, 29(11)232--241, 30(8)29--38, 30(8)144--155,
30(8)156--165
-
time, Constant-, 24(3)34--39
-
time, constant-, 24(3)34--39
-
time, Execution-, 30(11)146--155
-
time, execution-, 30(11)146--155
-
Time, Exponential-, 29(7)42--42
-
time, just-in-, 33(5)280--290
-
Time, Linear-, 30(8)102--111, 32(5)261--272
-
time, Linear-, 26(6)256--267, 30(8)102--111
-
time, linear-, 0(0)344--354, 29(6)171--185
-
time, Link-, 29(6)49--60, 30(6)103--115
-
time, link-, 29(0)360, 29(6)49--60, 29(6)196--205, 29(10)1--15,
30(6)103--115
-
time, polynomial-, 0(0)176--185, 0(0)247--258, 29(10)1--15
-
Time, Real-, 6(4)77--82, 6(4)203--208, 27(10)276--294,
27(10)315--326, 29(7)43--50, 30(0)iii--155, 30(11)41--49,
32(10)184--200, 32(11)15--16, 34(7)55--64, 34(7)73--79, 34(7)80--86
-
time, Real-, 25(3)79--88, 28(3)353--354, 28(6)166--176,
28(6)217--226, 29(8)22--34, 29(11)76--85, 30(11)7--19, 30(11)31--40,
30(11)41--49, 30(11)50--59, 30(11)60--69, 30(11)70--78,
30(11)79--87, 30(11)88--98, 30(11)99--107, 30(11)108--116,
30(11)117--123, 30(11)125--133, 30(11)134--145, 30(11)146--155,
32(9)39--46, 34(3)118--129, 34(3)130--137, 34(7)65--72
-
time, real-, 0(0)13--16, 0(0)31--34, 0(0)37--44, 0(0)138--150,
0(0)269--280, 0(0)353--366, 25(3)147--155, 25(4)20--32,
25(5)124--134, 25(10)289--298, 27(3)66--70, 28(3)299--331,
28(3)343--344, 28(3)353--354, 28(6)166--176, 29(7)43--50,
29(8)22--34, 29(9)38--43, 29(9)149--158, 29(10)85--101,
29(10)301--301, 29(10)453--467, 29(11)76--85, 29(12)11--17,
30(3)83--93, 30(11)7--19, 30(11)20--30, 30(11)31--40, 30(11)41--49,
30(11)50--59, 30(11)60--69, 30(11)70--78, 30(11)79--87,
30(11)88--98, 30(11)108--116, 30(11)117--123, 30(11)124--124,
30(11)125--133, 30(11)134--145, 30(11)146--155, 33(7)67--74,
34(3)118--129, 34(3)130--137, 34(7)65--72, 34(7)73--79,
34(12)67--71
-
Time, Run-, 28(10)162--177, 29(6)326--336, 31(5)137--148,
31(9)186--197, 31(10)406--z, 32(12)163--z, 33(1)14--14,
34(5)281--292
-
time, Run-, 26(6)145--156, 28(3)347--348, 28(6)13--25,
28(7)139--148, 29(6)61--72, 30(6)79--92, 30(6)93--102, 30(8)68--79,
30(8)102--111, 33(5)224--235, 33(10)201--215, 34(5)293--304
-
time, run-, 0(0)25--36, 0(0)130--141, 0(0)145--156,
0(0)188--201, 0(0)198--208, 0(0)355--366, 0(0)371--383, 25(4)20--32,
25(6)150--164, 26(6)145--156, 27(7)116--127, 27(7)224--234,
28(3)347--348, 28(6)13--25, 28(6)46--55, 29(6)36--48, 29(6)61--72,
29(6)290--301, 29(6)313--325, 29(6)326--336, 29(9)135--139,
29(10)85--101, 29(11)25--35, 29(11)110--119, 29(11)122--131,
30(6)79--92, 30(6)93--102, 30(6)218--232, 30(8)68--79,
30(8)102--111, 31(10)406--420, 31(11)49--55, 32(12)163--178,
34(3)146--153, 34(5)293--304, 34(8)107--118
-
time, running-, 0(0)393--407
-
Time, Space-, 33(11)46--57
-
time, Space-, 34(8)183--192
-
Time-and-Distributed, Real-, 29(10)301--301
-
time-and-distributed, real-, 29(10)301--316
-
time-constrained, 28(6)166--176
-
time-consuming, 27(7)82--93, 28(6)300--313, 29(6)196--205,
30(6)291--300
-
time-critical, 0(0)270--280
-
Time-dependent, 28(3)369--370
-
time-efficient, 0(0)309--321, 34(10)256--275
-
time-optimal, 0(0)29--42
-
time-outs, 0(0)272--285
-
time-shared, 28(3)69--95
-
time-slicing, 29(11)12--24
-
time-triggered, 30(11)108--116
-
Timeash, Compile-, 31(9)186--197
-
timed, 0(0)272--285, 0(0)311--325, 26(6)204--218, 30(11)79--87
-
timestamps, 28(12)43--52
-
Timethread-Role, 29(10)301--301
-
timethread-role, 29(10)301--301, 29(10)301--316
-
timing, 0(0)311--325, 25(6)78--84, 25(10)289--298, 28(6)166--176,
28(6)207--216, 30(11)41--49, 30(11)50--59, 30(11)60--69,
30(11)70--78, 30(11)79--87, 30(11)99--107, 30(11)134--145
-
Timmerman, M., 28(12)151--157
-
Timmerman:1993:HLT, 28(12)151--157
-
Tin, E., 30(1)27--z
-
Tin, Erkan, 30(1)27--36
-
Tin:1995:TSO, 30(1)27--36
-
Tin:1995:TSP, 30(1)27--z
-
Ting, T. C., 28(10)305--305
-
Ting:1993:MSR, 28(10)305--305
-
tiny, 28(3)201--208
-
Tip, Frank, 0(0)119--132, 0(0)379--392, 31(10)179--197, 32(10)271--285,
33(5)324--332, 34(10)292--305
-
Tip, Frank, see Field, John,
see Ramalingam, G.,
see Sweeney, Peter F.
-
Tip:1996:SCH, 31(10)179--197
-
Tip:1997:CHS, 32(10)271--285
-
Tip:1999:PEA, 34(10)292--305
-
tips, 31(1)6--8, 31(4)4--10, 31(7)12--16, 33(1)z--99999999
-
Tirumalai, P. P., 27(7)283--299
-
Tirumalai, P. P., see Rau, B. R.
-
Titanium, 0(0)z--99999999
-
Title, 28(10)448--448, 32(10)346--346, 33(10)422--422
-
Tiwary, Ashutosh, 6(4)191--195, 33(10)412--416
-
Tiwary, Ashutosh, see Lea, Doug
-
Tiwary:1995:BLD, 6(4)191--195
-
Tjiang, Steve, 30(6)186--195, 30(11)124--124
-
Tjiang, Steve, see Gerber, Rich,
see Liao, Stan
-
Tjiang, Steve W. K., 29(12)31--37
-
Tjiang, Steve W. K., see Wilson, Robert P.
-
Tjiang, Steven W. K., 27(7)82--93
-
Tjiang:1992:STB, 27(7)82--93
-
Tkach, Daniel S., 28(10)437--447
-
Tkach, Daniel S., see Champeaux, Dennis de
-
TkGofer, 32(8)251--262
-
TLB, 29(11)12--24, 29(11)132--144, 29(11)171--182
-
TLB-Refill, 33(11)295--306
-
TLBs, 29(11)171--182
-
TM, 26(1)124--132
-
TMS320C6x, 34(7)28--34
-
To, Hing Wing, 30(8)19--28
-
To, Hing Wing, see Darlington, John
-
to, Points-, 0(0)32--41, 29(6)242--256
-
to, points-, 0(0)1--14, 29(6)242--256, 30(3)62--70, 30(6)13--22
-
to-date, up-, 28(6)217--226
-
to-end, end-, 29(10)301--301, 29(11)51--60
-
to-Forth, C-, 0(0)17--18
-
to-left, right-, 0(0)124--136
-
to-Release, ``Release-, 30(10)426--438
-
to-release, Release-, 30(10)426--438
-
to-Right, Left-, 33(1)40--47
-
to-right, left-, 0(0)124--136, 0(0)240--253
-
To-Source, Source-, 30(12)51--58
-
to-source, Source-, 28(6)237--247
-
to-source, source-, 25(6)53--65, 28(6)237--247
-
to-use, easy-, 29(1)27--36
-
Toaster, 33(4)21--25
-
TOBEY, 30(0)0--0, 30(3)71--82
-
T{\ocirc{u}}ma, Petr, 31(10)150--167,
see Kleindienst, Jan
-
today, 0(0)2--15, 28(3)201--208, 29(6)61--72, 30(6)79--92
-
Todesco, G. M., 27(11)39--48
-
Todesco, G. M., see Cabasino, S.
-
Toeroe, Maria, 0(0)z--99999999
-
Toeroe, Maria, see Zhu, Jinsong
-
Tofte, 0(0)213--226, 30(6)174--185
-
Tofte, Mads, 0(0)1--14, 0(0)171--183, 0(0)188--201, 0(0)189--199,
34(3)186--195
-
Tofte, Mads, see Birkedal, Lars,
see Eidorff, Peter Harry
-
Tofte:1992:PSH, 0(0)189--199
-
Tofte:1994:ITC, 0(0)188--201
-
Tofte:1999:BIR, 34(3)186--195
-
Tofte/Talpin, 30(6)174--185
-
together, 0(0)15--26, 0(0)39--50, 0(0)95--104, 0(0)124--136,
0(0)137--143, 0(0)166--176, 0(0)174--187, 23(12)728--729,
25(6)165--173, 28(3)363--364, 28(6)26--35, 28(7)129--138,
29(6)36--48, 29(11)274--285, 29(11)328--337, 30(3)13--22,
30(3)83--93, 30(8)112--122, 30(11)60--69, 31(4)20--27,
31(5)108--116
-
Tohme, Fernando, 26(3)35--44
-
Tohme, Fernando, see Delrieux, Claudio
-
token, 0(0)85--94, 28(6)156--165, 33(12)20--24
-
Tokoro, Mario, 27(10)276--294, 27(10)315--326, 30(10)385--398,
32(10)162--162
-
Tokoro, Mario, see Itoh, Jun-ichiro,
see Satoh, Ichiro,
see Takashio, Kazunori
-
Tokoro:1997:SAN, 32(10)162--162
-
Tokuda, Hideyuki, 25(10)289--298
-
Tokuda, Hideyuki, see Ishikawa, Yutaka
-
tolerance, 29(9)17--21, 29(11)51--60
-
Tolerance**, Fault-, 31(9)74--83
-
tolerance, Fault-, 31(9)74--83
-
tolerance, fault-, 29(11)51--60
-
tolerant, 29(10)113--128, 29(12)87--93
-
tolerant, fault-, 0(0)39--50, 29(12)87--93
-
tolerate, 0(0)39--50, 29(11)328--337, 30(6)151--162
-
Tolmach, Andrew, 0(0)49--61, 34(1)13--26
-
Tolmach, Andrew, see Jones, Simon Peyton,
see Visser, Eelco
-
Tolmach, Andrew P., 26(12)120--131, 28(7)198--207
-
Tolmach, Andrew P., see Morrisett, J. Gregory
-
Tolmach:1991:DCE, 26(12)120--131
-
Tomlinson, A., 28(12)xiii--z, 28(12)xviii--z
-
Tomlinson, A., see Cargille, J.,
see Recd, Dan
-
Tomlinson, Alexander I., 28(12)21--31
-
Tomlinson:1993:DRG, 28(12)21--31
-
Tomoda, Ichiro, 28(2)45--52
-
Tomoda, Ichiro, see Trehan, Rajiv
-
tomography, 27(7)200--211, 28(6)100--111
-
Tomoyoshi, Sugawara, 34(7)65--72
-
Tomoyoshi:1999:TBQ, 34(7)65--72
-
too, 0(0)51--58, 0(0)123--137, 0(0)311--325, 25(6)102--111,
25(6)112--126, 27(9)285--295, 29(11)25--35, 29(11)208--218,
30(6)279--290, 33(7)27--34, 34(9)8--8
-
took, 28(3)69--95
-
tool-specific, 29(6)196--205
-
Toolbox, 29(9)77--80, 31(1)6--8, 31(4)4--10, 31(7)12--16, 31(8)10--15,
32(11)17--z, 33(1)22--29, 33(2)18--24
-
toolkit, 6(4)61--66, 26(11)314--328, 28(10)192--200, 28(10)309--325,
33(2)18--24
-
Toolmaker, 32(1)120--121
-
Toonen, Brian R., 32(7)193--205
-
Toonen, Brian R., see Zhou, Yuanyuan
-
TOOPL, 0(0)285--298
-
top, 25(6)16--27, 27(6)72--75, 29(3)12--17, 32(8)308--308
-
top-down, 25(8)37--42, 26(3)79--87, 29(4)23--30
-
top-level, 28(3)355--356
-
top-of-stack, 30(6)315--327
-
topics, 0(0)viii--492, 25(6)197--208, 27(0)viii--352, 29(9)149--158,
30(0)iii--155, 30(0)viii--226, 30(0)8--327, 30(8)80--91
-
topological, 28(12)12--20
-
topology, 0(0)84--97, 33(11)240--250
-
Torchiano, Marco, 31(11)49--55
-
Torchiano, Marco, see Agarwal, Rakesh
-
Torczon, 28(6)90--99
-
Torczon, Linda, 27(7)311--321, 28(6)90--99
-
Torczon, Linda, see Briggs, Preston,
see Grove, Dan
-
Torgerson, 30(4)9--9
-
Toronto, 26(0)viii--356, 30(3)71--82
-
Torrellas, Josep, 27(9)162--174
-
Torrellas:1992:CCS, 27(9)162--174
-
total, 0(0)71--82, 0(0)221--232, 0(0)306--319, 25(6)85--91, 27(7)22--31,
27(7)200--211, 27(7)273--282, 27(7)322--330, 28(6)177--186,
29(11)242--251, 30(6)56--66, 30(6)103--115, 30(8)123--133
-
total-correctness, 0(0)221--232
-
totally, 27(7)1--11, 27(12)20--27
-
touch, 0(0)209--220
-
touched, 29(6)121--134
-
tour, 31(12)29--32
-
toward, 0(0)74--84, 0(0)109--124, 0(0)119--129, 0(0)z--99999999,
25(2)25--34, 25(10)322--330, 26(3)35--44, 26(9)43--51,
26(9)309--320, 26(11)197--211, 27(7)128--139, 27(9)248--259,
28(3)299--331, 28(3)343--344, 28(7)1--12, 28(8)46--52,
28(10)374--375, 29(4)49--57, 29(6)61--72, 30(1)27--36, 30(1)27--z,
30(10)316--330, 31(1)44--50, 31(4)43--44, 31(6)239--250,
32(4)16--18, 33(1)48--55, 33(10)388--411, 34(9)70--81,
34(10)325--339, 34(11)2--11
-
tower, 34(4)17--18
-
TPC-A, 29(11)86--97
-
Tps, 32(4)27--31
-
trace, 0(0)59--70, 28(3)231--270, 29(6)313--325, 29(11)132--144,
29(11)145--156, 30(6)151--162
-
Trace-and-Replay, 26(12)26--35
-
trace-and-replay, 29(6)313--325
-
trace-based, 0(0)195--207, 27(9)248--259
-
trace-driven, 0(0)59--70, 28(6)177--186, 29(11)98--109, 29(11)132--144,
29(11)158--170
-
traced, 28(3)271--297
-
tracing, 0(0)59--70, 0(0)333--343, 25(6)78--84, 26(6)317--326,
26(6)327--337, 27(7)273--282, 28(12)1--11, 29(0)360, 29(6)196--205,
29(6)313--325, 34(3)20--25, 34(4)46--53, 34(9)36--47
-
track, 0(0)235--245, 29(8)59--73, 30(6)67--78, 30(6)315--327,
34(6)14--14
-
tracked, 0(0)130--141
-
tracking, 0(0)379--392, 27(7)1--11, 32(7)206--216
-
tractable, 29(8)35--45, 30(9)41--50
-
Tracz, Will, 30(10)281--282
-
Tracz, Will, see Griss, Martin
-
trade, 0(0)154--163, 0(0)232--245
-
Trade-Offs, 33(11)105--114
-
traded, 29(8)94--100
-
trademark, 28(3)299--331
-
tradeoffs, 0(0)379--392, 0(0)393--407, 28(7)13--22, 32(7)90--99
-
trading, 25(6)322--336, 28(6)248--257
-
tradition, 28(3)349--350, 28(6)147--155
-
traditional, 0(0)2--15, 0(0)130--141, 0(0)232--245, 0(0)240--253,
0(0)247--258, 0(0)311--321, 0(0)344--354, 0(0)379--392,
0(0)439--450, 27(7)12--21, 28(3)177--199, 28(6)68--77,
28(6)100--111, 28(6)139--146, 28(6)278--289, 29(1)53--53,
29(6)206--217, 29(6)302--312, 29(6)349--360, 29(11)2--11,
29(11)12--24, 29(11)76--85, 29(11)319--327, 30(6)151--162,
30(6)258--269, 30(8)217--226, 30(11)1--6, 30(11)60--69,
30(11)70--78
-
traditionally, 24(3)34--39, 28(6)68--77, 29(8)35--45
-
traffic, 29(6)121--134
-
trailed, 29(6)349--360
-
trailing, 29(6)349--360, 31(5)108--116
-
training, 29(2)44--48, 29(3)18--22, 29(4)15--22, 29(5)37--40,
29(10)46--50, 29(10)51--64
-
Traister, 30(4)8--8
-
Trampolined, 34(9)18--27
-
transaction, 6(4)111--116, 26(11)230--246, 27(9)274--284,
29(10)388--402, 29(11)86--97, 29(11)274--285, 33(11)307--318,
34(9)48--59
-
TransBase, 26(8)60--69
-
transfer, 25(6)78--84, 27(9)285--295, 28(6)147--155, 28(7)139--148,
28(10)437--447, 29(9)125--134, 29(11)2--11, 29(11)38--50,
29(11)86--97, 29(11)219--229, 30(6)1--12, 30(8)39--47, 30(8)68--79,
30(8)217--226, 33(11)159--169, 34(10)276--291, 34(11)94--103
-
TRANSFER-LEVEL, REGISTER-, 26(6)229--240, 31(9)26--36,
31(9)116--127, 32(5)308--319, 33(11)262--271
-
transfer-which, 30(8)68--79
-
transferred, 30(6)218--232
-
transfers, message-, 29(11)38--50
-
transform, 0(0)201--214, 0(0)202--212, 0(0)213--226, 0(0)291--302,
0(0)297--310, 27(7)32--43, 27(9)274--284, 28(6)166--176,
28(6)290--299, 28(7)83--91, 29(6)186--195, 30(8)179--188,
33(7)1--10, 34(5)169--180
-
transformation, code-, 29(11)232--241
-
transformational, 28(7)119--128
-
transformed, 0(0)221--232, 29(11)242--251, 29(11)252--262,
30(6)218--232, 33(7)19--26
-
transformers, 0(0)83--94, 0(0)333--343, 30(12)32--36
-
transforming, 0(0)49--61, 27(7)106--115, 28(7)119--128, 32(12)90--106,
32(12)90--z
-
transient, 30(11)7--19
-
transistors, 0(0)272--285
-
transition, 0(0)130--141, 26(11)355--358, 28(7)169--178, 30(11)79--87,
31(3)14--21
-
transition, State-, 30(11)70--78
-
transition, state-, 30(11)70--78
-
transitional, 0(0)119--129
-
transitive, 0(0)232--245
-
translate, 0(0)99--112, 0(0)130--141, 0(0)154--165, 28(6)126--138,
28(6)166--176
-
translated, 0(0)99--112, 0(0)154--165, 0(0)371--383, 25(7)59--62,
30(11)79--87
-
translating, 0(0)146--159, 31(2)21--26
-
translation, 0(0)25--36, 0(0)85--98, 0(0)166--176, 0(0)188--201,
0(0)223--234, 0(0)245--254, 0(0)313--324, 25(5)69--81,
25(6)257--271, 25(6)337--351, 27(9)137--148, 27(9)213--222,
28(6)237--247, 28(7)112--118, 29(1)53--53, 29(6)1--12,
29(6)266--277, 29(10)403--413, 29(11)171--182, 29(11)319--327,
30(3)71--82, 30(3)94--102, 30(6)291--300, 30(11)79--87,
31(10)441--443, 31(10)441--z, 32(5)1--6, 33(11)193--204,
34(9)148--159
-
translator, 0(0)79--92, 0(0)223--234, 0(0)245--254, 0(0)322--332,
0(0)389--396, 25(6)197--208, 25(6)209--222, 27(2)75--87,
27(9)213--222, 28(3)347--348, 28(6)187--196, 29(6)290--301,
31(2)27--34, 31(4)28--31, 33(5)291--300, 33(11)151--158
-
translator-writing, 0(0)223--234
-
translator/interpreter, 0(0)322--332
-
transliterate, 28(3)361--362
-
transmission, 28(6)90--99, 29(11)51--60
-
transparency, 0(0)142--153, 29(4)23--30, 29(8)94--100, 29(9)22--28
-
transparent, 0(0)99--112, 0(0)123--137, 0(0)142--153, 0(0)154--163,
27(7)1--11, 28(7)54--63, 30(8)68--79, 30(11)41--49, 34(8)96--106,
34(9)220--232
-
transparent, network-, 29(9)105--114
-
transparently, 0(0)223--234, 26(7)83--93
-
Transport, 30(10)73--87
-
transportable, 32(4)27--31
-
transposition, 0(0)16--28
-
transputer, 29(5)17--26, 30(11)134--145
-
trap-based, 0(0)15--24
-
trap-driven, 29(11)132--144
-
traps, 0(0)15--24, 29(11)132--144
-
Traub, Omri, 33(5)142--151
-
Traub:1998:QSL, 33(5)142--151
-
Traunmüller, Karl, 30(9)25--32
-
Traunmuller:1995:CPS, 30(9)25--32
-
Trauter, Roland, 6(4)180--185
-
Trauter, Roland, see Taivalsaari, Antero
-
Travassos, Guilherme, 34(10)47--56
-
Travassos:1999:DDO, 34(10)47--56
-
Traveling, 33(8)51--56
-
traversal, 0(0)361--374, 29(12)94--103, 32(8)164--175, 34(10)70--81
-
traverse, 30(6)47--55
-
traversing, 0(0)196--205
-
treadmill, 27(3)66--70
-
Treadway, Peter L., 25(5)103--116
-
Treadway:1990:USA, 25(5)103--116
-
treat, 25(6)1--8, 28(6)197--206, 28(6)237--247, 28(8)90--98, 29(6)61--72,
30(6)13--22, 30(6)246--257
-
treated, 0(0)123--137, 27(12)20--27
-
Treating, 25(1)29--32, 25(8)24--26, 27(8)83--86, 29(9)64--67
-
treatment, 0(0)200--210, 0(0)313--324, 0(0)393--407, 28(3)149--175
-
Treatments, 28(12)169--186
-
tree, 0(0)1--15, 0(0)2--15, 0(0)16--28, 0(0)55--66, 0(0)59--70,
0(0)62--73, 0(0)104--118, 0(0)196--205, 0(0)211--222, 0(0)287--296,
0(0)293--304, 0(0)328--342, 0(0)345--358, 0(0)361--374,
0(0)375--388, 25(4)51--58, 25(6)9--15, 25(6)296--310, 26(6)177--191,
26(6)192--203, 27(4)68--76, 27(7)82--93, 27(7)331--340,
28(3)363--364, 28(3)367--368, 28(6)126--138, 28(6)156--165,
29(0)360, 29(6)135--146, 29(6)171--185, 29(6)218--229,
29(6)337--348, 29(8)59--73, 29(9)51--55, 29(12)94--103, 30(0)0--0,
30(3)1--12, 30(6)32--46, 30(6)47--55, 30(6)163--173, 30(6)246--257,
30(8)29--38, 30(10)251--264, 31(1)28--31, 31(5)54--67,
31(9)222--233, 32(5)85--96, 33(9)87--94, 34(1)204--215, 34(4)19--24
-
tree-generating, 0(0)375--388
-
Trehan, Rajiv, 28(2)45--52
-
Trehan:1993:COO, 28(2)45--52
-
trellis, 25(3)147--155, 27(10)91--91
-
trend, 27(7)1--11, 27(9)248--259, 29(11)308--318, 30(3)62--70,
30(11)20--30, 31(1)2--3, 34(5)z--99999999
-
trial, 25(6)85--91
-
trial-and-error, 28(8)90--98
-
triangle, 27(7)331--340
-
Tribute, 33(8)28--31
-
trie, 0(0)176--185, 0(0)247--258, 30(11)60--69
-
Trifonov, Valery, 29(10)16--30, 30(10)169--184, 34(9)183--196
-
Trifonov, Valery, see Eifrig, Jonathan,
see League, Christopher
-
triggered, Time-, 30(11)108--116
-
triggered, time-, 30(11)108--116
-
trimming, 27(7)331--340
-
Trinder, P. W., 31(5)79--88
-
Trinder:1996:GPP, 31(5)79--88
-
Trip, 26(5)37--42
-
trip, zero-, 29(6)107--120
-
triple, 0(0)322--332
-
trivial, 0(0)39--50, 27(7)212--223, 29(11)286--296
-
trivial, non-, 0(0)206--219, 29(6)290--301, 34(11)34--43
-
Trono, John A., 30(4)29--35
-
Trono:1995:CTS, 17(9)18--27, 23(1)17--19, 30(4)29--35
-
Trott, Peter, 32(1)14--57
-
Trott:1997:PLP, 32(1)14--57
-
TRPC, 30(8)217--226
-
TRS, 34(9)8--8
-
true, 25(5)95--102, 25(6)209--222, 25(6)296--310, 26(1)121--123,
26(6)219--228, 28(3)97--132, 29(11)25--35
-
truly, 30(8)1--10
-
truly-live, 0(0)49--61
-
Trust, 0(0)93--104
-
trusting, non-, 29(11)319--327
-
truth, 27(10)41--44
-
try, 25(6)296--310
-
trying, 28(3)69--95
-
Tse, 27(2)10--11
-
Tseng, Chau--Wen, 29(11)252--262
-
Tseng, Chau--Wen, see Carr, Steve
-
Tseng, Chau-Wen, 26(6)15--29, 29(12)31--37, 30(8)144--155, 33(5)38--49
-
Tseng, Chau-Wen, see Goff, Gina,
see Rivera, Gabriel,
see Wilson, Robert P.
-
Tseng, Ping-Sheng, 25(6)311--321
-
Tseng:1990:CPL, 25(6)311--321
-
Tseng:1995:COE, 30(8)144--155
-
TSM, 30(8)68--79
-
Tu, Peng, 28(1)64--67, 30(6)47--55, 32(5)273--286, 33(5)26--37
-
Tu, Peng, see Chow, Fred, \see{Lo, Raymond
-
Tu:1993:APS, 28(1)64--67
-
Tu:1995:EBP, 30(6)47--55
-
Tunable, 27(10)452--465
-
tune, 0(0)246--259, 29(11)122--131
-
tuned, 29(11)61--73, 30(11)41--49
-
Tuning, 6(4)50--55
-
Tuovinen, Antti-Pekka, 31(2)21--26
-
Tuovinen:1996:TSD, 31(2)21--26
-
tuple-based, 33(7)51--58
-
tuples, 0(0)130--141, 33(10)374--387
-
tuplespace, 29(3)12--17
-
Tupling, 32(8)164--175
-
Turbak, Franklyn, 31(6)157--168, 32(8)11--24
-
Turbak, Franklyn, see Dimock, Allyn
-
Turbak, Franklyn A., 34(9)90--101
-
Turbak, Franklyn A., see Kfoury, Assaf J.
-
Turbak:1996:FCS, 31(6)157--168
-
Turing, 0(0)305--315, 27(12)28--28, 29(7)42--42
-
turn, 0(0)25--34, 0(0)344--354, 27(7)116--127, 28(3)299--331,
29(6)206--217
-
turnaround, 30(11)41--49
-
Turner, David N., 0(0)119--129, 0(0)252--265, 0(0)299--312,
0(0)358--371
-
Turner, David N., see Berry, Dave,
see Kobayashi, Naoki,
see Pierce, Benjamin C.
-
turning, 0(0)397--408
-
Turtle, 26(2)75--82
-
tutorial, 0(0)493--501, 29(9)91--104
-
Tversky, 27(12)20--27
-
Twentieth, 0(0)viii--510
-
twenty-year, 25(6)112--126
-
twice, 25(6)9--15
-
two, level-, 29(11)145--156
-
two-counter, 0(0)305--315
-
two-direction, 25(6)85--91
-
Two-directional, 25(6)85--91
-
two-fold, 29(11)12--24
-
two-generation, 0(0)113--123
-
Two-Level, 26(4)200--211, 28(5)9--18
-
Two-level, 28(8)43--45
-
two-stage, 0(0)213--226
-
two-threaded, 0(0)15--24
-
Two-valued, 25(8)75--79
-
two-way, 29(11)158--170, 30(6)196--204
-
twofold, 0(0)202--212
-
TX, 0(0)viii--324
-
typability, 0(0)293--304, 0(0)382--401, 34(9)90--101
-
typable, 0(0)176--185
-
type, Data-, 28(6)139--146
-
type, data-, 28(6)139--146
-
type, formulae-as-, 0(0)47--58
-
type, sub-, 0(0)419--428
-
type-analysis, 0(0)130--141
-
type-assignment, 0(0)200--210
-
Type-Based, 33(5)106--117, 34(9)148--159
-
type-based, 0(0)276--290, 30(6)116--129, 32(8)1--10, 34(10)97--113,
34(11)84--93
-
type-based, non-, 30(6)116--129
-
type-check, 0(0)439--450
-
type-checked, 29(10)31--45
-
type-checking, 0(0)166--176, 0(0)285--298, 29(10)16--30
-
type-dependent, 25(6)127--136, 29(6)326--336
-
Type-Directed, 31(5)181--192, 32(12)22--z, 34(1)1--12
-
type-directed, 0(0)242--257, 30(6)116--129, 32(12)22--35, 34(9)160--171,
34(11)22--32
-
Type-driven, 32(8)25--37, 32(8)25--z
-
Type-Erasure, 34(1)301--312
-
type-inference, 0(0)200--210
-
Type-Precision, 33(5)269--279
-
type-preserving, 0(0)206--219
-
type-safe, 0(0)250--261, 26(8)74--79, 29(6)13--23
-
type-safe-definitely, 0(0)161--170
-
type-specific, 25(3)168--176
-
Type-Theoretic, 29(10)31--45
-
type-theoretic, 0(0)123--137, 29(10)31--45
-
typechecking, 28(10)215--230, 29(10)1--15
-
typed, 0(0)viii--510, 0(0)35--47, 0(0)57--70, 0(0)85--97, 0(0)109--124,
0(0)154--165, 0(0)163--173, 0(0)166--176, 0(0)174--187,
0(0)185--195, 0(0)188--201, 0(0)213--226, 0(0)254--267,
0(0)258--268, 0(0)262--275, 0(0)271--283, 0(0)279--290,
0(0)328--342, 0(0)378--390, 0(0)391--403, 0(0)409--420,
0(0)458--471, 25(6)127--136, 26(6)165--176, 26(9)142--153,
27(7)273--282, 27(10)91--91, 28(3)351--352, 28(3)359--360,
28(6)139--146, 28(10)231--239, 29(9)105--114, 29(10)191--204,
30(6)116--129, 32(8)11--24, 34(1)141--152, 34(1)313--323,
34(9)183--196
-
typed, dynamically-, 25(0)viii--351, 25(6)150--164,
29(10)355--370
-
typed, simply-, 0(0)185--195
-
Typed, Statically-, 31(10)292--305
-
typed, statically-, 0(0)285--298, 0(0)439--450, 29(6)326--336
-
typed, strongly-, 29(1)20--26
-
typed, well-, 0(0)206--219, 0(0)285--298, 0(0)429--438,
25(6)165--173
-
typedness, well-, 0(0)281--292, 25(6)165--173
-
typeless, 28(3)201--208, 29(6)290--301
-
types, media-, 29(10)85--101
-
types-sets, 28(3)359--360
-
typical, 25(6)66--77, 28(3)361--362, 28(6)237--247, 29(8)94--100,
29(11)51--60
-
typically, 0(0)95--104, 0(0)157--170, 25(6)189--196, 26(4)290--301,
27(7)116--127, 28(6)197--206, 28(7)187--197, 29(6)206--217,
29(6)290--301, 29(11)2--11, 29(11)252--262, 29(11)263--272,
30(3)62--70, 30(3)71--82, 30(6)186--195, 30(8)217--226,
30(11)88--98
-
typing, 0(0)35--47, 0(0)42--53, 0(0)93--104, 0(0)130--141, 0(0)163--173,
0(0)166--176, 0(0)176--185, 0(0)177--188, 0(0)206--219,
0(0)220--231, 0(0)266--278, 0(0)278--291, 0(0)285--298,
0(0)289--302, 0(0)292--301, 0(0)299--312, 0(0)367--381,
0(0)409--418, 0(0)465--478, 6(4)20--29, 25(10)140--150,
26(6)278--292, 27(5)z--z, 27(6)54--63, 27(10)87--87, 27(10)88--88,
27(10)89--90, 28(10)201--214, 29(7)15--20, 29(8)22--34,
29(10)153--163, 34(1)51--62, 34(1)340--340
-
Typographical, 28(2)61--68
-
Tyson, Kevin, 6(4)111--116, 32(10)301--303
-
Tyson, Kevin, see Hill, Laura,
see Kilov, Haim
-
Tzartzanis, Nestoras, 26(4)15--27
-
Tzartzanis, Nestoras, see Katevenis, Manolis