Last update: Thu Nov 9 02:49:22 MST 2023
Return to index directory
U
-
ubiquitous, 39(4)360--371, 41(1)91--102, 41(2)18--24, 41(4)36--41,
41(6)354--363
-
UDP, 41(1)55--66
-
Ueda, Leo Kazuhiro, 39(10)206--207
-
Ueda:2004:MMA, 39(10)206--207
-
Uhlig, Rich, 35(11)129--138
-
Uhlig, Rich, see Flautner, Krisztián
-
UK, 35(12)19--21
-
Ulterior, 38(11)344--358
-
ultimate, 35(2)17--23, 35(2)17--24, 39(10)151--152
-
ultra, 39(11)27--36
-
Ultra-fast, 36(5)254--263
-
Umanee, Navindra, 38(5)103--114
-
Umanee, Navindra, see Berndl, Marc
-
UML, 35(10)178--187, 36(11)327--341, 39(10)192--193, 39(10)247--252,
39(10)326--327
-
unacceptable, 41(6)263--271, 41(7)12--21
-
unaddressed, 41(1)269--269
-
unburdened, 41(1)269--269
-
uncertain, 39(4)515--527
-
uncertainty, 41(9)50--61
-
unchecked, 40(10)455--471
-
unconstrained, 41(6)272--282
-
uncooperative, 38_2s_256_262
-
uncovering, 40(10)505--518
-
undecidable, 41(1)67--78
-
underapproximation-widening, 40(1)122--131
-
undergraduate, 36(6)20--22
-
underlie, 41(1)55--66
-
underlying, 35(11)168--177, 41(1)194--205, 41(1)269--269, 41(1)283--294,
41(5)39--45, 41(6)341--353, 41(7)189--198
-
understand, 41(6)341--353, 41(7)34--43, 41(7)113--124
-
understandable, 41(7)135--144
-
understanding, 35(9)245--256, 35(10)337--353, 37(6)18--25, 37(10)68--80,
37(11)311--330, 38_2s_143_156, 38(9)299--300, 39(10)31--32,
40(6)261--268, 41(5)30--38, 41(6)263--271
-
understood, 41(1)153--165, 41(4)42--49, 41(6)341--353
-
understood, well-, 41(1)1--1
-
undesirable, 41(6)354--363, 41(9)136--147
-
unfolding, 39(2)26--33
-
unfortunately, 41(4)30--35, 41(6)228--238, 41(6)263--271
-
Ung, David, 35(7)41--51
-
Ung:2000:MAD, 35(7)41--51
-
Ungar, David, 39(4)295--312
-
Ungar, David, see Chambers, Craig
-
unification, 36(10)86--97, 41(6)61--71
-
unification-based, 35(5)35--46, 41(9)50--61
-
unified, 36(5)232--242, 39(8)61--71, 40(7)175--182, 41(6)108--117,
41(9)62--73
-
uniform, 35(2)11--16, 37(1)81--92
-
uniform, non-, 37(10)211--222, 40(10)519--538
-
uniformly, 41(1)115--126
-
unify, 39(10)224--225
-
unifying, 39(10)190--191
-
uninitialized, 41(6)144--157, 41(6)158--168
-
unintended, 41(1)372--382
-
union, 41(7)54--63
-
union-free, 41(7)54--63
-
uniprocessor, 40(7)175--182, 41(7)153--162
-
unique, 35(11)168--177, 41(1)194--205
-
uniqueness, 40(1)283--295
-
unit, 35(4)29--43, 39(10)324--325, 41(1)194--205, 41(6)61--71,
41(7)163--172, 41(7)199--208, 41(9)87--98, 41(9)99--110
-
unit-testing, 39(10)162--163
-
universal, 38(9)39--50, 39(5)48--57, 41(1)16--29
-
University, 37(4)62--73
-
unknown, 41(6)308--319
-
unlike, 41(1)383--396, 41(4)42--49
-
unlikely, 41(6)158--168
-
unlimited, 41(6)38--51
-
unloading, 39(7)155--164
-
unnecessary, 41(7)2--11
-
Unnikrishnan, Leena, 36(8)102--111
-
Unnikrishnan:2001:AAL, 36(8)102--111
-
unobtrusive, 41(6)181--192
-
unpredictable, 41(6)158--168, 41(6)239--251, 41(6)283--294
-
unreachable, 41(6)364--375, 41(9)13--25
-
unrealizable, 41(6)387--400
-
unrelated, 41(6)376--386
-
unreliable, 40(1)195--208
-
unrestricted, 41(1)257--268, 41(6)61--71
-
unsafe, 41(6)158--168, 41(6)320--331
-
unsigned, 41(7)34--43
-
untangled, 36(11)283--299
-
until, 37(2)23--26, 41(1)245--256, 41(1)270--282, 41(5)46--54,
41(6)204--215, 41(7)135--144, 41(7)199--208
-
untrusted, 36(3)142--154
-
untyped, 41(1)141--152
-
unused, 41(1)194--205
-
unusual, 41(4)42--49
-
unwanted, 41(9)136--147
-
unwinding, 41(6)401--414
-
Unyapoth, Asis, 36(3)116--127
-
Unyapoth:2001:NPC, 36(3)116--127
-
up-to-date, 41(6)72--83
-
UPC, 41(6)108--117
-
update, 35(10)118--129, 37(12)88--97, 38(9)99--110, 40(1)233--246,
40(1)271--282, 41(1)115--126, 41(1)283--294, 41(6)14--25,
41(6)72--83, 41(6)96--107, 41(6)108--117, 41(7)2--11
-
updated, 41(6)72--83
-
updating, 36(5)13--23, 40(1)183--194, 41(6)72--83, 41(7)2--11
-
upgrade, 38(11)403--417, 41(6)72--83, 41(7)2--11
-
upon, 40(1)171--182, 41(1)1--1, 41(1)270--282, 41(7)12--21
-
upper, 40(7)222--229, 41(7)103--112
-
Upton, Mike, 39(11)107--119
-
Upton, Mike, see Srinivasan, Srikanth T.
-
Urquhart, 41(1)168--179
-
USA, 36(6)19--19
-
usable, 41(1)295--308
-
usage, 37(1)93--100, 37(1)331--342, 38(1)185--197, 38(3)50--61,
39(7)221--230, 41(6)181--192, 41(7)163--172
-
use, re-, 38(10)144--154
-
use-patterns, 41(1)295--308
-
used, widely-, 39(6)35--46, 41(6)308--319
-
useful, 35(5)334--344, 41(1)42--54, 41(1)79--90, 41(1)115--126,
41(2)29--33, 41(6)84--95, 41(6)308--319, 41(6)341--353,
41(7)113--124, 41(9)26--37, 41(9)74--86
-
usefulness, 41(6)1--13
-
user, 41(1)1--1, 41(1)372--382, 41(6)181--192, 41(7)44--53
-
user-centred, 38(9)165--176
-
User-controllable, 38(10)73--82
-
user-defined, 41(9)111--121
-
usual, 41(4)36--41, 41(7)125--134
-
usually, 41(3)40--48, 41(7)135--144
-
utility, 41(9)50--61
-
utilization, 38(1)285--298, 41(6)228--238, 41(7)199--208
-
utilized, 41(6)228--238, 41(8)21--28
-
utilizing, 35(11)139--149, 41(7)93--102
-
uu, 35(8)20--30
-
Uustalu, Tarmo, 37(3)131--142, 40(9)294--305
-
Uustalu, Tarmo, see Barthe, Gilles,
see Ghani, Neil