Last update: Thu Sep 28 02:07:29 MDT 2023
Return to index directory
U
-
ubiquitous, 45(5)3--14, 45(5)47--56, 45(6)471--482, 45(8)51--52,
46(8)223--234, 47(4)393--404
-
Udupa, Abhishek, 46(6)480--491
-
Udupa:2011:AEB, 46(6)480--491
-
Ueno, Katsuhiro, 46(9)196--208, 46(9)307--319
-
Ueno, Katsuhiro, see Ohori, Atsushi
-
Ueno:2011:ENM, 46(9)196--208
-
Ugawa, Tomoharu, 45(8)73--82
-
Ugawa:2010:IRB, 45(8)73--82
-
ULCC, 46(8)103--112
-
ultima, 45(12)1--14
-
ultimate, 47(3)185--186
-
ultimately, 45(6)160--173, 47(6)35--44
-
ultimately-dead, 45(6)174--186
-
ultra, 47(5)109--118
-
UltraSPARC, 45(5)191--202
-
UMA, 45(5)147--158
-
UML, 45(2)127--136, 47(1)191--202, 47(3)147--156
-
UML/OCL, 46(2)53--62
-
unable, 45(2)5--14, 45(6)134--145, 45(6)244--254, 46(8)201--212
-
unacceptable, 46(6)199--210
-
unambiguous, 45(10)877--884, 46(2)13--22
-
unannotated, 45(6)221--232, 47(1)481--494
-
unavailability, 45(3)143--154
-
unaware, context-, 45(4)105--114
-
unaware, memory-, 45(4)17--26
-
unbalanced, 45(6)174--186, 46(8)201--212
-
unblocked, 45(5)115--126, 45(5)223--232
-
unbound, 46(9)333--345
-
unbounded, 45(5)245--256, 45(6)134--145, 45(6)316--329, 47(1)151--164,
47(1)297--308
-
unboundedly, 47(1)297--308
-
unboxing, 47(5)11--20
-
uncertainty, 45(6)292--304
-
unclear, 45(8)51--52
-
uncoalesced, 45(5)105--114
-
uncommon, 45(3)243--256, 45(6)269--278
-
unconstrained, memory-, 45(7)145--156
-
uncontrolled, 45(3)29--38
-
uncover, 47(1)387--400
-
uncovered, 47(1)123--136
-
undecidable, 47(1)203--214, 47(1)413--424
-
undefined, 45(5)179--190, 46(6)283--294, 47(2)37--50
-
under, 47(1)557--570
-
under-lying, 45(4)47--56
-
under-studied, 47(4)239--250
-
under-utilization, 45(3)243--256
-
under-utilizing, 45(3)219--230
-
undergraduate, 45(5)47--56
-
underneath, 45(6)376--387
-
underpin, 47(3)73--82
-
underspecified, 47(1)19--30
-
understand, 45(6)351--362, 45(6)400--411, 45(7)75--84, 45(8)41--50,
46(8)1--2, 46(8)3--12, 47(1)557--570, 47(3)23--32, 47(3)33--42,
47(5)99--108, 47(5)149--152
-
understand, easier-to-, 47(3)107--116
-
understand, hard-to-, 47(4)53--66
-
understandability, 45(6)86--97, 47(2)51--60
-
understanding, 45(3)103--116, 45(5)269--280, 45(6)13--24, 45(8)41--50,
45(8)103--112, 45(10)806--821, 46(1)17--30, 46(6)175--186,
46(6)283--294, 46(6)378--388, 47(1)31--44, 47(1)111--122,
47(1)179--190, 47(4)145--158, 47(4)381--392, 47(5)129--138,
47(6)77--88
-
understanding, cross-, 45(6)305--315
-
understood, 45(2)25--34, 45(6)305--315, 47(1)151--164
-
understood, well-, 47(3)13--22
-
understood., 45(5)203--212
-
undertake, 47(6)13--22
-
underutilization, 46(8)267--276
-
Underwood, Jack, 45(3)231--242
-
Underwood, Jack, see Pelley, Steven
-
undesirable, 47(3)43--52
-
undetectable, 47(4)279--290
-
undetected, 45(3)385--396
-
undiscovered, 46(8)125--134
-
undo, 45(6)50--61, 46(8)157--168
-
unexpected, 45(6)244--254, 46(6)425--436, 47(5)99--108
-
unfair, 45(3)335--346
-
unfairly, 45(3)335--346
-
unfairness, 45(3)335--346
-
unfamiliarity, 45(7)3--12
-
unfolding, 47(1)123--136
-
ungainly, 47(1)557--570
-
uni-processor, 45(3)219--230
-
unification, 47(4)133--144
-
unified, 45(5)105--114, 47(1)361--372, 47(1)469--480, 47(4)133--144,
47(4)369--380, 47(5)79--88
-
uniform, 45(5)137--146, 45(6)363--375, 45(8)11--20, 46(8)297--298,
47(3)117--126
-
uniform, non-, 46(11)11--20
-
unify, 45(2)127--136
-
unifying, 45(5)339--340, 45(11)1--12
-
uninitialized-read, 45(3)179--192
-
uninstall, 47(1)217--230
-
unintended, 47(4)79--90
-
uninterpreted, 47(1)259--272, 47(6)45--54
-
uniparallelism, 47(4)15--26
-
uniprocessor, 45(3)77--90, 45(3)359--370, 46(8)123--124, 46(8)213--222,
47(4)15--26, 47(4)319--332
-
unique, 45(4)95--104, 45(5)293--304, 45(6)316--329, 45(7)133--144,
45(8)31--40, 45(12)73--80, 46(8)103--112, 46(9)359--371,
47(1)231--244, 47(1)387--400, 47(1)557--570, 47(4)27--38
-
uniqueness, 45(11)49--60
-
Unity, 45(2)1--2
-
universal, 47(1)73--84
-
universe, 47(1)337--348
-
university, 45(4)67--76, 45(6)98--98, 45(7)1--2, 46(2)1--2
-
Unix, 45(5)335--336
-
unknown, 45(3)167--178, 46(6)283--294, 47(1)481--494, 47(4)79--90,
47(4)239--250, 47(6)77--88
-
unleashing, 45(1)43--56
-
unless, 45(7)121--132, 46(8)169--178, 47(5)11--20
-
unlike, 45(3)179--192, 45(3)231--242, 45(6)244--254, 45(6)269--278,
45(7)157--166, 46(6)283--294, 46(8)293--294, 46(12)95--106,
47(1)59--72, 47(1)137--150, 47(1)259--272, 47(1)309--322,
47(3)107--116, 47(4)39--52, 47(5)11--20
-
unlikely, 45(5)67--78, 47(3)185--186
-
unlimited, 46(2)123--126, 46(8)1--2
-
unmanaged, 45(5)67--78, 45(8)31--40
-
unmodified, 45(6)25--35, 45(6)471--482, 47(4)27--38, 47(4)279--290
-
unmonitored, 45(3)271--284
-
unnecessarily, 46(8)47--56
-
unnecessary, 45(5)257--268, 45(5)281--292, 46(8)179--188, 46(11)99--108,
47(1)481--494, 47(1)557--570, 47(5)51--60
-
Unno, Hiroshi, 45(1)495--508, 46(6)222--233
-
Unno, Hiroshi, see Kobayashi, Naoki
-
unobserved, 47(4)319--332
-
unoptimized, 47(4)381--392
-
unordered, 46(8)3--12
-
unparser, 47(3)137--146
-
unparser-complete, 47(3)137--146
-
unparser-completeness, 47(3)137--146
-
unpredictability, 45(6)255--268
-
unpredictable, 45(3)117--128, 46(2)113--122
-
unrelated, 47(3)13--22
-
unreliable, 46(8)1--2
-
unrestricted, 45(8)41--50, 46(6)425--436, 46(8)201--212, 47(2)37--50
-
unrolling, 45(6)86--97, 47(1)151--164
-
unsafe, thread-, 45(2)45--54
-
Unsal, Osman, 45(3)39--52
-
Unsal, Osman, see Harris, Tim
-
Unsal, Osman S., 45(5)57--66
-
Unsal, Osman S., see Zyulkyarov, Ferad
-
unsatisfiable, 45(6)341--350
-
unsaturated, 45(10)901--917
-
unserializable-interleaving, 45(3)179--192
-
unsolved, 45(3)129--142
-
unsound., 45(4)153--162
-
unspecialized, 45(7)157--166
-
unspecified, 46(6)283--294
-
unstaging, 46(1)81--92
-
unstructured, 46(8)305--306
-
unsuccessful, 46(8)201--212
-
Unterweger, Andreas, 46(11)99--108
-
Unterweger, Andreas, see Aigner, Martin
-
until, 45(3)117--128, 45(5)79--90, 45(8)83--92, 46(2)167--176,
46(8)13--24, 46(8)201--212, 46(8)223--234, 46(11)89--98,
46(12)71--82, 47(1)297--308, 47(4)251--264
-
untouched, 45(6)424--435
-
untrusted, 47(1)165--178
-
untypeable, 45(6)424--435
-
untyped, 45(1)377--388, 45(6)99--110, 45(9)117--128, 47(2)13--24
-
unused, 45(7)25--36, 45(8)93--102, 46(8)179--188
-
unusual, 47(1)137--150, 47(1)259--272
-
unusually, 45(5)67--78
-
unwieldy, 47(1)323--336
-
up, call-, 46(8)13--24
-
up, follow-, 47(2)97--106
-
Up, Line-, 45(6)330--340
-
Upadhyaya, Gautam, 45(5)281--292, 45(10)652--670
-
Upadhyaya:2010:AAR, 45(10)652--670
-
Upadhyaya:2010:UDS, 45(5)281--292
-
upcalls, 46(7)193--204
-
upcoming, 45(2)15--24, 45(5)315--324, 47(1)509--520
-
update-conscious, 45(4)105--114
-
updated, 45(4)105--114, 45(6)62--73, 46(11)79--88, 46(11)89--98
-
updating, 46(11)89--98
-
upgrade, 45(10)865--876
-
upon, 45(2)75--84, 45(5)343--344, 45(6)221--232, 46(8)189--200,
47(1)151--164, 47(2)73--84, 47(4)53--66
-
UPPAAL, 47(3)43--52
-
upper, 45(4)67--76, 45(4)153--162, 45(5)91--100, 45(8)121--130,
47(4)27--38
-
ups, speed-, 45(5)91--100
-
ups, spin-, 45(7)75--84
-
Ur, 45(6)122--133, 47(1)571--584
-
urgently, 46(8)123--124
-
Ur/Web, 45(6)122--133
-
usability, 45(2)25--34, 45(5)1--2
-
usable, 45(7)13--24, 45(8)51--52, 47(1)557--570
-
usage, model-, 47(3)73--82
-
usage, resource-, 47(1)309--322
-
usage, space-, 45(5)245--256
-
use, definition-, 45(10)160--174
-
use, ease-of-, 45(5)1--2
-
use, easy-to-, 45(6)363--375, 46(8)57--68
-
use-case, 47(2)51--60
-
use-case-centered, 47(2)51--60
-
use-cases, 47(2)51--60
-
use-site, 46(6)602--613
-
UseCasePy, 47(2)51--60
-
used, commonly-, 45(6)187--197
-
used, inefficiently-, 45(6)160--173
-
used, widely-, 45(6)1--12, 46(8)213--222, 47(4)79--90
-
usefulness, 45(7)109--120
-
useless, 46(5)161--170, 46(8)201--212
-
user, end-, 45(6)436--447
-
user, stack-, 47(4)265--278
-
user-content-driven, 45(3)103--116
-
user-defined, 45(2)5--14, 47(4)105--118
-
user-extensible, 47(1)273--284
-
user-interface, 45(2)147--156
-
user-level, 45(5)79--90, 45(5)179--190, 45(6)376--387, 46(8)103--112,
47(4)91--104
-
user-mode, 47(4)91--104, 47(4)265--278
-
user-space, 46(7)157--168
-
user-study, 45(5)47--56
-
user-tuned, 45(7)25--36
-
user-visible, 45(3)385--396
-
users., 45(4)105--114
-
usual, 45(8)53--62
-
usually, 45(4)105--114, 45(5)37--46, 45(5)159--168, 45(5)233--244,
45(5)327--328, 45(6)36--49, 46(8)3--12, 46(8)81--90, 46(11)11--20,
47(1)455--468, 47(3)3--12, 47(3)33--42, 47(3)117--126,
47(4)251--264, 47(5)89--98, 47(6)35--44
-
utility, 45(6)221--232, 45(6)412--423, 45(7)63--74, 47(1)557--570
-
utility, low-, 45(6)174--186
-
utilization, 45(3)205--218, 45(3)219--230, 45(3)231--242, 45(4)163--172,
45(5)147--158, 45(6)74--85, 45(6)86--97, 45(8)1--10, 45(8)63--72,
47(5)71--78, 47(6)23--34
-
utilization, under-, 45(3)243--256
-
utilize, 45(3)103--116, 45(3)231--242, 45(5)335--336, 45(6)1--12,
45(7)157--166, 46(2)23--32, 46(5)31--40, 46(8)135--146,
46(8)295--296, 47(4)171--184
-
utilizing, 45(3)371--384, 45(5)315--324, 45(8)41--50, 45(12)81--96,
47(4)145--158
-
utilizing, under-, 45(3)219--230
-
UTS, 46(8)201--212
-
UX, HP-, 45(5)37--46