Index file section T for sigada.bib
Last update: Fri Aug 9 02:17:24 MDT 2024
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, 43(1)42--45, 43(1)88--93
-
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,
43(1)46--49
-
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
-
Talpin, Jean-Pierre, 43(1)46--49
-
Talpin, Jean-Pierre, see Xu, Xiong
-
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, 43(1)54--57
-
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, 43(1)73--77
-
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,
43(1)73--77
-
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, 43(1)83--87
-
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, 43(1)78--82
-
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, 43(1)37--41
-
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, 43(1)83--87
-
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
-
Tonetta, S., 43(1)54--57
-
Tonetta, S., see Bombardelli, A.
-
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, 43(1)94--99
-
tower, 27(3)69--70
-
toy, 33(3)21--22, 43(1)106--110
-
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, 43(1)37--41
-
Tran, Hai Nam, see Boukili, Zineb,
see Singhoff, Frank
-
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
-
Trompouki, Matina Maria, 43(1)111--117
-
Trompouki, Matina Maria, see Ferrandez, Ivan Rodriguez
-
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, 43(1)59--63
-
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