Index file section U for todaes.bib
Last update: Sat May 11 02:12:18 MDT 2024
Return to index directory
U
-
ubiquitous, 13(2)29--29
-
UCLID, 13(3)45--45
-
Udayanarayanan, Sathishkumar, 6(4)553--568
-
Udayanarayanan, Sathishkumar, see Shiue, Wen-Tsong
-
ultimately, 3(4)563--580, 13(1)18--18
-
ultra, 13(4)57--57
-
Ultra-fast, 12(4)39--39
-
UMC, 13(1)5--5
-
UML, 12(4)44--44
-
UML-based, 12(4)44--44
-
unable, 3(3)463--486, 5(2)242--264
-
unacceptable, 12(3)21--21
-
unbalanced/balanced, 3(2)249--271
-
unbounded, 5(2)193--225, 13(1)3--3
-
Unbounded-action, 5(3)311--321, 5(3)705--725
-
unbounded-skew, 3(3)341--388
-
uncertain, 4(3)280--312
-
uncertainty, 4(3)280--312, 12(2)12--12, 13(3)49--49
-
under-test, circuit-, 3(2)231--248
-
under-test, design-, 13(4)62--62
-
underestimate, 12(2)12--12
-
underlying, 12(3)34--34, 13(1)18--18, 13(4)65--65
-
understand, 12(3)22--22
-
unequal, 13(3)43--43
-
unexplored, 12(1)1--1
-
unfavorable, 1(3)352--370
-
Unfortunately, 5(2)242--264, 12(3)26--26, 13(1)11--11
-
unified, 10(1)157--167, 12(2)13--13
-
uninterpreted, 13(3)45--45
-
union, 12(2)19--19, 13(3)52--52
-
uniprocessor, 3(2)109--135
-
unique, 1(2)145--204, 12(2)10--10, 13(4)61--61, 13(4)65--65
-
unison, 1(4)456--477
-
unit, 1(2)205--250, 3(2)162--180, 3(2)285--307, 3(3)408--436,
4(4)376--404, 5(2)115--192, 6(1)50--66, 12(1)1--1, 12(3)26--26,
13(3)41--41, 13(4)68--68
-
unit-size, 12(3)30--30
-
universal, 1(1)80--101, 1(1)102--122, 7(4)526--546, 12(2)19--19
-
universality, 5(3)705--725
-
University, 13(2)29--29
-
unknown, 12(2)19--19
-
unlike, 2(3)281--305, 13(1)20--20
-
unlimited, 3(2)231--248
-
unmanageable, 3(3)309--340
-
unnecessary, 2(4)312--343
-
unpartitioned, 12(4)44--44
-
unpredictability, 10(2)354--368, 13(3)49--49
-
unpredictable, 13(1)11--11
-
unrelated, 3(1)76--107
-
unreliable, 12(3)29--29
-
unroutable, 13(4)68--68
-
unscheduled, 1(3)396--403
-
unsequenced, 12(4)38--38
-
untargeted, 12(2)18--18
-
untestable, 5(3)631--657
-
until, 2(3)227--248, 13(2)26--26
-
untimed, 12(3)22--22
-
unused, 12(1)3--3, 13(3)50--50
-
unwanted, 12(4)40--40
-
up, bottom-, 2(2)135--150, 3(3)341--388, 4(4)351--375
-
up, look-, 2(2)135--150, 3(3)437--462
-
up, prewake-, 5(2)226--241
-
up, speed-, 13(2)24--24, 13(2)30--30
-
upcoming, 5(2)226--241
-
update, 12(3)34--34, 12(4)40--40
-
updated, 12(4)42--42
-
updating, 12(4)50--50
-
upgradability, 5(1)51--81
-
upon, 2(1)42--61, 13(2)31--31
-
upper, 2(3)249--280, 4(3)257--279, 6(1)26--49
-
upset, 8(4)577--590
-
usage, 13(4)66--66
-
USB, 12(2)19--19
-
USBs, 12(2)19--19
-
use, re-, 12(1)2--2
-
use-case, 13(3)40--40
-
use-cases, 13(3)40--40
-
useful, 2(3)249--280, 4(3)313--350, 5(4)794--814, 12(1)7--7, 12(3)22--22,
12(3)31--31, 13(3)54--54
-
usefulness, 6(1)67--92
-
user, 4(3)257--279
-
user-definable, 12(3)31--31
-
user-friendliness, 3(4)515--523
-
user-selected, 1(2)205--250
-
user-specified, 5(1)51--81
-
USTash, 7(3)359--379
-
usually, 2(2)98--122, 4(3)280--312, 4(3)313--350, 12(1)3--3, 12(4)50--50,
13(4)64--64, 13(4)66--66
-
utility, 3(4)600--625, 12(3)29--29, 13(2)27--27, 13(4)63--63
-
utilization, 1(2)205--250, 5(1)34--50, 5(3)682--704, 6(2)207--225,
8(4)399--429, 12(1)3--3, 13(3)53--53, 13(4)56--56
-
utilize, 3(3)341--388, 4(3)231--256, 6(2)244--275, 12(1)8--8,
12(3)24--24, 12(4)50--50, 13(1)11--11, 13(2)24--24, 13(3)53--53,
13(4)66--66
-
utilized, 5(4)794--814
-
utilizing, 12(2)12--12, 12(3)30--30, 13(3)50--50, 13(4)57--57