Index file section T for complngs.bib
Last update: Thu Jun 20 02:00:37 MDT 2019
Return to index directory
T
-
T, DMA-, 18(4)241--250
-
table, 1(2)105--119, 1(3)233--253, 2(4)179--186, 10(1)23--36,
10(2)127--146, 15(3)127--140, 17(2)147--154, 20(2)89--100,
22(4)225--235
-
table, LR-, 20(2)89--100
-
table-based, 10(2)127--146
-
table-driven, 14(2)99--108
-
Taentzer, Gabriele, 49(z)196--215
-
Taentzer, Gabriele, see Strüber, Daniel
-
tagless, 23(2)121--160
-
Tai, Kuo Chung, 4(3)131--137
-
Tai:1979:CFW, 4(3)131--137
-
Tailorable, 32(1)56--82
-
Taking, 35(1)63--79
-
TaKo, 38(1)108--121
-
Taleb, Nasreddine, 50(z)53--81
-
Taleb, Nasreddine, see Zouaoui, Chakib Mustapha Anouar
-
Talia, Domenico, 18(3)185--196, 19(1)51--62
-
Talia:1993:DTC, 19(1)51--62
-
Talia:1993:SPC, 18(3)185--196
-
Tambay, Pallavi, 49(z)82--100
-
Tambay, Pallavi, see Kannimoola, Jinesh M.
-
Tanenbaum, Andrew S., 11(2)105--121, 16(2)129--146
-
Tanenbaum, Andrew S., see Bal, Henri E.
-
Tang, Dongxing, 22(2)115--142
-
Tang, Dongxing, see Pontelli, Enrico
-
Tanter, Éric, 32(2)125--139, 34(2)46--65,
see Denker, Marcus,
see Röthlisberger, David
-
Tao, Tao, 39(1)1--24
-
Tao, Tao, see Zhou, Wenchao
-
Tarau, Paul, 39(4)163--181
-
Tarau, Paul, see Haraburda, David
-
target, 9(3)193--202, 15(3)127--140, 50(z)20--30, 53(z)1--26
-
task, 7(1)21--23, 10(1)43--61, 10(3)189--209, 36(2)158--202
-
tasking, 25(2)55--87
-
Taylor, Hamish, 22(2)181--192
-
Taylor:1996:ARM, 22(2)181--192
-
teaching, 21(3)191--200
-
Tebibel, Thouraya, Bouabana-, 54(z)183--198
-
technical, 7(3)161--170, 17(3)169--184
-
technique, 1(1)61--71, 3(1)31--35, 3(1)37--52, 3(2)65--74, 3(2)115--126,
4(2)99--129, 5(1)29--36, 5(3)141--153, 5(3)155--161, 6(1)35--46,
6(2)95--107, 8(2)69--76, 12(3)145--162, 13(2)75--93, 14(4)239--254,
15(1)41--54, 15(3)127--140, 16(2)147--165, 17(1)75--82,
17(4)241--250, 18(4)217--239, 21(1)1--16, 21(3)191--200,
22(1)39--47, 22(2)95--113, 22(2)181--192, 22(4)193--203,
23(1)25--42, 23(1)43--58, 24(2)55--72, 24(2)73--98, 25(1)1--37,
40(3)99--111, 47(z)151--152
-
Techniques--Fuzzy, 13(3)143--147
-
Techniques--Petri, 16(1)5--18
-
technology, 21(1)1--16, 31(3)165--181, 35(3)217--240
-
Teixeira, Leopoldo, 54(z)427--450
-
Teixeira, Leopoldo, see Braz, Larissa
-
telecommunication, 16(3)197--207, 23(2)87--120
-
telegram, 12(1)9--20
-
template-based, 52(z)43--62
-
templates, 23(1)43--58
-
temporal, 16(1)19--37, 16(2)113--127, 17(3)185--197, 19(4)261--276,
22(1)1--13, 25(1)39--54, 27(1)93--113, 47(z)77--103, 49(z)82--100
-
temporary, 16(2)179--195, 17(3)185--197
-
Tennent, R. D., 8(3)125--137
-
Tennent:1983:SPI, 8(3)125--137
-
tentative, 12(2)95--108
-
term, 16(1)81--95, 19(4)235--245, 23(2)61--85
-
terminal, 6(3)155--163, 9(1)39--49
-
terminating, 23(2)61--85
-
termination, 10(1)43--61, 14(3)205--224, 15(3)177--192, 19(1)51--62
-
TermML, 23(2)121--160
-
Terra, Ricardo, 53(z)73--89
-
Terra, Ricardo, see Rodrigues, Elder
-
Terzidis, Konstantinos, 35(3)217--240
-
Terzidis, Konstantinos, see Papadimitriou, Stergios
-
test, 6(3)115--130, 10(1)63--73, 14(1)53--60, 17(1)75--82, 22(4)259--278,
45(z)204--219, 50(z)1--19
-
test-suite, 39(3)95--108
-
testing, 4(3)155--169, 5(1)1--28, 6(3)115--130, 7(1)1--10, 10(1)63--73,
11(3)123--142, 13(1)1--11, 14(4)263--281, 17(1)75--82, 17(2)83--100,
18(3)197--216, 20(1)53--68, 22(1)1--13, 22(4)215--223, 23(1)43--58,
49(z)196--215
-
TeX, 5(2)52--z
-
text, 1(1)17--28, 5(2)52--z, 7(1)25--40, 8(3)139--159, 9(2)89--96,
9(3)203--208, 11(3)123--142, 12(2)123--143, 14(1)53--60
-
text-based, 49(z)196--215
-
Thalmann, Nadia, Magnenat-, 7(3)161--170
-
Thank, 47(z)i--ii
-
Tharp, A. L., 2(4)171--178
-
Tharp:1977:CCF, 2(4)171--178
-
the-fly, on-, 42(z)46--59
-
the-shelf, 21(1)1--16
-
theorem, 11(2)55--63, 11(3)173--191, 17(3)157--167, 23(2)161--178
-
theoretic, proof-, 23(2)161--178
-
theoretically, 1(2)161--194, 1(3)197--218, 20(4)253--265
-
Theory--Computability, 15(1)27--39
-
Theory--Context, 13(3)125--141
-
Theory--Finite, 14(1)53--60
-
Theory--Grammars, 13(2)65--74, 13(3)149--170, 14(1)25--33,
14(4)225--237
-
Thiemann, Peter J., 19(2)91--103
-
Thiemann:1993:OSR, 19(2)91--103
-
Thimbleby, Harold, 7(1)25--40
-
Thimbleby:1982:TEI, 7(1)25--40
-
Thinglab, 18(3)169--183
-
Third, 17(1)1--17
-
Thirunarayan, Krishnaprasad, 25(4)189--210, 34(1)1--17
-
Thirunarayan, Krishnaprasad, see Cleereman, Kevin
-
Thirunarayan:1999:SMI, 25(4)189--210
-
thread, 15(3)141--152, 35(1)80--98, 42(z)2--21
-
threaded, 3(2)135--142
-
threading, 22(4)225--235
-
three, 3(2)115--126, 22(1)39--47
-
three-address, 9(3)149--159
-
three-phase, 19(2)105--117
-
through, 14(4)225--237, 19(4)235--245, 37(4)168--177, 37(4)193--203,
44(z)3--23, 44(z)355--365, 45(z)355--365, 47(z)170--188,
54(z)474--511
-
Tiantian, Wang, 39(3)95--108
-
Tiantian, Wang, see Dandan, Gong
-
Tier, 3-, 25(2)116--117
-
Tier, N-, 25(2)115--116
-
Tilevich, Eli, 48(z)3--19
-
Tilevich, Eli, see Chadha, Sanchit
-
tiling, 20(3)135--150
-
time, 1(1)17--28, 2(1)27--43, 3(3)163--179, 5(3)155--161, 7(2)53--59,
11(1)39--51, 12(1)39--46, 13(1)23--29, 14(1)1--9, 14(2)125--136,
15(1)27--39, 15(3)153--162, 15(3)177--192, 16(1)19--37, 16(1)39--63,
16(1)65--79, 16(2)113--127, 17(3)185--197, 18(2)77--103,
18(4)241--250, 19(1)41--50, 19(2)105--117, 20(1)1--23, 20(1)25--42,
20(1)43--51, 20(2)89--100, 20(3)151--175, 20(3)193--212,
20(4)239--252, 21(2)81--100, 21(3)129--146, 22(1)39--47,
23(2)87--120, 25(1)39--54, 40(3)155--170
-
time, ahead-of-, 34(4)170--183
-
time, binding-, 19(4)213--233
-
time, Branching-, 24(3)155--178
-
time, compile-, 17(1)67--74, 20(1)25--42
-
time, Just-in-, 40(2)37--52
-
time, just-in-, 51(z)22--47
-
Time, Real-, 7(1)11--20, 10(3)189--209, 15(3)153--162,
15(3)177--192, 16(1)65--79
-
time, Real-, 18(2)77--103
-
time, real-, 7(1)11--20, 10(1)43--61, 10(3)189--209,
11(1)15--28, 15(3)153--162, 15(3)177--192, 16(1)19--37, 16(1)39--63,
16(1)65--79, 18(2)77--103, 20(1)1--23, 23(2)87--120, 34(4)153--169,
35(3)277--292, 50(z)127--139
-
Time, Run-, 6(2)79--94
-
time, Run-, 19(3)205--211
-
time, run-, 6(2)79--94, 12(1)21--25, 16(3)209--233,
17(2)83--100, 18(2)137--151, 19(3)205--211, 20(1)25--42,
20(2)127--134, 22(1)39--47, 29(4)75--100, 54(z)273--296
-
time-based, 19(4)261--276
-
time-sharing, 2(1)27--43, 12(2)109--121
-
time-varying, 16(1)19--37
-
timed, 10(1)43--61, 12(2)109--121, 14(2)109--123, 45(z)53--79
-
timer, 14(2)109--123
-
timetabling, 54(z)252--272
-
timing, 16(1)65--79, 18(2)77--103, 20(1)1--23, 20(3)193--212
-
Tisato, F., 7(1)11--20
-
Tisato, F., see Berry, D. M.
-
Tisato, Francesco, 10(1)43--61
-
Tisato, Francesco, see Mandrioli, Dino
-
to-C, bytecode-, 34(4)170--183
-
to-peer, peer-, 40(3)112--136
-
tokens, 10(2)127--146, 22(1)27--38
-
tolerance, 21(3)147--163, 22(4)193--203, 23(1)43--58
-
tolerant, 2(3)93--111, 14(1)1--9, 15(4)251--265, 18(3)153--168,
21(3)147--163
-
tolerant, fault-, 14(1)1--9
-
tolerating, 21(3)147--163
-
Tony, 25(2)115--116
-
too, 12(3)163--171
-
tool, 11(1)15--28, 12(2)109--121, 15(4)225--249, 16(1)39--63,
16(2)113--127, 17(2)147--154, 17(3)199--211, 18(1)57--75,
18(2)77--103, 20(4)213--238, 21(1)17--37, 21(1)39--48, 23(2)87--120,
27(1)93--113, 30(1)63--77, 34(2)109--129, 38(1)44--60, 38(1)61--72,
44(z)299--318, 45(z)299--318, 49(z)196--215, 50(z)31--52,
54(z)236--251
-
tool-, 8(3)139--159
-
toolbox, 52(z)21--42
-
top-down, 10(1)23--36, 20(2)89--100, 21(1)39--48
-
top-level, 15(2)109--125, 50(z)20--30
-
topic, 20(3)177--192
-
Topological, 14(1)11--23, 14(2)125--136
-
Torgersen, Mads, 31(3)127--141
-
Torgersen, Mads, see Andersen, Jakob R.
-
Torii, Koji, 9(1)39--49, 12(1)9--20
-
Torii, Koji, see Mano, Yoshihisa
-
Torii:1987:LPT, 12(1)9--20
-
Torroni, Paolo, 27(4)137--161
-
Torroni, Paolo, see Ciampolini, Anna
-
total, 14(3)181--191
-
totalling, 5(2)52--z
-
Tóth, Melinda, 44(z)355--365, 45(z)355--365,
see Förd{\H{o}}s, Vikt{\'o}ria
-
Tourwé, Tom, 30(1)35--47, 31(3)183--197, see Mens, Kim
-
Tourwe:2004:IIS, 30(1)35--47
-
Toward, 5(2)77--101
-
towards, 1(4)277--286, 15(1)55--64, 16(1)65--79, 18(4)251--271,
22(2)51--77, 23(2)121--160, 36(1)60--95, 38(3)199--213, 52(z)1--20,
54(z)386--405
-
trace, 35(2)100--142, 39(4)123--141, 42(z)22--45
-
trace-based, 20(4)253--265, 51(z)22--47
-
Traces, 20(4)253--265
-
track, 39(4)121--122, 40(1)1--1, 42(z)1, 45(z)163
-
tracking, call-, 28(1)129--154
-
traditional, 18(4)217--239
-
training, 22(4)215--223
-
trait-based, 35(1)2--20
-
traits, 34(2)83--108, 35(1)2--20, 45(z)16--34
-
transaction, 19(3)185--203
-
transactional, 35(1)21--30, 37(1)43--61
-
transducer, 16(1)97--107
-
transfer, 19(2)105--117
-
transformation, 3(4)241--263, 6(1)35--46, 8(2)69--76, 14(3)205--224,
16(1)97--107, 17(1)19--37, 17(3)157--167, 17(4)241--250,
19(2)105--117, 19(3)157--168, 20(2)89--100, 20(3)135--150,
22(2)181--192, 32(2)125--139, 36(3)223--249, 37(4)193--203,
40(2)73--97, 43(z)116--138, 44(z)48--71, 46(z)106--139
-
transformational, 11(1)15--28, 35(3)322--339
-
Transforming, 37(2)76--111
-
transition, 4(2)83--92, 9(3)161--182, 12(2)123--143, 14(1)53--60,
20(1)1--23, 22(1)27--38, 54(z)544--585
-
transitive, 15(2)65--82
-
translate, 6(3)139--153
-
Translating, 8(1)27--45
-
translation, 1(1)83--99, 7(1)41--52, 7(3)161--170, 13(1)1--11,
14(3)205--224, 18(1)17--30, 18(4)217--239, 43(z)96--115
-
translation, back-, 35(2)173--195
-
translator, 4(1)17--27, 12(3)173--195, 14(3)205--224, 23(2)121--160
-
transmission, 1(2)161--194, 6(3)115--130
-
transparent, 38(1)108--121, 54(z)273--296
-
transputer, 12(1)27--37, 18(2)125--136, 20(3)135--150
-
Transtaxor, 1(1)83--99
-
transversability, 19(2)119--134
-
trapezoid, 43(z)41--68
-
Tratt, Laurence, 44(z)24--47, 44(z)199--217, 45(z)199--217
-
Tratt, Laurence, see Barrett, Edd,
see Erdweg, Sebastian
-
traversability, 19(2)119--134
-
Trávnícek, Jan, 46(z)91--105,
see Polách, Radomír
-
treatments, 22(2)51--77
-
tree, 1(3)233--253, 3(1)31--35, 3(2)65--74, 3(2)135--142, 4(3)131--137,
5(1)29--36, 10(3)225--236, 11(2)65--83, 15(3)127--140,
19(3)157--168, 20(3)151--175, 20(4)267--277, 21(1)49--65,
21(2)113--127, 22(4)225--235, 37(2)63--75, 39(4)163--181,
47(z)2--18
-
tree, parse-, 5(3)141--153
-
tree-manipulation, 19(3)157--168
-
Tremblay, G., 26(1)27--41, 26(1)43--66
-
Tremblay:2000:LEN, 26(1)43--66
-
Tremblay:2000:LEP, 26(1)27--41
-
Trends, 44(0)141--142, 52(z)63--64
-
TRIAD, 8(3)139--159
-
Trinder, P. W., 40(1)19--35
-
Trinder, P. W., see Maier, P.
-
Trinder, Phil, 36(1)34--59
-
Trinder, Phil, see Deng, Xiao Yan
-
Troya, J. M., 23(2)87--120
-
Troya, J. M., see Diaz, M.
-
Tsay, Chey-Woei, 28(3)273--288
-
Tsay, Chey-Woei, see Yang, Wuu
-
Tsay, Jong Chuang, 6(3)155--163
-
Tsay:1981:DIC, 6(3)155--163
-
Tuck, James, 45(z)191--203
-
Tuck, James, see Milewicz, Reed
-
Tucker, A., 1(1)3--16
-
Tucker:1975:VHL, 1(1)3--16
-
tuple, 1(3)197--218, 22(2)79--93, 22(4)205--214
-
Turcinhodzi{\'c}, Razija, 54(z)252--272,
see Ribi{\'c}, Samir
-
Turing, 4(2)83--92, 16(1)97--107
-
Turini, Franco, 25(4)211--242
-
Turini, Franco, see Brogi, Antonio
-
Two, 12(1)21--25, 13(3)149--170
-
two-dimensional, 17(3)169--184, 44(z)355--365, 45(z)355--365
-
Two-Level, 4(3)171--185, 11(3)173--191
-
two-level, 4(3)171--185, 11(3)173--191, 13(3)149--170
-
two-phase, 53(z)27--42
-
TX, 5(2)52--z
-
TXL, 16(1)97--107, 19(3)157--168
-
txl, 16(1)97--107, 19(3)157--168
-
type, 2(3)61--73, 2(3)75--91, 5(2)77--101, 5(3)155--161, 7(2)53--59,
7(2)89--102, 8(3)95--111, 9(1)1--23, 9(2)71--87, 10(1)1--22,
10(1)37--42, 11(3)161--172, 12(1)21--25, 12(2)69--94, 12(3)145--162,
12(3)163--171, 13(2)95--105, 14(3)153--163, 14(3)165--180,
14(3)181--191, 15(1)1--26, 15(1)41--54, 16(2)147--165, 17(1)75--82,
17(2)101--131, 17(2)147--154, 17(3)157--167, 18(4)241--250,
19(1)19--40, 19(3)205--211, 19(4)213--233, 20(1)25--42,
20(2)101--116, 20(2)117--126, 21(3)129--146, 22(4)215--223,
29(1)15--44, 31(2)71--101, 33(2)35--59, 35(1)48--62, 35(4)435--447,
36(1)60--95, 37(3)113--131, 39(2)49--65, 44(0)166--180,
49(z)216--230, 52(z)92--110
-
type-checking, 13(2)95--105, 18(4)241--250, 19(1)19--40, 22(4)215--223,
34(1)1--17
-
type-inference, 22(4)215--223
-
type-safe, 41(z)1--20
-
type-sensitive, 20(2)101--116
-
typechecking, 14(3)165--180
-
typed, 10(1)1--22, 20(1)25--42, 37(3)132--150, 38(1)98--107
-
typed, strongly-, 18(3)169--183
-
typesafe, 16(3)209--233
-
typing, 14(3)137--152, 18(3)169--183, 19(4)213--233, 20(1)25--42,
28(1)61--99, 35(3)241--251
-
Tzevelekos, Nikos, 38(2)181--198
-
Tzevelekos:2012:PES, 38(2)181--198