Last update: Thu Sep 28 02:07:29 MDT 2023
Return to index directory
I
-
i.e, 1-, 47(4)251--264
-
i5, 47(4)319--332
-
i7, 46(11)109--118, 47(4)319--332
-
IA-32, 45(5)103--104
-
IA-64, 45(5)37--46
-
IA32, 47(4)319--332
-
Iancu, Costin, 45(5)147--158
-
Iancu, Costin, see Hofmeyr, Steven
-
IBM, 45(5)169--178, 45(6)98--98, 45(6)174--186, 45(8)41--50,
47(4)405--418
-
ICC, 45(3)359--370, 45(6)448--459
-
ICFP, 46(9)1--1, 46(9)2--14, 46(9)15--27, 46(9)28--31, 46(9)32--44,
46(9)45--57, 46(9)58--68, 46(9)69--80, 46(9)81--93, 46(9)94--106,
46(9)107--116, 46(9)117--128, 46(9)129--141, 46(9)142--142,
46(9)143--155, 46(9)156--162, 46(9)163--175, 46(9)176--188,
46(9)189--195, 46(9)196--208, 46(9)209--220, 46(9)221--233,
46(9)234--246, 46(9)247--258, 46(9)259--265, 46(9)266--278,
46(9)279--291, 46(9)292--306, 46(9)307--319, 46(9)320--332,
46(9)333--345, 46(9)346--358, 46(9)359--371, 46(9)372--384,
46(9)385--391, 46(9)392--403, 46(9)404--417, 46(9)418--430,
46(9)431--444, 46(9)445--456
-
icgoa, 45(4)105--114
-
Icon, 45(12)73--80
-
Icon3-like, 45(12)73--80
-
icsoa, 45(4)105--114
-
ictd, 45(3)1--2
-
ID, 45(7)109--120
-
IDE, 45(5)233--244, 46(2)123--126, 47(3)13--22, 47(3)167--176,
47(4)145--158
-
ideal, 45(3)285--296, 45(5)67--78, 45(7)133--144, 47(1)111--122,
47(3)185--186
-
idealized, 45(2)25--34, 45(8)1--10
-
ideally, 46(2)167--176, 47(3)177--184
-
identical, 45(3)231--242, 45(6)210--220
-
identification, 45(10)652--670, 46(2)23--32, 46(8)179--188,
47(1)337--348
-
identified, 45(2)15--24, 45(3)103--116, 47(1)349--360, 47(3)33--42,
47(5)89--98
-
identified, statically-, 45(6)160--173
-
identifier, 45(8)31--40
-
identifying, 45(2)35--44, 45(5)57--66, 45(5)115--126, 45(6)244--254,
45(6)255--268, 45(7)63--74, 46(11)33--42
-
identity, 45(6)187--197, 47(1)361--372
-
IDEs, 45(10)444--463, 47(3)167--176
-
idiom, 45(2)25--34, 45(6)436--447, 46(8)147--156, 46(8)157--168,
46(8)169--178
-
idle, 45(3)243--256, 45(3)297--310, 45(5)269--280, 45(7)85--96,
45(10)739--753, 47(4)393--404
-
idled, 47(4)225--238
-
idleness, 45(5)269--280
-
IEEE, 45(6)98--98, 45(6)233--243
-
Igarashi, Atsushi, 45(10)539--554, 46(10)609--624
-
Igarashi, Atsushi, see Chiba, Shigeru,
see Ina, Lintaro
-
ignorant, transaction-, 45(5)79--90
-
ignore, 45(5)103--104, 45(5)147--158
-
ignored, 46(8)307--308
-
II, 45(6)134--145, 47(4)319--332
-
ii, 45(3)39--52, 45(3)91--102, 45(3)257--270, 45(3)271--284, 45(5)37--46,
45(5)57--66
-
III, 46(1)345--356
-
iii, 45(3)91--102, 45(3)271--284, 45(5)57--66
-
ill-formed, 46(12)35--46
-
ill-suited, 46(8)135--146
-
illuminating, 45(6)305--315
-
illumination, 45(6)305--315
-
illusion, 47(6)55--66
-
illustrate, 45(2)117--126, 45(2)167--176, 45(3)193--204, 45(4)47--56,
45(5)57--66, 45(5)233--244, 45(6)292--304, 45(7)133--144,
47(1)401--412, 47(1)413--424, 47(1)557--570, 47(3)43--52,
47(6)55--66
-
illustrated, 45(4)57--66, 47(1)245--258, 47(4)239--250
-
illustrative, 45(7)97--108
-
ILP, 47(5)79--88
-
ILP-based, 47(5)41--50
-
Im, 45(5)115--126
-
Im, Hyeonseung, 46(10)993--1012
-
Im:2011:STS, 46(10)993--1012
-
image, 45(7)25--36, 46(8)277--288, 46(12)59--70
-
image-processing, 47(5)61--70
-
images, pre-, 47(1)137--150
-
imaging, 47(5)61--70
-
imbalance, 45(6)174--186, 46(8)267--276
-
imbalanced, 46(8)267--276
-
immediate, 45(6)305--315, 45(7)133--144, 46(11)89--98
-
immediately, 47(1)245--258
-
Immerman, Neil, 45(10)36--46, 45(10)256--269
-
Immerman, Neil, see Itzhaky, Shachar,
see Reichenbach, Christoph
-
immune, 45(5)339--340
-
immutability, 45(10)598--617, 47(6)1--12
-
immutable, 45(6)146--159, 45(6)363--375, 46(10)359--374, 47(1)557--570
-
impacting, 45(6)351--362
-
impair, 47(4)199--212
-
impede, 45(6)279--291
-
impeded, 45(7)97--108
-
impediment, 45(5)213--222, 46(10)207--224
-
imperative, 45(6)279--291, 45(6)305--315, 45(6)400--411, 45(7)63--74,
45(8)53--62, 45(9)75--86, 45(12)73--80, 46(9)418--430,
46(10)407--426, 46(12)83--94, 47(1)123--136, 47(1)151--164,
47(6)23--34
-
impetus, 45(7)97--108
-
implementer, 45(6)471--482, 46(11)33--42
-
implication, 46(4)84--96, 47(1)45--58, 47(1)231--244
-
implicit, 45(6)316--329, 45(10)341--360, 46(2)63--72, 46(2)83--92,
46(6)1--11, 46(8)69--80, 46(9)129--141, 47(1)73--84, 47(1)165--178,
47(1)571--584, 47(2)37--50, 47(3)13--22, 47(6)35--44
-
implicitly, 46(2)83--92, 46(8)35--46, 46(10)499--518, 46(12)59--70,
47(5)71--78
-
imply, 45(7)121--132, 47(6)55--66
-
implying, 45(7)121--132
-
import, 47(3)167--176
-
importance, 45(5)1--2, 45(5)203--212, 45(8)83--92, 46(8)91--102,
47(5)79--88
-
importantly, 45(5)339--340, 45(12)97--112, 47(3)1--2
-
imported, 47(5)51--60
-
impose, 45(3)271--284, 46(11)77--78
-
imposed, 45(2)75--84, 45(6)50--61, 45(8)83--92, 47(4)67--78
-
imposing, 47(4)3--14
-
impossible, 45(8)51--52, 46(2)167--176, 47(4)239--250
-
impoverished, 47(6)23--34
-
impractical, 45(6)279--291, 47(4)357--368
-
imprecise, 45(4)153--162, 45(5)281--292, 47(1)19--30
-
imprecision, 47(1)19--30
-
impromptu, 45(10)822--834
-
Improper, 46(8)307--308
-
improved, 45(2)147--156, 45(3)53--64, 45(3)285--296, 45(3)397--408,
45(4)27--36, 45(4)105--114, 45(5)179--190, 45(5)341--342,
45(7)85--96, 45(7)145--156, 45(8)73--82, 46(2)63--72, 46(3)133--144,
46(8)235--246, 47(1)217--230, 47(1)481--494, 47(4)133--144,
47(5)71--78
-
improvement., 45(5)269--280, 45(6)187--197
-
impure, 45(1)93--106
-
in, 47(1)481--494
-
in, built-, 45(2)5--14
-
in, copy-, 45(6)62--73
-
in, live-, 45(8)63--72
-
in, Plug-, 46(2)93--102
-
in, plug-, 45(5)233--244, 46(2)93--102
-
in-field, 45(5)233--244
-
in-kernel, 45(3)103--116
-
in-line, 47(3)63--72
-
in-memory, 47(4)91--104, 47(4)279--290
-
in-parallel, may-happen-, 45(5)25--36
-
in-place, 46(11)129--138, 47(5)51--60
-
in-production, 45(6)198--209
-
in-progress, work-, 46(8)313--314
-
in-time, Just-, 45(12)1--14
-
in-time, just-, 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
-
in-vivo, 46(3)265--278, 47(4)265--278
-
Ina, Lintaro, 46(10)609--624
-
Ina:2011:GTG, 46(10)609--624
-
Inaba, Kazuhiro, 45(9)205--216
-
Inaba, Kazuhiro, see Hidaka, Soichiro
-
inability, 46(6)199--210, 46(8)189--200
-
inaccessible, 47(6)1--12
-
inactive, 47(4)185--198
-
inadequate, 45(5)15--24
-
inadvertently, 45(6)400--411, 46(11)55--64
-
inappropriate, 45(6)160--173
-
incarnation, 45(6)305--315, 47(1)425--426
-
Incautious, 46(2)73--82
-
inception, 46(11)119--128
-
incidentally, 47(4)67--78
-
incidentally, inputs-, 45(7)63--74
-
included, 45(5)233--244
-
including:, 45(8)51--52
-
inclusion, 46(11)43--54
-
inclusion-based, 45(10)428--443
-
incoming, 46(8)201--212
-
incompatibility, 46(12)118--129
-
incompatible, 46(2)147--156
-
incomplete, 45(2)167--176, 45(8)31--40, 47(1)123--136
-
inconsistency, 45(10)175--190, 46(2)33--42, 47(5)139--148
-
inconsistent, 47(5)139--148
-
inconsistently, 45(6)36--49
-
incorporate, 45(2)5--14, 45(3)29--38, 45(5)347--348, 45(7)97--108,
45(8)51--52, 46(8)213--222, 47(1)455--468
-
incorporated, 45(5)105--114, 45(7)37--38, 47(1)297--308, 47(3)117--126
-
incorporating, 45(3)29--38, 47(5)139--148
-
incorrect, 45(6)187--197, 45(8)63--72, 46(8)125--134, 47(4)251--264,
47(5)99--108
-
incorrectness, 45(6)187--197
-
increased, 45(2)147--156, 45(4)115--124, 45(5)47--56, 45(7)97--108,
46(8)189--200, 46(11)1--10, 47(1)441--454
-
increases., 45(8)41--50
-
increasing, ever-, 45(5)103--104
-
incrementalization, 45(12)27--42
-
incrementally, 46(2)13--22, 46(11)89--98, 47(1)297--308, 47(2)37--50,
47(3)185--186, 47(5)41--50
-
incur, 45(3)231--242, 45(3)243--256, 45(3)371--384, 45(5)269--280,
45(6)471--482, 45(7)109--120, 45(8)63--72, 45(12)15--26,
46(6)199--210, 46(8)135--146, 46(11)89--98, 47(3)157--166,
47(5)89--98
-
incurring, 46(8)135--146
-
indeed, 45(5)1--2, 45(5)57--66, 45(7)133--144, 45(8)51--52, 47(4)3--14,
47(5)11--20
-
independence, 47(1)309--322
-
independent, 45(2)35--44, 45(3)219--230, 45(4)9--16, 45(5)91--100,
45(6)36--49, 45(8)83--92, 46(2)113--122, 46(8)157--168,
46(8)301--302, 47(1)85--96, 47(2)73--84, 47(4)291--304,
47(4)333--344, 47(5)79--88, 47(6)55--66
-
independent, application-, 47(4)185--198
-
independent, Language-, 46(6)355--366
-
independent, language-, 45(5)233--244
-
independent, machine-, 46(1)575--586
-
independently, 45(2)35--44, 45(2)45--54, 45(3)117--128, 45(3)335--346,
45(6)424--435, 45(6)436--447, 45(8)21--30, 46(8)179--188,
46(11)21--32, 46(11)79--88, 47(3)117--126, 47(4)319--332,
47(5)31--40, 47(6)55--66
-
index, 45(5)331--332, 46(10)845--864, 46(11)55--64, 47(1)413--424
-
index-aware, 46(11)55--64
-
index-oblivious, 46(11)55--64
-
indexed, 45(6)471--482, 47(1)413--424
-
indexed, Step-, 46(1)119--132
-
indexed, value-, 47(1)231--244
-
indexing, 45(3)155--166
-
India, 45(3)1--2
-
indicate, 45(3)371--384, 45(3)397--408, 45(5)1--2, 45(5)147--158,
45(5)245--256, 45(5)281--292, 45(5)347--348, 45(6)50--61,
45(6)74--85, 45(6)198--209, 45(6)255--268, 45(6)305--315,
45(7)85--96, 45(8)41--50, 45(11)49--60, 46(8)125--134,
46(8)213--222, 47(2)61--72
-
indicating, 46(8)147--156, 47(1)309--322
-
indicator, 47(1)387--400, 47(3)157--166
-
indigenous, 45(7)3--12
-
indirection, 45(1)171--184, 45(2)75--84, 45(6)471--482, 45(7)109--120,
46(11)33--42
-
indispensable, 45(2)177--186
-
individual, 45(2)15--24, 45(3)129--142, 45(3)205--218, 45(3)271--284,
45(3)335--346, 45(3)385--396, 45(4)37--46, 45(6)25--35, 45(6)36--49,
45(6)483--496, 45(7)145--156, 45(8)21--30, 46(2)157--166,
47(1)97--110, 47(1)455--468, 47(4)171--184, 47(4)405--418,
47(6)89--98
-
individual, stream-, 45(4)37--46
-
individually, 45(3)359--370
-
individually., 45(3)53--64
-
induced, 45(5)79--90, 47(5)79--88
-
inducing, 45(3)155--166
-
induction, 47(1)245--258
-
induction, k-, 46(8)311--312
-
inductive, 45(6)292--304, 45(10)36--46, 46(6)492--503, 46(9)234--246,
47(1)123--136, 47(1)245--258
-
inductively, 47(1)7--18
-
industrial, 45(9)87--92, 47(3)147--156, 47(3)185--186, 47(5)129--138
-
industrial-strength, 45(7)145--156, 47(1)425--426, 47(3)73--82
-
industry, 45(2)1--2, 45(4)125--132, 45(5)1--2, 45(5)103--104, 45(6)1--12,
47(1)215--216, 47(3)147--156, 47(5)79--88
-
ineffective, 45(7)85--96, 46(8)103--112
-
inefficiency, 45(5)37--46, 45(6)160--173, 46(8)113--122, 46(8)201--212,
47(6)89--98
-
inefficient, 45(6)160--173, 45(6)483--496, 45(9)297--308, 47(2)1--12,
47(4)381--392, 47(6)77--88
-
inefficiently-used, 45(6)160--173
-
inevitable, 45(5)67--78
-
inevitably, 45(8)51--52
-
Inexperienced, 45(5)47--56
-
infeasible, 46(8)113--122
-
infer, 45(3)143--154, 45(6)424--435, 45(8)121--130, 46(8)81--90,
47(1)245--258, 47(1)323--336, 47(1)481--494, 47(6)45--54
-
inferable, 45(6)424--435
-
inference, type-, 45(6)424--435
-
inferior, 47(4)133--144
-
inferred, 45(3)143--154, 45(8)121--130, 47(1)481--494
-
inferring, 45(8)121--130, 46(8)81--90, 47(6)67--76
-
Infiniband, 46(8)201--212
-
infinite, 47(1)137--150, 47(1)297--308
-
inflation, 45(5)223--232
-
influence, 45(5)203--212
-
influential, 47(4)369--380
-
inform, 45(11)61--66, 47(1)509--520, 47(6)35--44
-
informal, 45(8)51--52
-
informally, 45(6)36--49
-
information-flow, 47(1)73--84
-
informed, 46(2)1--2
-
informing, 46(8)201--212
-
infrastructure, 45(2)127--136, 45(3)53--64, 45(3)231--242,
45(5)103--104, 45(7)51--62, 45(12)1--14, 46(2)73--82, 46(2)113--122,
46(7)145--156, 46(8)235--246, 47(1)427--440, 47(3)53--62,
47(3)127--136, 47(4)159--170
-
infrequent, 45(6)269--278
-
infrequently, 45(6)13--24, 45(6)244--254
-
inhabiting, 46(9)117--128
-
inherent, 45(3)103--116, 45(3)155--166, 45(5)315--324, 45(6)134--145,
47(3)53--62, 47(6)55--66
-
inherently, 45(2)45--54, 45(5)325--326, 46(8)1--2, 47(4)357--368
-
inheritance, 45(12)81--96, 46(1)67--80, 46(2)103--112, 46(10)973--992,
47(1)31--44, 47(1)521--532
-
initial, 45(2)5--14, 45(4)57--66, 45(4)105--114, 45(4)115--124
-
initialisation, 46(10)1013--1032, 47(1)509--520
-
initialization, 45(10)634--651, 47(1)521--532
-
initialized, 47(1)19--30
-
initially, 46(8)179--188, 47(5)21--30
-
inject, 45(3)335--346
-
injected, 47(1)179--190
-
injecting, code-, 47(1)179--190
-
injection, 45(3)385--396, 46(10)171--188
-
injection, code-, 47(1)179--190
-
injection, SQL-, 47(1)179--190
-
inline, 45(12)15--26
-
inlining, 45(6)471--482, 46(4)65--83
-
inner, 45(5)179--190
-
innovation, 45(3)91--102, 45(5)1--2, 45(5)103--104, 46(8)123--124,
47(1)215--216, 47(4)67--78, 47(4)319--332, 47(4)345--356
-
innovative, 46(8)113--122, 47(5)21--30
-
Inoue, Hiroshi, 46(3)405--418, 46(10)789--804, 47(4)405--418
-
Inoue, Hiroshi, see Hayashizaki, Hiroshige,
see Wu, Peng
-
Inoue, Jun, 45(6)400--411
-
Inoue, Jun, see Westbrook, Edwin
-
input-aware, 47(6)13--22
-
input-based, 45(5)315--324
-
input-centric, 45(10)125--139
-
input-consciousness, 46(10)445--462
-
input-data, 45(5)343--344
-
Input-driven, 45(5)315--324
-
input-output, 46(1)317--330
-
Input-sensitive, 47(6)89--98
-
inputs--incidentally, 45(7)63--74
-
insensitive, 45(6)13--24
-
insensitive, context-, 47(1)373--386
-
insert, 45(4)1--8, 46(2)177--186, 46(8)125--134, 47(1)309--322
-
inserted, 45(4)1--8, 45(6)376--387, 47(1)495--508
-
insertion, 45(4)1--8, 45(6)86--97, 47(1)309--322
-
inside, 45(4)143--152, 45(5)147--158, 45(6)292--304, 45(6)400--411,
45(9)333--344, 46(12)107--117
-
insignificant, 47(5)11--20
-
inspect, 47(3)97--106
-
inspecting, 47(3)97--106
-
inspection/modification, 47(3)97--106
-
inspiration, 45(5)67--78, 47(1)165--178
-
inspired, 45(2)65--74, 45(8)31--40, 46(12)1--12, 46(12)118--129,
47(4)305--318, 47(6)35--44
-
install, 47(1)215--216, 47(1)217--230
-
installation, 47(1)217--230
-
installed, 45(3)231--242, 47(5)1--10
-
instant, 47(5)89--98
-
instantaneously, 45(6)330--340
-
instantiated, 47(3)127--136
-
instantiation, 45(2)99--108, 47(1)361--372, 47(6)35--44
-
instead, etc.-, 47(4)265--278
-
instructing, 47(1)217--230
-
instruction-grain, 45(3)271--284
-
instruction-scheduling-aware, 46(5)151--160
-
instruction-set, 45(7)85--96
-
instructive, 46(12)13--22
-
instructs, 46(8)57--68
-
instrument, 45(6)160--173
-
instrumental, 45(8)113--120
-
instrumentation, 45(2)55--64, 45(2)75--84, 45(2)85--94, 45(2)95--98,
45(4)133--142, 45(6)25--35, 45(10)241--255, 46(7)227--238
-
instrumented, 45(5)347--348, 46(8)135--146
-
instrumenting, 45(2)55--64
-
insufficient, 47(4)3--14
-
intact, 47(3)117--126
-
integer, 45(3)29--38, 45(3)205--218, 45(6)233--243, 46(8)309--310,
46(11)129--138, 47(1)151--164, 47(1)259--272, 47(1)297--308,
47(4)357--368, 47(5)79--88
-
integral, 47(2)51--60
-
integrate, 45(3)29--38, 45(3)129--142, 45(3)297--310, 45(5)305--314,
45(6)316--329, 45(8)121--130, 46(2)127--136, 46(12)83--94,
47(1)151--164, 47(2)25--36, 47(3)3--12, 47(3)43--52, 47(3)167--176,
47(4)279--290
-
integrated, 45(2)35--44, 45(2)127--136, 45(3)297--310, 45(4)47--56,
45(4)57--66, 45(5)103--104, 45(5)233--244, 45(12)73--80,
46(8)135--146, 46(10)139--154, 46(11)99--108, 46(11)129--138,
47(1)557--570, 47(3)167--176, 47(4)145--158, 47(5)31--40
-
integrated, highly-, 47(5)149--152
-
integrating, 45(1)377--388, 45(4)125--132
-
integration, 45(2)65--74, 45(2)157--166, 45(3)1--2, 45(4)47--56,
45(4)57--66, 45(4)125--132, 46(2)137--146, 46(10)445--462,
47(3)3--12, 47(3)83--92, 47(3)157--166, 47(5)149--152
-
integrity, 45(3)371--384, 46(3)279--290, 47(1)165--178, 47(4)279--290,
47(4)291--304
-
Intel, 45(5)103--104, 45(5)179--190, 45(6)74--85, 45(6)98--98,
45(6)448--459, 46(8)103--112, 46(11)11--20, 46(11)109--118,
47(4)319--332, 47(5)21--30
-
intellectual, 45(7)63--74
-
intelligence, 46(5)31--40, 47(5)99--108
-
intelligent, 45(3)385--396
-
intelligently, 47(5)99--108
-
intended, 45(2)15--24, 45(2)75--84, 45(5)327--328, 45(6)330--340,
45(6)412--423, 45(7)63--74, 46(2)33--42, 47(1)571--584,
47(3)117--126, 47(4)79--90
-
intense, 45(7)39--50
-
intensive, 47(4)393--404
-
intensive, control-, 45(3)347--358
-
intensive, CPU-, 45(5)327--328
-
intensive, data-, 45(5)355--356
-
intensive, heap-, 45(6)62--73
-
intensive, memory-, 45(3)297--310
-
intensive, migration-, 47(5)109--118
-
intensive, write-, 47(5)109--118
-
intent, 45(2)35--44
-
intention, 45(2)127--136, 47(3)63--72
-
inter-actor, 45(4)27--36
-
inter-advice, 45(2)85--94
-
Inter-Core, 45(3)359--370
-
inter-core, 45(3)359--370, 46(3)393--404, 46(8)213--222, 47(4)393--404
-
inter-derive, 47(3)93--94
-
inter-face, 45(5)351--352
-
inter-generational, 45(3)39--52
-
inter-language, 47(1)59--72
-
inter-object, 47(6)55--66
-
inter-operating, 47(3)1--2
-
inter-procedural, 46(6)578--589
-
Inter-Process, 46(8)307--308
-
inter-thread, 45(3)257--270, 45(3)271--284
-
interact, 45(6)305--315, 45(7)3--12, 45(7)145--156, 47(3)43--52,
47(5)79--88
-
interactive, 45(2)147--156, 45(6)111--121, 45(12)43--58, 47(1)427--440,
47(2)25--36, 47(6)55--66
-
interactively, 47(3)63--72
-
intercepting, 46(10)959--972
-
intercession, 45(12)59--72
-
interconnect, 45(3)15--28, 45(5)293--304, 46(11)11--20, 47(4)119--132
-
interconnection, 46(2)157--166
-
interdisciplinary, 47(1)215--216
-
interest, 45(3)91--102, 45(5)47--56, 45(6)62--73, 45(6)98--98,
45(7)13--24, 46(8)157--168, 46(8)189--200, 47(1)481--494,
47(1)545--556, 47(4)265--278, 47(4)345--356
-
interested, 47(1)19--30, 47(1)59--72, 47(3)117--126
-
interesting, 45(7)1--2, 45(11)49--60, 47(4)213--224
-
interestingly, 45(7)97--108, 45(8)121--130, 47(4)67--78
-
interface, user-, 45(2)147--156
-
interfere, 45(4)153--162, 45(6)376--387
-
interfered, 47(5)89--98
-
interference, 45(4)153--162, 45(12)59--72, 46(1)423--434, 46(2)113--122,
46(6)199--210, 46(8)91--102, 46(8)147--156, 46(8)179--188,
46(11)77--78, 47(1)297--308, 47(1)323--336, 47(1)455--468,
47(3)43--52, 47(4)79--90
-
interference, non-, 47(1)165--178
-
interleaved, 45(3)219--230, 47(1)19--30, 47(4)79--90
-
interleaving, 45(3)155--166, 45(3)179--192, 45(5)357--358,
46(8)147--156, 47(1)19--30, 47(4)239--250, 47(4)251--264
-
interleaving, unserializable-, 45(3)179--192
-
interleavings., 45(3)179--192
-
intermediate, 45(3)285--296, 45(6)412--423, 45(7)39--50, 46(1)575--586,
46(2)43--52, 46(12)47--58, 47(1)349--360, 47(1)427--440
-
intermingle, 47(3)83--92
-
intermittent, 46(3)185--198, 47(1)245--258, 47(4)185--198,
47(4)199--212
-
internal, 45(5)57--66, 45(6)62--73, 47(3)147--156
-
internally, 45(6)363--375, 45(8)51--52
-
internet, 47(3)43--52, 47(4)291--304
-
interoperate, 45(6)376--387, 46(8)47--56, 47(1)7--18
-
interplay, 47(1)273--284
-
interpolant, 45(1)471--482, 47(1)259--272
-
interpolation, 47(1)259--272
-
interpose, 45(6)36--49
-
interposition, 45(2)75--84
-
interpret, 45(6)436--447, 47(3)63--72
-
interpretation, abstract-, 45(6)292--304
-
interpretation, self-, 46(9)247--258
-
interpreted, 45(7)97--108, 47(1)481--494, 47(2)1--12, 47(2)25--36,
47(3)97--106
-
interpreter-based, 45(7)121--132
-
interpreting, 45(12)1--14, 47(1)337--348
-
interrelated, 45(2)35--44
-
interrelationships, 45(2)35--44
-
interrupt, 45(3)103--116, 45(6)99--110, 47(4)119--132
-
interrupt-driven, 46(1)93--104
-
interruptible, 47(4)159--170
-
interruption, 47(4)79--90
-
intersection, 47(1)215--216
-
interspersed, 47(3)167--176
-
interthread, 45(3)53--64
-
intertwined, 47(5)51--60
-
interval, 45(3)77--90, 47(4)15--26, 47(5)89--98
-
interview, 47(1)1--2
-
Intra-application, 45(5)329--330
-
intra-object, 47(6)55--66
-
intractable, 47(4)357--368
-
intricate, 46(8)125--134
-
intrinsic, 45(5)91--100
-
introduced, 45(4)133--142, 45(5)37--46, 45(5)79--90, 46(11)79--88,
46(11)119--128, 47(1)85--96, 47(2)25--36, 47(6)13--22
-
introducing, 45(3)311--322, 45(8)73--82, 46(8)81--90, 46(12)118--129,
47(1)481--494
-
introduction, 45(2)1--2, 45(7)121--132, 46(8)201--212, 47(4)381--392
-
introspect, 45(7)25--36
-
intrusion, 47(1)215--216
-
intrusive, 47(4)27--38
-
intuition, 45(2)35--44
-
intuitionistic, 46(4)84--96
-
intuitive, 45(2)99--108, 45(3)29--38, 45(6)351--362, 46(6)199--210,
46(8)69--80
-
intuitively, 45(8)53--62, 45(8)103--112, 47(1)387--400
-
invalid, 45(6)122--133, 47(4)91--104, 47(4)239--250
-
invalidation, 46(8)213--222
-
invariance, 47(1)245--258
-
invariant, loop-, 46(6)199--210
-
invariant-driven, 45(2)55--64
-
invasive, 45(3)385--396
-
inverse, 46(6)528--541
-
inversion, 45(8)53--62, 46(6)492--503
-
invertible, 45(11)1--12
-
invested, 45(5)47--56
-
investigate, 45(3)129--142, 45(4)143--152, 45(5)79--90, 45(5)355--356,
45(8)1--10, 46(4)84--96, 46(11)109--118, 47(4)119--132
-
investigated, 47(3)23--32, 47(5)89--98
-
investigating, 47(3)33--42
-
investigation, 47(4)39--52, 47(5)89--98
-
Investigator, 45(6)98--98
-
investing, 45(5)15--24
-
investment, 47(2)13--24
-
invisible, 45(6)134--145
-
invited, 45(6)98--98
-
invocation, 45(6)86--97, 45(12)81--96, 46(2)63--72, 47(4)405--418
-
invoke, 45(6)160--173, 46(8)13--24
-
invoked, 45(6)25--35, 46(8)235--246, 47(4)405--418
-
invoking, 47(1)19--30
-
involve, 45(2)3--4, 45(2)137--146, 45(4)57--66, 45(5)159--168,
45(6)174--186, 46(8)201--212, 47(1)571--584, 47(5)11--20
-
involved, 45(3)219--230, 45(7)133--144, 45(7)145--156, 45(8)63--72,
46(8)247--256, 46(8)303--304
-
involving, 45(3)219--230, 45(7)1--2, 46(8)69--80, 47(5)11--20,
47(6)1--12
-
I/O, 45(5)169--178, 45(5)351--352, 45(7)1--2, 45(7)25--36, 45(7)63--74,
45(7)75--84, 45(7)97--108, 45(11)103--108, 46(12)83--94,
47(4)133--144, 47(6)55--66
-
IP, 45(5)103--104, 45(7)97--108, 47(5)119--128
-
IPC, 46(8)307--308
-
Ipek, Engin, 45(3)3--14
-
Ipek:2010:DRM, 45(3)3--14
-
irregular, 45(3)205--218, 45(5)3--14, 45(5)159--168, 45(5)341--342,
45(5)353--354, 46(3)333--344, 46(8)3--12, 46(8)13--24,
46(8)201--212, 46(8)267--276, 46(8)305--306, 47(4)333--344,
47(4)369--380
-
irregularity, 46(3)369--380, 47(1)521--532, 47(4)369--380
-
irreversible, 47(1)73--84
-
irrevocable, 45(5)67--78
-
Irwin, David, 46(3)185--198, 47(4)185--198
-
Irwin, David, see Sharma, Navin
-
Irwin, Mary J., 45(4)85--94
-
Irwin, Mary J., see Ozturk, Ozcan
-
Irwin, Mary Jane, 45(6)74--85
-
Irwin, Mary Jane, see Kandemir, Mahmut
-
is, stack-, 45(6)13--24
-
ISA, 45(7)85--96, 47(4)345--356
-
Isaacs, Rebecca, 46(10)903--920
-
Isaacs, Rebecca, see Harris, Tim
-
Isabelle, 47(6)55--66
-
Isard, Michael, 46(6)121--131
-
Isard, Michael, see Murray, Derek Gordon
-
ISAs, 46(3)145--158, 47(4)145--158
-
Ishtiaq, Samin, 46(4)84--96
-
Ishtiaq:2011:BAL, 46(4)84--96
-
ISMM, 46(11)1--10, 46(11)11--20, 46(11)21--32, 46(11)33--42,
46(11)43--54, 46(11)55--64, 46(11)65--76, 46(11)77--78,
46(11)79--88, 46(11)89--98, 46(11)99--108, 46(11)109--118,
46(11)119--128, 46(11)129--138
-
ISO, 47(1)521--532
-
isolate, 45(2)25--34, 47(3)185--186
-
isolated, 45(6)210--220, 46(8)169--178, 47(1)203--214, 47(4)291--304
-
isolated, software-, 45(7)37--38
-
isolating, 45(3)117--128, 46(6)378--388
-
isolating, communicator-, 46(8)169--178
-
isolation, 45(2)15--24, 45(2)157--166, 45(3)129--142, 45(5)147--158,
45(5)257--268, 45(6)62--73, 45(7)75--84, 45(10)241--255,
45(10)691--707, 46(8)69--80, 46(8)169--178, 46(10)885--902,
47(1)215--216, 47(4)1--2, 47(6)1--12
-
isomorphism, 47(1)73--84, 47(1)337--348
-
issued, 46(11)1--10
-
issuing, 45(6)210--220
-
iTalX, 45(6)424--435
-
Itanium, 45(8)51--52
-
iterate, 47(1)151--164
-
iterating, 46(8)297--298
-
iteration, 45(5)3--14, 45(5)213--222, 45(5)257--268, 45(6)50--61,
45(6)74--85, 45(7)133--144, 45(8)63--72, 46(2)43--52, 46(8)309--310,
47(4)333--344
-
iteration, cross-, 45(8)63--72
-
iterative, 45(4)95--104, 45(5)213--222, 45(5)233--244, 45(6)292--304,
45(6)448--459, 46(2)43--52, 46(11)1--10
-
iterative, non-, 45(6)292--304
-
iteratively, 45(5)223--232, 47(1)297--308, 47(5)41--50, 47(5)119--128
-
iterator, 47(2)25--36
-
itself, 45(3)129--142, 45(3)397--408, 45(6)25--35, 45(6)221--232,
45(7)13--24, 46(5)31--40, 46(8)201--212, 46(11)79--88,
47(1)231--244, 47(1)413--424, 47(1)571--584, 47(2)61--72,
47(6)55--66
-
Itzhaky, Shachar, 45(10)36--46
-
Itzhaky:2010:SIS, 45(10)36--46
-
IV, 46(9)221--233
-
iv, 45(3)91--102, 45(3)271--284
-
Ivan{\v{c}}i{\'c}, Franjo, 45(1)71--82,
see Harris, William R.
-
Iwasaki, Hideya, 45(8)73--82, 46(6)470--479
-
Iwasaki, Hideya, see Sato, Shigeyuki,
see Ugawa, Tomoharu
-
Iyengar, Balaji, 46(11)79--88
-
Iyengar, Balaji, see Tene, Gil