Last update: Thu Sep 28 02:07:29 MDT 2023
Return to index directory
T
-
T, 45(1)159--170, 45(5)245--256
-
T10P, 45(5)115--126
-
T2, 45(5)191--202
-
tab, 46(11)119--128
-
table, 45(3)3--14, 45(3)53--64, 45(5)245--256, 45(8)73--82,
46(6)317--328, 46(8)25--34, 46(11)129--138, 47(4)105--118
-
Tabuchi, Naoshi, 45(1)495--508
-
Tabuchi, Naoshi, see Kobayashi, Naoki
-
tabular, 45(6)221--232
-
Tachyon, 47(2)61--72
-
Tack, Andres Jaan, 46(3)91--104, 47(4)91--104
-
Tack, Andres Jaan, see Volos, Haris
-
tackle, 46(8)179--188, 47(3)147--156, 47(4)1--2, 47(4)369--380,
47(6)13--22
-
tackling, 47(5)149--152, 47(6)77--88
-
tactic, 47(1)273--284
-
tag, 47(4)159--170
-
tag-on-data, 46(11)129--138
-
Taha, Walid, 45(6)400--411
-
Taha, Walid, see Westbrook, Edwin
-
tailor, 45(2)127--136, 45(3)311--322
-
tailor-made, 47(3)3--12
-
tailored, 45(2)25--34, 45(3)271--284, 47(3)53--62
-
tailoring, 47(3)3--12
-
taint, 45(5)315--324, 46(10)1053--1068
-
tainting, 45(7)63--74
-
taken, 45(2)35--44, 45(5)315--324, 47(5)21--30, 47(5)31--40
-
Takeyama, Makoto, 46(9)142--142
-
Takeyama:2011:PAC, 46(9)142--142
-
taking, 45(2)3--4, 45(6)160--173, 45(6)279--291, 45(6)305--315,
45(8)93--102, 45(10)3--3, 46(11)129--138, 47(1)165--178,
47(1)323--336, 47(4)1--2
-
TAL, 45(6)99--110, 45(6)424--435
-
talk, 45(2)1--2, 45(2)3--4, 45(3)1--2, 45(5)1--2, 45(5)103--104,
45(6)98--98, 45(7)1--2, 45(8)51--52, 46(2)1--2, 46(8)1--2,
46(8)123--124, 47(1)215--216, 47(1)425--426, 47(3)1--2, 47(3)93--94,
47(3)185--186
-
Tallent, Nathan R., 45(5)269--280
-
Tallent:2010:ALC, 45(5)269--280
-
tamed, 45(6)122--133
-
taming, 45(6)134--145, 46(6)602--613, 46(6)614--627, 46(9)234--246
-
Tamir, Yuval, 46(7)63--74
-
Tamir, Yuval, see Le, Michael
-
Tan, Gang, 46(10)345--358
-
Tan, Gang, see Li, Siliang
-
Tan, Lin, 45(3)143--154
-
Tan, Lin, see Yuan, Ding
-
Tan, Roy, 45(6)330--340
-
Tan, Roy, see Burckhardt, Sebastian
-
Tanase, Gabriel, 46(8)235--246
-
Tanase:2011:SPC, 46(8)235--246
-
tandem, 45(3)335--346
-
Tangwongsan, Kanat, 45(6)483--496
-
Tangwongsan, Kanat, see Acar, Umut A.
-
Tanter, Éric, 46(2)113--122, 46(10)713--732,
see Sunshine, Joshua
-
Tanter:2011:CDA, 46(2)113--122
-
tao, 46(6)12--25
-
Tarau, Paul, 46(11)129--138
-
Tarau:2011:IST, 46(11)129--138
-
targeted, 45(3)205--218, 45(5)351--352, 45(5)355--356, 46(8)305--306,
47(3)107--116, 47(5)1--10
-
targeting, 45(3)285--296, 45(4)85--94, 45(5)1--2, 45(5)353--354,
45(5)355--356, 45(7)145--156, 46(5)51--60, 46(8)35--46, 46(8)47--56,
47(5)21--30, 47(6)1--12
-
Tartler, Reinhard, 46(2)33--42
-
Tartler, Reinhard, see Sincero, Julio
-
task, per-, 45(5)341--342
-
task-based, 45(5)337--338
-
task-graph, 46(8)201--212
-
Task-level, 46(5)21--30
-
TASS, 46(8)309--310
-
Tate, Ross, 45(1)389--402, 45(6)424--435, 46(6)614--627
-
Tate:2010:GCO, 45(1)389--402
-
Tate:2010:IOO, 45(6)424--435
-
Tate:2011:TWJ, 46(6)614--627
-
Tatikonda, Shirish, 45(5)355--356
-
Tatikonda, Shirish, see Buehrer, Gregory
-
Tatlock, Zachary, 45(6)111--121
-
Tatlock:2010:BEV, 45(6)111--121
-
Tatsubori, Michiaki, 45(7)121--132
-
Tatsubori:2010:EJT, 45(7)121--132
-
Tatsuta, Makoto, 46(1)81--92
-
Tatsuta, Makoto, see Choi, Wontae
-
Tavor, Ateret, Anaby-, 45(10)848--864
-
Taylor, Elijah, 46(6)355--366
-
Taylor, Elijah, see Ansel, Jason
-
Taylor, Michael Bedford, 45(3)205--218, 46(6)458--469, 46(8)293--294,
46(10)519--536
-
Taylor, Michael Bedford, see Garcia, Saturnino,
see Jeon, Donghwan,
see Venkatesh, Ganesh
-
TBB, 45(5)179--190, 45(6)376--387
-
teach, 45(7)1--2
-
teaching, 45(3)103--116, 45(7)1--2
-
TeachScheme, 45(9)129--130
-
team, 45(6)330--340
-
tech, 47(3)93--94
-
technical, 45(2)1--2, 45(5)103--104, 45(5)305--314, 46(2)1--2,
47(1)231--244, 47(1)413--424, 47(4)357--368
-
tedious, 45(3)143--154, 45(5)179--190, 46(2)157--166, 46(2)177--186,
46(8)69--80, 47(3)53--62, 47(4)381--392, 47(6)13--22
-
Teixeira, Leopoldo, 47(3)33--42
-
Teixeira, Leopoldo, see Neves, Laís
-
Tekle, Tuncay K., 45(12)27--42
-
Tekle, Tuncay K., see Gorbovitski, Michael
-
telephony, 45(7)97--108
-
telescope, 45(5)169--178
-
tell, 45(5)47--56
-
Temam, Olivier, 45(6)448--459
-
Temam, Olivier, see Chen, Yang
-
temperature, 45(3)193--204
-
template, 45(2)25--34, 45(2)99--108, 45(4)77--84, 45(12)81--96,
46(2)137--146, 46(2)167--176, 46(7)39--50, 46(8)235--246,
47(3)33--42, 47(3)137--146
-
template-based, 47(3)137--146
-
template-based, verification-, 45(6)134--145
-
temporal, 45(3)219--230, 45(5)341--342, 45(8)31--40, 46(9)176--188
-
temporal, spatio-, 45(4)27--36
-
temporary, 45(6)160--173, 47(3)185--186, 47(5)89--98
-
ten, 45(3)311--322, 45(5)1--2, 45(6)448--459, 46(2)103--112,
46(3)305--318, 46(8)57--68, 47(4)171--184, 47(4)305--318
-
tend, 45(3)53--64, 45(3)193--204, 45(5)223--232, 46(2)33--42,
46(8)267--276
-
Tene, Gil, 46(11)79--88
-
Tene:2011:CCC, 46(11)79--88
-
tenfold, 47(1)259--272
-
tension, 45(8)51--52
-
tentative, 46(8)157--168
-
tenth, 45(3)179--192
-
Terauchi, Tachio, 45(1)119--130
-
Terauchi:2010:DTC, 45(1)119--130
-
Terei, David A., 45(11)109--120
-
Terei:2010:LBG, 45(11)109--120
-
term, Short-, 46(11)99--108
-
term, short-, 46(11)99--108
-
terminate, 45(6)424--435, 47(5)139--148
-
terminating, 47(1)123--136, 47(1)297--308
-
termination, 45(5)159--168, 45(8)83--92, 46(8)13--24, 46(8)201--212,
46(12)23--34, 47(1)245--258
-
terms, lambda-, 47(1)401--412
-
Terrier, François, 45(2)127--136,
see Radermacher, Ansgar
-
test-case, 46(6)283--294
-
test-driven, 46(10)139--154, 47(1)111--122
-
testbed, 45(5)327--328
-
tested, 45(3)179--192, 45(5)137--146, 45(8)21--30, 45(8)51--52,
46(4)53--64, 46(6)283--294, 46(8)179--188, 47(1)533--544
-
tested, long-, 46(8)125--134
-
testing, compiler-, 46(6)283--294
-
testing, stress-, 45(3)167--178
-
Tetali, Sai Deep, 45(1)43--56
-
Tetali, Sai Deep, see Godefroid, Patrice
-
Tew, Kevin, 45(10)583--597, 47(2)85--96
-
Tew, Kevin, see Swaine, James
-
Tew:2012:PAM, 47(2)85--96
-
text, 45(2)127--136, 45(6)221--232
-
text-based, 45(2)3--4
-
textual, 45(2)99--108, 47(3)157--166
-
Thakur, Aditya, 45(10)241--255
-
Thakur, Aditya, see Jin, Guoliang
-
Thamsborg, Jacob, 46(1)119--132, 46(9)445--456
-
Thamsborg, Jacob, see Birkedal, Lars
-
Thamsborg:2011:KLR, 46(9)445--456
-
thanks, 45(3)297--310, 46(2)113--122, 47(1)3--6
-
the, context-, 45(6)13--24
-
the, state-of-, 47(1)151--164, 47(4)357--368
-
the-beginning, snapshot-at-, 45(8)73--82
-
the-fly, On-, 46(3)369--380, 47(4)369--380
-
the-shelf, off-, 45(6)436--447, 45(9)75--86, 47(5)99--108
-
the-world, stop-, 45(8)21--30, 46(11)79--88, 47(6)23--34
-
theft, 45(7)63--74
-
them., 45(5)305--314
-
theme, 45(2)75--84, 47(4)319--332
-
themselves, 45(6)50--61, 45(8)63--72, 46(12)35--46, 47(1)495--508,
47(1)571--584, 47(3)117--126, 47(4)1--2, 47(4)333--344
-
themselves., 45(2)3--4
-
theorem-based, 47(3)185--186
-
theoretic, 45(8)113--120
-
theoretic, Set-, 46(9)94--106
-
theoretical, 45(5)91--100, 45(5)245--256, 45(6)255--268, 45(8)53--62,
46(11)43--54, 47(1)413--424, 47(2)73--84
-
thereby, 45(3)15--28, 45(3)243--256, 45(3)335--346, 45(5)341--342,
45(6)351--362, 45(6)412--423, 45(7)13--24, 45(7)133--144,
45(8)31--40, 45(8)73--82, 47(1)373--386, 47(1)481--494, 47(3)13--22,
47(4)27--38, 47(5)31--40
-
therefore, 45(2)95--98, 45(3)143--154, 45(3)335--346, 45(4)1--8,
45(4)67--76, 45(5)223--232, 45(6)448--459, 45(7)85--96,
45(7)145--156, 46(8)189--200, 46(11)11--20, 47(1)137--150,
47(1)557--570, 47(2)51--60, 47(5)21--30, 47(6)55--66
-
thereof, 47(5)21--30, 47(5)149--152
-
thermal, 45(3)193--204
-
Thiele, Lothar, 45(4)37--46
-
Thiele, Lothar, see Perathoner, Simon
-
Thiemann, Peter, 45(2)65--74, 47(1)111--122
-
Thiemann, Peter, see Heidegger, Phillip,
see Wehr, Stefan
-
Thies, 45(3)65--76
-
Thies, William, 46(6)480--491
-
Thies, William, see Udupa, Abhishek
-
thieves, 46(8)201--212
-
thin, 45(5)351--352, 45(6)174--186, 46(8)213--222
-
third, 45(6)233--243, 46(9)385--391, 47(2)1--12
-
third-party, 45(10)361--376, 46(6)458--469
-
Thomas, Gaël, 45(7)51--62, 46(3)305--318, 47(4)305--318,
see Geoffray, Nicolas,
see Palix, Nicolas
-
Thomas, James Jamal, 46(3)145--158, 47(4)145--158
-
Thomas, James Jamal, see Hashmi, Atif
-
Thomas, Johnson J., 46(5)101--110
-
Thomas, Nathan, 46(8)235--246
-
Thomas, Nathan, see Tanase, Gabriel
-
Thomas:2011:LOS, 46(5)101--110
-
thorough, 45(6)146--159, 47(4)381--392
-
thoroughly, 45(3)179--192, 47(1)533--544
-
though, 45(3)39--52, 45(5)137--146, 45(8)73--82, 45(12)1--14,
47(3)185--186, 47(4)305--318
-
thought, 45(6)305--315, 47(1)349--360
-
thousand, 45(3)143--154, 45(3)311--322, 45(4)115--124, 45(5)169--178,
45(5)233--244, 45(6)36--49, 45(6)244--254, 46(8)147--156
-
thrashing, 45(7)97--108
-
thread, 64-, 45(5)341--342
-
thread, eight-, 45(5)281--292
-
thread, four-, 45(3)91--102
-
thread, inter-, 45(3)257--270, 45(3)271--284
-
thread, per-, 45(3)91--102
-
thread, single-, 45(3)297--310, 45(6)460--470
-
thread, two-, 45(3)91--102
-
thread-agnostic, 47(5)21--30
-
thread-escape, 47(1)373--386
-
Thread-Level, 45(3)65--76
-
thread-level, 45(3)65--76, 45(5)147--158
-
thread-local, 45(8)21--30
-
thread-oriented, 45(6)388--399
-
thread-safe, 45(6)330--340, 46(8)235--246
-
thread-specific, 47(5)21--30
-
thread-state, 47(1)297--308
-
thread-unsafe, 45(2)45--54
-
threaded, 45(5)269--280, 47(6)77--88
-
threaded, hyper-, 45(4)115--124
-
threaded, Multi-, 45(3)65--76
-
threaded, multi-, 45(3)65--76, 45(5)127--136, 45(5)191--202,
45(5)233--244, 45(5)257--268, 45(6)341--350, 46(1)331--344,
46(6)199--210, 46(7)27--38, 46(8)103--112, 46(8)267--276,
47(1)203--214, 47(5)1--10, 47(5)21--30
-
threaded, single-, 45(3)53--64, 45(3)65--76, 45(3)271--284,
45(3)297--310, 45(5)257--268, 45(8)21--30, 46(8)35--46,
47(4)319--332
-
threading, 45(5)179--190, 45(6)376--387, 47(4)381--392
-
threading, multi-, 45(3)91--102, 47(6)45--54
-
threads, multi-, 45(6)269--278
-
threads., 45(6)255--268
-
threat, 47(4)279--290
-
threesome, 45(1)365--376
-
threshold, 45(3)335--346, 45(5)179--190
-
threshold, stop-splitting-, 45(5)179--190
-
throttle, 45(3)231--242, 45(3)335--346, 46(6)425--436
-
throttling, 45(3)231--242, 45(3)335--346
-
throughout, 45(6)471--482, 46(8)289--290
-
throw, 45(6)351--362
-
throwing, 45(6)351--362
-
Thummalapenta, Suresh, 46(10)189--206
-
Thummalapenta:2011:SMS, 46(10)189--206
-
Tian, Chen, 45(6)62--73, 45(8)63--72, 46(8)189--200
-
Tian, Kai, 45(10)125--139, 46(3)369--380, 46(10)445--462, 47(4)369--380
-
Tian, Kai, see Zhang, Eddy Z.
-
Tian:2010:ICP, 45(10)125--139
-
Tian:2010:SPU, 45(8)63--72
-
Tian:2010:SSP, 45(6)62--73
-
Tian:2011:ESP, 46(8)189--200
-
Tian:2011:STT, 46(10)445--462
-
Tibell, Johan, 45(11)103--108
-
Tibell, Johan, see O'Sullivan, Bryan
-
tier, multi-, 47(2)1--12
-
tier, two-, 45(3)243--256
-
tiered, two-, 45(3)397--408
-
tight, 45(4)153--162, 45(8)51--52, 47(4)159--170
-
tightening, 45(4)153--162
-
tighter, 45(3)385--396
-
tightly, 45(4)47--56, 46(2)127--136
-
tile, 45(5)213--222
-
tiled, 45(3)285--296, 45(5)213--222
-
TILEPro64, 45(6)388--399
-
Tilevich, Eli, 45(10)865--876
-
Tilevich, Eli, see Dumitras, Tudor
-
tiling, 45(5)213--222, 45(6)86--97, 46(1)575--586, 46(8)295--296
-
Tillmann, Nikolai, 45(10)708--725, 46(10)189--206
-
Tillmann, Nikolai, see Bebenita, Michael,
see Thummalapenta, Suresh
-
time, compile-, 45(2)25--34, 45(2)85--94, 45(5)37--46,
45(8)31--40, 45(8)113--120, 46(2)137--146, 46(5)51--60,
47(4)333--344, 47(5)51--60
-
time, completion-, 45(5)245--256
-
time, computation-, 45(5)305--314
-
time, continuous-, 47(5)129--138
-
time, debug-, 45(5)57--66
-
time, design-, 47(3)73--82
-
time, discrete-, 47(1)45--58, 47(5)129--138
-
time, execution-, 46(2)73--82, 46(8)113--122
-
time, exponential-, 45(6)305--315
-
time, Just-in-, 45(12)1--14
-
time, just-in-, 45(1)107--118, 45(6)269--278, 45(7)51--62,
45(7)121--132, 45(12)1--14, 46(6)74--85, 46(6)355--366, 47(2)25--36,
47(4)145--158, 47(5)21--30
-
time, load-, 45(2)85--94
-
time, non-real-, 45(7)97--108
-
time, parse-, 46(6)425--436
-
time, polynomial-, 45(6)305--315
-
time, real-, 45(2)127--136, 45(4)27--36, 45(4)37--46,
45(4)67--76, 45(4)133--142, 45(4)153--162, 45(5)169--178,
45(6)146--159, 45(6)471--482, 45(7)3--12, 45(7)97--108, 45(8)11--20,
45(8)73--82, 46(5)1--10, 46(8)301--302, 46(11)89--98, 47(3)53--62,
47(5)31--40, 47(6)23--34
-
time, search-, 45(4)95--104
-
time, soft-real-, 45(7)97--108
-
time, space-and-, 45(6)146--159
-
time-and-space, 45(6)146--159
-
time-aware, 45(10)634--651
-
time-consuming, 45(2)95--98, 45(3)143--154, 45(4)67--76, 45(12)1--14,
47(1)273--284, 47(4)381--392
-
time-sensitive, 45(4)133--142
-
time-slicing, 45(3)271--284
-
time-to-market, 45(4)77--84
-
timed, 46(8)113--122
-
timeless, 46(2)1--2
-
timely, 45(4)67--76
-
timesliced, 47(4)15--26
-
timeslices, 47(4)15--26
-
timing, 45(3)53--64, 45(4)67--76, 45(4)77--84, 45(4)133--142,
45(4)153--162, 46(8)301--302, 47(4)345--356
-
timing-aware, 46(3)345--356, 47(4)345--356
-
timing-sensitive, 47(4)345--356
-
tints, 45(7)63--74
-
tiny, 46(1)241--246, 47(5)1--10
-
Tip, Frank, 46(10)119--138
-
Tip, Frank, see Feldthaus, Asger
-
Titzer, Ben L., 45(7)39--50
-
Titzer:2010:ICR, 45(7)39--50
-
Tiwari, Ashish, 46(6)50--61, 46(6)62--73
-
Tiwari, Ashish, see Gulwani, Sumit
-
Tiwari, Mohit, 46(6)109--120
-
Tiwari, Mohit, see Li, Xun
-
TL2, 45(5)37--46, 45(6)134--145
-
TLA+, 45(2)1--2
-
TLB, 45(3)359--370
-
TLB, D-, 45(3)359--370
-
TLBs, 45(3)3--14, 45(3)359--370
-
TLC, 47(3)147--156
-
TLM, 45(4)77--84
-
TLMs, 45(4)77--84
-
TLS, 45(3)65--76
-
TM, 45(5)47--56, 45(5)57--66, 45(5)79--90, 45(5)349--350, 47(4)27--38,
47(4)39--52
-
TMACC, 47(4)27--38
-
TMs, 47(4)39--52
-
to', 'points-, 45(6)305--315
-
to, Points-, 46(1)3--16
-
to, points-, 45(5)37--46, 45(6)160--173, 45(6)305--315,
45(10)428--443, 47(1)309--322, 47(1)373--386
-
to-active, standby-, 45(3)243--256
-
to-C, OpenCL-C-, 46(8)277--288
-
to-CUDA-C, OpenCL-C-, 46(8)277--288
-
to-decimal, binary-, 45(6)233--243
-
to-end, end-, 45(6)111--121, 45(6)412--423
-
to-find, hard-, 47(4)105--118
-
to-guest, VMM-, 46(7)193--204
-
to-head, head-, 47(6)13--22
-
to-hop, hop-, 45(6)174--186
-
to-market, time-, 45(4)77--84
-
to-model, model-, 45(2)127--136
-
to-point, point-, 45(4)85--94, 45(5)159--168, 45(5)293--304
-
to-reproduce, hard-, 45(6)255--268
-
to-source, source-, 46(8)277--288
-
to-string, tree-, 47(3)137--146
-
to-understand, easier-, 47(3)107--116
-
to-understand, hard-, 47(4)53--66
-
to-use, easy-, 45(6)363--375, 46(8)57--68
-
Tobin-Hochstadt, Sam, 45(9)117--128, 46(6)132--141, 47(1)285--296
-
Tobin-Hochstadt, Sam, see Klein, Casey
-
Tobin-Hochstadt:2010:LTU, 45(9)117--128
-
Tobin-Hochstadt:2011:LL, 46(6)132--141
-
today, 45(2)1--2, 45(2)85--94, 45(3)371--384, 45(6)62--73, 46(8)35--46,
46(8)179--188, 46(11)65--76, 47(1)215--216, 47(1)217--230,
47(4)305--318, 47(4)393--404, 47(5)21--30, 47(5)149--152
-
together, 45(2)137--146, 45(3)359--370, 45(3)371--384, 45(5)339--340,
45(6)292--304, 46(8)13--24, 46(8)91--102, 46(8)123--124,
46(8)169--178, 46(12)83--94, 47(1)59--72, 47(1)217--230,
47(1)273--284, 47(1)557--570, 47(4)1--2, 47(5)89--98
-
Tolêdo, Társis, 47(3)23--32,
see Ribeiro, Márcio
-
tolerance, 45(3)231--242, 45(3)397--408, 45(7)13--24, 46(8)303--304
-
tolerant, 45(4)85--94, 45(6)146--159, 47(4)213--224
-
tolerant, fragmentation-, 45(6)146--159
-
tolerate, 45(3)231--242, 45(5)257--268, 45(5)335--336, 45(6)146--159,
46(8)189--200
-
tolerating, 47(4)27--38
-
Tolmach, Andrew, 45(9)273--284
-
Tolmach, Andrew, see McCreight, Andrew
-
Tomic, Sa{\v{s}}a, 45(3)39--52, see Harris, Tim
-
tomorrow, 45(8)1--10
-
too, 45(3)143--154, 45(6)436--447, 45(7)13--24, 45(8)51--52, 45(12)1--14,
46(8)35--46, 46(11)65--76, 47(1)455--468
-
took, 45(5)137--146, 45(7)51--62, 47(4)265--278
-
tool, B-, 46(8)135--146
-
tool-supported, 46(10)119--138, 47(3)147--156
-
toolchain, 45(2)127--136, 45(3)205--218, 45(4)125--132
-
tooling, 47(3)13--22
-
toolkit, 46(2)157--166, 46(8)309--310, 46(9)292--306, 47(6)89--98
-
tools., 45(2)99--108, 45(6)221--232
-
top, 45(3)347--358, 45(5)351--352, 45(6)99--110, 45(6)111--121,
45(6)122--133, 45(7)157--166, 45(8)41--50, 45(8)53--62,
46(3)291--304, 47(1)97--110, 47(3)97--106, 47(3)167--176,
47(4)265--278, 47(4)291--304, 47(6)35--44
-
top-performing, 46(8)179--188
-
Topham, Nigel, 46(6)74--85, 47(5)21--30
-
Topham, Nigel, see Böhm, Igor,
see Kyle, Stephen
-
topic, 45(7)85--96
-
topology, 45(3)231--242, 45(6)74--85, 46(8)113--122
-
topology-aware, 45(6)74--85
-
Tordsson, Johan, 46(7)111--120
-
Tordsson, Johan, see Svärd, Petter
-
Torlak, Emina, 45(6)341--350
-
Torlak:2010:MCA, 45(6)341--350
-
Törngren, Martin, 45(4)125--132, see Biehl, Matthias
-
Torque, Spin-, 47(5)109--118
-
Torrellas, Josep, 45(5)101--102
-
Torrellas:2010:ESC, 45(5)101--102
-
torture, 47(1)533--544
-
total, 45(3)65--76, 45(3)243--256, 45(3)271--284, 45(4)27--36,
45(5)25--36, 45(5)293--304, 45(6)330--340, 45(8)11--20,
45(9)285--296, 46(8)277--288, 47(1)245--258, 47(2)25--36,
47(4)53--66, 47(4)213--224, 47(5)89--98, 47(5)109--118
-
total-store-ordering, 47(4)67--78
-
totally, 47(4)133--144
-
touching, 45(5)1--2
-
Tov, Jesse A., 46(1)447--458, 46(10)625--642
-
Tov:2011:PAT, 46(1)447--458
-
Tov:2011:TST, 46(10)625--642
-
tower, 45(10)947--957, 47(3)97--106
-
toy, 45(7)1--2
-
Tozawa, Akihiko, 45(7)121--132
-
Tozawa, Akihiko, see Tatsubori, Michiaki
-
TPC-W, 45(7)25--36
-
TPCC, 45(3)103--116
-
TPCH, 45(3)103--116
-
TPL, 45(6)134--145
-
trace-based, 45(10)708--725, 46(3)405--418, 46(8)113--122,
47(1)245--258, 47(4)405--418, 47(5)21--30, 47(6)55--66
-
trace-driven, 45(5)305--314, 46(5)31--40, 47(4)159--170
-
traceability, 47(2)51--60
-
traceable, 45(6)483--496
-
tracing, 45(4)133--142, 45(6)1--12, 45(6)483--496, 45(8)1--10,
46(5)91--100, 46(5)101--110, 46(8)113--122, 46(11)79--88,
47(2)25--36, 47(2)51--60
-
tracing, dependence-, 45(6)483--496
-
track, 45(3)53--64, 45(3)103--116, 45(6)255--268, 45(7)63--74,
45(7)109--120, 46(8)157--168, 46(12)95--106, 47(1)361--372,
47(1)495--508
-
Tracker, 45(7)109--120
-
trackers, 45(7)109--120
-
tracking, 45(3)257--270, 45(3)271--284, 45(6)255--268, 45(6)388--399,
45(7)63--74, 45(7)109--120, 45(8)93--102, 45(12)15--26,
46(8)169--178
-
tractable, 45(5)25--36, 46(8)35--46, 47(1)31--44, 47(2)85--96,
47(4)119--132, 47(6)55--66
-
trade, 46(8)247--256, 47(1)441--454, 47(4)199--212
-
trade-off, 45(4)143--152, 46(8)3--12, 47(4)213--224
-
trade-offs, 45(3)219--230, 45(4)143--152, 46(8)267--276, 47(4)265--278
-
tradeoff, 45(3)335--346, 45(4)133--142, 45(6)198--209, 47(1)59--72,
47(1)425--426, 47(5)11--20, 47(5)119--128
-
trades-off, 45(3)243--256
-
trading, 45(3)257--270, 46(11)1--10
-
trading-off, 45(4)143--152
-
tradition, 46(2)127--136, 47(6)35--44
-
traditionally, 45(3)193--204, 45(3)219--230, 45(5)79--90, 45(5)281--292,
45(12)81--96, 47(4)405--418
-
traffic, 45(3)271--284, 45(6)269--278, 47(1)215--216, 47(1)217--230
-
traffic, network-, 45(6)292--304
-
traffic-statistics, 47(1)217--230
-
trained, 47(4)145--158
-
training, 45(5)179--190, 45(6)13--24, 47(5)119--128
-
trait, 45(12)81--96, 45(12)97--112, 46(8)267--276
-
transaction-ignorant, 45(5)79--90
-
transcut, 45(2)35--44
-
transducer, 45(1)495--508, 45(4)77--84, 46(1)599--610, 47(1)137--150,
47(3)137--146
-
transfer, 45(3)311--322, 45(3)347--358, 45(4)47--56, 46(8)69--80,
46(8)81--90, 46(12)47--58, 47(4)357--368, 47(5)109--118
-
Transfer, Register-, 47(5)119--128
-
transform, 45(3)285--296, 45(4)27--36, 45(6)210--220, 45(6)221--232,
45(7)13--24, 46(2)33--42, 46(8)81--90, 46(8)257--266, 47(1)217--230,
47(4)159--170, 47(4)199--212, 47(5)119--128
-
transformational, 45(2)3--4
-
transformed, 45(2)157--166, 45(5)1--2, 46(8)81--90, 46(8)113--122,
47(1)7--18, 47(3)107--116
-
transforming, 45(2)55--64, 45(5)203--212, 45(6)316--329, 47(1)259--272,
47(3)185--186
-
transient, 45(3)193--204, 45(4)85--94, 47(5)99--108
-
transiently, 47(4)159--170
-
transistor, 45(3)205--218, 45(3)385--396, 45(4)143--152, 45(7)1--2,
47(5)99--108, 47(6)23--34
-
transition, 45(3)243--256, 45(4)57--66, 45(6)36--49, 45(6)279--291,
47(1)59--72, 47(1)137--150, 47(1)203--214, 47(1)245--258,
47(3)117--126, 47(4)185--198
-
transitive, 45(6)292--304
-
transitively, 47(1)59--72
-
translate, 45(4)27--36, 45(4)47--56, 45(6)62--73, 45(6)221--232,
45(6)412--423, 45(8)41--50, 47(1)7--18, 47(2)25--36, 47(3)137--146,
47(4)199--212, 47(5)21--30
-
translated, 45(7)145--156, 45(7)157--166, 47(3)63--72
-
translating, 45(4)47--56, 45(4)125--132, 47(1)495--508, 47(3)137--146
-
translating, sector-, 46(5)31--40
-
translation, binary-, 45(3)29--38
-
translation-aware, 45(3)323--334
-
translator, 45(3)29--38, 45(7)157--166, 46(6)74--85, 46(8)277--288,
47(1)215--216, 47(2)25--36, 47(4)405--418, 47(5)21--30
-
translatorsDBTs, 45(7)145--156
-
transmission, 45(3)15--28, 46(12)118--129
-
transmit, 46(8)81--90
-
transparent, 45(2)75--84, 45(4)115--124, 45(5)325--326, 45(7)63--74,
45(10)223--240, 46(4)41--52, 46(10)445--462, 46(11)89--98,
47(4)369--380
-
transparently, 45(3)347--358, 45(4)115--124, 45(6)36--49, 45(6)471--482,
45(7)63--74, 46(4)41--52, 46(12)23--34
-
transported, 47(4)305--318
-
trapped, 46(11)11--20
-
Tratt, Laurence, 45(12)73--80
-
Tratt:2010:EIL, 45(12)73--80
-
traveling, 45(3)15--28, 45(4)85--94
-
traversal, 46(10)463--482
-
treaps, 47(1)123--136
-
treat, 46(2)63--72, 46(2)73--82, 46(8)277--288, 47(4)369--380
-
treated, 47(1)73--84, 47(1)179--190, 47(1)481--494
-
treating, 46(12)47--58
-
treatment, 45(6)305--315, 45(8)103--112, 47(1)73--84, 47(1)323--336,
47(1)495--508, 47(5)61--70
-
tree-structured, 45(5)355--356
-
tree-to-string, 47(3)137--146
-
TreeMap, 45(6)269--278
-
trees, B-, 47(1)123--136
-
tremendous, 47(1)323--336
-
tremendously, 45(6)436--447
-
trend, 45(3)65--76, 45(3)297--310, 45(3)385--396, 45(4)115--124,
45(5)1--2, 45(5)105--114, 45(7)75--84, 46(8)123--124, 46(11)77--78,
47(1)215--216, 47(4)171--184, 47(4)319--332, 47(5)61--70,
47(6)35--44, 47(6)89--98
-
Trent, Scott, 45(7)121--132, 45(10)191--204
-
Trent, Scott, see Ogata, Kazunori,
see Tatsubori, Michiaki
-
trial, 45(5)233--244
-
Tribal, 45(10)618--633
-
tridiagonal, 45(5)127--136
-
trie, 45(4)9--16, 45(4)85--94, 45(5)245--256, 47(1)387--400
-
trigger, 47(3)177--184, 47(4)251--264, 47(4)345--356
-
triggered, 47(5)99--108
-
triggering, 47(4)251--264
-
triggering, bug-, 45(3)179--192
-
Trimaran, 47(5)31--40
-
Trinder, Phil, 45(11)91--102
-
Trinder, Phil, see Marlow, Simon
-
triple, 46(5)31--40
-
Tripp, Omer, 45(10)411--427, 46(1)31--42, 46(10)207--224,
46(10)1053--1068
-
Tripp, Omer, see Liang, Percy,
see Sridharan, Manu
-
Tripp:2011:HED, 46(10)207--224
-
Tristan, Jean-Baptiste, 45(1)83--92, 46(6)295--305
-
Tristan:2010:SVV, 45(1)83--92
-
Tristan:2011:EVG, 46(6)295--305
-
trivial, 45(3)53--64
-
trivial, non-, 45(6)13--24, 45(12)1--14, 46(8)113--122,
46(8)201--212, 47(3)137--146, 47(3)157--166, 47(4)381--392
-
trivially, 45(3)29--38
-
trouble-shooting, 47(4)3--14
-
true, 45(5)213--222, 45(5)347--348, 45(6)174--186, 46(11)1--10,
47(1)337--348
-
truly, 45(6)448--459, 45(7)37--38
-
trump, 45(6)471--482
-
trust, 47(1)413--424
-
trusted, 45(6)111--121, 45(6)412--423, 45(6)424--435, 47(4)119--132
-
trustworthy, 46(10)325--344
-
Truyen, Eddy, 45(2)167--176
-
Truyen, Eddy, see Sanen, Frans
-
try, 45(5)57--66, 45(8)21--30
-
trying, 45(8)51--52, 46(8)135--146
-
Tsai, Ming-Hsien, 45(1)211--222
-
Tsai, Ming-Hsien, see Magill, Stephen
-
Tsay, Yih-Kuen, 45(1)211--222
-
Tsay, Yih-Kuen, see Magill, Stephen
-
TSB, 45(5)191--202
-
TSBs, 45(5)191--202
-
TSBSched, 45(5)191--202
-
Tsigas, Philippas, 45(5)339--340
-
Tsigas, Philippas, see Cederman, Daniel
-
TSO, 47(4)53--66, 47(4)67--78
-
TSO, x86-, 45(8)51--52
-
Tullsen, Dean M., 45(6)460--470, 46(3)393--404, 47(4)393--404
-
Tullsen, Dean M., see Kamruzzaman, Md
-
tunable, 45(6)13--24
-
tune, 45(5)349--350, 46(5)31--40, 46(11)1--10, 47(5)61--70
-
tuned, 45(3)29--38, 45(5)179--190, 45(5)223--232, 45(5)257--268,
45(6)376--387
-
tuned, auto-, 46(8)257--266
-
tuned, fine-, 45(5)343--344, 45(6)86--97
-
tuned, hand-, 45(5)115--126, 45(6)25--35
-
tuned, manually-, 46(8)257--266
-
tuned, user-, 45(7)25--36
-
tuned, vendor-, 45(5)345--346
-
tuned, well-, 45(7)121--132
-
tuner, auto-, 46(8)257--266
-
Tung, Nicholas, 45(1)339--352
-
Tung, Nicholas, see Bodik, Rastislav
-
tuning, 45(5)115--126, 45(5)147--158, 45(5)179--190, 45(5)343--344,
45(6)160--173, 46(5)31--40, 47(5)61--70, 47(6)13--22
-
tuning, Auto-, 46(8)257--266
-
tuning, auto-, 45(5)105--114, 46(8)257--266, 46(11)109--118
-
tuning, fine-, 46(8)179--188, 46(8)267--276
-
tuning., 45(5)179--190
-
tuple, 47(6)89--98
-
Turkoglu, Duru, 45(6)483--496
-
Turkoglu, Duru, see Acar, Umut A.
-
turn, 45(5)91--100, 45(7)109--120, 45(7)145--156, 46(8)179--188,
46(11)55--64, 47(5)21--30, 47(5)109--118, 47(6)35--44
-
turnaround, 45(2)147--156, 45(3)91--102
-
turned, 45(2)117--126, 47(1)425--426
-
turning, 47(6)23--34
-
Turon, Aaron J., 46(9)58--68, 46(10)575--594
-
Turon, Aaron J., see Shivers, Olin
-
Turon, Aaron Joseph, 46(1)247--258
-
Turon:2011:SJP, 46(10)575--594
-
Turon:2011:SLR, 46(1)247--258
-
TVLA, 45(6)134--145
-
tweaked, 45(6)436--447
-
twelve, 45(6)74--85
-
twice, 47(2)1--12
-
twin, 46(9)58--68
-
two-dimensional, 45(4)27--36, 47(1)337--348
-
two-level, 47(5)51--60
-
two-phase, 45(6)134--145
-
two-staged, 45(2)109--116
-
two-state, 45(10)567--582
-
two-step, 46(8)289--290, 47(3)147--156
-
two-thread, 45(3)91--102
-
two-tier, 45(3)243--256
-
two-tiered, 45(3)397--408
-
twofold, 45(2)127--136, 47(3)43--52
-
TX, 45(4)77--84
-
TXL, 45(2)3--4
-
type, higher-, 47(1)45--58
-
type-and-effect, 47(1)73--84, 47(6)45--54
-
Type-annotation, 45(6)424--435
-
type-based, 46(1)575--586
-
type-checking, 45(6)122--133, 46(2)167--176
-
type-conditional, 45(2)65--74
-
type-derivation, 47(1)571--584
-
type-directed, 45(2)25--34
-
type-generic, 47(1)337--348
-
type-inference, 45(6)424--435
-
type-level, 45(6)122--133, 46(1)227--240
-
type-preserving, 45(6)412--423
-
type-reflective, 45(2)25--34, 46(2)167--176
-
type-safe, 45(6)99--110, 45(10)223--240, 47(1)151--164, 47(1)273--284
-
typeable, 45(6)424--435
-
typecheck, 47(1)231--244
-
typechecker, 47(1)571--584
-
typechecking, 47(1)571--584
-
typed, dependently-, 47(1)571--584
-
typed, Security-, 45(9)169--180
-
typed, statically-, 45(6)122--133
-
typed, well-, 47(1)361--372, 47(5)51--60
-
types, data-, 47(1)413--424
-
typesafety, 45(2)25--34
-
typesetting, 47(1)285--296
-
typestate, 45(6)388--399, 46(3)239--250, 46(6)211--221, 47(1)557--570,
47(4)239--250
-
typical, 45(5)147--158, 45(6)244--254, 45(7)25--36, 46(2)177--186,
46(8)293--294, 46(11)79--88, 47(4)291--304
-
typified, 47(5)21--30
-
typing, well-, 45(2)25--34
-
Tzannes, Alexandros, 45(5)179--190
-
Tzannes:2010:LBS, 45(5)179--190
-
Tzevelekos, Nikos, 46(1)295--306
-
Tzevelekos:2011:FRA, 46(1)295--306