Index file section T for sigada.bib

Last update: Thu Jun 29 04:02:20 MDT 2023

Return to index directory

T

t, 35(2)14--14
T'Mod, 29(1)33--34
T-SMART, 17(5)45--50
T1000, 27(3)79--82
table, 10(2)52--63, 26(1)25--30, 27(2)15--17
tabulated, 10(3)146--210
tabulation, 10(3)146--210
tackle, 27(3)5--6, 27(3)51--58
tactical, 4(5)45--48, 13(4)49--62
Taffs, D. A., 5(2)355--366
Taffs, M. W., 5(2)355--366
Taffs, M. W., see Taffs, D. A.
Taffs:1985:ACG, 5(2)355--366
Taft, 10(6)110--113, 10(9)75--84, 34(3)3--4
Taft, S. T., 0(0)261--265, 40(1)74--78
Taft, S. T., see Naks, T.
Taft, S. Tucker, 0(0)190--198, 19(3)225--226, 21(3)31--32, 21(4)79--80, 21(4)97--98, 30(2)27--52, 31(3)11--12, 32(3)13--14, 32(3)103--104, 33(3)1--2, 33(3)37--40, 34(3)3--4, 34(3)87--96, 34(3)105--106, 35(1)46--58, 36(2)54--57, 40(2)51--54, 40(2)55--58, 42(1)79, 42(1)80, 42(2)69--74
Taft, S. Tucker, see Barnes, John, see Beringer, Lennart, see Bocchino, Robert, \see{Burns, Alan, see Chard, Kyle, \see{Hart, Hal, see Kownacki, Ron, see Pinho, Luís Miguel
Taft, Tucker, 11(3)19--27, 11(3)19--z, 17(1)21--24, 26(3)75--75, 29(3)127--132, 31(3)35--36, 36(1)9--24, 36(1)25--28, 39(1)83--99, 40(2)48--50
Taft, Tucker, see Klemm, Michael, see Michell, Stephen, see Rosen, Jean-Pierre
Taft:1982:DIR, 0(0)261--265
Taft:1991:BDT, 11(3)19--z
Taft:1991:SWG, 11(3)19--27
Taft:1997:SRN, 17(1)21--24
Taft:2001:EES, 21(3)31--32
Taft:2001:KAF, 21(4)97--98
Taft:2001:UAC, 21(4)79--80
Taft:2006:WYS, 26(3)75--75
Taft:2011:EPP, 31(3)11--12
Taft:2012:TMP, 32(3)13--14
Taft:2013:BSD, 33(3)37--40
Taft:2013:TPS, 33(3)1--2
Taft:2014:SPP, 34(3)87--96
Taft:2016:BTM, 36(2)54--57
Taft:2016:RPC, 36(1)9--24
Taft:2020:SFV, 39(1)83--99
Taft:2021:LMA, 40(2)55--58
Taft:2022:DPM, 42(1)79
Taft:2022:RPM, 42(2)69--74
Taft:2022:WSS, 42(1)80
tag, 29(3)5--6
tag-mismatch, 28(1)48--51
tagged, 16(4)57--72, 17(6)70--77, 17(6)78--90, 28(1)41--44, 29(2)50--52, 33(2)97--108
Taghia, Jalil, 42(2)92--95
Taghia, Jalil, see John, Wolfgang
Tahr, 37(2)59--67
Tai, Kuo-Chung, 6(1)94--103
Tai:1986:GND, 6(1)94--103
tailor, 14(1)50--60
tailored, 0(0)119--123, 7(6)13--14, 36(2)9--17
Tailoring, 18(6)165--174
tainted, 31(2)36--39, 31(2)40--43
TAI/UTC, 38(1)55--57
take, 13(6)133--161, 17(3)17--29, 26(3)3--8, 26(3)71--74, 27(3)89--96, 29(1)69--69, 29(2)43--45, 31(3)5--6, 31(3)19--26, 32(3)73--80, 33(3)3--4, 34(3)103--104, 35(1)38--45, 36(1)51--62, 36(1)68--76, 36(2)39--46, 36(2)58--59, 37(2)27--29, 37(2)32--33, 37(2)37--39, 41(1)87--91
taken, 17(1)54--68, 27(3)8--8, 29(3)105--114, 33(3)43--46, 36(1)51--62, 36(1)68--76
taking, 0(0)367--375, 29(3)9--10, 35(1)74--79, 36(2)9--17, 40(1)60--63
talk, 31(3)37--38, 32(3)23--24, 32(3)25--26, 33(3)49--50, 33(3)85--86, 34(3)13--16, 34(3)69--70, 42(1)79, 42(1)80
talking, 29(3)19--20
tall, 37(1)26--30
Taming, 1(4)27--31
tamper-proof, 40(1)91--96
Tanaka, Kiyoshi, 11(1)92--95
Tanaka:1991:UAN, 11(1)92--95
Tang, Ping Tak Peter, 11(7)180--216
Tang:1991:PGE, 11(7)180--216
Tangle, A-, 9(5)84--88
Tapestry, 18(1)65--69
Tardieu, S., 0(0)189--196
Tardieu, S., see Neri, D.
Tardieu, Samuel, 18(6)45--51, 19(3)31--38, 19(3)77--82, 29(3)105--114
Tardieu, Samuel, see Pautet, Laurent
Tardieu:1998:BFT, 18(6)45--51
Tardieu:2009:CAO, 29(3)105--114
target, 0(0)170--179, 3(6)57--65, 4(1)45--49, 4(4)32--37, 7(5)51--62, 8(5)101--109, 8(7)101--103, 9(2)45--51, 9(7)102--113, 10(3)146--210, 10(4)159--165, 12(2)43--56, 17(3)3--16, 23(1)11--11, 26(3)77--80, 27(2)23--28, 28(1)96--102, 31(3)1--2, 32(3)63--70, 32(3)73--80, 32(3)97--102, 32(3)103--104, 33(1)45--52
target, on-, 31(3)1--2
targeted, 33(3)37--40, 34(3)17--18, 38(1)34--39, 41(1)78--82, 42(1)65--67
targeting, 0(0)149--164, 9(2)45--51, 21(4)91--96
TARTAR, 10(6)84--96, 10(8)130--144
TASH, 17(2)82--91
Task Force on Military Software Defense Science Board, 8(4)35--46
task, inter-, 10(4)57--65
task, interrupt-, 11(2)53--55
task, single-, 27(3)59--62
task-ready, 11(2)53--55
Task-Safe, 17(5)45--50
task-safe, 17(5)45--50
tasking, multi-, 10(9)133--140, 17(5)33--34, 27(1)24--39, 27(3)59--62, 27(3)79--82
tasking-model, 10(4)49--56
tasklet, 36(1)25--28, 38(1)14--18
TASTE, 34(3)39--46
taste, 32(3)9--10
taxonomy, 3(3)63--78, 8(2)55--76, 10(3)14--19, 10(3)101--110, 12(1)43--52, 17(2)29--54, 29(2)20--27, 36(2)39--46, 39(1)63--70
Taylor, 23(1)45--52
Tcl, 17(2)82--91
Tcl-Tk, 19(3)113--123
Tclash, 18(6)158--164, 19(2)60--66
Tcl/Tk, 23(1)30--34
TCOL-Ada, 0(0)101--112
TCP/IP, 23(1)27--29
TCP/TLS, 40(2)65--69
teach, 0(0)31--36, 18(1)54--64, 32(3)7--8
teaching, 0(0)105--112, 1(4)27--31, 5(2)210--216, 5(3)100--100, 7(5)40--41, 12(6)59--74, 15(4)36--45, 18(5)12--38, 18(5)104--110, 19(4)22--23, 20(1)38--57, 21(4)73--78, 23(1)45--52, 24(4)47--50, 26(3)29--34, 27(3)75--78, 29(3)91--102, 32(3)9--10
team, 0(0)10--15, 0(0)102--118, 0(0)119--123, 8(3)115--122, 11(2)107--114, 11(3)49--60, 12(1)43--52, 12(6)50--58, 12(6)59--74, 13(6)66--158, 14(6)73--76, 14(z)26--35, 15(1)70--82, 23(1)12--21, 27(3)99--99, 28(1)76--82, 31(3)13--14, 31(3)69--74, 32(3)9--10, 33(3)43--46, 33(3)51--64, 34(3)1--2, 36(2)31--38
Teaneck, NJ, Fairleigh Dickinson University, 14(2)24--49
Teate, Joe C., 18(5)51--56
Teate, Joe C., see Hendrix, T. Dean
technical, 0(0)90--101, 0(0)336, 8(4)47--68, 10(3)139--145, 11(2)107--114, 12(1)43--52, 12(6)46--z, 27(3)2--2, 29(3)45--60, 30(2)27--52, 31(3)7--8, 33(3)9--10, 35(1)32--37, 35(1)93--94
TECHNIQUES, 7(5)40--41, 7(6)97--100, 9(1)147--160, 9(2)78--89, 9(4)105--112
techniquesC7250N, 17(4)31--58
technological, 10(3)98--100, 17(5)51--56, 32(3)51--52
technology, 0(0)viii--171, 0(0)10--15, 0(0)24--39, 1(3)77--85, 2(2)51--60, 2(6)45--50, 8(7)7--11, 9(5)115--122, 11(2)60--71, 14(4)72--75, 14(z)26--35, 17(3)3--16, 17(3)30--35, 17(3)67--86, 17(3)97--108, 17(5)71--76, 18(6)212--214, 19(1)15--z, 19(3)9--14, 21(4)115--116, 23(1)27--29, 23(1)44--44, 23(4)16--21, 27(3)2--2, 27(3)8--8, 27(3)63--68, 27(3)69--70, 27(3)89--96, 27(3)97--98, 27(3)101--107, 28(1)88--91, 29(3)9--10, 29(3)19--20, 29(3)23--30, 29(3)73--78, 29(3)85--86, 29(3)103--104, 30(3)3--4, 31(3)3--4, 31(3)5--6, 32(3)3--4, 32(3)5--6, 32(3)27--34, 32(3)81--94, 33(3)13--14, 33(3)21--22, 33(3)87--88, 34(3)1--2, 34(3)87--96, 36(2)18--21, 37(2)13--17, 40(2)65--69, 40(2)70--72, 42(1)90--94
Tedd, M. D., 3(6)57--65
Tedd, M. D., see Dapra, A.
tedious, 13(3)74--85, 29(2)43--45, 29(2)56--60, 42(1)105--105
telecommunication, 17(1)41--53
TeleGen2, 10(7)63--69
Telegen2, 11(2)98--106
telemetry, 34(3)97--102
telerobotic, 10(3)38--58
TeleSoft, 12(3)99--109
Telesoft, 10(7)63--69, 11(2)98--106
Teller, J., 0(0)251--260
Teller, J., see Roubine, O.
template, 12(1)73--84, 23(1)45--52
temporal, 0(0)36--44, 0(0)102--118, 11(3)91--101, 11(3)z--z, 24(1)17--24, 25(4)49--56, 27(2)61--66, 30(1)45--55, 33(2)33--39, 33(3)9--10, 34(3)47--60, 36(2)60--68
Temte, Mark, 4(3)25--36
Temte:1984:OOD, 4(3)25--36
tenable, 27(2)75--81
tend, 37(2)40--42, 40(2)65--69
tenets, 42(2)55--61
tens, 32(3)15--22
tenth, 29(1)80--80
Terawatt, 500-, 23(1)11--11
term, 0(0)24--39, 5(3)6--10, 23(1)35--39, 27(2)88--89, 29(2)20--27, 29(2)46--49, 31(3)3--4, 32(3)11--12, 32(3)73--80, 33(2)66--74, 33(2)75--86, 33(3)11--12, 33(3)23--36, 33(3)49--50, 35(1)46--58, 39(2)25--28, 42(2)92--95
term, long-, 27(3)101--107
terminal, 23(1)12--21, 27(3)69--70
terminate, 17(5)100--105, 33(2)75--86, 37(2)37--39
terminated, 33(2)75--86
terminating, 33(3)21--22
termination, 7(7)55--76, 17(5)100--105, 33(1)101--115, 33(2)75--86, 33(3)85--86
termination-blocking, 8(5)61--70
terminator, 9(4)103--104
terminology, 13(6)61--132, 32(3)1--2
Ternes, David, 0(0)65--74
Ternes:1987:DSC, 0(0)65--74
Terrasa, S., 19(3)145--155
Terrasa, S., see Ballbastre, P.
test-, 9(1)147--160
testbed, 8(7)7--11, 10(9)85--93, 19(2)84--89, 19(3)181--182, 21(4)115--116, 23(1)11--11
tested, 0(0)77--89, 12(1)73--84, 17(1)41--53, 23(1)11--11, 32(3)97--102
tester, 0(0)77--89
testing, 0(0)16--25, 0(0)77--89, 0(0)90--101, 0(0)120--128, 0(0)124--135, 0(0)205--212, 4(5)84--89, 4(6)27--31, 5(1)79--88, 7(3)94--106, 7(6)21--23, 8(3)98--106, 8(7)7--11, 9(1)147--160, 9(4)84--86, 9(5)54--59, 9(5)60--82, 9(5)109--114, 9(6)67--79, 9(6)90--96, 9(6)97--103, 9(6)104--107, 10(3)14--19, 10(3)20--28, 10(3)29--32, 10(3)33--37, 10(3)38--58, 10(3)60--71, 10(3)72--90, 10(3)91--97, 10(3)98--100, 10(3)101--110, 10(3)111--125, 10(3)126--136, 10(3)139--145, 10(3)146--210, 10(3)211--216, 10(3)217--229, 10(8)145--155, 11(3)19--27, 11(3)19--z, 11(7)180--216, 11(7)217--243, 11(7)244--273, 11(7)274--284, 12(4)24--35, 13(4)71--76, 16(5)35--47, 16(6)55--72, 17(1)41--53, 17(1)54--68, 17(3)3--16, 17(5)18--23, 17(5)33--34, 17(5)45--50, 17(5)88--92, 17(6)65--69, 18(1)40--47, 18(6)255--262, 21(4)31--38, 23(1)12--21, 28(1)24--30, 29(3)23--30, 31(3)7--8, 31(3)11--12, 31(3)69--74, 32(3)5--6, 32(3)97--102, 34(3)17--18, 34(3)61--68, 34(3)97--102, 35(1)17--25, 36(2)54--57, 37(1)9--25, 42(1)68--75, 42(2)99--103
tests, B-, 10(3)72--90
tests., 28(1)24--30
Tetewsky, A., 7(5)51--62
Tetewsky, Avram, 8(5)101--109
Tetewsky:1987:ACS, 7(5)51--62
Tetewsky:1988:MAE, 8(5)101--109
TEX, 9(7)114--128
TeX, 9(7)114--128
\TeX, 9(7)114--128
Texas, 17(5)77--82
Texel, Putnam P., 6(2)96--99
Texel:1986:CL, 6(2)96--99
text, 10(1)83--91, 10(1)140--159, 10(3)217--229, 10(6)47--60, 29(1)29--32, 37(2)18--22, 42(1)65--67
textbook, 33(3)85--86
textual, 17(4)66--73, 36(2)58--59
textual, graphical-, 14(z)3--15
textually, 8(3)98--106
TFMSDSB:1988:RDS, 8(4)35--46
THALES, 32(3)81--94
Thall, R. M., 0(0)31--47
Thall:1982:KAL, 0(0)31--47
than, 0(0)62--76, 0(0)102--118, 0(0)124--135, 0(0)305--307, 12(2)91--96, 12(6)75--80, 12(6)81--87, 13(2)65--77, 13(5)43--47, 17(1)41--53, 17(2)82--91, 17(3)17--29, 23(1)11--11, 23(1)40--43, 23(4)16--21, 26(2)38--47, 27(1)24--39, 27(3)69--70, 27(3)100--100, 29(3)9--10, 29(3)127--132, 30(1)125--134, 31(3)3--4, 31(3)19--26, 31(3)81--90, 32(3)15--22, 33(1)24--31, 33(2)49--58, 33(2)75--86, 33(2)97--108, 33(3)7--8, 33(3)41--42, 34(3)3--4, 34(3)47--60, 34(3)61--68, 34(3)71--80, 34(3)81--86, 36(2)47--48, 38(1)19--28
the, 31(2)33--35, 36(2)58--59
the Under Secretary of Defense for Acquisition, Office of, 8(4)35--46, 8(4)47--68
the-art, state-of-, 26(3)9--14, 29(3)17--18, 32(3)9--10, 33(3)3--4, 33(3)9--10
the-fly, on-, 33(3)21--22
the-large, programming-in-, 6(1)90--93
the-loop, software-in-, 36(2)49--53
The-Shelf, Commercial-Off-, 27(3)2--2
theater, 17(4)59--65
them, 27(3)1--1
Theme, 0(0)xiii--312, 0(0)201--211
themselves, 17(3)57--66, 31(3)61--68, 33(3)13--14, 34(3)61--68, 35(2)15--21, 37(2)13--17
then, 12(1)65--72, 12(2)57--61, 12(6)59--74, 13(2)91--96, 13(5)43--47, 17(1)54--68, 26(3)21--28, 26(3)35--42, 26(3)61--70, 26(3)77--80, 27(3)1--1, 27(3)2--2, 27(3)8--8, 27(3)11--26, 27(3)71--74, 29(3)5--6, 29(3)19--20, 29(3)87--90, 30(1)16--25, 31(3)13--14, 31(3)27--34, 32(3)25--26, 32(3)43--50, 32(3)53--62, 33(3)1--2, 33(3)15--18, 33(3)43--46, 34(3)13--16, 34(3)17--18, 34(3)69--70, 36(2)22--26, 36(2)58--59, 36(2)60--68, 37(2)34--36, 37(2)43--50, 39(2)25--28, 40(1)53--59, 40(2)65--69, 40(2)73--75, 42(1)46--49, 42(1)61--64
thenabort, select-, 27(2)23--28
Theologitis, Vassilios, 12(5)77--83
Theologitis, Vassilios, see Nelson, Michael L.
theorem, 27(3)89--96, 29(3)85--86, 33(3)3--4, 33(3)85--86, 34(3)69--70
theorem-prover, 32(3)25--26
theoretic, Number-, 8(5)71--74, 8(5)87--91
theoretical, 0(0)128--137, 27(3)8--8, 27(3)75--78, 29(3)61--72, 41(1)87--91
theoretical, graph-, 37(1)9--25
theory, 0(0)50--61, 4(6)44--48, 5(1)71--78, 5(3)45--56, 5(3)76--83, 7(1)71--81, 7(3)73--83, 7(5)63--78, 7(5)96--99, 7(6)107--109, 8(2)77--83, 8(2)110--112, 8(3)87--97, 8(5)71--74, 8(5)87--91, 8(7)7--11, 8(7)12--19, 8(7)20--31, 8(7)32--34, 8(7)39--42, 8(7)57--60, 9(2)78--89, 9(2)118--128, 9(5)83--83, 11(1)57--70, 12(3)110--116, 12(6)47--49, 13(2)54--64, 13(5)22--31, 13(5)43--47, 13(6)66--158, 14(3)105--112, 17(6)19--31, 27(3)8--8, 28(1)96--102, 29(3)61--72, 31(3)61--68, 32(3)81--94, 33(3)5--6, 33(3)85--86
theory, satisfiability-modulo-, 33(3)9--10
there, 0(0)156--165, 0(0)367--375, 12(1)53--64, 12(2)57--61, 12(6)75--80, 13(3)88--90, 13(5)22--31, 13(6)133--161, 17(1)41--53, 17(2)55--62, 23(1)22--26, 23(1)35--39, 26(3)77--80, 27(2)41--47, 27(3)3--3, 27(3)11--26, 27(3)69--70, 29(2)53--55, 30(1)135--146, 31(3)81--90, 32(1)13--18, 32(3)9--10, 32(3)23--24, 33(1)45--52, 33(1)64--83, 33(1)157--168, 33(2)75--86, 33(3)1--2, 33(3)65--84, 34(3)61--68, 35(1)9--16, 35(1)80--92, 36(2)22--26, 36(2)58--59
thereby, 29(3)85--86, 33(2)97--108
therefore, 12(1)43--52, 12(6)59--74, 27(2)67--71, 27(3)89--96, 29(1)54--56, 29(2)53--55, 32(3)15--22, 33(1)53--63, 35(1)38--45, 36(1)63--67, 38(2)64--68
thereof, 0(0)24--39
Theriault, R. J., 0(0)231--246, 8(7)104--107
Theriault, R. J., see Gargaro, A., see Krishnam, P., \see{Krishnan, P.
Theriault, Ronald J., 10(6)110--113, 17(5)51--56
Theriault, Ronald J., see Gargaro, Anthony
Theriault:1990:STT, 10(6)110--113
theses, 27(3)99--99
thesis, 33(3)85--86
they've, 29(1)78--79
thing, 0(0)xvi--431, 31(3)17--18, 34(3)1--2, 36(2)31--38, 37(2)13--17
think, 27(3)100--100, 31(2)36--39, 31(2)40--43, 37(2)13--17
thinking, 29(3)19--20, 33(3)49--50
third, 10(4)z--z, 27(3)99--99, 29(1)57--57, 31(2)56--58, 32(3)11--12, 33(3)11--12, 36(2)39--46, 37(2)32--33
third-generation, 32(3)103--104
Thirion, Bernard, 22(1)17--28
Thirion:2002:CPC, 22(1)17--28
thirteen, 29(1)45--47, 29(1)50--50, 29(1)53--53, 29(1)57--57, 29(1)61--61, 29(1)65--65, 29(1)69--69, 29(1)70--70, 29(1)74--74, 29(1)77--77, 29(1)80--80
Thiry, Laurent, 22(1)17--28
Thiry, Laurent, see Thirion, Bernard
Thomas, Bill, 17(1)35--40
Thomas, Bill, see Colket, Currie
Thomas, John, 32(3)7--8
Thomas, John, see Leveson, Nancy
Thomas, R. J., 4(1)74--87
Thomas, R. J., see Kirkham, J. A.
Thompson, Chris, 16(1)46--53
Thompson, Chris, see Kruchten, Philippe
Thompson, Christopher, 8(1)58--79
Thompson, Christopher, see Bardin, Bryce
Thompson, Christopher J., 8(2)39--54
Thompson, Christopher J., see Bardin, Bryce M.
Thompson, Kim, 16(1)46--53
Thompson, Kim, see Kruchten, Philippe
though, 12(2)43--56, 27(1)24--39, 27(3)59--62, 29(2)37--39, 29(2)46--49, 29(3)23--30, 30(1)62--67, 31(3)47--60, 33(1)128--133, 37(2)13--17, 42(1)105--105
thought, 11(2)60--71, 27(3)97--98, 29(2)37--39, 40(2)48--50
thousand, 11(2)60--71, 27(3)89--96, 32(3)15--22
thread, 10(1)92--96, 19(2)73--77, 23(1)53--56, 27(2)67--71, 30(1)62--67, 32(3)15--22, 32(3)63--70, 33(1)101--115, 34(3)1--2, 36(2)27--30, 38(1)19--28, 40(2)55--58, 42(1)80
thread, light-weight-, 40(2)55--58
thread-safe, 40(2)76--91, 41(1)74--77
threaded, multi-, 19(2)60--66, 33(3)1--2, 33(3)9--10
threading, 29(3)3--4, 33(3)1--2, 40(2)55--58
threading, multi-, 33(3)1--2
threads,, 40(2)55--58
threat, 38(2)109--114
three, 8(1)52--57, 8(7)97--100, 18(0)xii--293, 27(2)15--17, 27(2)37--40, 27(3)2--2, 27(3)8--8, 27(3)89--96, 30(1)62--67, 31(3)19--26, 33(3)43--46, 35(2)14--14, 36(2)22--26, 36(2)39--46, 37(2)27--29, 37(2)59--67
three-fold, 17(1)41--53
three-part, 31(2)25--27, 31(2)28--29
through, 0(0)viii--171, 0(0)16--23, 0(0)24--39, 0(0)40--49, 11(2)86--97, 12(2)57--61, 12(2)76--90, 13(3)91--95, 17(1)54--68, 17(3)30--35, 18(5)51--56, 18(5)104--110, 19(3)101--110, 23(1)11--11, 26(2)12--22, 26(3)71--74, 27(3)2--2, 27(3)4--4, 28(1)24--30, 29(2)43--45, 29(2)56--60, 29(3)15--16, 29(3)45--60, 29(3)73--78, 29(3)121--126, 32(3)3--4, 32(3)5--6, 32(3)25--26, 33(3)43--46, 34(3)1--2, 34(3)3--4, 34(3)17--18, 36(2)31--38, 38(2)43--57, 38(2)89--96, 39(1)72--72, 40(2)65--69, 40(2)70--72, 41(1)83--86, 42(2)62--68
through, errors-, 23(1)1--9
through, walk-, 31(3)47--60
throughout, 9(7)114--128, 29(3)7--8, 31(3)39--46, 32(3)15--22, 34(3)17--18
throughput, 11(3)125--136, 29(3)7--8
throw, 32(3)15--22
thus, 0(0)102--118, 26(2)12--22, 26(3)21--28, 28(1)24--30, 28(1)31--33, 29(1)19--22, 29(3)31--44, 29(3)87--90, 32(3)3--4, 32(3)15--22, 33(1)128--133, 33(3)9--10, 33(3)41--42, 33(3)43--46
Tibbetts, Timothy A., 19(3)181--182
Tibbetts, Timothy A., see Lortz, Henry A.
Tichy, W. F., 0(0)57--65
Tichy:1982:ADA, 0(0)57--65
Tidbits, 14(5)65--70
tied, 17(3)30--35
tier, two-, 23(1)12--21
tight, 38(1)34--39, 41(1)78--82
tightly, 8(7)101--103, 29(3)17--18, 29(3)21--22
Tijero, Hector Perez, 41(1)78--82
Tijero, Hector Perez, see Rivas, Mario Aldea
Tijero, Héctor Pérez, 29(3)73--78, 30(1)91--103, 33(1)53--63, 35(1)74--79, 41(1)87--91, see Rivas, Mario Aldea
Tijero, Héctor, Pérez-, 38(1)34--39
Tijero:2009:EII, 29(3)73--78
Tijero:2010:SRT, 30(1)91--103
Tijero:2013:AEE, 33(1)53--63
Tijero:2021:FST, 41(1)87--91
Time, 'Real-, 27(2)88--89
time, compile-, 10(3)139--145, 14(z)54--73, 29(2)65--67, 31(3)11--12, 31(3)75--80, 32(3)15--22, 32(3)35--42, 36(1)51--62
time, continuous-, 34(3)29--38
time, delayed-, 9(4)105--112
time, design-, 33(3)23--36
Time, Execution-, 26(1)31--44
time, Execution-, 23(4)82--86, 30(1)33--44
time, execution-, 14(3)91--104, 23(4)28--31, 26(2)38--47, 27(2)48--52, 30(1)33--44, 33(1)45--52
time, hard-real-, 10(9)60--64
time, just-in-, 23(1)22--26
time, non-real-, 0(0)102--118
Time, Real-, 0(0)vi--130, 0(0)146--155, 0(0)159--163, 5(2)72--84, 7(6)13--14, 7(6)15--17, 7(6)18--20, 7(6)21--23, 7(6)33--39, 7(6)40--42, 7(6)43--46, 7(6)49--50, 7(6)73--76, 7(6)77--78, 7(6)85--87, 7(6)88--92, 7(6)97--100, 7(6)116--118, 7(6)119--120, 7(6)124--126, 7(6)z--z, 8(7)7--11, 8(7)z--99999999, 8(7)z--z, 9(7)91--101, 9(7)102--113, 10(3)126--136, 10(4)5--14, 10(4)114--118, 10(4)159--165, 10(4)z--z, 10(6)68--83, 10(9)z--z, 11(3)19--z, 11(6)z--z, 13(2)20--z, 13(2)z--z, 13(6)32--z, 14(3)105--112, 17(5)77--82, 17(5)z--z, 18(6)1--6, 20(2)14--14, 21(1)18--19, 27(3)7--7, 29(2)71--71, 29(3)13--14, 29(3)17--18, 30(1)147--151, 30(1)162--164, 31(3)15--16, 32(3)15--22, 33(1)53--63, 35(1)17--25, 35(1)46--58, 35(1)93--94, 36(1)29--34, 38(1)19--28, 40(2)96--102, 42(1)86--89, 42(1)105--105
time, Real-, 0(0)viii--171, 0(0)102--118, 7(5)113--127, 7(6)13--14, 7(6)15--17, 7(6)18--20, 7(6)24--26, 7(6)33--39, 7(6)40--42, 7(6)43--46, 7(6)49--50, 7(6)67--69, 7(6)70--72, 7(6)73--76, 7(6)77--78, 7(6)85--87, 7(6)88--92, 7(6)93--96, 7(6)97--100, 7(6)113--115, 7(6)116--118, 7(6)119--120, 7(6)124--126, 8(1)91--107, 8(3)84--86, 8(7)35--38, 8(7)39--42, 8(7)50--56, 8(7)86--96, 9(7)91--101, 9(7)102--113, 10(4)5--14, 10(4)32--48, 10(9)1--16, 19(2)73--77, 21(4)11--26, 23(2)32--46, 30(1)125--134, 30(3)37--40, 31(3)15--16, 32(3)63--70, 33(3)23--36, 34(3)39--46, 36(1)25--28, 40(1)45--52, 40(2)96--102
Time, Run-, 0(0)48--56, 7(6)13--14, 9(2)52--61, 10(6)84--96, 13(1)35--59, 13(1)35--z, 17(5)77--82
time, Run-, 4(6)35--43, 11(1)102--113, 12(6)81--87
time, run-, 4(4)32--37, 5(3)63--63, 7(6)93--96, 9(2)52--61, 9(2)118--128, 9(4)84--86, 9(6)90--96, 9(6)104--107, 9(6)119--126, 10(3)14--19, 10(3)29--32, 10(3)33--37, 10(3)38--58, 10(3)72--90, 10(3)98--100, 10(3)139--145, 10(8)130--144, 10(9)70--74, 11(1)102--113, 11(4)91--98, 11(6)64--65, 12(6)75--80, 12(6)81--87, 13(2)54--64, 14(1)38--49, 14(5)80--87, 14(z)54--73, 15(5)46--51, 17(3)3--16, 23(1)1--9, 26(2)23--37, 27(3)27--40, 27(3)89--96, 29(1)27--28, 29(2)65--67, 30(1)33--44, 30(3)13--22, 31(3)7--8, 32(3)15--22, 32(3)27--34, 32(3)35--42, 32(3)97--102, 33(1)24--31, 33(1)45--52, 33(2)109--114, 33(3)21--22, 34(3)39--46, 35(1)74--79, 37(2)9--12, 37(2)40--42, 38(1)34--39, 38(1)41--54, 38(1)74--76
time-, 10(4)z--z
time-critical, 8(7)86--96, 10(4)49--56
time-outs, 10(4)136--143, 13(4)49--62
time-partitioned, 41(1)64--68
Time-Related, 10(4)136--143
time-related, 10(3)20--28, 10(4)136--143, 11(6)54--60, 11(6)z--z
Time-Triggered, 36(1)68--76, 38(1)41--54
time-triggered, 36(1)68--76, 38(1)41--54, 38(1)74--76
time, real-, 40(2)65--69
TimeBench, 11(3)91--101, 14(z)3--15
timed, 12(1)65--72, 27(3)41--50
timed/conditional, 27(2)23--28
timeliness, 8(4)35--46, 27(2)29--36
timely, 27(3)59--62
timer, 12(1)53--64, 14(1)61--67, 23(4)28--31, 26(1)31--44, 33(2)87--96, 36(1)39--50, 36(2)27--30, 38(1)55--57
timing, 4(2)23--35, 7(2)118--134, 8(3)98--106, 8(7)39--42, 9(4)84--86, 10(3)20--28, 10(6)84--96, 10(8)130--144, 13(3)86--87, 13(4)49--62, 14(1)61--67, 14(5)88--91, 14(z)54--73, 15(2)40--45, 17(5)24--26, 23(1)11--11, 27(2)61--66, 27(3)3--3, 27(3)41--50, 27(3)71--74, 29(3)79--84, 30(1)62--67, 30(1)91--103, 31(3)1--2, 32(3)63--70, 32(3)81--94, 33(2)75--86, 33(3)23--36, 34(3)17--18, 34(3)47--60, 35(1)26--31, 35(2)9--13, 36(1)68--76, 36(2)9--17, 36(2)27--30, 42(1)81--85
Timing-Event, 35(1)80--92
timing-event, 35(1)80--92
Tindell, Ken, 10(7)47--54, 17(5)18--23
Tindell, Ken, see Alonso, Alejandro
Tindell:1990:DCR, 10(7)47--54
Tinelli, Cesare, 42(2)40--44
Tinelli, Cesare, see Larraz, Daniel
Tips, 14(5)65--70
Tischler, Ron, 3(1)36--z
Tischler:1983:NSA, 3(1)36--z
title, 0(0)viii--240, 0(0)xiii--312, 10(1)97--99, 42(1)61--64
titled, 26(3)71--74
Tk, 18(6)158--164, 19(2)60--66
Tk, Tcl-, 19(3)113--123
TLM, 29(1)19--22, 29(2)15--19, 31(2)15--22, 32(1)13--18, 32(2)9--16, 33(1)157--168
TLM2.0, 33(1)157--168
TLM_FIFO, 32(1)13--18, 33(1)157--168
TLM_FIFO, 33(1)157--168
TLM_Req_Res, 32(1)13--18
TM, 17(3)3--16, 17(3)17--29
TML, 14(6)73--76
to, 5(3)45--56, 27(2)59--60
to:, 27(2)15--17, 27(2)37--40, 27(2)88--89
to, applications-, 40(2)73--75
to, System-, 40(1)74--78
to-construct, easy-, 23(1)11--11
to-day, day-, 29(3)19--20
to-end, End-, 32(3)63--70
to-end, end-, 32(3)63--70, 33(1)53--63
to-ground, air-, 32(3)71--72
to-one, one-, 10(9)126--132
to-Source, Source-, 0(0)183--193
to-subprogram, access-, 29(2)46--49
to-use, easy-, 17(1)41--53, 17(5)51--56, 36(2)58--59
Toal, Raymond J., 16(1)58--69
Toal:1996:UAC, 16(1)58--69
today, 12(2)43--56, 27(3)5--6, 27(3)89--96, 31(2)15--22, 31(3)17--18, 32(2)9--16, 32(3)23--24, 32(3)25--26, 32(3)71--72, 32(3)73--80, 33(3)37--40, 34(3)1--2
Toetenel, W. J., 7(5)42--50, 8(7)65--79
Toetenel, W. J., see Huijsman, R. D.
Toetenel:1988:ATC, 8(7)65--79
together, 17(3)57--66, 29(3)19--20, 31(3)35--36, 31(3)39--46, 33(2)14--32, 34(3)105--106, 37(2)23--26, 39(2)25--28, 39(2)29--34, 40(2)55--58, 40(2)73--75, 41(1)78--82
Tojo, Yasushi, 25(1)48--56
Tojo:2005:TDP, 25(1)48--56
Tokar, Joyce, 22(4)131--131
Tokar, Joyce L., 19(1)52--57, 21(1)9--10, 23(4)11--12, 23(4)13--15, 23(4)52--54, 30(2)27--52, 35(1)93--94, 36(2)22--26
Tokar, Joyce L., see Brukardt, Randall, see Burns, Alan, \see{Michell, Stephen, see Wellings, Andy
Tokar:2002:SSS, 22(4)131--131
Tokar:2003:SSN, 23(4)11--12
Tokar:2003:STP, 23(4)52--54
Tokar:2015:UII, 35(1)93--94
Tokar:2016:CAO, 36(2)22--26
tokeneer, 27(3)5--6, 31(1)32--36, 31(1)37--38, 31(1)39--42, 31(1)43--46, 31(1)47--48, 31(1)49--52
tokens, 26(3)3--8
Tokuda, Hide, 7(6)33--39
Tokuda, Hide, see Cornhill, Dennis
Tokyo, 8(4)97--103
tolerance, 8(7)123--126, 10(9)111--117, 17(5)71--76, 17(5)106--110, 17(5)z--z, 18(6)52--60, 19(2)10--11, 19(2)33--40, 22(4)123--124, 26(3)51--60, 29(3)9--10, 29(3)115--118, 30(3)53--62, 32(3)63--70, 42(2)89--91
tolerance, Fault-, 4(5)105--110, 4(6)60--72
tolerant, 0(0)21--30, 8(7)118--122, 8(7)123--126, 9(5)54--59, 9(6)67--79, 10(9)111--117, 17(5)8--10, 17(5)33--34, 18(6)45--51, 26(2)12--22
Tolerant, Fault-, 4(3)53--64, 7(6)61--63
tolerant, fault-, 8(7)113--117, 22(4)47--52, 29(3)7--8, 29(3)115--118, 33(1)15--23, 33(1)84--92
Tomar, Ravi, 40(1)91--96
Tomar:2020:MTV, 40(1)91--96
Tomb, Aaron, 33(3)15--18
Tomb, Aaron, see Carter, Kyle
Tombs, D. J., 17(5)83--87
Tombs:1997:UCN, 17(5)83--87
Tomlinson, G. M., 3(4)112--124
Tomlinson, G. M., see Wellings, A. J.
tomorrow, 32(3)73--80
Tonini, Federico, 42(2)92--95
Tonini, Federico, see John, Wolfgang
Tonndorf, Michael, 19(3)89--99
Tonndorf:1999:ACA, 19(3)89--99
too, 13(3)86--87, 14(4)12--15, 14(z)3--15, 17(3)87--96, 27(3)8--8, 35(1)59--73, 37(2)34--36
took, 39(2)25--28
tool-based, 28(1)88--91
tool-bus, 28(1)96--102
tool-oriented, 21(4)81--90
tool-supported, 11(9)100--115
toolchain, 34(3)39--46
Toole, Betty Alexandra, 11(2)60--71
Toole:1991:AAM, 11(2)60--71
toolkit, 12(3)117--125, 36(2)31--38
toolset, 17(3)45--56, 17(5)45--50, 17(5)51--56, 17(6)39--46, 27(3)99--99, 29(2)43--45, 29(3)9--10, 29(3)11--12, 29(3)23--30, 31(3)39--46, 33(3)47--48
toolsuite, 29(3)31--44
Toom, Andres, 36(2)54--57
Toom, Andres, see Taft, S. Tucker
top, 17(4)31--58, 31(2)56--58, 34(3)19--28, 34(3)105--106, 35(1)74--79, 35(1)80--92, 37(2)51--58, 38(1)41--54, 38(1)74--76, 42(1)80
TOP, CODE-, 17(5)33--34
top-down, 0(0)62--76, 5(1)17--31, 33(3)41--42
top-level, 13(6)133--161, 23(1)11--11
topic, 0(0)viii--171, 0(0)136--140, 0(0)367--375, 10(1)97--99, 11(2)60--71, 27(3)1--1, 27(3)5--6, 27(3)8--8, 29(3)3--4, 29(3)9--10, 30(1)104--115, 31(2)30--32, 32(3)7--8, 36(1)83--90, 39(1)63--70, 40(2)48--50, 42(1)39--40
tortoise, 32(3)9--10
total, 0(0)viii--171, 0(0)10--15, 0(0)24--39, 9(2)52--61, 31(3)19--26, 36(2)39--46
touch, 27(3)69--70, 27(3)99--99, 36(2)31--38
tour, 17(4)31--58, 32(3)25--26
toward, 0(0)36--46, 0(0)128--138, 0(0)146--155, 5(2)1--13, 6(1)29--40, 7(4)54--67, 11(7)217--243, 14(6)62--72, 19(3)203--210, 21(1)62--66, 21(2)26--52, 27(3)69--70, 27(3)89--96, 29(3)103--104, 30(1)86--90, 30(3)63--70, 33(2)9--13, 33(3)21--22, 34(3)39--46, 34(3)61--68, 34(3)71--80, 35(1)32--37, 36(2)9--17, 36(2)58--59, 40(2)48--50, 40(2)65--69, 41(1)87--91
tower, 27(3)69--70
toy, 33(3)21--22
TQL-1, 36(2)54--57
TQM, 0(0)10--15, 0(0)24--39
TR, 30(2)27--52, 36(1)77--82
traceability, 10(6)97--109, 27(3)2--2, 36(2)31--38, 36(2)58--59
tracer, 21(4)61--70
Traces, 5(2)97--108
tracing, 14(3)39--60, 31(3)1--2, 32(3)15--22
track, 0(0)50--61, 13(5)32--42, 20(3)41--49, 42(1)39--40
TRACON, 27(3)69--70
TRACONs, 27(3)69--70
tractable, 23(1)1--9
Tracz, 10(6)16--17
Tracz, Will, 9(4)92--102
Tracz:1989:PCS, 9(4)92--102
trade, 9(2)90--101, 10(3)101--110, 33(3)43--46
trade-craft, 29(3)119--120
trade-offs, 13(2)91--96
tradeoffs, 9(4)92--102, 10(3)14--19, 31(3)1--2
traditional, 9(2)45--51, 11(9)56--66, 17(1)54--68, 32(3)7--8, 34(3)19--28, 34(3)105--106, 36(2)31--38, 37(2)13--17, 40(2)65--69, 42(1)61--64, 42(2)92--95
traditionally, 23(1)27--29, 40(2)48--50, 40(2)55--58
traffic, 12(1)43--52, 13(6)133--161, 14(3)39--60, 14(4)72--75, 14(6)73--76, 17(4)59--65, 24(1)29--37, 26(2)12--22, 26(3)1--1, 26(3)71--74, 27(3)69--70, 28(1)24--30, 29(3)23--30, 40(1)60--63, 42(2)89--91
trained, 31(3)35--36
trainers, 13(4)77--86
training, 0(0)1--9, 1(4)27--31, 1(4)32--33, 2(5)34--41, 2(5)42--55, 2(6)53--58, 4(6)44--48, 5(2)229--240, 6(1)29--40, 6(5)86--93, 7(1)82--88, 7(5)34--39, 7(5)40--41, 8(3)115--122, 9(6)53--66, 13(4)49--62, 13(4)77--86, 14(3)61--73, 17(2)55--62, 17(3)17--29, 18(5)39--46, 23(1)12--21, 28(1)76--82, 31(2)52--55
Tran, Hai Nam, 42(1)105--105
Tran, Hai Nam, see Boukili, Zineb
transaction, 19(2)49--53, 21(1)67--74, 21(3)57--63, 21(3)64--75, 29(1)19--22, 29(2)15--19, 30(1)91--103, 31(2)15--22, 32(1)13--18, 32(2)9--16, 33(1)84--92, 33(1)157--168, 33(3)87--88
transaction-based, 12(2)97--101
transactional, 29(3)73--78, 30(1)91--103, 32(3)73--80, 33(1)84--92, 34(3)97--102
transfer, 0(0)viii--171, 0(0)10--15, 2(2)51--60, 8(7)57--60, 8(7)65--79, 8(7)z--z, 10(4)15--24, 10(4)z--z, 10(6)110--113, 10(9)46--49, 10(9)75--84, 11(6)66--68, 12(1)53--64, 13(2)37--43, 13(2)z--z, 14(3)61--73, 17(5)24--26, 22(4)95--112, 29(3)115--118, 31(2)15--22, 31(3)3--4, 32(2)9--16, 33(1)157--168, 38(1)41--54, 38(1)74--76, 41(1)74--77
transfer-of-control, 12(1)53--64
transferable, 36(1)51--62
transform, 36(2)54--57
transformation, 6(4)66--74, 10(1)97--99, 11(9)67--82, 13(3)39--41, 17(5)33--34, 32(3)81--94, 36(2)39--46
Transformational, 3(2)46--54
transformed, 32(3)53--62
transformer, 27(3)75--78
Transforming, 11(2)115--127, 18(6)240--245
transistor, 31(2)15--22, 32(1)13--18, 32(2)9--16
transition, 0(0)16--23, 0(0)176--182, 1(1)22--25, 1(1)31--41, 5(2)275--284, 8(1)80--90, 8(2)96--106, 11(5)30--46, 17(3)67--86, 29(3)5--6, 38(1)19--28
Transition, Predicate-, 17(5)33--34
transition-based, 14(z)16--25
transitioned, 12(6)50--58
transitioning, 0(0)37--40, 2(1)50--57, 19(3)53--65, 29(3)45--60
translate, 13(5)43--47, 32(3)25--26, 33(3)43--46, 39(2)29--34
translated, 32(3)53--62
translating, 0(0)166--175, 7(5)42--50, 13(2)78--90, 13(5)22--31, 13(5)43--47, 27(3)71--74, 29(3)91--102, 33(3)21--22
translation, 0(0)183--193, 6(1)72--81, 7(1)82--88, 7(5)42--50, 8(6)57--71, 8(7)97--100, 10(6)110--113, 13(2)z--z, 14(1)50--60, 14(2)58--67, 14(z)54--73, 15(1)64--69, 18(6)276--286, 27(3)4--4, 29(3)15--16, 33(3)21--22, 33(3)43--46
translator, 0(0)194--201, 7(5)42--50, 8(6)57--71, 8(7)104--107, 13(1)63--75, 13(5)22--31, 13(5)43--47, 15(0)vii--242, 15(1)64--69, 17(3)36--44, 33(3)43--46
translator, pre-, 8(7)104--107
transmit, 29(3)87--90
transparent, 0(0)11--20, 19(2)33--40, 30(1)91--103
transport, 8(7)86--96, 31(3)69--74
transportation, 14(6)73--76, 27(3)69--70, 29(3)23--30
Transporting, 6(2)90--91
trapped, 23(1)1--9
Traps, 9(5)123--128
travel, 27(3)69--70
traversal, 26(3)3--8
tread, 12(6)81--87
treatment, 31(3)5--6
tree, 0(0)viii--171, 0(0)156--171, 11(3)83--90, 17(3)57--66, 26(3)3--8, 27(3)11--26, 32(3)9--10, 33(3)21--22, 33(3)43--46, 33(3)65--84, 36(2)39--46
tree, B-, 6(2)29--40
tree-structured, 32(3)53--62
Treff, Leo, 1(1)31--41
Treff, Leo, see Haertig, Herman
Treff, Léon, 10(2)64--83, see Bär, Dieter
tremendous, 13(4)63--70, 33(3)85--86
trend, 10(3)98--100, 17(3)67--86, 27(3)63--68, 30(1)86--90, 31(3)19--26, 33(2)33--39
TRI-Ada, 0(0)xxvii--542, 12(4)16--z
Tri-Ada, 12(5)37--z, 13(2)17--z, 13(6)33--z, 14(2)20--z
Tri-Ada'96, 17(2)18--25
TRI-Ada'97, 0(0)xiii--312
TriAda, 18(0)xii--293
tricky, 29(2)43--45
tried, 33(1)157--168, 37(2)34--36
trig, 12(5)59--63
triggered, 31(3)39--46, 38(1)66--69
Triggered, Time-, 36(1)68--76, 38(1)41--54
triggered, time-, 36(1)68--76, 38(1)41--54, 38(1)74--76
triggering, 17(5)24--26
triggers, 17(5)24--26
trigonometric, 12(5)59--63
trivial, 27(3)75--78
trivial, non-, 33(3)3--4
trivially, 13(3)91--95
Troiani, Mario, 39(1)72--72
Troiani:2020:ECR, 39(1)72--72
Trono, John A., 26(1)25--30, 32(1)9--12
Trono:2006:OTL, 26(1)25--30
Trono:2012:UMW, 32(1)9--12
Trüb, Ann, 15(4)22--22
Trub:1995:AUD, 15(4)22--22
true, 11(7)244--273, 29(1)48--49
truly, 19(3)47--52
trust, 23(1)35--39, 32(3)103--104, 36(2)54--57, 40(1)91--96, 42(2)55--61
trusted, 14(z)74--81, 23(1)35--39, 31(2)36--39, 31(2)40--43
truth, 10(2)52--63, 31(3)11--12, 33(3)43--46, 37(2)34--36
try, 23(1)1--9, 27(3)8--8, 31(3)17--18, 36(1)51--62, 37(2)18--22, 37(2)23--26, 42(1)50--53
trying, 34(3)105--106
Tsao, L., 7(4)85--87
Tsao, L., see Wand, I. C.
TSL, 4(6)60--72, 5(2)255--274, 7(3)94--106
T/sub, 9(5)84--88, 9(7)114--128
TTF-Ravenscar, 33(1)15--23
Tucker, 10(6)110--113, 34(3)3--4
Tucker, K., 0(0)197--204
Tucker:1997:DHO, 0(0)197--204
tuned, fine-, 17(5)71--76
Tunnel, 14(6)73--76
Turcaso, D., 8(3)87--97
Turcaso, D., see Wood, P.
Turcaso, David, 8(3)87--97
Turcaso, David, see Wood, David P.
Turing, 32(3)23--24
turn, 12(2)76--90, 36(2)60--68
turn-based, 42(1)41--42
turned, 33(1)15--23, 37(2)13--17
turtle, 5(3)100--100, 10(6)68--83, 26(3)29--34
TurtleGraphics, 26(3)29--34
tutorial., 27(3)2--2, 27(3)8--8
tutorial/workshop, 31(3)11--12
twenty, 30(2)67--78, 31(3)5--6
two, 0(0)xvi--431, 0(0)50--61, 3(1)55--56, 5(2)217--228, 6(2)84--84, 7(4)68--78, 7(5)104--104, 9(7)114--128, 12(2)43--56, 13(5)32--42, 17(1)54--68, 17(3)17--29, 17(3)36--44, 17(3)67--86, 20(1)38--57, 26(3)29--34, 27(2)82--87, 27(3)7--7, 27(3)63--68, 29(1)78--79, 29(2)37--39, 29(2)43--45, 29(2)53--55, 29(3)13--14, 29(3)23--30, 29(3)85--86, 31(2)36--39, 31(2)40--43, 31(2)56--58, 32(3)9--10, 32(3)15--22, 32(3)25--26, 33(2)59--65, 33(2)97--108, 33(3)1--2, 33(3)43--46, 33(3)87--88, 34(3)3--4, 35(1)9--16, 35(1)74--79, 36(1)35--38, 36(1)68--76, 36(1)83--90, 36(2)9--17, 36(2)58--59, 37(2)32--33, 38(1)19--28, 39(1)71--71, 39(2)25--28, 41(2)81--85, 42(1)100--104
two-dimensional, 11(4)91--98
two-node, 17(5)88--92
two-processor, 12(2)97--101
two-tier, 23(1)12--21
two-way, 0(0)10--15, 33(3)43--46
type-based, 31(2)36--39, 31(2)40--43
type-safe, 29(3)91--102, 32(3)9--10
typed, 12(5)59--63, 31(3)7--8
typed, strongly-, 33(3)3--4
Type_Invariant, 37(2)32--33
TYPES, 11(7)91--130
Types, Data-, 1(2)15--33, 6(1)20--21
typical, 24(1)38--48, 27(3)2--2, 32(3)63--70, 41(1)74--77
typically, 17(1)41--53, 27(3)69--70, 32(3)27--34, 32(3)63--70, 33(2)75--86, 34(3)19--28, 36(2)39--46, 40(1)45--52, 40(2)55--58, 40(2)65--69, 42(1)86--89
typing, 6(1)82--89, 12(5)59--63, 16(3)56--69, 23(1)44--44, 29(1)53--53
typing, hard-, 23(1)45--52
Tzruya, Yoav, 18(6)204--211
Tzruya:1998:PID, 18(6)204--211