Last update: Thu Sep 28 02:07:29 MDT 2023
Return to index directory
D
-
D, 45(6)98--98, 47(1)231--244
-
d, 45(3)167--178, 46(8)201--212
-
D'Elia, Daniele Cono, 46(6)516--527
-
D'Hondt, Theo, 47(2)1--12
-
D-TLB, 45(3)359--370
-
Da, 46(10)657--676
-
DaCapo, 45(8)41--50, 47(4)405--418
-
Dacapo, 45(7)51--62
-
Dagand, Pierre-Évariste, 45(9)3--14,
see Chapman, James
-
Dagnat, Fabien, 45(9)27--38
-
Dagnat, Fabien, see Buisson, Jérémy
-
daily, 45(4)163--172
-
Dalessandro, Luke, 45(5)67--78, 46(3)39--52, 47(4)39--52
-
Dalessandro:2010:NSS, 45(5)67--78
-
Dalessandro:2011:HNC, 46(3)39--52
-
Dalessandro:2012:HNC, 47(4)39--52
-
Dalrymple, David, 45(1)1--6
-
Dalrymple, David, see Gershenfeld, Neil
-
damaging, 45(3)117--128
-
dangerous, 47(4)105--118, 47(4)279--290
-
dangling, 45(8)31--40, 47(4)105--118
-
dangling-pointer, 45(3)179--192
-
Danielsson, Nils Anders, 45(9)285--296
-
Danielsson:2010:TPC, 45(9)285--296
-
Danvy, Olivier, 47(3)93--94
-
Danvy:2012:PFS, 47(3)93--94
-
Darais, David, 46(9)189--195
-
Darais, David, see Might, Matthew
-
Darrasse, Alexis, 46(9)259--265
-
Darrasse, Alexis, see Chyzak, Frédéric
-
Darulova, Eva, 46(10)325--344
-
Darulova:2011:TNC, 46(10)325--344
-
Das, Kishen, 47(3)107--116
-
Das, Kishen, see Nystrom, Nathaniel
-
Dash, Alokika, 45(5)331--332
-
Dash:2010:SPT, 45(5)331--332
-
data, finite-, 47(1)203--214
-
data, input-, 45(5)343--344
-
data, tag-on-, 46(11)129--138
-
data-center, 47(1)215--216
-
data-centric, 45(3)347--358, 45(6)388--399
-
data-dependent, 45(1)417--430, 45(7)63--74
-
data-driven, 46(8)305--306, 46(10)65--82
-
data-exchange, 45(5)159--168
-
data-flow, 45(3)271--284, 45(4)27--36, 45(4)77--84, 47(5)51--60,
47(5)61--70
-
data-intensive, 45(5)355--356
-
data-level, 45(3)285--296, 45(3)297--310, 45(5)353--354
-
data-oriented, 45(6)388--399
-
data-parallel, 45(3)347--358, 45(5)3--14, 45(6)363--375, 46(8)125--134,
46(11)1--10
-
data-parallelism, 45(5)3--14
-
data-race, 45(6)13--24, 45(10)634--651
-
data-race-free, 45(3)77--90, 45(6)351--362, 47(4)53--66
-
data-race-free-based, 47(4)67--78
-
data-races, 46(8)125--134
-
data-structure, 47(1)123--136
-
data-structures, 47(1)123--136
-
data-types, 47(1)413--424
-
database-like, 45(4)9--16
-
dataflow, 45(3)257--270, 45(6)98--98, 45(6)363--375, 45(6)388--399,
45(11)121--134, 46(10)207--224, 46(10)407--426, 46(12)71--82,
47(1)45--58, 47(5)71--78
-
datalog, 45(1)145--156
-
datarace-free, 45(6)351--362
-
dataset, 45(5)179--190, 45(5)203--212, 45(6)448--459
-
datatypes, 46(9)234--246
-
date, 45(6)174--186, 47(1)495--508, 47(1)533--544, 47(4)145--158
-
date, out-of-, 45(5)203--212
-
David, Cristina, 46(10)359--374
-
David, Valentin, 45(2)15--24
-
David, Valentin, see Bagge, Anya Helene
-
David:2011:ISM, 46(10)359--374
-
Davies, Teresa, 46(8)303--304
-
Davies:2011:ABR, 46(8)303--304
-
Davis, Al, 45(3)219--230
-
Davis, Al, see Sudan, Kshitij
-
Davis, Samuel, 45(10)754--773
-
Davis:2010:RBL, 45(10)754--773
-
day, 45(4)67--76
-
DB, 47(4)91--104
-
DBI, 45(6)25--35
-
DBI-based, 45(6)25--35
-
DBT, 45(7)145--156
-
Dbt, 47(5)21--30
-
DBT-based, 45(7)145--156
-
DBTs, 45(7)145--156
-
DCIL, 45(6)412--423
-
DCS, 45(4)57--66
-
DDS, 47(3)53--62
-
DDS4CCM, 47(3)53--62
-
DDS4CIAO, 47(3)53--62
-
de-facto, 46(2)33--42
-
deactivate, 45(2)147--156
-
deactivation, 47(3)177--184
-
dead, 45(8)121--130, 46(2)33--42
-
dead, ultimately-, 45(6)174--186
-
deadline, 45(6)471--482, 47(4)345--356
-
deadlock, 45(3)167--178, 45(5)339--340, 45(5)351--352, 46(8)57--68,
46(8)157--168
-
deadlock, non-, 45(3)179--192
-
deadlock-freedom, 45(5)25--36
-
deal, 45(2)137--146, 45(6)210--220, 45(8)1--10, 46(2)43--52, 46(2)53--62,
46(2)73--82, 46(8)235--246, 46(12)83--94, 47(1)323--336,
47(3)97--106
-
dealing, 45(3)271--284
-
deallocation, 45(8)121--130, 46(11)99--108, 47(5)1--10
-
debug, 45(4)133--142, 45(8)41--50, 46(2)63--72
-
debug-time, 45(5)57--66
-
debuggability, 45(6)351--362, 47(4)53--66
-
debugger, 45(2)85--94, 45(5)57--66, 47(1)533--544, 47(3)127--136
-
decade, 45(3)65--76, 45(4)115--124, 45(5)1--2, 45(8)51--52, 45(11)49--60,
46(8)123--124, 47(1)387--400, 47(5)149--152
-
decentralized, 47(1)85--96
-
decidability, 47(1)413--424
-
decidable, 46(1)611--622, 47(1)137--150, 47(1)191--202, 47(1)203--214,
47(1)413--424
-
decide, 45(6)316--329, 47(1)481--494
-
deciding, 45(5)203--212, 47(1)191--202, 47(1)203--214
-
decimal, 45(6)233--243, 46(11)129--138
-
decimal, binary-to-, 45(6)233--243
-
declarative, 45(1)403--416, 45(2)127--136, 45(2)147--156, 45(8)53--62,
45(10)444--463, 45(10)918--932, 46(3)119--132, 46(6)121--131,
46(8)1--2, 46(12)59--70, 47(1)85--96, 47(1)151--164, 47(1)217--230,
47(4)119--132
-
declarative/imperative, 45(8)53--62
-
declaratively, 45(2)55--64, 45(6)50--61, 46(8)125--134, 46(10)695--712,
47(1)45--58, 47(3)127--136
-
declare, 47(4)91--104
-
decline, 45(3)385--396
-
declining, 45(5)103--104
-
decommission, 45(3)3--14
-
decompose, 45(4)37--46
-
decomposed, 45(4)37--46
-
decomposing, 47(1)297--308
-
decomposition, 45(4)37--46, 46(8)289--290, 46(8)297--298, 46(8)303--304
-
decompression, 46(8)25--34
-
decorated, 46(2)43--52
-
decouple, 45(3)117--128, 45(6)25--35, 46(8)213--222
-
decoupled, 45(6)25--35, 46(11)11--20
-
decoupling, 45(3)117--128
-
decrease, 45(6)174--186, 46(2)23--32
-
decreasing, 47(4)305--318
-
decrypt, 47(3)185--186
-
decryption, 47(3)185--186
-
decryptor, 47(3)185--186
-
dedicated, 45(2)137--146, 45(3)129--142, 45(4)57--66, 45(4)105--114,
47(3)43--52
-
deduce, 47(4)279--290
-
deemed, 46(6)199--210
-
deep, 45(3)311--322, 45(6)160--173, 46(8)81--90, 46(9)28--31,
47(3)185--186
-
deep-submicron, 45(3)3--14
-
deeper, 45(3)1--2, 45(6)74--85
-
deeply, 46(11)1--10, 47(3)167--176
-
default, 45(2)167--176, 45(5)179--190, 45(7)85--96
-
default, deterministic-by-, 46(1)535--548
-
defect, 45(2)147--156, 46(2)33--42, 46(8)309--310, 47(4)133--144
-
defer, 45(6)363--375
-
deferred, 45(6)363--375
-
defined, 45(2)167--176, 46(2)147--156, 46(8)157--168, 46(12)13--22,
46(12)107--117, 47(1)7--18, 47(1)215--216, 47(1)455--468
-
defined, programmer-, 47(4)79--90
-
defined, Software-, 47(1)217--230
-
defined, software-, 45(3)271--284
-
defined, user-, 45(2)5--14, 47(4)105--118
-
defined, well-, 45(6)316--329, 45(8)51--52, 46(8)213--222,
46(12)35--46, 47(4)145--158
-
defining, 45(6)424--435, 47(1)179--190, 47(1)245--258, 47(1)401--412,
47(3)127--136
-
definite, 47(1)245--258
-
definition-use, 45(10)160--174
-
definitionally, 47(1)337--348
-
defunctionalizing, 47(3)97--106
-
DeFuse, 45(10)160--174
-
degradation, 45(3)3--14, 45(3)231--242, 45(4)85--94, 45(6)198--209,
45(7)109--120, 46(8)201--212, 47(4)225--238, 47(6)77--88
-
degrade, 45(3)243--256, 45(6)160--173, 47(4)405--418
-
degree, 45(3)77--90, 45(5)147--158, 45(5)325--326, 45(6)1--12,
45(12)81--96, 46(4)41--52, 46(6)26--37, 46(11)119--128,
47(1)571--584, 47(3)97--106, 47(5)119--128, 47(6)55--66
-
degree, low-, 46(8)201--212
-
degree, out-, 45(4)1--8
-
DeJiu, Chen, 45(4)125--132
-
DeJiu, Chen, see Biehl, Matthias
-
Delahaye, Matthieu, 45(5)105--114
-
Delahaye, Matthieu, see Baghsorkhi, Sara S.
-
Delaval, Gwenaël, 45(4)57--66
-
Delaval:2010:CMD, 45(4)57--66
-
Delaware, Benjamin, 46(10)595--608
-
Delaware:2011:PLT, 46(10)595--608
-
delay, 45(3)117--128, 45(3)243--256, 45(4)153--162
-
delay, energy-, 45(3)205--218, 45(3)397--408
-
Delay-bounded, 46(1)411--422
-
delayed, 45(3)335--346, 47(1)361--372
-
delaying, 45(7)25--36, 45(7)133--144
-
delegated, 46(10)885--902
-
deleted, 47(1)495--508
-
DElia:2011:MHC, 46(6)516--527
-
delimited, 46(9)81--93
-
Delite, 46(8)35--46
-
deliver, 45(3)179--192, 46(8)47--56, 46(8)201--212, 46(8)257--266,
47(1)217--230
-
delivered, 45(5)341--342, 47(4)319--332
-
delivering, 46(8)123--124
-
delivery, 45(3)231--242
-
Delphin, 47(1)273--284
-
delta, 46(2)13--22, 46(7)111--120
-
Demaine, Erik D., 45(1)1--6
-
Demaine, Erik D., see Gershenfeld, Neil
-
demand, 45(2)99--108, 45(3)91--102, 45(3)231--242, 45(4)27--36,
45(4)125--132, 45(5)223--232, 45(7)85--96, 45(7)145--156,
45(8)103--112, 46(2)73--82, 46(2)127--136, 46(11)65--76,
46(11)77--78, 47(4)345--356, 47(5)21--30
-
demand, on-, 46(8)1--2
-
demand-driven, 45(6)160--173, 45(10)397--410
-
demand-response, 47(4)185--198
-
demanding, 45(3)397--408, 45(4)133--142
-
Demetrescu, Camil, 46(6)516--527, 46(10)407--426, 47(6)89--98
-
Demetrescu, Camil, see Coppa, Emilio,
see D'Elia, Daniele Cono
-
Demetrescu:2011:RIP, 46(10)407--426
-
demonstrated, 45(3)297--310, 45(5)341--342, 45(7)39--50, 45(7)97--108,
46(8)247--256, 47(1)273--284
-
demonstrating, 45(5)223--232, 45(5)355--356, 46(8)3--12, 47(3)33--42
-
demonstration, 45(6)122--133, 46(2)123--126, 46(8)201--212,
47(3)185--186
-
Demsky, Brian, 45(5)331--332, 45(6)388--399
-
Demsky, Brian, see Dash, Alokika,
see Zhou, Jin
-
Demsky, Brian Charles, 46(8)57--68
-
Demsky, Brian Charles, see Jenista, James Christopher
-
Deng, Daniel Y., 45(3)371--384
-
Deng, Daniel Y., see Huang, Ruirui
-
Deng, Qingyuan, 46(3)225--238, 47(4)225--238
-
Deng:2011:MAL, 46(3)225--238
-
Deng:2012:MAL, 47(4)225--238
-
Deniélou, Pierre-Malo, 46(1)435--446
-
Denielou:2011:DMS, 46(1)435--446
-
denotational, 47(1)45--58
-
denote, 45(4)37--46
-
dense, 45(5)223--232, 45(5)345--346
-
density, 45(5)233--244, 46(5)31--40, 46(9)209--220, 47(1)545--556,
47(4)171--184, 47(5)109--118
-
department, 45(6)98--98, 46(2)1--2
-
depend, 45(3)15--28, 45(3)53--64, 45(4)67--76, 45(6)483--496,
45(8)51--52, 46(2)13--22, 46(8)91--102, 47(1)349--360,
47(1)571--584, 47(3)23--32, 47(4)291--304, 47(5)21--30
-
dependable, 45(7)37--38
-
dependence, co-, 47(4)145--158
-
Dependence-based, 46(5)91--100
-
dependence-tracing, 45(6)483--496
-
dependency., 45(6)122--133
-
dependent, data-, 45(1)417--430, 45(7)63--74
-
dependent, effect-, 47(1)349--360
-
dependent, feature-, 46(2)13--22
-
dependent, matrix-, 45(5)115--126
-
dependent, value-, 46(9)266--278
-
dependently, 45(9)169--180, 47(1)337--348, 47(1)571--584
-
dependently-typed, 47(1)571--584
-
depending, 45(6)13--24, 45(7)145--156, 46(6)425--436, 47(3)185--186,
47(4)357--368, 47(4)393--404
-
deploy, 47(4)145--158
-
deployable, 45(6)13--24
-
deployed, 45(3)1--2, 45(6)255--268, 47(1)215--216, 47(4)145--158,
47(5)99--108
-
deploying, 47(4)145--158, 47(4)357--368
-
deployment, 45(2)127--136, 45(3)385--396, 45(6)255--268, 47(3)53--62,
47(4)67--78, 47(5)79--88
-
depth, 45(3)167--178, 45(5)91--100
-
depths, bug-, 45(3)167--178
-
dequeuers, 46(8)223--234
-
dereference, 45(6)436--447, 45(8)31--40, 46(10)1033--1052,
47(4)239--250
-
dereference, NULL-pointer-, 45(3)179--192
-
derivation, 45(2)117--126, 45(4)67--76, 45(11)25--36, 46(2)13--22,
46(2)43--52, 47(1)571--584, 47(3)185--186
-
derivation, type-, 47(1)571--584
-
derivative, 46(9)189--195
-
derive, 45(2)117--126, 45(4)67--76, 45(5)159--168, 45(6)305--315,
45(6)448--459, 45(7)63--74, 45(7)85--96, 46(2)177--186, 47(1)73--84,
47(1)97--110, 47(1)245--258, 47(3)63--72, 47(6)55--66, 47(6)89--98
-
derive, inter-, 47(3)93--94
-
derived, 45(2)117--126, 45(7)63--74, 45(7)85--96, 47(1)73--84
-
deriving, 45(2)117--126, 45(4)67--76, 45(6)292--304, 45(11)37--48,
46(9)209--220, 47(1)97--110
-
Dern, Chris, 45(6)330--340
-
Dern, Chris, see Burckhardt, Sebastian
-
descent, 45(6)279--291
-
described, 45(2)15--24, 46(4)53--64, 46(8)201--212, 46(11)33--42,
46(11)79--88, 47(2)1--12, 47(3)3--12
-
describing, 45(2)157--166, 46(2)157--166, 46(8)247--256, 47(1)85--96,
47(1)179--190, 47(1)401--412, 47(3)63--72, 47(4)239--250
-
description, 45(1)403--416, 45(2)5--14, 45(2)137--146, 45(4)9--16,
45(4)125--132, 45(6)221--232, 45(7)1--2, 45(11)1--12, 46(2)43--52,
46(6)109--120, 47(1)31--44, 47(1)495--508, 47(2)51--60, 47(3)63--72,
47(3)147--156, 47(3)185--186, 47(5)61--70, 47(5)119--128,
47(5)129--138
-
descriptor, 45(5)331--332
-
deserve, 45(6)122--133, 46(1)1--2
-
design-time, 47(3)73--82
-
design., 45(4)77--84
-
designated, 45(5)347--348
-
designated, compiler-, 45(6)351--362
-
designation, 45(2)35--44
-
designed, custom-, 45(3)297--310
-
designer, 45(2)1--2, 45(3)385--396, 45(4)115--124, 45(5)305--314,
45(5)349--350, 45(6)436--447, 45(7)75--84, 45(8)51--52,
47(3)185--186, 47(4)39--52, 47(5)51--60, 47(6)35--44, 47(6)55--66
-
designing, 45(2)3--4, 45(5)103--104, 45(6)221--232, 45(7)1--2,
46(2)63--72, 47(4)319--332
-
desirable, 46(11)21--32, 47(3)185--186
-
desirable., 45(3)179--192, 45(3)335--346
-
desire, 45(7)97--108, 47(4)145--158, 47(6)1--12, 47(6)23--34
-
desired, 45(5)305--314, 45(12)15--26, 47(1)111--122, 47(1)165--178,
47(3)63--72, 47(3)95--96, 47(4)265--278, 47(4)381--392
-
desk, 47(4)1--2
-
desktop, 45(8)73--82, 47(4)239--250, 47(4)291--304, 47(5)1--10
-
Desmond, Michael, 45(10)848--864
-
Desmond, Michael, see Ossher, Harold
-
despite, 45(3)29--38, 45(3)129--142, 45(4)115--124, 45(5)305--314,
45(6)305--315, 45(6)460--470, 45(8)51--52, 46(6)425--436,
46(11)33--42, 47(1)137--150, 47(1)273--284, 47(1)441--454,
47(5)139--148, 47(6)55--66
-
destination, source-, 45(3)15--28
-
destroy, 46(6)283--294
-
destroying, 45(3)219--230
-
destruction, 47(1)521--532
-
destructive, 45(6)244--254, 45(6)376--387
-
detach, 45(3)397--408
-
detail, 45(2)127--136, 45(4)27--36, 45(4)47--56, 45(4)115--124,
45(5)57--66, 45(6)74--85, 45(6)111--121, 45(7)39--50, 45(8)51--52,
45(12)73--80, 46(11)79--88, 47(1)273--284, 47(3)83--92,
47(3)117--126, 47(4)381--392, 47(6)1--12
-
detail., 45(6)111--121
-
detailed, 45(2)137--146, 45(3)257--270, 45(5)47--56, 45(5)203--212,
46(11)11--20, 47(4)3--14, 47(4)53--66, 47(4)239--250
-
details., 45(6)50--61
-
detected, 45(3)371--384, 45(6)244--254, 45(6)351--362, 46(8)201--212,
46(11)1--10, 47(4)405--418, 47(5)11--20
-
detecting, 45(3)39--52, 45(3)167--178, 45(3)179--192, 45(3)257--270,
45(3)323--334, 45(3)397--408, 45(6)160--173, 45(6)174--186,
45(6)244--254, 45(7)3--12, 45(8)31--40, 45(10)160--174,
46(3)251--264, 46(6)343--354, 46(8)135--146, 46(8)147--156,
47(1)387--400, 47(4)53--66, 47(4)133--144, 47(4)251--264,
47(4)279--290, 47(4)405--418, 47(5)99--108, 47(6)77--88
-
detection, bug-, 47(4)251--264
-
detection, error-, 45(3)3--14
-
detector, 45(3)179--192, 45(5)25--36, 45(6)13--24, 45(6)36--49,
45(6)255--268, 45(7)109--120
-
determination, 45(1)223--236, 45(7)133--144
-
determine, 45(3)129--142, 45(4)133--142, 45(5)47--56, 45(5)179--190,
46(8)289--290, 47(1)191--202, 47(4)119--132, 47(4)225--238,
47(5)119--128, 47(6)55--66, 47(6)67--76
-
determined, 45(4)67--76, 45(5)103--104, 45(5)147--158, 45(5)305--314,
46(8)13--24, 46(11)55--64, 47(5)79--88
-
determining, 46(2)53--62, 47(1)191--202, 47(6)67--76
-
determinism, 45(3)53--64, 45(3)77--90, 47(4)67--78, 47(6)45--54
-
determinism, non-, 45(3)143--154, 45(3)155--166
-
deterministic, non-, 45(3)179--192, 47(4)251--264
-
deterministic-by-default, 46(1)535--548
-
deterministically, 45(3)53--64, 46(12)83--94
-
deterministically., 45(3)53--64
-
detrimental, 45(3)29--38
-
developer., 45(2)75--84
-
deviation, 45(4)133--142
-
device-driver, 47(4)133--144
-
Devietti, Joseph, 45(3)53--64, 46(3)67--78, 47(4)67--78
-
Devietti, Joseph, see Bergan, Tom
-
Devietti:2011:RRC, 46(3)67--78
-
Devietti:2012:RRC, 47(4)67--78
-
devise, 46(8)113--122, 47(1)323--336, 47(5)79--88
-
devised, 45(6)221--232
-
devising, 47(6)55--66
-
DeVito, Zach, 45(10)835--847
-
DeVito, Zach, see Chafi, Hassan
-
devoted, 45(2)147--156
-
Devriese, Dominique, 46(9)143--155
-
Devriese:2011:BST, 46(9)143--155
-
DFS, 47(4)225--238
-
DHondt:2012:ISS, 47(2)1--12
-
diagnosability, 46(3)3--14, 47(4)3--14
-
diagnose, 45(3)143--154, 46(8)213--222
-
diagnoses, 45(6)36--49
-
diagnosing, 45(3)143--154, 45(6)13--24, 45(7)13--24, 46(8)135--146,
47(4)3--14
-
diagnosis, 45(3)143--154, 45(6)160--173, 46(5)111--120, 47(4)3--14,
47(5)61--70
-
diagnostics, 45(3)143--154
-
diagram, 47(1)191--202, 47(3)63--72, 47(3)185--186
-
dialect, 45(11)49--60
-
diameter, low-, 46(8)201--212
-
Dias, João, 45(1)403--416, 45(11)121--134, 46(1)575--586,
see Ramsey, Norman
-
Dias:2010:AGI, 45(1)403--416
-
DiaSpec, 45(2)137--146
-
DiaSpec-specified, 45(2)137--146
-
Dice, Dave, 46(11)55--64
-
Dice, Dave, see Afek, Yehuda
-
dictated, 47(4)171--184
-
dictionary, 45(6)483--496, 47(1)231--244
-
did, 45(10)947--957, 47(1)245--258, 47(4)79--90
-
Dietl, Werner, 46(6)164--174
-
Dietl, Werner, see Sampson, Adrian
-
difc, 45(7)63--74
-
differ, 47(3)97--106
-
difference, 45(3)103--116, 45(3)155--166, 45(4)105--114, 45(5)335--336,
46(8)267--276, 46(10)939--958, 47(1)285--296, 47(2)97--106,
47(3)185--186, 47(4)381--392
-
differencing, 45(3)103--116
-
differential, 45(9)157--168, 47(1)19--30, 47(1)73--84, 47(1)97--110
-
differentiate, 46(11)79--88
-
differently, 47(1)469--480
-
differing, 47(1)509--520, 47(4)39--52
-
difficulty, 45(3)143--154, 45(5)91--100, 45(6)36--49, 45(6)400--411,
45(8)51--52, 46(8)201--212, 46(11)77--78, 47(1)203--214,
47(4)319--332
-
digital, 45(7)1--2
-
Dijkstra, Atze, 45(11)37--48, 46(2)43--52
-
Dijkstra, Atze, see Magalhães, José Pedro,
see Middelkoop, Arie
-
dilemma, 46(8)295--296
-
Dillig, Isil, 45(10)397--410, 46(1)187--200, 46(6)567--577
-
Dillig, Thomas, 45(10)397--410, 46(1)187--200, 46(6)567--577
-
Dillig, Thomas, see Dillig, Isil
-
Dillig:2010:SHA, 45(10)397--410
-
Dillig:2011:PCM, 46(6)567--577
-
Dillig:2011:PRP, 46(1)187--200
-
dimension, 45(6)134--145, 46(11)33--42
-
dimensional, 46(8)201--212, 47(1)337--348
-
dimensional, 10-, 46(8)25--34
-
dimensional, Higher-, 47(1)337--348
-
dimensional, higher-, 46(8)25--34, 47(1)337--348
-
dimensional, multi-, 46(8)25--34, 46(8)309--310
-
dimensional, one-, 47(1)337--348
-
dimensional, two-, 45(4)27--36, 47(1)337--348
-
DIMM, 45(3)397--408
-
DIMMs, 45(3)397--408
-
Dimoulas, Christos, 46(1)215--226, 47(1)285--296
-
Dimoulas, Christos, see Klein, Casey
-
Dimoulas:2011:CBC, 46(1)215--226
-
Dinda, Peter, 45(10)583--597, 46(7)169--180, 46(7)193--204, 47(2)85--96
-
Dinda, Peter, see Lange, John R.,
see Swaine, James, \see{Tew, Kevin
-
Ding, Chen, 45(5)335--336, 46(8)91--102, 46(8)299--300, 46(10)243--258,
46(11)43--54, 46(11)65--76
-
Ding, Chen, see Gu, Xiaoming,
see Hertz, Matthew, \see{Ke, Chuanle,
see Xiang, Xiaoya, \see{Zhang, Chao
-
Ding, Xiaoning, 46(8)103--112
-
Ding:2011:TEP, 46(8)299--300
-
Ding:2011:UUL, 46(8)103--112
-
Dinsdale-Young, Thomas, 46(10)845--864
-
Dinsdale-Young, Thomas, see Pinto, Pedro da Rocha
-
direct, 45(3)311--322, 45(4)77--84, 45(6)221--232, 45(8)113--120,
46(8)201--212, 46(11)89--98, 47(2)13--24, 47(3)97--106,
47(3)157--166
-
direct-mapped, 45(8)113--120
-
direct-style, 47(3)97--106
-
directed, 45(4)85--94, 45(5)355--356, 46(6)504--515, 46(8)201--212
-
directed, compiler-, 45(4)85--94, 45(6)460--470
-
directed, feedback-, 45(7)133--144, 46(4)65--83, 46(8)213--222
-
directed, type-, 45(2)25--34
-
direction, 45(2)157--166, 46(11)77--78
-
directional, bi-, 47(1)413--424
-
directives, 46(8)69--80, 47(3)23--32
-
directory, 47(4)91--104, 47(4)305--318
-
disable, 45(2)147--156
-
disabling, 47(3)177--184
-
disadvantage, 45(5)37--46, 45(5)339--340, 46(8)189--200, 47(3)95--96
-
disagree, 45(6)187--197
-
disallow, 45(5)91--100, 45(6)351--362
-
discard, 45(6)255--268, 47(1)441--454
-
discard-all, 46(8)189--200
-
discarded, 45(8)63--72, 46(8)189--200, 47(4)133--144
-
discarding, 46(8)189--200
-
discipline., 45(5)233--244
-
disciplined, 45(6)400--411
-
disclosed, 47(1)85--96
-
discontiguous, 45(6)471--482
-
discontinuity, 45(6)279--291
-
discourse, 46(2)3--12
-
discover, 45(6)174--186, 46(8)307--308, 47(1)309--322, 47(3)33--42,
47(4)279--290, 47(6)89--98
-
discovered, 45(3)129--142, 46(8)309--310, 47(1)309--322, 47(1)387--400
-
discovering, 46(2)43--52
-
discovery, 45(5)1--2, 45(5)57--66, 45(5)213--222, 45(5)355--356,
46(10)207--224
-
discrepancy, 45(5)233--244, 45(6)210--220, 45(6)341--350, 46(8)267--276
-
discrete, 45(4)57--66, 47(5)119--128
-
discrete-event, 46(8)3--12
-
discrete-time, 47(1)45--58, 47(5)129--138
-
discretionary, 46(12)95--106
-
discretization, 46(8)25--34
-
discussed, 45(2)157--166, 45(2)167--176
-
discussion, 47(1)323--336
-
dishes, 45(5)169--178
-
disjoint, 45(6)436--447, 45(8)31--40, 46(8)301--302, 46(11)119--128
-
disjunctive, 45(6)292--304
-
disk, 45(5)355--356, 45(7)25--36, 45(7)75--84, 46(5)31--40, 47(4)91--104,
47(4)105--118, 47(4)291--304
-
disk-based, 47(4)91--104
-
diskless, 46(8)303--304
-
dislodge, 45(5)103--104
-
Disney, Tim, 46(9)176--188, 46(10)921--938
-
Disney, Tim, see Austin, Thomas H.
-
Disney:2011:THO, 46(9)176--188
-
disparate, 45(2)25--34, 46(8)35--46
-
disparity, 45(6)174--186
-
dispatch, 45(10)539--554, 45(12)15--26, 46(10)973--992, 47(1)521--532
-
displacement, 47(1)361--372
-
displaying, 46(11)119--128
-
dispose, 45(8)53--62, 46(8)179--188
-
disproving, 47(1)373--386
-
disrupting, 46(8)123--124, 46(8)201--212
-
disruptive, 46(8)1--2, 47(3)177--184
-
dissipation, 45(7)75--84
-
distance, 45(9)157--168, 46(11)43--54
-
distant, 45(3)257--270
-
distinct, 45(4)95--104, 45(5)159--168, 45(5)269--280, 45(6)305--315,
45(11)49--60
-
distinctive, 47(3)97--106, 47(4)369--380
-
distinguish, 45(6)244--254, 46(2)127--136, 47(1)387--400
-
distinguished, 47(1)1--2, 47(1)3--6
-
distinguishing, 45(2)85--94, 45(2)95--98, 45(6)86--97, 45(6)244--254
-
distract, 45(2)15--24
-
distribute, 45(6)74--85, 46(8)277--288
-
distributed, stably-, 47(5)89--98
-
distributed-memory, 46(8)297--298, 47(5)71--78
-
distribution, 45(2)75--84, 45(2)137--146, 45(3)231--242, 45(6)279--291,
46(8)235--246, 46(8)277--288, 47(1)545--556, 47(3)53--62,
47(4)185--198
-
disturb, 46(8)201--212
-
disturbing, 45(7)13--24
-
Ditzel, David R., 45(3)29--38
-
Ditzel, David R., see Neelakantam, Naveen
-
diverge, 45(3)77--90
-
divergence, 45(5)105--114
-
diverse, 45(2)75--84, 45(3)193--204, 45(4)115--124, 46(8)1--2,
46(8)169--178, 46(11)77--78, 47(4)119--132, 47(4)159--170,
47(4)319--332, 47(5)61--70
-
diversification, 45(3)371--384
-
diversified, 45(3)371--384
-
diversity, 45(3)371--384, 45(6)448--459
-
divide, 45(3)65--76, 45(3)323--334, 45(6)471--482, 45(8)73--82,
46(5)61--70
-
Diwan, Amer, 45(6)187--197
-
Diwan, Amer, see Mytkowicz, Todd
-
Django, 47(2)51--60
-
DLV, 45(2)167--176
-
DMA, 45(5)293--304, 46(8)311--312
-
DMS, 45(2)3--4
-
do-all, 45(5)179--190
-
Döbel, Björn, 45(7)3--12, see Pohle, Aaron
-
Dockins, Robert, 45(1)171--184
-
Dockins, Robert, see Hobor, Aquinas
-
doctor, 45(3)1--2
-
document, 45(2)147--156, 45(5)233--244, 45(6)221--232, 45(8)51--52,
46(8)125--134, 46(8)147--156, 46(11)119--128, 47(3)13--22
-
documentation, 45(6)221--232, 47(3)185--186
-
documented, 46(8)147--156
-
Dodds, Mike, 46(1)259--270, 46(8)313--314, 46(10)845--864,
47(1)309--322
-
Dodds, Mike, see Botincan, Matko,
see Pinto, Pedro da Rocha
-
Dodds:2011:MRD, 46(1)259--270
-
doesn't, 47(1)285--296
-
dog, 45(2)3--4
-
dogfood, 45(2)3--4
-
Doh, 45(2)109--116
-
Doherty, Jesse, 46(10)99--118
-
Doherty:2011:KAM, 46(10)99--118
-
doing, 45(3)29--38, 45(6)292--304
-
Dolby, Julian, 45(6)341--350
-
Dolby, Julian, see Torlak, Emina
-
Dolly, 46(7)51--62
-
domain., 45(6)436--447
-
dominance, 45(3)359--370
-
dominant, 45(3)193--204, 45(5)223--232, 45(5)337--338
-
dominate, 47(1)441--454
-
dominated, 45(5)103--104
-
Dominguez, Rodrigo, 45(5)353--354
-
Dominguez, Rodrigo, see Jang, Byunghyun
-
don't, 45(8)53--62
-
Donaldson, Alastair F., 46(8)311--312, 46(8)313--314
-
Donaldson, Alastair F., see Botincan, Matko
-
Donaldson:2011:STA, 46(8)311--312
-
done, 45(4)143--152, 46(11)89--98, 47(1)557--570
-
DoPE, 46(6)26--37
-
Dos Reis, Gabriel, 46(1)67--80, 47(1)521--532
-
Dos Reis, Gabriel, see Ramananandro, Tahina
-
Dotsenko, Yuri, 46(8)257--266
-
Dotsenko:2011:ATF, 46(8)257--266
-
Dotta, Mirco, 45(1)199--210
-
Dotta, Mirco, see Suter, Philippe
-
double, 45(8)31--40, 46(5)31--40
-
double-chip, 45(3)397--408
-
double-edged, 45(11)49--60
-
double-precision, 45(5)115--126, 45(6)233--243
-
doubled, 47(4)305--318
-
DoublePlay, 46(3)15--26, 47(4)15--26
-
doubling, 45(5)127--136
-
doubly, 47(1)45--58
-
doubts, 45(10)22--35
-
Douence, Rémi, 47(3)43--52, see Hannousse, Abdelhakim
-
down, 45(3)143--154, 45(3)257--270, 45(3)335--346, 45(5)105--114,
45(6)25--35, 45(6)269--278, 45(8)51--52, 46(3)291--304,
46(6)270--282, 46(11)65--76, 46(11)77--78, 47(1)285--296,
47(3)97--106, 47(4)265--278, 47(4)291--304, 47(5)109--118
-
down, slow-, 45(7)109--120
-
downloads/year, 46(6)425--436
-
downside, 45(6)436--447
-
downtime, 45(7)25--36
-
dozen, 45(6)160--173
-
drag, 46(11)65--76
-
Dragoi, Cezara, 46(6)578--589
-
Dragoi, Cezara, see Bouajjani, Ahmed
-
Dragojevi{\'c}, Aleksandar, 45(5)91--100,
see Barreto, João
-
DRAM, 45(3)3--14, 45(3)219--230, 45(3)397--408, 45(6)460--470,
46(3)213--224, 46(11)77--78, 47(4)105--118, 47(4)213--224,
47(4)225--238
-
dram, 45(3)219--230
-
dramatic, 45(4)27--36, 45(6)483--496
-
dramatically, 45(3)271--284, 45(5)169--178, 47(4)3--14, 47(4)333--344
-
drastic, 47(4)133--144
-
drastically, 46(8)247--256
-
draw, 45(3)231--242, 47(4)319--332
-
drawback, 45(7)133--144, 47(4)119--132
-
drawing, 45(5)67--78, 45(6)221--232
-
drawn, 47(1)413--424
-
DRE, 47(3)53--62
-
Dreyer, Derek, 45(1)185--198, 45(9)143--156, 46(1)133--146,
46(9)163--175, 47(1)59--72
-
Dreyer, Derek, see Gonthier, Georges,
see Hur, Chung-Kil
-
Dreyer:2010:IHO, 45(9)143--156
-
Dreyer:2010:RML, 45(1)185--198
-
DRF, 45(6)351--362
-
DRF0, 47(4)53--66
-
DRFX, 45(6)351--362
-
DRFx, 45(6)351--362, 46(3)53--66, 47(4)53--66
-
DRFx-compliant, 47(4)53--66
-
drive, 47(4)265--278, 47(5)21--30
-
driven, 45(2)3--4, 45(2)55--64, 45(2)127--136, 45(3)91--102, 45(5)1--2,
45(5)325--326, 45(7)75--84
-
driven, client-, 45(6)160--173
-
driven, code-, 47(3)73--82
-
driven, Data-, 46(10)65--82
-
driven, data-, 46(8)305--306
-
driven, demand-, 45(6)160--173, 45(10)397--410
-
driven, event-, 45(6)25--35, 45(8)53--62
-
driven, Input-, 45(5)315--324
-
driven, interrupt-, 46(1)93--104
-
driven, invariant-, 45(2)55--64
-
driven, Model-, 45(5)115--126, 47(3)73--82
-
driven, model-, 45(2)127--136, 45(5)115--126, 47(3)73--82
-
driven, Structure-, 45(5)3--14
-
driven, test-, 46(10)139--154, 47(1)111--122
-
driven, trace-, 45(5)305--314, 46(5)31--40, 47(4)159--170
-
driven, user-content-, 45(3)103--116
-
driven, virtualization-, 46(7)51--62
-
driver, 45(6)99--110, 45(7)1--2, 46(3)133--144, 46(5)81--90,
47(1)297--308, 47(4)119--132, 47(4)133--144, 47(4)265--278,
47(4)305--318
-
driver, device-, 47(4)133--144
-
driving, 45(6)1--12
-
DRM, 45(3)3--14
-
DRM-aware, 45(3)3--14
-
Dryad, 47(1)123--136
-
DSDE, 45(5)159--168
-
DSELs, 46(2)83--92
-
DSL-based, 46(8)35--46, 47(3)157--166
-
DSLs, 45(2)3--4, 45(2)99--108, 46(2)127--136, 46(8)35--46, 47(3)157--166
-
DSO, 46(8)301--302
-
DSP, 45(4)105--114
-
DSPL, 47(3)3--12
-
DSPLs, 47(3)3--12
-
DSTM, 45(6)134--145
-
dtoa, 45(6)233--243
-
Du, Jiaqing, 46(7)3--14
-
Du:2011:PPV, 46(7)3--14
-
dualising, 46(9)385--391
-
duality, 45(8)53--62
-
Duan, Runyao, 46(1)523--534
-
Duan, Runyao, see Feng, Yuan
-
dubbed, 45(11)49--60, 47(1)285--296, 47(5)71--78
-
duck, 45(10)901--917, 47(1)231--244
-
Ducournau, Roland, 47(5)11--20
-
Ducournau, Roland, see Sallenave, Olivier
-
Duesterwald, Evelyn, 46(4)41--52
-
Duesterwald, Evelyn, see Bala, Vasanth
-
Duet, 47(1)297--308
-
Dufour, Bruno, 47(2)61--72
-
Dufour, Bruno, see Chevalier-Boisvert, Maxime
-
Dumitras, Tudor, 45(10)865--876
-
Dumitras:2010:UUI, 45(10)865--876
-
dump, 45(3)155--166, 45(7)25--36
-
dumping, 45(7)25--36
-
Dunfield, Joshua, 46(9)129--141
-
Dunfield, Joshua, see Chen, Yan
-
Dunn, Alan M., 46(3)279--290, 47(4)279--290
-
Dunn, Alan M., see Hofmann, Owen S.
-
duplicate, 45(4)85--94
-
duplicated, 47(1)73--84, 47(5)99--108
-
duplicating, 45(4)85--94, 47(5)99--108
-
duplication, 45(3)385--396, 45(7)109--120, 47(1)469--480, 47(4)133--144
-
duration, 45(5)325--326
-
Duregård, Jonas, 46(12)107--117
-
Duregaard:2011:EPG, 46(12)107--117
-
DVFS, 47(4)225--238
-
DVFS/DFS, 47(4)225--238
-
dwindles, 47(4)159--170
-
DWRR, 45(5)147--158
-
Dwyer, Matthew B., 45(10)270--285, 46(10)35--50
-
Dwyer, Matthew B., see Li, Du,
see Purandare, Rahul
-
Dybvig, R. Kent, 46(10)483--498
-
Dybvig, R. Kent, see Adams, Michael D.
-
dynamic., 45(5)159--168
-
dynamism, 45(6)1--12
-
Dynamo, 46(4)41--52
-
DynaMoW, 46(9)259--265