Last update: Thu Sep 28 02:07:29 MDT 2023
Return to index directory
C
-
C\#, 45(2)65--74, 45(5)57--66, 45(6)50--61, 45(6)99--110, 45(6)146--159,
45(6)210--220, 45(6)424--435, 47(4)145--158, 47(5)11--20
-
C\\#, 45(7)133--144
-
c, 45(8)31--40, 46(8)113--122, 46(8)201--212, 46(11)33--42, 47(3)13--22
-
C, Habanero-, 47(5)61--70
-
C, OpenCL-C-to-, 46(8)277--288
-
C, OpenCL-C-to-CUDA-, 46(8)277--288
-
C-based, 47(4)119--132
-
C++-compatible, 46(2)147--156
-
c-cores, 45(3)205--218
-
C-like, 46(2)147--156
-
C-to-C, OpenCL-, 46(8)277--288
-
C-to-CUDA-C, OpenCL-, 46(8)277--288
-
C++03, 47(1)521--532
-
C++0x, 45(2)15--24, 45(6)351--362, 47(4)53--66, 47(6)35--44
-
C1060, 45(5)115--126
-
*C++11, 47(1)509--520
-
C++11, 47(1)509--520, 47(1)521--532
-
C1X, 45(7)39--50
-
C1x, 47(1)509--520
-
C4, 46(11)79--88
-
Cabezas, Javier, 45(3)347--358
-
Cabezas, Javier, see Gelado, Isaac
-
Cacao, 45(7)51--62
-
cache, shared-, 45(7)97--108
-
cache-affinity, 45(7)97--108
-
cache-coherent, 47(5)79--88
-
cache-conscious, 45(8)113--120
-
cache-misses, 45(8)113--120
-
cache-related, 45(4)153--162
-
cache-sharing-aware, 45(5)203--212
-
caching, 45(5)331--332, 45(12)15--26, 46(11)43--54, 47(5)109--118
-
Cachopo, João, 46(8)179--188,
see Fernandes, Sérgio Miguel
-
Caillaud, Benoît, 46(5)61--70,
see Benveniste, Albert
-
Caisson, 46(6)109--120
-
{\v{C}}akarevi{\'c}, Vladimir, 45(5)191--202,
see Radojkovi{\'c}, Petar
-
Calcagno, Cristiano, 45(10)504--519, 47(1)7--18
-
Calcagno, Cristiano, see Staden, Stephan van
-
calculate, 47(1)545--556
-
calculation, 45(4)143--152, 46(8)303--304, 47(1)545--556
-
calculational, 47(3)93--94
-
calculi, 45(6)412--423
-
calculi, lambda-, 47(1)469--480
-
calculus, lambda-, 47(1)361--372
-
Caldeira, Alexandre Z., 45(1)299--312
-
Caldeira, Alexandre Z., see Gay, Simon J.
-
calibrated, 45(5)191--202
-
calibration, 45(6)198--209
-
California, 45(6)98--98
-
Call-by-Push-Value, 47(1)349--360
-
call-graphs, 45(5)233--244
-
call-sites, 47(4)405--418
-
call-stack-comparison, 47(4)405--418
-
call-up, 46(8)13--24
-
called, so-, 45(5)169--178, 47(1)259--272, 47(3)147--156,
47(5)149--152
-
Callery, Matthew, 45(10)848--864
-
Callery, Matthew, see Ossher, Harold
-
calling, 45(5)179--190, 45(5)269--280, 45(6)13--24, 46(1)173--186,
46(6)516--527
-
callsite, 45(6)13--24
-
Calvès, Christophe, 46(3)305--318, 47(4)305--318,
see Palix, Nicolas
-
Cameron, Nicholas, 45(10)618--633
-
Cameron:2010:TO, 45(10)618--633
-
camlp4, 46(9)259--265
-
camping, partition-, 45(6)86--97
-
campus, 47(1)215--216
-
Candea, George, 46(3)265--278, 47(4)265--278
-
Candea, George, see Chipounov, Vitaly
-
candidate, 45(2)45--54, 45(3)205--218, 45(5)67--78, 47(4)239--250,
47(5)41--50
-
canonicity, 47(1)337--348
-
Cao, Ting, 46(3)319--332, 47(4)319--332
-
Cao, Ting, see Esmaeilzadeh, Hadi
-
CAOS, 45(4)47--56
-
cap, 47(4)199--212
-
capable, 45(3)285--296, 45(5)1--2, 46(4)41--52, 47(1)495--508,
47(1)533--544, 47(3)137--146, 47(4)291--304, 47(4)381--392,
47(5)149--152, 47(6)13--22
-
capacity, 45(3)231--242, 45(5)213--222, 45(6)460--470, 45(7)75--84,
46(11)77--78, 47(4)171--184
-
capital, 45(3)231--242, 47(4)199--212
-
capo, 46(10)657--676
-
capping, 45(3)231--242
-
captured, 45(2)25--34, 45(8)51--52, 46(12)1--12, 47(1)73--84
-
capturing, 47(4)405--418
-
Caragea, George C., 45(5)179--190
-
Caragea, George C., see Tzannes, Alexandros
-
Carbin, Michael, 46(3)199--212, 47(4)199--212
-
Carbin, Michael, see Hoffmann, Henry
-
carbon, 45(3)311--322
-
card, 45(7)3--12, 47(4)159--170
-
careful, 46(8)179--188, 46(8)201--212, 46(12)59--70
-
carefully, 45(4)105--114, 45(5)115--126, 45(5)179--190, 45(5)213--222,
45(6)436--447, 45(7)39--50, 45(7)63--74, 46(8)135--146,
47(4)333--344, 47(5)119--128
-
Carlo, 45(6)388--399
-
Carouge, François, 46(3)39--52, 47(4)39--52,
see Dalessandro, Luke
-
carried, 45(4)27--36, 45(6)50--61, 47(1)495--508
-
carrier, 45(3)15--28
-
carry, 45(6)412--423, 47(4)251--264
-
carrying, proof-, 45(6)412--423
-
Carter, John D., 45(5)351--352
-
Carter:2010:PLN, 45(5)351--352
-
cascade, 47(3)147--156
-
case, average-, 47(6)55--66
-
case, common-, 45(5)349--350, 45(8)51--52, 47(5)99--108
-
case, test-, 46(6)283--294
-
case, use-, 47(2)51--60
-
Case, Worst-, 47(5)31--40
-
case, worst-, 45(3)103--116, 45(4)67--76, 45(4)153--162,
45(6)146--159, 45(6)292--304, 47(2)73--84, 47(5)41--50
-
case-based, 45(2)15--24
-
case-centered, use-, 47(2)51--60
-
case-study, 45(4)37--46
-
cases, Use-, 47(2)51--60
-
cases, use-, 47(2)51--60
-
Cash, 45(1)457--470, 47(1)509--520
-
Casper, Jared, 45(5)257--268, 46(3)27--38, 47(4)27--38
-
Casper, Jared, see Bronson, Nathan G.
-
Casper:2011:HAT, 46(3)27--38
-
Casper:2012:HAT, 47(4)27--38
-
Cassou, Damien, 45(2)137--146
-
Cassou:2010:GPA, 45(2)137--146
-
cast, 45(5)223--232, 45(8)31--40, 47(2)97--106
-
Castagna, Giuseppe, 46(9)94--106
-
Castagna:2011:STF, 46(9)94--106
-
Castaldo, Anthony M., 45(5)223--232
-
Castaldo:2010:SLP, 45(5)223--232
-
Castelnuovo, Ghila, 47(1)373--386
-
Castelnuovo, Ghila, see Naik, Mayur
-
casting, 46(2)113--122
-
Castro, Miguel, 45(1)457--470
-
Castro, Miguel, see Martin, Jean-Phillipe
-
catalog, 47(3)43--52
-
Catanzaro, Bryan, 46(8)47--56
-
Catanzaro:2011:CCE, 46(8)47--56
-
catch, 46(10)155--170
-
category, 45(5)331--332, 45(5)343--344, 46(8)3--12, 46(9)359--371,
47(1)45--58
-
Caulfield, Adrian M., 46(3)105--118, 47(4)105--118
-
Caulfield, Adrian M., see Coburn, Joel
-
causal, 47(1)45--58
-
causality, 45(6)187--197
-
causally-precedes, 47(1)387--400
-
caused, 45(3)179--192, 45(4)95--104, 45(7)25--36, 45(7)109--120,
46(2)103--112, 46(8)103--112, 46(8)267--276, 47(4)251--264,
47(5)99--108
-
causing, 45(3)335--346, 45(4)85--94, 45(4)153--162, 46(8)189--200,
47(1)349--360
-
cautious, 45(5)3--14
-
Cave, Andrew, 47(1)413--424
-
Cave, Vincent, 45(5)341--342
-
Cave, Vincent, see Guo, Yi
-
Cave:2012:PBI, 47(1)413--424
-
Cayenne, 47(1)571--584
-
Cazorla, Francisco J., 45(5)191--202
-
Cazorla, Francisco J., see Radojkovi{\'c}, Petar
-
CBugs, 47(1)19--30
-
C/C++, 45(3)53--64, 45(5)37--46, 46(6)199--210, 47(4)145--158,
47(4)251--264
-
CC, PP-, 46(8)299--300
-
CCM, 45(2)127--136
-
Cecchet, Emmanuel, 46(7)51--62
-
Cecchet:2011:DVD, 46(7)51--62
-
Cedalion, 46(10)733--752
-
Cederman, Daniel, 45(5)339--340
-
Cederman:2010:SLF, 45(5)339--340
-
CEGAR, 46(6)222--233
-
ceiling, 46(1)93--104
-
cell, 45(3)219--230, 45(5)137--146, 45(5)293--304, 45(6)483--496,
46(5)31--40, 46(8)311--312, 46(11)129--138
-
Cell-based, 45(5)293--304
-
cellphones, 45(7)3--12
-
center, 45(3)231--242, 45(3)243--256, 45(6)198--209, 45(7)97--108,
47(1)217--230, 47(4)1--2, 47(4)185--198
-
center, data-, 47(1)215--216
-
centered, 46(11)129--138, 47(1)413--424
-
centered, use-case-, 47(2)51--60
-
central, 45(5)91--100, 45(6)400--411, 45(7)97--108, 47(1)97--110,
47(1)165--178, 47(3)3--12
-
centralized, 47(4)1--2
-
centrally, 45(5)169--178
-
centric, code-, 47(2)51--60
-
centric, data-, 45(3)347--358, 45(6)388--399
-
centric, input-, 45(10)125--139
-
centric, warp-, 46(8)267--276
-
Cerný, Pavol, 46(1)599--610, see Alur, Rajeev
-
certain, 45(2)65--74, 45(3)155--166, 45(5)37--46, 46(2)147--156,
46(6)199--210, 46(11)55--64, 47(1)7--18, 47(1)259--272,
47(1)361--372, 47(4)239--250, 47(4)251--264, 47(4)305--318,
47(6)13--22
-
certificate, 47(1)571--584
-
certification, 47(1)571--584
-
certification, Self-, 47(1)571--584
-
certification, self-, 47(1)571--584
-
certified, 45(9)273--284, 47(1)571--584
-
certified, self-, 47(1)571--584
-
certifying, 45(6)424--435
-
certifying, non-, 45(6)424--435
-
CertiPriv, 47(1)97--110
-
CETS, 45(8)31--40
-
Ceze, Luis, 45(3)53--64, 45(10)140--159, 46(3)67--78, 46(6)164--174,
46(6)378--388, 47(4)67--78
-
Ceze, Luis, see Bergan, Tom,
see Devietti, Joseph, \see{Lucia, Brandon,
see Sampson, Adrian,
see Wood, Benjamin P.
-
cf, 45(2)1--2
-
CFA, 45(6)305--315
-
cfa, k-, 45(6)305--315
-
cfa, m-, 45(6)305--315
-
CFAs, 45(6)305--315
-
CFG, 45(4)1--8
-
cfl, 45(6)160--173
-
CFL-reachability, 45(6)160--173
-
CGRAs, 45(4)17--26
-
Chafi, Hassan, 45(5)257--268, 45(10)835--847, 46(8)35--46
-
Chafi, Hassan, see Bronson, Nathan G.
-
Chafi:2010:LVH, 45(10)835--847
-
Chafi:2011:DSA, 46(8)35--46
-
chain, 45(4)67--76, 45(9)375--386
-
Chakrabarti, Dhruva R., 45(5)37--46, 45(5)333--334, 46(1)623--636
-
Chakrabarti, Dhruva R., see Joisha, Pramod G.,
see Mannarswamy, Sandya
-
Chakrabarti:2010:NAE, 45(5)333--334
-
Chakravarty, Manuel M. T., 45(9)261--272, 45(11)109--120
-
Chakravarty, Manuel M. T., see Keller, Gabriele,
see Terei, David A.
-
challenge-how, 45(2)1--2
-
Chambers, Craig, 45(6)363--375
-
Chambers:2010:FEE, 45(6)363--375
-
Chan, Che-Chang, 47(5)139--148
-
Chan, Che-Chang, see Yu, Fang
-
chance, 45(6)187--197
-
Chandra, Satish, 45(1)339--352
-
Chandra, Satish, see Bodik, Rastislav
-
Chandramowlishwaran, Aparna, 45(5)345--346
-
Chandramowlishwaran:2010:ACC, 45(5)345--346
-
Chang, Bor-Yuh Evan, 45(6)436--447, 46(1)173--186
-
Chang, Bor-Yuh Evan, see Khoo, Yit Phang,
see Rival, Xavier
-
Chang, Li-Pin, 46(5)31--40
-
Chang, Mason, 47(2)13--24
-
Chang:2011:LCW, 46(5)31--40
-
Chang:2012:IOT, 47(2)13--24
-
change, phase-, 45(3)3--14, 47(4)91--104
-
changed, 45(6)483--496, 45(8)11--20, 46(6)199--210, 46(8)123--124,
46(11)119--128, 47(4)319--332
-
changing, 45(3)3--14, 45(3)117--128, 45(4)57--66, 45(8)1--10,
46(8)91--102, 47(1)361--372, 47(3)3--12, 47(6)13--22
-
channel, 45(4)9--16, 47(1)85--96, 47(1)191--202, 47(4)225--238,
47(5)79--88
-
channel, multi-, 45(6)388--399
-
Chapman, James, 45(9)3--14
-
Chapman:2010:GAL, 45(9)3--14
-
Chapoutot, Alexandre, 47(5)129--138
-
Chapoutot, Alexandre, see Bouissou, Olivier
-
characterise, 45(8)103--112
-
characteristic, 45(3)103--116, 45(3)193--204, 45(3)311--322,
45(4)27--36, 45(5)191--202, 45(5)293--304, 45(5)333--334,
45(5)343--344, 45(9)321--332, 45(12)15--26, 46(8)47--56,
46(9)418--430, 47(4)91--104, 47(6)13--22, 47(6)77--88
-
characterization, 45(3)167--178, 45(3)193--204, 45(4)37--46,
45(5)315--324, 45(6)221--232, 47(4)171--184
-
characterize, 45(3)193--204, 45(4)37--46, 45(6)448--459, 45(12)59--72,
47(4)393--404, 47(6)89--98
-
characterized, 45(2)35--44, 47(5)79--88
-
characterizing, 45(3)193--204
-
charge, 45(3)3--14
-
Charguéraud, Arthur, 45(9)321--332, 46(9)418--430, 46(10)499--518,
see Acar, Umut A.
-
Chargueraud:2010:PVT, 45(9)321--332
-
Chargueraud:2011:CFV, 46(9)418--430
-
Charles, 47(1)1--2
-
Chase, David, 46(10)973--992
-
Chase, David, see Allen, Eric
-
Chatterjee, Niladrish, 45(3)219--230
-
Chatterjee, Niladrish, see Sudan, Kshitij
-
Chattopadhyay, Sudipta, 46(5)11--20
-
Chattopadhyay:2011:SBS, 46(5)11--20
-
Chaudhuri, Avik, 46(1)459--472, 47(1)481--494, 47(2)13--24
-
Chaudhuri, Avik, see An, Jong-hoon (David),
see Chang, Mason, \see{Rastogi, Aseem
-
Chaudhuri, Swarat, 45(1)57--70, 45(6)279--291, 46(6)492--503,
46(10)885--902
-
Chaudhuri, Swarat, see Lublinerman, Roberto,
see Srivastava, Saurabh
-
Chaudhuri:2010:CAP, 45(1)57--70
-
Chaudhuri:2010:SI, 45(6)279--291
-
Chauhan, Arun, 46(10)483--498
-
Chauhan, Arun, see Adams, Michael D.
-
cheap, 45(3)385--396
-
cheaper, 45(3)385--396, 47(5)99--108
-
cheaply, 47(5)99--108
-
checkable, modularly-, 47(1)349--360
-
checked, 45(2)15--24, 45(6)111--121, 45(6)412--423, 45(6)436--447,
45(8)41--50, 46(2)167--176, 47(1)123--136, 47(2)37--50,
47(3)117--126
-
checked, machine-, 47(1)97--110, 47(1)571--584
-
checker, 45(3)271--284, 45(6)50--61, 45(6)99--110, 45(6)244--254,
45(6)330--340, 46(8)135--146, 47(1)19--30, 47(1)533--544,
47(1)571--584, 47(3)43--52, 47(3)147--156, 47(4)305--318,
47(5)139--148
-
checking, memory-, 45(3)257--270
-
checking, model-, 46(12)35--46
-
checking, spatial-, 45(8)31--40
-
checking, type-, 45(6)122--133, 46(2)167--176
-
checking/verification, 47(1)245--258
-
checkpoint, 45(3)29--38, 45(9)129--130, 47(4)15--26, 47(4)159--170
-
checkpointed, 46(7)87--98
-
checkpointing, 46(7)75--86, 46(8)303--304, 47(4)159--170
-
checksum-based, 46(8)303--304
-
chemistry, 45(5)269--280
-
Chen, Brad, 46(6)355--366
-
Chen, Brad, see Ansel, Jason
-
Chen, Guan-Cheng, 47(5)139--148
-
Chen, Guan-Cheng, see Yu, Fang
-
Chen, Haibo, 45(7)25--36, 46(8)213--222, 47(5)89--98
-
Chen, Haibo, see Fang, Zhenman,
see Huang, Yijian, \see{Wang, Zhaoguo
-
Chen, Juan, 45(6)412--423, 45(6)424--435, 46(9)266--278, 47(1)571--584
-
Chen, Juan, see Strub, Pierre-Yves,
see Swamy, Nikhil, \see{Tate, Ross
-
Chen, Kailiang, 45(1)1--6
-
Chen, Kailiang, see Gershenfeld, Neil
-
Chen, Peter M., 45(3)77--90, 45(7)1--2, 45(7)13--24, 46(3)15--26,
47(4)15--26
-
Chen, Peter M., see Chow, Jim,
see Lee, Dongyoon,
see Veeraraghavan, Kaushik
-
Chen, Shimin, 45(3)257--270, 45(3)271--284, 45(6)25--35
-
Chen, Shimin, see Goodstein, Michelle L.,
see Ruwase, Olatunji,
see Vlachos, Evangelos
-
Chen, Wenguang, 45(5)305--314, 45(10)160--174, 46(6)98--108
-
Chen, Wenguang, see Shi, Yao,
see Zhai, Jidong, \see{Zhou, Hucheng
-
Chen, Yan, 46(9)129--141, 46(10)753--772
-
Chen, Yan, see Hammer, Matthew A.
-
Chen, Yang, 45(6)448--459, 46(6)283--294
-
Chen, Yang, see Yang, Xuejun
-
Chen, Yufei, 46(8)213--222
-
Chen, Yufei, see Wang, Zhaoguo
-
Chen, Zhezhe, 46(3)239--250, 47(4)239--250
-
Chen, Zhezhe, see Gao, Qi
-
Chen, Zizhong, 46(8)303--304
-
Chen, Zizhong, see Davies, Teresa
-
Chen:2010:EIO, 45(6)448--459
-
Chen:2010:TPC, 45(6)412--423
-
Chen:2010:TTT, 45(7)1--2
-
Chen:2011:ISA, 46(9)129--141
-
Cheng, Perry, 45(10)89--108, 47(6)23--34
-
Cheng, Perry, see Auerbach, Joshua,
see Bacon, David F.
-
Chevalier, Tim, 45(9)273--284
-
Chevalier, Tim, see McCreight, Andrew
-
Chevalier-Boisvert, Maxime, 47(2)61--72
-
Chevalier-Boisvert:2012:BSH, 47(2)61--72
-
Chiba, Shigeru, 45(2)45--54, 45(10)539--554, 45(12)15--26
-
Chiba, Shigeru, see Akai, Shumpei,
see Zakirov, Salikh S.
-
Chiba:2010:MMC, 45(10)539--554
-
child, 46(8)13--24
-
children, 46(1)241--246, 46(8)13--24
-
Chilimbi, Trishul, 46(8)91--102
-
Chilimbi, Trishul, see Xiang, Xiaoya
-
Chilimbi, Trishul M., 45(6)198--209
-
Chilimbi, Trishul M., see Baek, Woongki
-
chimpanzee, 45(5)137--146
-
Chin, Wei-Ngan, 46(10)359--374
-
Chin, Wei-Ngan, see David, Cristina
-
chip, 45(3)15--28, 45(3)205--218, 45(3)359--370, 45(3)397--408,
45(4)77--84, 45(4)85--94, 45(5)47--56, 45(5)203--212, 45(5)213--222,
45(5)293--304, 45(6)98--98, 45(6)460--470, 45(7)3--12, 45(8)63--72,
46(8)69--80, 46(8)123--124, 46(11)77--78, 47(4)319--332
-
chip, double-, 45(3)397--408
-
chip, network-on-, 45(4)85--94
-
chip, off-, 45(5)213--222
-
chip, on-, 45(3)15--28, 45(3)103--116, 45(4)85--94, 45(6)74--85,
47(4)319--332, 47(5)109--118, 47(6)23--34
-
chip, system-on-, 45(3)297--310, 45(5)103--104
-
chip, systems-on-a-, 45(5)103--104
-
chip-multiprocessor, 45(3)219--230, 45(3)335--346
-
chip-multiprocessors, 45(3)311--322
-
chipkill, 45(3)397--408
-
Chipounov, Vitaly, 46(3)265--278, 47(4)265--278
-
Chipounov:2011:SPV, 46(3)265--278
-
Chipounov:2012:SPV, 47(4)265--278
-
Chlipala, Adam, 45(1)93--106, 45(6)122--133, 46(6)234--245
-
Chlipala:2010:UST, 45(6)122--133
-
Chlipala:2010:VCI, 45(1)93--106
-
Chlipala:2011:MAV, 46(6)234--245
-
Choi, Jee W., 45(5)115--126
-
Choi, Wontae, 45(2)109--116, 46(1)81--92, 47(6)35--44
-
Choi, Wontae, see Kong, Soonho,
see Oliveira, Bruno C. d. S.
-
Choi, Yoonseo, 45(3)285--296
-
Choi, Yoonseo, see Hormati, Amir H.
-
Choi:2010:MDA, 45(5)115--126
-
Choi:2011:SAM, 46(1)81--92
-
Cholesky, 45(5)345--346
-
Chong, Frederic T., 46(6)109--120
-
Chong, Frederic T., see Li, Xun
-
choose, 45(2)45--54, 45(2)109--116, 45(7)13--24, 46(2)83--92,
46(11)43--54
-
choosing, 45(7)13--24, 45(8)73--82, 47(1)361--372
-
choreography, 47(1)191--202
-
chose, 46(8)123--124, 47(4)319--332
-
chosen, 45(5)37--46, 46(8)201--212
-
Chou, 47(4)305--318
-
Chow, Fred, 46(6)98--108
-
Chow, Fred, see Zhou, Hucheng
-
Chow, Jim, 45(7)13--24
-
Chow:2010:MSR, 45(7)13--24
-
Chrome, 47(6)77--88
-
chromosome, 45(5)137--146
-
Chugh, Ravi, 45(6)412--423, 47(1)231--244
-
Chugh, Ravi, see Chen, Juan
-
Chugh:2012:NRL, 47(1)231--244
-
Chung, Kwok-Chiang Andrew, 46(1)3--16
-
Chung, Kwok-Chiang Andrew, see Lhoták, Ondrej
-
chunk, 45(3)219--230, 45(8)73--82
-
Chyzak, Frédéric, 46(9)259--265
-
Chyzak:2011:UCP, 46(9)259--265
-
CIDE, 45(2)157--166, 47(3)13--22
-
CIL, 45(10)708--725
-
Cilk, 45(5)245--256, 47(1)203--214
-
Cilk-style, 46(8)201--212
-
CINT2006, 46(6)199--210
-
Cintra, Marcelo, 45(7)39--50
-
Cintra, Marcelo, see Titzer, Ben L.
-
circuit, 45(3)231--242, 45(4)47--56, 45(4)143--152, 45(5)103--104,
46(3)345--356, 47(3)185--186, 47(4)345--356
-
circuit-level, 47(4)345--356
-
circular, meta-, 45(10)464--483
-
circularity, 47(1)231--244
-
circumstance, 45(4)67--76, 45(5)15--24, 46(8)301--302, 47(6)55--66
-
circumvent, 47(1)179--190
-
Claessen, Koen, 46(4)53--64
-
Claessen:2011:QLT, 46(4)53--64
-
claim, 45(5)47--56, 45(5)349--350, 46(8)201--212, 47(3)157--166,
47(4)133--144
-
claimed, 47(3)43--52
-
clarify, 47(1)509--520
-
clarifying, 47(1)509--520
-
clarity, 45(8)53--62, 47(1)323--336
-
Clark, John, 46(8)13--24
-
Clark, John, see Bauer, Michael
-
Clark, Nathan, 46(6)86--97
-
Clark, Nathan, see Jung, Changhee
-
Clarke, Dave, 46(2)13--22
-
Clarke:2011:ADM, 46(2)13--22
-
class, base-, 45(6)292--304
-
class, First-, 45(12)97--112, 46(10)713--732
-
class, first-, 45(6)122--133, 45(7)97--108, 45(10)774--789,
45(12)97--112, 46(9)69--80, 47(1)151--164, 47(2)51--60,
47(4)213--224
-
class, server-, 45(6)146--159
-
class, storage-, 47(4)91--104
-
class-based, 45(12)97--112
-
class-field, constant-, 45(7)109--120
-
Class-pointer, Allocation-Site-via-a-, 45(7)109--120
-
classes, meta-, 45(12)81--96
-
classic, 45(3)103--116, 47(1)137--150, 47(3)13--22
-
classical, 45(2)5--14, 45(5)115--126, 45(7)3--12, 45(9)39--50,
46(1)623--636, 46(4)84--96, 47(1)137--150
-
classification, 45(3)103--116, 45(3)129--142, 45(6)244--254
-
classified, 46(8)3--12
-
classify, 45(3)193--204, 45(6)244--254, 47(1)349--360, 47(5)89--98
-
classifying, 45(2)75--84
-
clause, 46(6)437--446, 46(12)13--22
-
Clean*, 45(11)49--60
-
clean, 45(5)67--78, 45(6)400--411, 45(11)49--60
-
clear, 45(2)55--64, 45(3)323--334, 45(4)115--124, 45(5)341--342,
47(1)31--44, 47(1)245--258, 47(5)61--70
-
clearance, 46(12)95--106
-
clearer, 47(1)215--216
-
clearing, 45(12)15--26
-
clearly, 47(5)61--70
-
Cledat, Romain E., 46(10)537--554
-
Cledat:2011:ESS, 46(10)537--554
-
Clements, John, 47(1)285--296
-
Clements, John, see Klein, Casey
-
CLI, 45(7)51--62
-
click, query-, 45(5)355--356
-
client-driven, 45(6)160--173
-
client-side, 46(11)119--128, 47(1)31--44, 47(2)1--12, 47(2)25--36
-
Clinger, William D., 47(2)73--84
-
Clinger, William D., see Klock II, Felix S.
-
clock, 45(4)47--56, 47(4)319--332
-
clock-cycle, 45(9)75--86
-
clocked, multi-, 46(5)71--80
-
clone, 45(5)257--268, 46(2)103--112
-
cloning, 46(2)103--112
-
close, 45(5)137--146, 45(5)337--338, 45(5)343--344, 45(6)86--97,
46(8)297--298, 47(4)53--66, 47(4)67--78, 47(4)357--368
-
closed, 45(5)67--78, 47(1)45--58, 47(1)215--216, 47(1)337--348,
47(4)239--250, 47(4)357--368
-
closed-loop, 45(4)57--66
-
closely, 45(7)3--12, 47(1)7--18, 47(3)3--12, 47(4)119--132
-
closer, 45(8)113--120, 45(10)62--73
-
closure, 45(6)292--304, 45(6)305--315, 46(12)118--129, 47(1)413--424
-
cloudlet, 46(3)171--184, 47(4)171--184
-
CloudNet, 46(7)121--132
-
clue, 45(3)143--154, 46(6)437--446, 47(6)89--98
-
clustered, 45(5)305--314, 47(5)31--40
-
clustering, 45(6)388--399
-
CMP, 45(3)219--230, 45(3)271--284, 45(3)311--322, 45(3)335--346,
45(4)85--94, 45(5)203--212, 45(8)63--72
-
CMP, pure-, 45(5)191--202
-
C/MPI, 46(8)309--310
-
CMPs, 45(3)311--322, 45(3)359--370, 45(4)85--94, 45(5)47--56,
45(5)191--202, 46(8)123--124
-
CMT, 45(5)191--202
-
CnC, 45(5)345--346, 47(5)61--70
-
co-dependence, 47(4)145--158
-
co-execution, 45(4)57--66
-
co-located, 45(10)223--240
-
co-location, 45(3)219--230
-
co-ordination, 46(8)125--134
-
co-running, 45(5)203--212
-
co-schedule, 45(3)91--102
-
co-scheduled, 45(3)91--102
-
co-schedules, 45(3)91--102
-
co-scheduling, 45(3)91--102
-
coalescing, 45(4)105--114, 45(5)3--14, 45(5)343--344, 45(6)86--97
-
coarse, 45(3)243--256, 45(4)17--26, 45(5)37--46, 45(5)47--56,
47(1)337--348
-
coarse-grain, 45(5)47--56, 46(10)555--574
-
coarse-grained, 45(1)19--30, 45(4)17--26, 45(5)335--336, 46(5)151--160,
46(8)305--306, 47(3)3--12, 47(5)89--98
-
coarsely, 46(11)1--10
-
coarsened, 47(1)297--308
-
Cobalt, 45(6)111--121
-
Coburn, Joel, 46(3)105--118, 47(4)105--118
-
Coburn:2011:NHM, 46(3)105--118
-
Coburn:2012:NHM, 47(4)105--118
-
code, Allocation-Site-as-a-Hash-, 45(7)109--120
-
code, generated-, 47(3)117--126
-
code, wrong-, 46(6)283--294
-
code-centric, 47(2)51--60
-
code-driven, 47(3)73--82
-
code-injecting, 47(1)179--190
-
code-injection, 47(1)179--190
-
code., 45(2)65--74, 45(5)91--100, 45(5)233--244, 45(6)50--61,
45(6)330--340
-
coded, hard-, 47(3)53--62, 47(4)119--132
-
codesign, 45(2)1--2
-
coding, 45(6)436--447, 47(1)545--556
-
codomain, 47(1)361--372
-
coercion, 47(1)361--372, 47(5)11--20
-
Cohen, Albert, 46(1)549--562
-
Cohen, Albert, see Pouchet, Louis-Noël
-
Cohen, Jonathan, 45(5)127--136
-
Cohen, Jonathan, see Zhang, Yao
-
coherence, 45(3)271--284, 45(6)244--254, 45(6)269--278, 46(8)69--80,
47(4)27--38, 47(5)79--88
-
coherence, Partial-, 46(6)187--198
-
coherent, cache-, 47(5)79--88
-
*coinduction*, 47(1)59--72
-
coinductive, 46(1)385--398
-
cold, 45(6)13--24, 45(6)187--197
-
collaboration, 47(1)191--202
-
collaborative, 45(6)210--220, 46(11)43--54
-
colleague, 45(5)103--104, 45(6)98--98, 45(8)51--52
-
collect, 45(6)187--197, 46(8)123--124, 46(11)1--10, 47(3)23--32,
47(4)265--278
-
collected, 45(3)143--154, 45(3)231--242, 45(4)163--172, 45(6)13--24,
45(6)74--85, 45(8)21--30, 45(8)121--130, 46(11)21--32, 46(11)79--88,
47(6)89--98
-
collected, garbage-, 45(9)273--284, 46(11)65--76
-
collectible, 45(8)121--130
-
collecting, 45(6)13--24, 45(8)21--30, 45(8)53--62, 47(1)245--258
-
collecting, self-, 46(11)99--108
-
collection, garbage-, 45(8)11--20
-
collections, 45(5)345--346, 45(6)363--375, 45(8)21--30, 46(11)21--32,
46(11)65--76, 46(11)79--88, 47(5)61--70
-
collective, 45(5)159--168, 45(5)293--304, 45(5)351--352
-
collectively, 45(3)359--370
-
College, 45(6)98--98
-
collision, 45(5)67--78, 45(7)109--120
-
collocated, 45(3)231--242
-
Colm, 45(2)3--4
-
color, 46(8)297--298
-
colored, 47(3)13--22
-
coloring, 45(3)129--142, 45(5)233--244, 46(8)297--298, 47(5)41--50
-
coloring, page-, 46(8)103--112
-
column, 47(4)145--158
-
combinator, 45(8)53--62, 45(9)285--296, 46(9)234--246, 46(12)1--12,
46(12)23--34
-
combinatorial, 47(4)357--368
-
combinatory, 46(12)107--117
-
combined, 45(3)311--322, 45(5)169--178, 45(5)341--342, 45(6)122--133,
45(7)75--84, 45(8)31--40, 46(2)93--102, 46(8)13--24, 46(12)59--70,
47(1)151--164, 47(3)63--72, 47(3)127--136, 47(5)89--98, 47(6)23--34
-
combining, 45(3)243--256, 45(6)400--411, 45(9)181--192, 46(1)611--622,
46(2)113--122, 46(5)51--60, 46(6)602--613, 46(8)1--2, 47(1)45--58,
47(1)151--164, 47(1)509--520, 47(3)63--72
-
come, 45(3)91--102, 45(3)385--396, 45(4)17--26, 45(6)388--399,
45(8)51--52, 45(11)49--60, 45(12)1--14, 45(12)97--112, 46(4)41--52,
47(1)285--296, 47(1)441--454
-
comfort, 47(6)13--22
-
coming, 45(2)15--24, 47(1)259--272
-
command, 45(2)147--156, 45(4)47--56, 47(1)217--230, 47(3)177--184
-
commercial, 45(2)147--156, 45(3)29--38, 45(6)74--85, 45(6)174--186,
45(7)63--74, 47(1)215--216, 47(1)425--426, 47(2)61--72,
47(4)291--304
-
commercially, 45(6)98--98, 46(11)11--20
-
commit, 45(3)53--64, 45(5)91--100, 45(5)331--332, 45(6)330--340,
46(8)69--80, 46(8)169--178, 46(8)179--188
-
commitment, 46(10)1013--1032
-
committed, 45(6)210--220, 46(8)189--200
-
committee, 45(5)103--104
-
committing, 46(8)169--178
-
commodity, 45(3)77--90, 45(3)385--396, 45(5)203--212, 45(5)223--232,
45(7)63--74, 46(3)27--38, 46(8)213--222, 47(1)215--216,
47(3)107--116, 47(4)15--26, 47(4)27--38, 47(5)99--108
-
common-case, 45(5)349--350, 45(8)51--52, 47(5)99--108
-
common-subexpression, 46(6)199--210
-
commonality, 45(3)359--370
-
commonly, 45(3)359--370, 45(4)1--8, 45(5)159--168, 45(5)203--212,
45(5)281--292, 45(5)343--344, 45(5)349--350, 45(6)1--12,
45(6)233--243, 46(6)199--210, 47(1)217--230, 47(3)53--62
-
commonly-used, 45(6)187--197
-
commonplace, 45(2)147--156, 46(8)91--102
-
communicate, 45(3)311--322, 45(6)436--447, 46(8)169--178, 46(8)213--222,
46(11)43--54, 47(1)191--202, 47(1)285--296
-
communicating, 45(5)351--352, 46(8)157--168
-
communication., 45(4)77--84
-
communications, 46(5)51--60
-
communicator, 46(8)169--178
-
communicator-isolating, 46(8)169--178
-
communicators-enabled, 46(8)169--178
-
communities., 45(6)305--315
-
community, 45(5)47--56, 45(5)91--100, 45(6)305--315, 46(2)1--2,
46(12)13--22, 47(1)215--216, 47(1)285--296, 47(4)171--184
-
commutative, 46(6)1--11
-
commutativity, 46(6)528--541, 46(6)542--555
-
commuting, 47(3)185--186
-
compact, 45(2)95--98, 45(4)105--114, 45(5)159--168, 45(6)13--24,
46(6)567--577, 46(8)25--34, 46(8)295--296, 47(2)1--12
-
compacting, 45(8)73--82, 46(11)79--88, 46(11)89--98
-
compaction, 45(8)73--82, 46(1)475--486, 46(11)79--88
-
compactor, 45(8)73--82
-
comparable, 45(3)347--358, 45(4)95--104, 45(5)147--158, 45(7)39--50,
45(7)51--62, 45(7)145--156, 45(8)73--82, 46(6)458--469,
46(8)293--294, 46(12)59--70, 47(1)245--258, 47(3)107--116,
47(4)333--344, 47(4)405--418, 47(5)21--30, 47(6)23--34
-
comparably, 45(3)53--64
-
comparative, 47(3)157--166
-
compare, 45(3)129--142, 45(3)359--370, 45(4)37--46, 45(4)85--94,
45(5)137--146, 45(5)179--190, 45(5)325--326, 45(5)337--338,
45(6)1--12, 45(12)59--72, 46(8)91--102, 46(8)257--266,
46(8)309--310, 47(1)297--308, 47(1)469--480, 47(2)97--106,
47(4)67--78
-
comparing, 45(3)155--166, 46(6)458--469, 46(8)223--234, 46(8)297--298,
47(3)157--166, 47(5)41--50, 47(5)99--108
-
comparison, 45(3)371--384, 45(5)137--146, 46(2)177--186, 46(8)3--12,
47(2)13--24, 47(2)97--106, 47(6)13--22, 47(6)23--34
-
comparison, call-stack-, 47(4)405--418
-
compartment, 46(11)119--128
-
Compartmental, 46(11)119--128
-
COMPASS, 45(3)297--310
-
compatibility, 45(2)95--98, 45(5)67--78, 45(8)31--40, 46(2)147--156
-
compatibility, backward-, 47(1)481--494
-
compatible, 45(3)91--102, 45(6)269--278, 46(4)84--96, 46(8)81--90,
47(4)39--52
-
compatible, C++-, 46(2)147--156
-
compatible, Java-, 47(6)1--12
-
compatible, Java-, 45(10)89--108
-
CompCert, 45(6)111--121
-
compel, 45(5)169--178
-
compelling, 47(3)185--186
-
compensate, 47(4)225--238
-
compete, 46(8)179--188, 47(2)1--12
-
competing, 45(2)157--166, 45(3)129--142, 45(5)345--346
-
competition, 45(3)103--116
-
competitive, 46(5)31--40, 47(1)427--440, 47(4)119--132
-
competitively, 45(6)376--387
-
compilable, 45(2)1--2
-
compile, 45(3)385--396, 45(7)133--144, 45(8)113--120, 46(8)123--124,
47(3)53--62
-
compile-time, 45(2)25--34, 45(2)85--94, 45(5)37--46, 45(8)31--40,
45(8)113--120, 46(2)137--146, 46(5)51--60, 47(4)333--344,
47(5)51--60
-
compiled, 45(3)285--296, 45(4)27--36, 45(6)99--110, 45(6)221--232,
45(6)412--423, 45(6)424--435, 45(11)67--78, 46(2)127--136,
46(2)137--146, 46(4)41--52, 47(2)1--12, 47(2)13--24, 47(3)83--92,
47(5)31--40
-
compiled, JIT-, 47(5)21--30
-
compiler-aided, 45(5)37--46
-
compiler-assigned, 45(5)37--46
-
compiler-assisted, 46(8)57--68, 47(5)109--118
-
compiler-based, 45(6)74--85, 45(7)121--132
-
compiler-designated, 45(6)351--362
-
compiler-directed, 45(4)85--94, 45(6)460--470
-
compiler-generated, 45(5)281--292, 46(6)199--210
-
compiler-generation, 45(5)281--292
-
compiler-runtime, 45(7)39--50
-
compiler-testing, 46(6)283--294
-
compiler-writer, 47(1)571--584
-
compiling, 45(4)57--66, 45(9)273--284, 46(1)563--574, 46(8)47--56,
46(9)221--233, 47(1)509--520, 47(6)1--12
-
complement, 46(8)13--24, 47(3)23--32
-
complementary, 45(2)157--166, 45(3)3--14, 47(1)59--72, 47(3)43--52,
47(3)147--156
-
complete, EXPTIME-, 45(6)305--315
-
complete, NP-, 45(3)231--242
-
complete, unparser-, 47(3)137--146
-
completely, 45(6)111--121, 45(8)63--72, 47(3)73--82, 47(3)147--156,
47(6)23--34
-
completeness, unparser-, 47(3)137--146
-
completion, 45(3)103--116, 45(4)67--76
-
completion-time, 45(5)245--256
-
complexity-effective, 47(4)53--66
-
compliant, 45(4)77--84
-
compliant, DRFx-, 47(4)53--66
-
complicate, 45(3)53--64, 45(3)117--128, 45(7)3--12, 46(2)157--166
-
complicated, 45(2)75--84, 45(5)223--232, 45(6)436--447, 46(8)295--296
-
complicating, 47(4)333--344
-
complications, 45(3)53--64
-
compo-nents, 45(3)1--2
-
component-based, 46(2)73--82, 47(3)53--62
-
component-oriented, 45(2)127--136
-
components., 45(2)137--146
-
composability, 45(6)376--387, 46(2)83--92, 47(6)55--66
-
composable, 45(5)233--244, 45(10)140--159, 46(6)628--639, 46(8)91--102,
46(10)865--884, 46(10)903--920, 47(1)59--72
-
compose, 45(5)339--340, 45(6)36--49, 45(6)448--459, 46(8)257--266,
47(1)455--468, 47(3)1--2
-
composed, 45(2)177--186, 45(4)37--46, 45(6)376--387, 46(10)51--64,
47(3)13--22, 47(3)167--176, 47(6)55--66
-
composer, 46(2)93--102
-
composing, 45(5)339--340, 45(6)36--49, 45(6)376--387, 46(12)1--12
-
composite, 45(5)103--104, 45(8)53--62
-
composition, 45(2)177--186, 45(4)37--46, 45(4)57--66, 45(5)339--340,
45(6)50--61, 45(10)464--483, 45(12)81--96, 46(2)93--102,
46(2)113--122, 46(8)47--56, 46(8)235--246, 46(12)1--12,
47(1)137--150, 47(1)455--468, 47(1)495--508, 47(3)1--2, 47(3)13--22,
47(3)43--52, 47(6)13--22, 47(6)55--66
-
compositional, 45(1)43--56, 45(4)37--46, 47(1)217--230, 47(1)455--468,
47(3)167--176, 47(4)333--344
-
comprehension, 45(12)27--42, 46(12)13--22
-
comprehensive, 45(2)95--98, 45(3)129--142, 45(7)145--156, 46(9)1--1,
46(11)33--42, 47(2)13--24, 47(4)265--278, 47(6)77--88
-
comprehensively, 45(7)13--24
-
compress, 46(8)247--256
-
compressed, 45(5)115--126, 46(8)25--34, 46(8)247--256
-
compressing, 45(3)371--384
-
compression, 45(6)471--482, 46(7)111--120, 46(8)25--34, 46(8)247--256
-
comprise, 45(2)75--84, 47(4)159--170, 47(5)41--50
-
comprising, 45(5)191--202, 45(7)145--156, 47(1)373--386
-
compromise, 46(8)169--178
-
compromised, 46(8)169--178, 47(3)23--32
-
compromising, 45(3)311--322, 45(5)15--24, 45(6)351--362, 47(4)53--66,
47(5)1--10
-
computation, per-, 45(3)205--218
-
computation-time, 45(5)305--314
-
computationally, 46(8)267--276, 47(1)337--348
-
computed, 45(3)91--102, 45(4)57--66, 45(5)331--332, 46(8)189--200,
47(1)297--308, 47(3)63--72
-
computers, super-, 47(5)61--70
-
computers., 45(5)1--2
-
con, 45(5)341--342, 46(10)657--676
-
concatenation, 45(2)109--116
-
conceive, 45(7)1--2
-
concentrate, 45(4)9--16
-
concentrated, 45(5)203--212
-
concentrating, 45(3)243--256
-
concept, proof-of-, 45(6)187--197
-
conceptual, 45(10)848--864
-
conceptually, 46(2)1--2, 47(4)133--144, 47(4)265--278
-
concern, 45(2)1--2, 45(2)157--166, 45(3)143--154, 45(3)219--230,
45(4)27--36, 45(4)47--56, 45(5)233--244, 45(8)113--120,
45(10)539--554, 46(2)73--82, 46(8)35--46, 46(11)55--64,
46(11)77--78, 47(1)85--96, 47(2)1--12, 47(2)51--60, 47(3)23--32,
47(3)43--52, 47(3)83--92, 47(3)185--186, 47(4)333--344, 47(5)11--20
-
concerning, 45(6)50--61, 45(6)221--232
-
concert, 47(4)393--404
-
concise, 45(6)36--49, 46(8)47--56, 46(10)359--374, 47(4)119--132
-
concisely, 45(5)233--244, 47(4)333--344
-
conclude, 45(3)129--142, 45(3)193--204, 45(5)345--346, 47(1)571--584,
47(4)225--238
-
concrete, 45(6)244--254, 45(12)81--96, 47(1)373--386, 47(3)33--42,
47(3)93--94, 47(4)145--158
-
concretization, 46(2)127--136
-
concretized, 45(4)57--66
-
concur, 46(11)79--88
-
concurrence, 45(5)327--328
-
concurrency-memory, 45(3)179--192
-
concurrently, 45(3)103--116, 45(5)327--328, 45(6)134--145,
45(6)330--340, 45(8)11--20, 45(8)21--30, 45(8)51--52, 46(8)235--246,
47(4)15--26, 47(4)279--290
-
concurrently., 45(3)77--90, 45(5)47--56
-
Condit, Jeremy, 45(3)3--14
-
Condit, Jeremy, see Ipek, Engin
-
conditional, 45(6)279--291, 46(2)33--42, 46(8)307--308, 46(10)805--824
-
conditional, type-, 45(2)65--74
-
conditionally, 45(2)147--156, 46(8)301--302
-
conditions, post-, 47(1)123--136
-
conditions, pre-, 46(10)1033--1052
-
conduct, 45(4)95--104, 45(4)163--172, 45(5)203--212, 45(6)74--85,
46(2)103--112, 47(4)27--38, 47(5)79--88, 47(6)77--88
-
conducted, 45(2)157--166, 45(4)125--132, 45(8)63--72, 47(1)481--494
-
conducting, 45(4)95--104
-
confer, 47(1)481--494
-
confidence, 45(8)51--52, 47(1)111--122, 47(1)509--520, 47(6)55--66
-
confidential, 45(8)51--52
-
confidentiality, 47(1)97--110, 47(1)165--178
-
configurability, 47(3)53--62
-
configurable, 45(3)335--346, 46(2)33--42
-
configurable, most-, 46(2)33--42
-
configuration, self-, 47(3)3--12
-
configure, 45(6)471--482, 47(1)215--216, 47(3)53--62, 47(4)119--132
-
configured, 45(5)91--100, 46(8)267--276
-
configuring, 47(1)215--216
-
confined, 47(4)1--2
-
confinement, 45(5)233--244, 45(7)63--74
-
confirm, 45(3)167--178, 45(6)255--268, 46(8)267--276, 47(5)21--30,
47(5)71--78
-
conflict-resolving, 46(2)13--22
-
conflicting, 45(5)281--292
-
conform, 45(2)75--84, 45(2)99--108, 46(8)125--134
-
conformance, 45(8)51--52
-
conforming, 47(4)185--198
-
confront, 45(5)347--348
-
confronted, 47(3)185--186
-
confusing, 47(3)177--184
-
Cong, Jason, 47(5)61--70
-
Cong, Jason, see Sbîrlea, Alina
-
conjunction, 45(4)9--16, 46(4)84--96
-
ConMem, 45(3)179--192
-
ConMem-v, 45(3)179--192
-
connect, 45(2)25--34, 45(3)15--28, 46(2)157--166, 47(3)13--22,
47(4)291--304
-
connected, 46(8)201--212, 47(1)495--508
-
Connecticut, 45(6)98--98
-
connecting, 45(3)143--154, 45(5)103--104, 47(4)1--2
-
connection, 46(9)107--116
-
connectivity, 45(3)1--2
-
connector, 45(2)127--136
-
conquer, 45(6)471--482
-
conscious, 46(8)103--112
-
conscious, cache-, 45(8)113--120
-
conscious, energy-, 45(6)198--209
-
conscious, update-, 45(4)105--114
-
consciousness, 45(8)113--120
-
consciousness, input-, 46(10)445--462
-
consecutive, 46(8)25--34
-
Consel, Charles, 45(2)137--146, 45(10)47--61
-
Consel, Charles, see Cassou, Damien,
see Mercadal, Julien
-
ConSeq, 46(3)251--264, 47(4)251--264
-
consequ, 46(11)55--64
-
consequence, 45(8)83--92, 46(11)89--98, 46(12)83--94, 47(1)413--424
-
consequence-oriented, 47(4)251--264
-
consequently, 45(3)219--230, 45(5)79--90, 45(5)203--212, 45(8)63--72,
46(8)103--112, 47(4)67--78
-
conservation, 45(3)205--218
-
conservative, 45(5)37--46, 45(5)325--326, 46(2)43--52, 46(8)81--90,
47(1)7--18
-
conserve, 45(3)117--128, 47(4)225--238
-
considerable, 45(3)243--256, 45(3)359--370, 45(5)67--78, 45(6)460--470,
45(12)1--14, 46(2)103--112
-
considerably, 45(4)153--162, 45(5)315--324, 47(4)119--132,
47(5)109--118
-
consideration, 45(3)193--204, 45(5)343--344, 45(6)86--97, 45(6)460--470
-
considered, 45(4)47--56, 45(5)79--90, 45(5)147--158, 45(5)203--212,
45(6)146--159, 45(7)145--156, 46(8)293--294, 47(1)179--190,
47(1)337--348, 47(2)51--60, 47(4)1--2, 47(4)3--14
-
considering, 45(3)257--270, 45(6)160--173, 45(6)483--496
-
consist, 45(5)115--126, 45(6)99--110, 45(6)471--482, 45(7)85--96,
46(8)25--34, 46(8)69--80, 47(3)1--2, 47(3)167--176, 47(4)145--158,
47(4)251--264, 47(4)265--278, 47(4)333--344, 47(5)89--98
-
consistent, 45(3)271--284, 45(5)257--268, 45(5)353--354, 45(6)210--220,
45(6)244--254, 45(6)269--278, 46(8)213--222, 46(8)277--288,
47(1)85--96, 47(4)53--66, 47(4)91--104, 47(4)279--290,
47(5)139--148
-
cOnsistent, Functionally-, 47(5)71--78
-
consistently, 47(4)239--250
-
consisting, 46(2)53--62, 47(5)109--118
-
consolidated, 45(7)25--36
-
consolidation, 45(7)97--108, 46(11)77--78
-
Consortium, 47(1)217--230
-
conspiring, 45(3)205--218
-
constant, 45(5)67--78, 45(5)159--168, 45(5)327--328, 45(6)221--232,
45(6)483--496, 46(6)199--210, 46(11)99--108
-
constant, near-, 45(6)255--268
-
constant-class-field, 45(7)109--120
-
constantly, 46(8)201--212
-
constitute, 45(4)153--162
-
constrain, 45(5)233--244, 46(8)169--178
-
constrained, 45(5)203--212, 47(4)171--184, 47(5)1--10
-
constrained, cost-, 45(4)95--104
-
constrained, memory-, 45(7)145--156
-
constrained, resource-, 46(2)73--82
-
constraint-based, 46(2)43--52
-
constraint-satisfaction, 47(4)119--132
-
constraint-solvers, 46(8)125--134
-
constraints., 45(6)36--49
-
constructed, 45(2)5--14, 45(6)111--121, 45(6)174--186, 46(2)43--52,
46(8)201--212, 47(1)297--308, 47(3)63--72
-
constructing, 45(3)15--28, 45(6)174--186, 45(6)363--375, 46(2)43--52,
46(12)23--34, 47(4)145--158
-
construction, 45(3)103--116, 45(12)81--96, 46(2)157--166, 46(6)50--61,
46(8)223--234, 46(8)247--256, 46(8)301--302, 46(10)677--694,
46(12)23--34, 46(12)71--82, 47(1)495--508, 47(1)521--532,
47(3)63--72, 47(4)291--304
-
construction, correctness-by-, 45(4)57--66
-
constructive, 47(1)245--258, 47(1)373--386
-
constructively, 47(1)245--258
-
consulting, 45(5)79--90
-
consume, 46(8)25--34, 46(11)77--78, 47(1)509--520, 47(2)1--12,
47(6)23--34
-
consumed, 45(6)292--304, 46(8)309--310, 47(4)213--224, 47(4)225--238
-
consumer, 45(5)103--104
-
consuming, 45(6)244--254
-
consuming, time-, 45(2)95--98, 45(3)143--154, 45(4)67--76,
45(12)1--14, 47(1)273--284, 47(4)381--392
-
contained, 45(3)15--28, 47(4)305--318
-
contained, self-, 46(1)307--316
-
container, 45(2)127--136, 45(6)160--173, 45(11)13--24, 46(1)187--200,
46(8)235--246, 47(1)495--508
-
container-related, 45(6)160--173
-
container-specific, 45(6)160--173
-
containing, 45(6)341--350, 47(4)213--224
-
containment, 46(1)385--398
-
contemporary, 45(5)203--212, 47(2)51--60
-
contend, 45(5)79--90, 45(6)62--73
-
content, 45(3)143--154, 45(3)219--230, 45(5)355--356, 46(1)105--118,
46(8)81--90, 46(9)259--265, 46(11)119--128, 47(2)25--36
-
content-driven, user-, 45(3)103--116
-
contention, high-, 45(5)79--90
-
contention-aware, 45(3)129--142
-
contention-easing, 45(3)103--116
-
contention-management, 45(5)79--90
-
contention-mitigating, 45(3)129--142
-
contention., 45(5)203--212
-
context--the, 45(6)13--24
-
context-aware, 45(4)105--114
-
context-free, 45(6)160--173, 45(6)221--232, 46(12)107--117,
47(3)137--146
-
context-insensitive, 47(1)373--386
-
context-oriented, 45(12)15--26
-
context-sensitive, 45(5)25--36, 45(6)305--315, 46(6)425--436,
47(1)373--386
-
context-sensitivity, 45(6)305--315
-
context-specific, 45(6)36--49
-
context-switch, 45(4)153--162
-
context-unaware, 45(4)105--114
-
contextsstrands, 45(5)191--202
-
contextual, 45(10)539--554, 47(1)413--424
-
contiguous, 45(3)219--230
-
contiguously, 45(6)471--482
-
continually, 45(8)21--30, 46(8)1--2, 47(4)305--318
-
continuation, 45(10)567--582, 46(9)81--93, 47(3)97--106
-
continuation-passing, 47(3)97--106
-
continuator, 45(10)377--396
-
continue, 45(3)65--76, 47(1)323--336, 47(4)171--184, 47(4)185--198
-
continued, 45(3)3--14, 47(6)23--34
-
continuing, 45(3)65--76
-
continuity, 45(1)57--70, 45(6)279--291
-
continuous, 45(4)143--152, 45(5)335--336, 45(6)279--291, 47(1)545--556
-
continuous-time, 47(5)129--138
-
continuously, 45(3)91--102, 46(11)79--88
-
contortions, 45(5)223--232
-
contradiction, 47(1)521--532
-
contradictory, 45(3)335--346
-
contrary, 45(5)203--212, 45(5)327--328
-
contrast, 45(4)9--16, 45(5)79--90, 45(5)341--342, 45(6)134--145,
45(7)121--132, 46(2)157--166, 46(11)99--108, 46(12)83--94,
47(1)203--214, 47(3)3--12, 47(3)97--106, 47(4)15--26
-
contrasting, 45(7)3--12
-
contribute, 45(3)297--310, 45(4)153--162, 46(8)113--122, 47(1)361--372,
47(2)51--60, 47(4)291--304
-
contribution, 45(2)127--136, 45(4)57--66, 45(5)25--36, 45(5)223--232,
45(5)305--314, 45(6)36--49, 45(6)74--85, 45(6)134--145,
46(6)283--294, 46(12)118--129, 47(1)123--136, 47(1)259--272,
47(1)413--424, 47(3)43--52, 47(4)159--170
-
contributor, 47(4)213--224
-
control-flow, 45(4)133--142, 45(6)305--315, 47(3)23--32
-
control-intensive, 45(3)347--358
-
control., 45(4)67--76
-
controlled, 45(4)57--66, 45(5)179--190, 45(5)213--222, 45(6)198--209,
47(4)239--250
-
controlled, access-, 45(7)63--74
-
controlled, programmer-, 46(11)99--108
-
controlled, software-, 47(4)67--78
-
controller, 45(3)3--14, 45(3)129--142, 45(3)297--310, 45(3)335--346,
45(4)57--66, 45(4)67--76, 45(6)279--291, 45(7)3--12, 45(8)11--20,
47(1)215--216, 47(1)217--230, 47(3)137--146, 47(4)225--238
-
controlling, 45(12)81--96, 46(10)499--518, 46(12)23--34, 47(1)85--96,
47(3)177--184
-
convenience, 47(1)571--584
-
convenient, 45(2)25--34, 45(5)25--36, 45(7)13--24, 46(2)113--122
-
conveniently, 47(4)279--290
-
convention, 45(5)233--244
-
converge, 45(6)210--220
-
conversely, 47(1)495--508
-
conversion, 45(5)349--350, 47(1)273--284, 47(1)413--424, 47(1)571--584
-
conversion, alpha-, 47(1)401--412
-
convert, 46(12)83--94
-
converter, 46(12)107--117
-
converting, 45(6)233--243, 47(4)145--158, 47(5)61--70
-
convexity, 46(1)549--562
-
convolution, 45(5)305--314, 45(5)343--344, 45(6)279--291, 46(12)59--70
-
convoying, 45(5)339--340
-
Cook, Byron, 46(1)399--410
-
Cook, William, 46(10)595--608
-
Cook, William, see Delaware, Benjamin
-
Cook, William R., 45(2)117--126, 46(10)375--390
-
Cook, William R., see Nedunuri, Srinivas,
see Shali, Amin
-
Cook:2011:MPD, 46(1)399--410
-
cooling, 45(3)243--256
-
Coons, Katherine E., 45(5)15--24, 45(6)255--268
-
Coons, Katherine E., see Bond, Michael D.
-
Coons:2010:GEU, 45(5)15--24
-
cooperability, 46(8)147--156
-
cooperation, 46(8)169--178
-
cooperative, 45(3)359--370, 45(6)376--387, 45(10)241--255,
46(8)147--156
-
coordinate, 45(3)311--322, 45(5)269--280, 47(1)231--244
-
coordinated, 45(2)55--64, 45(3)335--346, 47(1)85--96
-
coordinating, 47(3)127--136
-
coordination, 45(2)137--146
-
cope, 45(6)146--159, 47(3)3--12
-
Coppa, Emilio, 47(6)89--98
-
Copperhead, 46(8)47--56
-
copy, 45(6)210--220, 45(6)471--482, 45(7)121--132, 45(8)113--120,
46(8)81--90, 46(11)89--98, 47(4)15--26, 47(5)51--60
-
copy-in, 45(6)62--73
-
copy-on-write, 45(6)471--482
-
copy-out, 45(6)62--73
-
copying, 45(6)62--73, 45(8)73--82, 46(8)69--80, 46(8)81--90
-
copying, replication-, 45(6)146--159
-
Coq., 47(1)571--584
-
CORBA, 45(2)127--136
-
CorD, 45(6)62--73
-
Cordy, James R., 45(2)3--4
-
Cordy:2010:EOO, 45(2)3--4
-
core, 4-, 47(5)21--30
-
core, 6-, 45(3)65--76
-
core, 8-, 45(5)223--232
-
core, four-, 46(11)109--118
-
Core, Inter-, 45(3)359--370
-
core, Inter-, 45(3)359--370, 46(3)393--404, 47(4)393--404
-
core, inter-, 45(3)359--370, 46(8)213--222, 47(4)393--404
-
core, many-, 45(3)205--218, 45(3)311--322, 45(6)388--399,
46(8)179--188, 46(11)77--78, 47(5)21--30
-
core, multi-, 45(3)155--166, 45(3)219--230, 45(3)285--296,
45(3)335--346, 45(3)371--384, 45(4)115--124, 45(5)91--100,
45(5)223--232, 45(5)341--342, 45(6)244--254, 45(10)205--222,
46(5)131--140, 46(8)91--102, 46(8)295--296, 46(11)109--118,
47(4)239--250, 47(5)21--30, 47(6)77--88
-
core, out-of-, 47(4)27--38
-
core, quad-, 45(4)115--124
-
core, single-, 45(3)155--166, 45(3)285--296
-
CoreDet, 45(3)53--64
-
CoreMark, 47(5)149--152
-
COREMU, 46(8)213--222
-
cores, c-, 45(3)205--218
-
cores, multi-, 45(3)371--384, 46(11)109--118
-
cores., 45(8)41--50
-
cornerstone, 45(9)27--38
-
corpus, 45(6)1--12
-
correction, 45(3)397--408
-
correction, error-, 45(3)397--408
-
correctly, 45(2)147--156, 45(6)36--49, 45(6)187--197, 45(6)330--340,
45(8)63--72, 46(8)1--2, 47(1)165--178, 47(6)55--66
-
correctly-synchronized, 47(1)309--322
-
correctness-by-construction, 45(4)57--66
-
corrector, 46(9)209--220
-
correlated, 45(3)179--192, 45(5)169--178, 45(6)244--254
-
correlation, 45(3)359--370
-
correlator, 45(5)169--178
-
correspond, 45(2)167--176, 45(3)155--166, 45(8)121--130, 47(1)85--96
-
correspondence, 45(8)51--52
-
corresponding, 45(2)99--108, 45(3)143--154, 45(12)81--96, 46(2)53--62,
47(1)495--508, 47(3)33--42, 47(3)137--146, 47(3)185--186,
47(4)405--418
-
corruption, 45(3)371--384, 47(4)105--118, 47(4)213--224
-
cortex, 47(4)145--158
-
cortical, 47(4)145--158
-
cosmic, 45(4)143--152
-
Cossette, Brad, 45(10)726--738
-
Cossette, Brad, see Kapur, Puneet
-
cost, low-, 45(3)103--116, 45(3)297--310, 45(3)385--396,
45(7)97--108, 46(5)31--40, 47(6)13--22
-
cost-constrained, 45(4)95--104
-
cost-effective, 45(5)103--104, 46(8)135--146
-
cost-performance, 47(5)119--128
-
cost., 45(4)153--162, 45(5)103--104
-
Costa, Manuel, 45(1)457--470
-
Costa, Manuel, see Martin, Jean-Phillipe
-
Costanza, Pascal, 45(10)377--396
-
Costanza, Pascal, see Herzeel, Charlotte
-
costly, 45(2)95--98, 46(11)33--42
-
could, 45(4)153--162, 46(8)213--222, 47(2)97--106, 47(3)97--106,
47(3)177--184, 47(4)251--264, 47(5)31--40, 47(5)89--98, 47(6)77--88
-
count, 45(3)205--218, 45(4)37--46, 45(4)163--172, 45(5)147--158,
45(5)223--232, 45(5)269--280, 45(6)74--85, 45(9)15--26,
47(4)105--118, 47(4)265--278
-
counter, 45(3)103--116, 45(6)483--496, 46(7)15--26, 46(11)43--54,
47(3)185--186, 47(4)319--332
-
counter-examples, 46(8)125--134
-
counteract, 46(11)11--20
-
counterexample, 45(1)119--130, 46(8)125--134, 47(1)137--150
-
counterexample-guided, 45(1)249--260
-
counterpart, 45(3)193--204, 45(3)347--358, 45(4)95--104, 45(5)339--340,
45(6)160--173, 46(8)3--12, 47(6)13--22
-
counting, 46(8)91--102, 47(2)1--12, 47(4)67--78
-
couple, 45(6)363--375, 47(1)217--230
-
coupled, 47(3)83--92, 47(4)119--132
-
coupled, loosely-, 46(8)213--222
-
coupling, 47(1)231--244, 47(6)35--44
-
course, 45(3)103--116, 45(5)47--56, 45(7)1--2
-
cousin, 47(5)21--30
-
Cousot, Patrick, 46(1)105--118, 47(1)245--258
-
Cousot, Radhia, 46(1)105--118, 47(1)245--258
-
Cousot, Radhia, see Cousot, Patrick
-
Cousot:2011:PSF, 46(1)105--118
-
Cousot:2012:AIFa, 47(1)245--258
-
cover, 45(2)15--24, 45(8)51--52, 46(6)283--294, 47(1)245--258
-
coverage, 45(3)385--396, 45(5)15--24, 45(5)203--212, 46(11)55--64,
47(4)133--144, 47(4)251--264, 47(5)99--108
-
coverage, high-, 46(10)189--206
-
covering, 47(1)137--150, 47(1)245--258, 47(3)73--82
-
CP, 47(1)387--400
-
CP-based, 47(1)387--400
-
CPP, 46(2)33--42
-
CPP-based, 46(2)33--42
-
CPS, 46(9)431--444, 47(3)97--106
-
CPU, 16-, 45(4)115--124
-
CPU, single-, 45(8)11--20
-
CPU--GPU, 46(6)142--151
-
CPU-intensive, 45(5)327--328
-
CPU2000, 45(3)29--38
-
CPU2006, 47(4)319--332
-
CPUs, 45(3)347--358, 45(5)115--126, 45(8)11--20, 46(8)25--34,
46(8)135--146, 47(4)381--392, 47(5)61--70, 47(6)23--34
-
CPUs., 45(3)347--358
-
CR, 45(5)127--136
-
crafted, hand-, 45(4)67--76, 46(8)47--56
-
Crary, Karl, 45(9)131--142
-
Crary:2010:HOR, 45(9)131--142
-
crash, 45(3)179--192, 45(6)244--254, 45(7)25--36, 46(6)283--294,
47(4)91--104, 47(4)251--264
-
crashed, 45(7)25--36
-
crashing, 45(6)244--254, 47(4)91--104
-
CRAY, 46(8)235--246
-
create, 45(3)91--102, 45(3)205--218, 45(3)231--242, 45(6)160--173,
45(6)471--482, 45(7)3--12, 45(7)13--24, 45(8)21--30, 46(2)63--72,
46(8)69--80, 46(8)307--308, 47(1)45--58, 47(1)231--244, 47(3)1--2,
47(4)91--104, 47(4)145--158, 47(4)279--290, 47(4)381--392
-
created, 45(2)117--126, 45(3)243--256, 45(7)3--12, 45(7)63--74,
45(12)73--80, 46(2)93--102, 46(6)283--294, 46(11)129--138,
47(3)107--116, 47(4)145--158
-
creating, 45(2)15--24, 45(2)95--98, 45(8)73--82, 46(8)35--46,
46(8)213--222, 47(1)215--216, 47(1)285--296, 47(1)545--556,
47(3)185--186, 47(4)105--118, 47(4)225--238, 47(5)149--152
-
creation, 45(2)1--2, 45(3)39--52, 45(4)67--76, 45(6)160--173,
46(8)35--46, 47(1)73--84
-
credit, 45(7)97--108
-
Crestani, Marcus, 45(9)229--234
-
Crestani:2010:ERG, 45(9)229--234
-
Cretin, Julien, 45(9)193--204, 47(1)361--372
-
Cretin, Julien, see Barbosa, Davi M. J.
-
Cretin:2012:PCA, 47(1)361--372
-
Crew, 47(3)95--96
-
crisis, 45(2)1--2
-
Cristal, Adrián, 45(3)39--52, see Harris, Tim
-
Cristal, Adrían, 45(5)57--66, see Zyulkyarov, Ferad
-
criteria, 46(8)157--168
-
criterion, 47(5)119--128
-
critical, mission-, 45(3)385--396, 45(6)146--159
-
critical, non-, 47(4)213--224
-
critical, safety-, 45(4)67--76
-
critical-path, 45(5)245--256
-
critique, 45(12)73--80
-
cross-iteration, 45(8)63--72
-
cross-language, 45(10)223--240
-
cross-product, 47(3)13--22
-
cross-site, 47(1)165--178
-
cross-understanding, 45(6)305--315
-
crosscut, 45(7)13--24
-
crosscutting, 45(10)539--554, 47(2)51--60, 47(3)43--52
-
CR+PCR, 45(5)127--136
-
CRPD, 45(4)153--162
-
CR+RD, 45(5)127--136
-
CRuby, 45(12)15--26
-
crucial, 45(8)63--72, 46(6)199--210, 46(8)25--34, 47(1)191--202,
47(1)481--494, 47(3)185--186
-
crucially, 45(6)305--315
-
Cruiser, 46(6)367--377
-
Crummey, John M., Mellor-, 45(5)269--280
-
cryptographic, 47(3)185--186
-
Cryptol, 47(3)185--186
-
CS, 46(2)1--2
-
Csmith, 46(6)283--294
-
CSOLVE, 47(6)45--54
-
CSP, 45(5)351--352
-
CSP-style, 46(8)169--178
-
CSX, 46(8)247--256
-
CUBLAS, 45(5)343--344, 45(6)86--97
-
Cuccuru, Arnaud, 45(2)127--136
-
Cuccuru, Arnaud, see Radermacher, Ansgar
-
CUDA, 45(3)347--358, 45(5)105--114, 45(5)137--146, 45(5)357--358,
46(8)47--56, 46(8)135--146, 46(8)257--266, 46(8)267--276,
46(8)277--288, 47(4)381--392, 47(6)1--12, 47(6)13--22
-
cuda, 45(5)357--358
-
CUDA-C, OpenCL-C-to-, 46(8)277--288
-
CUDAlign, 45(5)137--146
-
CUFFT, 46(8)257--266
-
Cullmann, Christoph, 46(5)121--130
-
Cullmann:2011:CPA, 46(5)121--130
-
Culpepper, Ryan, 45(9)235--246, 46(6)132--141
-
Culpepper, Ryan, see Tobin-Hochstadt, Sam
-
Culpepper:2010:FM, 45(9)235--246
-
cumbersome, 47(1)111--122, 47(4)381--392
-
cure, 45(8)73--82
-
cured, 45(3)1--2
-
currently, 45(2)147--156, 45(3)1--2, 45(3)65--76, 45(3)205--218,
45(4)67--76, 45(11)49--60, 46(2)123--126, 46(8)35--46,
46(8)213--222, 46(11)1--10, 47(2)13--24, 47(2)61--72
-
curricula, 46(2)1--2
-
curricula-related, 46(2)1--2
-
curriculum, 46(2)1--2
-
Curry--Howard, 45(9)39--50
-
cursored, 46(12)59--70
-
curve, 45(4)37--46, 45(8)103--112, 47(6)89--98
-
custom, 45(3)311--322, 45(4)47--56, 45(7)3--12, 46(4)53--64,
47(1)545--556, 47(4)265--278
-
custom-designed, 45(3)297--310
-
customer, 45(3)143--154, 45(7)63--74
-
customizable, 45(7)13--24, 46(2)93--102, 46(2)147--156, 47(3)3--12
-
customization, 45(10)361--376, 47(3)117--126
-
customize, 46(8)235--246, 47(5)71--78, 47(6)13--22
-
customized, 45(5)169--178, 46(2)93--102
-
cutpoints, 47(1)245--258
-
Cutsem, Tom, Van, 45(12)59--72
-
cutting, k-, 45(2)109--116
-
cutting-edge, 45(5)1--2
-
cyber-physical, 45(10)822--834
-
cycle, 45(3)91--102, 45(4)47--56, 46(8)123--124, 46(8)201--212,
47(1)285--296, 47(4)405--418, 47(5)1--10, 47(5)11--20, 47(6)23--34
-
cycle, clock-, 45(9)75--86
-
cycle, life-, 47(3)73--82, 47(3)185--186
-
cycle, single-, 47(6)23--34
-
cycle, virtuous-, 46(8)123--124
-
cyclic, 45(5)127--136, 46(2)177--186, 47(4)405--418
-
cyclic-path-based, 47(4)405--418