Last update: Thu Sep 28 02:07:29 MDT 2023
Return to index directory
R
-
Rabbah, Rodric, 45(3)285--296, 45(10)89--108
-
Rabbah, Rodric, see Auerbach, Joshua,
see Hormati, Amir H.
-
race, data-, 45(6)13--24, 45(10)634--651
-
race-free, 46(8)125--134, 47(1)509--520
-
race-free, Data-, 45(6)351--362
-
race-free, data-, 45(3)77--90, 47(4)53--66
-
race-free-based, data-, 47(4)67--78
-
race-freedom, 46(8)125--134
-
race/atomicity, 47(4)239--250
-
raced, 47(5)139--148
-
races, data-, 46(8)125--134
-
races--other, 47(1)387--400
-
races., 45(3)77--90
-
Racket, 45(12)97--112, 47(1)285--296, 47(2)85--96, 47(3)1--2
-
Racketeers, 47(3)1--2
-
racy, 45(6)351--362, 47(4)53--66
-
Radermacher, Ansgar, 45(2)127--136
-
Radermacher:2010:GEI, 45(2)127--136
-
radiation, 45(4)143--152
-
radical, 47(6)23--34
-
radically, 45(8)1--10, 45(8)51--52
-
radio, 45(5)169--178, 47(4)171--184
-
Radojkovi{\'c}, Petar, 45(5)191--202
-
Radojkovic:2010:TSB, 45(5)191--202
-
Radpour, Soroush, 46(10)99--118
-
Radpour, Soroush, see Doherty, Jesse
-
Rafkind, Jon, 47(1)285--296
-
Rafkind, Jon, see Klein, Casey
-
Raghavan, Padma, 45(5)329--330
-
Raghavan, Padma, see Muralidhara, Sai Prashanth
-
Raghunath, Arun, 46(3)133--144, 47(4)133--144
-
Raghunath, Arun, see Ryzhyk, Leonid
-
Railing, Brian P., 46(6)86--97
-
Railing, Brian P., see Jung, Changhee
-
Rainey, Mike, 45(9)93--104, 46(10)499--518
-
Rainey, Mike, see Acar, Umut A.,
see Bergstrom, Lars
-
raise, 47(1)111--122, 47(1)215--216, 47(5)51--60
-
raising, 47(5)71--78
-
Rajamani, Sriram, 45(6)210--220
-
Rajamani, Sriram, see Rajan, Kaushik
-
Rajamani, Sriram K., 45(1)43--56
-
Rajamani, Sriram K., see Godefroid, Patrice
-
Rajan, Hridesh, 45(10)790--805, 46(2)63--72
-
Rajan, Hridesh, see Long, Yuheng
-
Rajan, Kaushik, 45(5)37--46, 45(6)210--220, 46(6)480--491
-
Rajan, Kaushik, see Mannarswamy, Sandya,
see Udupa, Abhishek
-
Rajan:2010:CMD, 45(10)790--805
-
Rajan:2010:GPM, 45(6)210--220
-
Rakamari{\'c}, Zvonimir, 46(1)411--422, see Emmi, Michael
-
RALA, 45(1)1--6
-
RAM, 47(5)1--10, 47(5)109--118
-
RAM, STT-, 47(4)91--104, 47(5)109--118
-
Ramakrishnan, K. K., 46(7)121--132
-
Ramakrishnan, K. K., see Wood, Timothy
-
Ramalingam, G., 45(1)31--42, 46(10)225--242
-
Ramalingam, G., see Attiya, H.,
see Golan-Gueta, Guy
-
Ramalingam, Ganesan, 45(6)50--61
-
Ramalingam, Ganesan, see Prabhu, Prakash
-
Ramalingam, Shreyas, 46(1)511--522
-
Ramalingam, Shreyas, see Prabhu, Tarun
-
Raman, Arun, 45(3)65--76, 46(6)26--37, 46(10)259--274
-
Raman:2010:SPU, 45(3)65--76
-
Raman:2011:POU, 46(6)26--37
-
Raman:2011:SSP, 46(10)259--274
-
Ramananandro, Tahina, 46(1)67--80, 47(1)521--532
-
Ramananandro:2011:FVO, 46(1)67--80
-
Ramananandro:2012:MSC, 47(1)521--532
-
Ramanujam, J., 46(1)549--562
-
Ramanujam, J., see Pouchet, Louis-Noël
-
Ramaprasad, Harini, 46(5)131--140
-
Ramaprasad, Harini, see Sarkar, Abhik
-
Ramos, Luiz, 46(3)225--238, 47(4)225--238
-
Ramos, Luiz, see Deng, Qingyuan
-
Ramsay, Steven James, 46(1)587--598
-
Ramsay, Steven James, see Ong, C.-H. Luke
-
Ramsey, Norman, 45(1)403--416, 45(11)121--134, 46(1)575--586
-
Ramsey, Norman, see Dias, João
-
Ramsey:2010:HMR, 45(11)121--134
-
Ramsey:2011:RRM, 46(1)575--586
-
random, 45(6)279--291, 45(10)555--566, 46(4)53--64, 46(8)201--212
-
random, pseudo-, 47(3)185--186
-
randomization, 45(3)167--178
-
randomized, 45(3)167--178, 46(6)283--294, 47(1)97--110, 47(1)441--454
-
randomly, 45(6)187--197, 46(8)201--212, 47(1)441--454, 47(6)77--88
-
randomly., 45(6)187--197
-
ranging, 45(4)115--124, 45(6)198--209, 45(6)388--399, 45(6)412--423,
45(7)13--24, 46(2)3--12, 46(8)69--80, 47(1)151--164, 47(4)319--332
-
Raniwala, Ashish, 45(6)363--375
-
Raniwala, Ashish, see Chambers, Craig
-
rank, 47(4)225--238
-
ranked, 46(6)458--469
-
ranked, higher-, 45(9)63--74
-
ranking, 45(6)292--304
-
Ransford, Benjamin, 46(3)159--170, 47(4)159--170
-
Ransford:2011:MSS, 46(3)159--170
-
Ransford:2012:MSS, 47(4)159--170
-
Rao, Jia, 46(7)39--50
-
Rao, Jia, see Wang, Kun
-
rapid, 45(4)9--16, 45(7)39--50, 47(4)27--38, 47(4)291--304
-
rapidly, 45(2)177--186, 46(2)23--32, 46(8)113--122, 47(5)21--30
-
rare, 45(3)231--242, 45(3)397--408, 47(3)157--166
-
rarely, 45(3)39--52, 45(3)53--64, 45(3)219--230, 45(8)63--72,
47(2)13--24
-
Rascal, 45(2)3--4
-
Rastogi, Aseem, 47(1)481--494
-
Rastogi:2012:IOG, 47(1)481--494
-
rate, miss-, 46(8)91--102
-
rate, refresh-, 47(4)213--224
-
rate-encoded, 47(4)145--158
-
Rathke, Julian, 46(2)177--186
-
Rathke, Julian, see Grech, Neville
-
ratio, 45(12)1--14
-
rationale, 45(5)57--66
-
Rauchwerger, Lawrence, 46(8)235--246
-
Rauchwerger, Lawrence, see Tanase, Gabriel
-
Ravara, António, 45(1)299--312, see Gay, Simon J.
-
Ravi, Vignesh T., 46(8)135--146
-
Ravi, Vignesh T., see Zheng, Mai
-
raw, 45(6)174--186, 45(6)221--232
-
Ray, Donald, 47(1)179--190
-
ray, z-, 45(6)471--482
-
Ray:2012:DCI, 47(1)179--190
-
rays, z-, 45(6)471--482
-
rays, Z-, 45(6)471--482
-
Raza, Syed, 46(7)27--38
-
Raza, Syed, see Zhao, Qin
-
RCDC, 46(3)67--78, 47(4)67--78
-
RD, 45(5)127--136
-
re-architected, 45(5)1--2
-
re-executes, 47(4)239--250
-
re-execution, 45(3)143--154, 45(3)155--166
-
re-scheduling, 47(5)31--40
-
reach, 45(5)169--178, 45(5)327--328, 46(5)31--40, 46(6)425--436,
46(8)189--200, 47(1)97--110, 47(1)231--244, 47(6)55--66
-
reachability, 45(6)160--173, 45(8)41--50, 45(8)121--130, 46(1)307--316,
47(3)117--126
-
reachability, CFL-, 45(6)160--173
-
reachability, state-, 47(1)203--214
-
reachability-bound, 45(6)292--304
-
reachable, 45(8)11--20, 47(2)73--84, 47(5)139--148
-
reached, 45(3)1--2, 45(4)77--84, 45(8)121--130, 47(1)297--308
-
reaching, 45(3)257--270, 45(7)85--96
-
react, 46(11)65--76
-
reactivated, 46(8)201--212
-
reactive, 45(4)57--66, 45(7)133--144, 45(8)53--62, 46(10)407--426,
47(1)45--58
-
read, 45(3)219--230, 45(4)143--152, 45(5)57--66, 45(6)233--243,
45(6)244--254, 45(6)269--278, 45(6)483--496, 46(6)199--210,
46(8)125--134, 46(8)189--200, 46(11)79--88, 47(1)111--122,
47(1)557--570, 47(3)117--126, 47(4)15--26, 47(4)239--250,
47(4)251--264, 47(6)45--54
-
read, uninitialized-, 45(3)179--192
-
read-barriers, 45(3)39--52, 45(8)73--82
-
read-mostly, 45(6)269--278
-
Read-Only, 45(6)269--278
-
read-only, 45(6)269--278
-
read-write, 45(4)143--152, 45(6)269--278
-
readable, 45(2)65--74, 45(5)337--338
-
reader/writer, 45(5)233--244
-
readily, 45(4)27--36, 47(4)291--304
-
readjusts, 45(3)91--102
-
ready, 45(7)1--2
-
reagent, 45(9)369--374
-
real-life, 47(1)19--30
-
real-time, 45(2)127--136, 45(4)27--36, 45(4)37--46, 45(4)67--76,
45(4)133--142, 45(4)153--162, 45(5)169--178, 45(6)146--159,
45(6)471--482, 45(7)3--12, 45(7)97--108, 45(8)11--20, 45(8)73--82,
46(5)1--10, 46(8)301--302, 46(11)89--98, 47(3)53--62, 47(5)31--40,
47(6)23--34
-
real-time, non-, 45(7)97--108
-
real-time, soft-, 45(7)97--108
-
realism, 47(5)149--152
-
realistic, 45(3)91--102, 45(4)37--46, 45(5)325--326, 45(5)327--328,
45(6)424--435, 45(7)121--132, 46(8)309--310, 47(1)557--570,
47(3)127--136, 47(4)185--198, 47(5)149--152
-
realistically, 45(5)327--328
-
reality, 45(3)179--192, 45(5)91--100, 45(5)103--104, 46(2)1--2
-
realizability, 47(1)191--202
-
realization, 45(6)210--220
-
realize, 45(5)351--352, 47(3)127--136
-
really, 46(2)103--112
-
realworld, 45(3)179--192
-
reasonable, 45(3)155--166, 45(3)179--192, 45(5)79--90, 45(8)51--52,
46(8)157--168, 47(1)111--122, 47(5)11--20
-
reasonably, 46(2)1--2, 47(3)23--32
-
reassign, 47(1)557--570
-
reboot-based, 45(7)25--36
-
rebooting, 45(7)25--36, 46(6)458--469
-
ReCaml, 45(9)27--38
-
receipt, 47(1)3--6
-
receive, 47(4)185--198
-
received, 45(6)98--98, 45(6)460--470, 47(5)21--30
-
recently, 45(3)39--52, 45(4)95--104, 45(5)37--46, 45(5)79--90,
45(5)203--212, 46(8)267--276, 46(8)307--308, 46(12)13--22,
47(1)97--110, 47(1)217--230, 47(1)273--284, 47(4)239--250,
47(5)109--118
-
recently-proposed, 45(3)65--76
-
reclaimed, 46(11)89--98
-
reclaiming, 45(7)25--36
-
recognize, 46(2)23--32
-
recognized, 46(8)91--102, 47(1)179--190
-
recommend, 47(4)319--332
-
recommendation, 45(3)193--204, 46(6)458--469
-
recommended, 45(2)35--44
-
recompose, 45(4)57--66
-
reconcile, 45(2)95--98, 46(2)63--72, 46(2)73--82
-
reconfigurability, 45(3)205--218
-
reconfigurable, 45(1)1--6, 45(4)17--26, 45(4)57--66, 45(9)75--86,
46(5)151--160, 47(6)23--34
-
reconfiguration, 45(9)27--38, 47(5)89--98
-
reconfigure, 47(4)119--132
-
reconfigured, 45(9)75--86, 46(2)93--102
-
reconstruct, 45(4)133--142, 45(6)13--24
-
reconstructed, 46(6)378--388
-
reconstructing, 47(4)145--158
-
reconstruction, 45(6)13--24
-
record, 45(3)77--90, 45(5)67--78, 45(6)122--133, 45(7)13--24,
45(7)63--74, 47(4)15--26, 47(6)45--54
-
record-ability, 45(2)147--156
-
record-free, ownership-, 45(5)67--78
-
record-replay, 45(7)13--24
-
recorded, 45(3)77--90, 47(6)45--54
-
recording, 45(3)39--52, 45(3)77--90, 45(6)13--24, 45(6)483--496,
45(7)13--24
-
recourse, 45(5)233--244, 47(1)349--360
-
recover, 45(3)77--90, 45(3)385--396, 45(5)281--292, 47(1)361--372,
47(1)481--494
-
recovering, 46(8)303--304, 47(1)557--570
-
recovery, 45(6)62--73, 45(7)25--36, 45(8)63--72, 46(7)99--110,
46(8)189--200, 46(8)303--304, 46(10)483--498, 47(4)345--356,
47(5)99--108
-
recurrence, 45(8)121--130
-
recurring, 45(3)243--256, 45(7)25--36
-
recursion, 45(1)495--508, 46(8)25--34, 46(9)221--233, 46(9)234--246,
46(9)346--358, 46(11)1--10, 47(1)123--136, 47(4)405--418
-
recursively, 47(1)203--214
-
recycle, 46(5)61--70
-
Red, 47(5)139--148
-
red-black, 47(1)123--136
-
Reddy, Uday S., 47(1)323--336
-
Reddy:2012:SCI, 47(1)323--336
-
redesign, 47(3)185--186, 47(5)1--10
-
redesigned, 45(4)125--132, 47(4)291--304
-
redex, 47(1)285--296
-
redirecting, 45(2)75--84
-
reduce, all-, 45(5)293--304
-
reduced, 45(2)147--156, 45(3)29--38, 45(3)193--204, 45(3)257--270,
45(5)213--222, 45(7)121--132, 45(10)806--821, 46(8)189--200,
47(1)441--454, 47(5)109--118
-
Reduceron, 45(9)75--86
-
reducible, 46(6)246--257
-
reduction, graph-, 45(9)75--86
-
reduction--with, 45(6)134--145
-
reductions, beta-, 47(1)469--480
-
redundancy, 45(3)371--384, 45(3)397--408
-
redundant, 45(2)65--74, 45(3)39--52, 45(3)231--242, 45(3)371--384,
45(3)397--408, 45(6)25--35
-
Reed, Jason, 45(9)157--168
-
Reed:2010:DMT, 45(9)157--168
-
reexecuted, 46(8)189--200
-
reexecuting, 46(8)189--200
-
refactored, 46(8)201--212, 47(3)137--146
-
refactoring, 45(2)55--64, 45(2)157--166, 45(2)177--186, 45(10)286--301,
45(10)726--738, 46(10)119--138
-
refer, 45(7)109--120, 47(5)71--78
-
referenced, 45(2)75--84
-
referred, 45(4)153--162, 45(5)37--46, 46(8)135--146, 47(3)97--106,
47(6)77--88
-
refine, 47(1)455--468, 47(1)495--508, 47(5)119--128
-
refining, 46(1)247--258, 47(1)413--424
-
reflect, 45(4)77--84, 45(8)51--52, 46(11)65--76
-
reflected, 45(3)271--284
-
reflecting, 46(8)125--134
-
reflection, 45(2)25--34, 45(10)774--789, 46(2)177--186, 47(3)97--106
-
reflective, 45(12)59--72, 47(3)97--106
-
reflective, type-, 45(2)25--34, 46(2)167--176
-
reformulation, 45(5)223--232, 47(1)545--556
-
refresh, 47(4)213--224
-
refresh-power, 46(3)213--224, 47(4)213--224
-
refresh-rate, 47(4)213--224
-
refreshed, 47(4)213--224
-
refreshing, 46(11)99--108
-
regained, 45(10)918--932
-
regard, 47(1)571--584, 47(3)23--32, 47(3)185--186
-
regarding, 45(3)143--154, 45(3)193--204, 45(7)109--120, 46(8)247--256,
47(1)469--480
-
regardless, 45(5)203--212
-
Regehr, John, 46(6)283--294
-
Regehr, John, see Yang, Xuejun
-
regime, 45(3)205--218
-
region, mark-, 45(6)146--159
-
region-based, 47(5)21--30
-
regional, 47(2)73--84
-
regioncut, 45(2)45--54
-
register, 45(4)47--56, 45(7)39--50, 45(7)157--166, 47(1)137--150,
47(4)119--132, 47(5)31--40, 47(5)51--60
-
register, Fresh-, 46(1)295--306
-
Register-Transfer, 47(5)119--128
-
Registration-based, 45(10)754--773
-
regression, 47(1)111--122, 47(5)119--128
-
regression-based, 45(5)305--314
-
regulate, 45(5)233--244
-
regulatory, 45(7)63--74
-
ReHype, 46(7)63--74
-
Reichenbach, Christoph, 45(10)256--269
-
Reichenbach:2010:WCG, 45(10)256--269
-
reification, 45(2)35--44, 46(2)73--82
-
reify, 45(2)35--44
-
reign, 45(3)29--38, 45(6)1--12
-
reimplementation, 46(2)137--146
-
Rein, Tobias, 45(4)37--46
-
Rein, Tobias, see Perathoner, Simon
-
Reineke, Jan, 45(4)153--162
-
Reineke, Jan, see Altmeyer, Sebastian
-
Reis, Gabriel, Dos, 46(1)67--80, 47(1)521--532
-
reject, 45(6)233--243, 47(4)405--418
-
rejected, 45(6)233--243
-
relate, 47(3)185--186
-
related, 45(2)1--2, 45(3)155--166, 45(3)323--334, 45(4)85--94,
45(8)21--30, 45(10)504--519, 46(2)1--2, 47(4)239--250
-
related, cache-, 45(4)153--162
-
related, container-, 45(6)160--173
-
related, curricula-, 46(2)1--2
-
related, FOP-, 46(2)103--112
-
related, highly-, 47(4)133--144
-
*relation, 47(1)59--72
-
relational, 45(1)185--198, 45(1)237--248, 45(9)143--156, 47(1)97--110,
47(3)83--92
-
relationship, 45(2)35--44, 45(6)160--173, 45(6)221--232, 45(6)255--268,
45(6)305--315, 46(4)84--96, 47(2)97--106, 47(3)13--22,
47(3)185--186
-
relative, 45(3)231--242, 45(3)257--270, 46(8)201--212, 47(1)203--214
-
relatively, 45(3)129--142, 45(4)125--132, 45(5)91--100, 45(5)339--340,
45(5)355--356, 46(8)3--12, 46(8)297--298, 47(4)119--132,
47(5)149--152
-
relax, 45(3)77--90, 45(6)388--399
-
relaxation, 46(6)199--210, 47(4)67--78
-
relaxed, 45(3)257--270, 45(5)257--268, 45(6)244--254, 45(8)51--52,
46(3)67--78, 46(6)187--198, 46(6)199--210, 47(1)401--412,
47(1)509--520, 47(4)67--78, 47(4)265--278, 47(5)139--148
-
*relaxed, 47(1)509--520
-
relaxed-memory, 45(8)51--52, 46(1)43--54, 47(1)509--520
-
relaxing, 47(4)67--78
-
release, 45(3)179--192, 45(4)105--114, 45(6)448--459, 47(4)291--304,
47(4)305--318
-
released, 45(5)1--2, 45(5)15--24, 45(5)203--212, 47(4)305--318
-
relevance, 45(6)221--232
-
relevant, 45(6)160--173, 47(1)309--322, 47(2)13--24, 47(4)239--250
-
reliability, 45(2)25--34, 45(3)193--204, 45(3)385--396, 45(3)397--408,
45(4)57--66, 45(4)85--94, 45(5)1--2, 45(5)355--356, 46(3)133--144,
46(8)135--146, 47(3)147--156, 47(4)1--2, 47(4)133--144,
47(4)305--318
-
reliability, high-, 45(3)385--396
-
reliable, 45(3)3--14, 45(3)179--192, 45(3)385--396, 45(6)448--459,
45(7)109--120, 46(8)1--2, 47(1)387--400, 47(1)521--532,
47(1)571--584, 47(3)147--156
-
reliably, 45(2)1--2
-
reliance, 45(5)203--212, 47(1)165--178
-
relied, 47(1)165--178
-
relieve, 45(5)343--344
-
Rely-Guarantee-based, 47(1)455--468
-
rely-guarantee-based, 47(1)455--468
-
rely/guarantee, 47(1)455--468
-
relying, 45(3)231--242, 45(3)257--270, 45(8)93--102, 46(8)81--90,
46(8)179--188
-
remainder, 45(5)223--232
-
remained, 45(5)79--90
-
remaining, 45(6)25--35, 45(6)233--243, 46(8)297--298, 46(12)71--82,
47(1)481--494
-
remapping, 45(6)86--97, 46(11)79--88
-
remarkable, 45(2)1--2
-
remedy, 45(7)13--24
-
reminiscent, 47(5)51--60
-
remote, 45(2)75--84, 45(5)331--332, 46(10)259--274
-
remotely, 46(2)73--82
-
removal, 45(8)31--40
-
remove, 45(2)177--186, 47(4)105--118, 47(5)51--60
-
removed, 47(1)481--494, 47(4)369--380
-
removes., 45(2)147--156
-
removing, 45(6)412--423, 46(6)425--436, 46(12)47--58, 47(1)481--494,
47(4)369--380, 47(5)51--60
-
Rémy, Didier, 47(1)361--372, see Cretin, Julien
-
Renau, Jose, 45(3)193--204
-
Renau, Jose, see Mesa-Martinez, Francisco Javier
-
Rendel, Tillmann, 45(11)1--12, 46(10)391--406, 46(10)805--824,
47(3)167--176
-
Rendel, Tillmann, see Erdweg, Sebastian,
see Kästner, Christian
-
Rendel:2010:ISD, 45(11)1--12
-
rendering, 47(6)1--12
-
rendezvous, 46(8)157--168
-
renewable, 47(4)185--198
-
rent, 46(11)79--88
-
reordering, 45(3)53--64, 47(1)455--468, 47(4)369--380
-
reorganize, 45(3)231--242
-
repa, 46(12)59--70
-
repair, 45(7)25--36
-
repeat, 47(3)185--186
-
repeatability, 47(5)149--152
-
repeatable, 47(5)149--152
-
repeated, 45(6)448--459, 47(1)387--400, 47(1)521--532
-
repeatedly, 45(3)167--178, 45(5)179--190
-
repeating, 45(3)39--52, 47(4)405--418
-
repetition, 47(4)405--418
-
replace, 45(4)85--94, 45(6)25--35, 46(2)93--102, 46(11)89--98
-
replaced, 45(6)279--291
-
replacement, 45(3)3--14, 45(4)163--172, 47(5)109--118
-
replacing, 45(2)157--166, 47(4)345--356
-
replay, record-, 45(7)13--24
-
replay-based, 45(7)13--24
-
replay., 45(7)13--24
-
replayed, 45(3)77--90, 45(7)13--24, 46(8)113--122
-
replaying, 45(3)77--90, 45(5)327--328, 47(4)15--26
-
replenishment, 45(3)243--256
-
replicas, 45(3)371--384
-
replicate, 45(7)157--166
-
replicated, 45(3)3--14, 45(6)210--220
-
replication, 45(3)53--64, 45(3)371--384, 45(5)355--356, 46(8)1--2,
47(4)67--78
-
replication-aware, 45(3)371--384
-
replication-based, 45(8)73--82
-
replication-copying, 45(6)146--159
-
reported, 45(6)255--268, 45(6)330--340, 46(6)283--294, 46(8)135--146,
47(3)93--94
-
reporting, 45(6)13--24, 46(8)135--146
-
repository, 47(5)139--148
-
Reppy, John, 45(9)93--104
-
Reppy, John, see Bergstrom, Lars
-
represent, 45(5)105--114, 45(6)363--375, 46(11)129--138, 47(4)405--418,
47(5)99--108
-
representable, 46(8)309--310
-
representative, 45(3)143--154, 45(5)191--202, 45(5)305--314,
47(4)319--332, 47(5)21--30, 47(5)129--138, 47(6)77--88
-
represented, 45(4)1--8, 46(2)83--92, 47(1)137--150, 47(1)495--508,
47(5)149--152
-
representing, 45(6)13--24, 46(12)35--46
-
reproduce, 45(3)77--90, 45(3)143--154, 45(3)155--166, 47(4)15--26,
47(4)239--250
-
reproduce, hard-to-, 45(6)255--268
-
reproducibility, 45(5)15--24, 45(5)327--328
-
reproducible, 45(5)327--328
-
reproducing, 45(7)13--24
-
reproduction, 45(3)155--166
-
Reps, Thomas, 46(3)251--264, 47(4)251--264
-
Reps, Thomas, see Zhang, Wei
-
required., 45(8)11--20
-
requirements, pre-, 45(10)848--864
-
requiring, 45(2)137--146, 45(3)77--90, 45(3)91--102, 45(5)37--46,
45(5)179--190, 45(5)315--324, 45(5)337--338, 45(6)316--329,
45(6)330--340, 45(6)424--435, 45(8)93--102, 46(8)47--56,
46(8)179--188, 46(8)235--246, 47(1)413--424, 47(1)557--570,
47(3)107--116, 47(4)67--78, 47(4)369--380, 47(4)381--392,
47(6)55--66
-
researcher, 45(3)193--204, 45(3)231--242, 45(8)113--120, 46(8)157--168,
47(1)59--72, 47(4)1--2, 47(4)145--158, 47(5)21--30
-
reserve, 45(3)231--242, 45(3)243--256, 46(11)89--98
-
reserved, 45(3)385--396
-
reside, 47(4)27--38, 47(4)171--184
-
resident, 47(5)41--50
-
residual, 46(2)167--176
-
resilience, 45(3)385--396, 45(4)153--162
-
resilient, 45(4)77--84
-
resistive, 45(3)3--14
-
resize, 45(5)245--256
-
resolution, 46(12)83--94, 47(6)35--44
-
resolve, 45(6)305--315, 46(8)297--298, 46(12)83--94, 47(1)373--386
-
resolved, 45(5)79--90, 45(8)63--72, 46(8)57--68, 47(1)85--96
-
resolving, 45(6)305--315, 45(8)63--72, 47(3)167--176, 47(4)369--380
-
resolving, conflict-, 46(2)13--22
-
resort, 45(3)53--64, 45(12)59--72, 47(6)55--66
-
resorting, 46(8)179--188
-
resource-based, 45(3)335--346, 46(11)65--76
-
resource-constrained, 46(2)73--82
-
Resource-sensitive, 47(1)309--322
-
resource-sharing, 45(3)103--116, 45(5)191--202
-
resource-usage, 47(1)309--322
-
Resourceable, 46(1)575--586
-
Respec, 45(3)77--90
-
respected, 47(1)337--348
-
respective, 45(2)157--166
-
respectively, 45(3)179--192, 45(3)271--284, 45(4)27--36, 45(5)127--136,
45(6)448--459, 46(8)25--34, 46(8)189--200, 47(4)105--118,
47(4)405--418, 47(5)41--50
-
respectively., 45(5)115--126
-
respond, 45(6)483--496
-
response, 45(2)85--94, 45(3)243--256, 46(11)79--88, 47(4)319--332
-
response, demand-, 47(4)185--198
-
responsible, 45(2)45--54, 45(4)67--76, 47(1)85--96, 47(4)225--238
-
responsive, 46(3)199--212, 47(4)199--212
-
responsively, 47(4)199--212
-
responsiveness, 45(6)471--482, 45(7)97--108, 47(4)199--212
-
rest, 45(2)45--54, 45(3)1--2, 45(3)243--256, 45(6)400--411,
46(8)179--188, 47(1)123--136
-
restarted, 46(8)189--200
-
restarting, 46(2)123--126
-
restore, 46(7)87--98
-
restrict, 45(5)137--146, 45(6)388--399, 46(12)95--106
-
restricted, 45(5)91--100, 46(8)47--56, 46(11)55--64, 46(12)95--106,
47(1)413--424, 47(3)137--146, 47(4)105--118, 47(5)51--60
-
restricting, 46(6)199--210, 47(1)361--372
-
restriction, 45(4)17--26, 45(6)388--399, 45(7)63--74, 47(1)123--136,
47(1)137--150, 47(3)107--116
-
restructuring, 45(5)103--104, 45(7)37--38, 47(1)481--494
-
result., 45(6)233--243
-
resume, 45(3)117--128
-
retain, 45(3)311--322, 45(8)31--40, 46(6)199--210
-
retaining, 45(2)3--4, 46(6)199--210, 46(6)425--436, 46(8)81--90
-
retarget, 45(7)13--24
-
retargetable, 45(4)9--16, 46(1)575--586
-
rethink, 46(7)39--50, 47(1)215--216
-
rethinking, 45(9)309--320, 46(3)291--304, 46(6)458--469, 47(4)291--304,
47(5)1--10
-
retiring, 46(5)31--40
-
retraining, 47(4)145--158
-
retroactive, 45(2)65--74
-
retrofit, 45(8)31--40
-
retrofitted, 45(7)121--132
-
retry, 45(3)77--90, 45(5)257--268
-
return, 45(6)36--49, 45(6)244--254, 45(6)279--291, 45(6)330--340,
45(7)121--132, 47(4)199--212
-
returned, 45(3)219--230
-
returning, 46(8)297--298
-
retyping, 47(1)361--372
-
Reus, Bernhard, 46(1)119--132
-
Reus, Bernhard, see Birkedal, Lars
-
reusability, 47(3)43--52
-
reusable, 45(2)5--14, 45(2)147--156, 45(5)103--104, 45(11)121--134,
46(8)201--212, 47(3)177--184
-
reusable., 45(2)147--156
-
Reuse-Aware, 45(4)163--172
-
reuse-aware, 45(4)163--172
-
reused, 45(4)163--172, 46(8)103--112, 46(8)189--200, 47(3)177--184
-
reusing, 46(2)23--32
-
Rev, 46(12)83--94
-
reveal, 45(3)179--192, 45(6)244--254, 46(8)267--276, 47(3)23--32,
47(3)117--126, 47(4)319--332, 47(4)369--380, 47(6)89--98
-
revealed, 46(8)179--188
-
revealing, 47(1)273--284
-
reverse, 45(2)95--98, 47(4)265--278
-
reversed, 47(4)239--250
-
reversible, 47(1)73--84
-
reverting, 46(11)79--88
-
review, 45(2)3--4, 45(2)177--186, 45(3)1--2
-
revised, 45(6)341--350, 47(1)509--520
-
revising, 45(6)483--496
-
revision, 45(10)691--707, 46(12)83--94
-
revisit, 47(4)291--304
-
revisited, 46(8)13--24, 46(11)11--20, 46(11)89--98
-
revolution, 46(3)319--332, 46(8)123--124, 47(4)319--332
-
revolutionary, 45(5)169--178
-
reweaving, 45(2)85--94, 45(2)95--98
-
rewoven, 45(2)85--94
-
rewriting, 45(2)1--2, 45(2)75--84, 46(7)227--238, 47(1)469--480
-
rewritten, 45(2)75--84
-
Rexford, Jennifer, 46(9)279--291, 47(1)215--216
-
Rexford, Jennifer, see Foster, Nate
-
Rexford:2012:PLP, 47(1)215--216
-
Reynolds, 46(4)84--96, 47(1)323--336
-
Reynolds, John C., 47(1)323--336
-
Reynolds, John C., see Reddy, Uday S.
-
RFID, 47(4)159--170
-
RFID-scale, 46(3)159--170, 47(4)159--170
-
RGSim, 47(1)455--468
-
Rhodium, 45(6)111--121
-
Ribbens, Calvin, 46(10)555--574
-
Ribbens, Calvin, see Pyla, Hari K.
-
Ribbons, 46(10)289--306
-
Ribeiro, Márcio, 47(3)23--32
-
Ribeiro:2012:IFD, 47(3)23--32
-
Ribichini, Andrea, 46(10)407--426
-
Ribichini, Andrea, see Demetrescu, Camil
-
rich, 45(2)147--156, 45(6)122--133, 45(6)412--423, 47(1)273--284,
47(3)1--2, 47(3)83--92
-
rich, feature-, 46(2)93--102, 47(5)1--10
-
Richard, 47(1)1--2
-
Richards, Gregor, 45(6)1--12, 46(10)677--694
-
Richards:2010:ADB, 45(6)1--12
-
Richards:2011:ACJ, 46(10)677--694
-
richness, 46(2)73--82
-
Ricken, Mathias, 45(6)400--411
-
Ricken, Mathias, see Westbrook, Edwin
-
right, 45(3)65--76, 45(12)43--58, 47(2)85--96, 47(3)137--146,
47(4)333--344, 47(6)45--54
-
rightfully, 45(3)1--2
-
rigid, 45(3)91--102, 47(5)71--78
-
rigidity, 47(1)273--284
-
rigorous, 47(1)545--556, 47(4)319--332
-
rigorously, 47(6)55--66
-
Rinard, Martin, 45(10)806--821, 46(3)199--212, 46(6)38--49,
47(1)441--454, 47(4)199--212
-
Rinard, Martin, see Hawkins, Peter,
see Hoffmann, Henry,
see Zhu, Zeyuan Allen
-
Rinard, Martin C., 46(6)528--541
-
Rinard, Martin C., see Kim, Deokhwan
-
Rinard:2010:PSA, 45(10)806--821
-
Rinetzky, N., 45(1)31--42
-
Rinetzky, N., see Attiya, H.
-
ripe, 47(1)215--216
-
rise, 47(1)137--150, 47(1)495--508
-
rising, 45(8)1--10
-
risk, 45(7)25--36
-
risky, 47(3)33--42
-
risky, less-, 45(5)103--104
-
Rival, Xavier, 46(1)173--186
-
Rival:2011:CCA, 46(1)173--186
-
RNFTL, 45(4)163--172
-
roadmap, 46(12)47--58
-
Roberson, Michael, 45(10)4--21
-
Roberson:2010:EMG, 45(10)4--21
-
Robin, 46(1)473--474
-
robot, 46(2)157--166, 47(3)73--82
-
robotic, 46(2)157--166, 47(3)73--82
-
robust, 45(6)221--232, 45(6)448--459, 45(12)59--72, 47(4)369--380,
47(6)55--66
-
robustness, 45(2)1--2, 45(3)117--128, 45(5)341--342, 45(12)59--72,
46(11)21--32
-
Rock, 47(4)39--52
-
Rodarmor, Casey, 45(1)339--352
-
Rodarmor, Casey, see Bodik, Rastislav
-
Roitzsch, Michael, 45(7)3--12
-
Roitzsch, Michael, see Pohle, Aaron
-
role, 45(2)35--44, 45(3)1--2, 45(6)292--304, 46(2)3--12, 46(11)33--42,
47(1)215--216, 47(1)285--296, 47(2)97--106, 47(3)185--186
-
role-based, 45(1)431--444
-
RoleCast, 46(10)1069--1084
-
rollback, 45(6)50--61, 46(9)58--68, 46(12)83--94
-
rollbacks., 45(6)50--61
-
rolling, 45(2)3--4
-
Romanescu, Bogdan F., 45(3)323--334
-
Romanescu:2010:SDV, 45(3)323--334
-
Romein, John W., 45(5)169--178
-
Romein:2010:LCI, 45(5)169--178
-
Rompf, Tiark, 45(10)835--847, 46(2)127--136
-
Rompf, Tiark, see Chafi, Hassan
-
Rompf:2011:LMS, 46(2)127--136
-
Rondon, Patrick, 47(6)45--54
-
Rondon, Patrick, see Kawaguchi, Ming
-
Rondon, Patrick M., 47(1)231--244
-
Rondon, Patrick M., see Chugh, Ravi
-
Rondon, Patrick Maxim, 45(1)131--144
-
Rondon:2010:LLL, 45(1)131--144
-
room, 45(3)219--230, 45(3)311--322, 45(5)103--104
-
root, 45(3)53--64, 45(3)143--154, 47(4)3--14
-
rootkits, 47(4)279--290
-
Roscoe, Timothy, 46(3)119--132, 47(4)119--132
-
Roscoe, Timothy, see Schüpbach, Adrian
-
Rosenan, Boaz, 46(10)733--752
-
Rosenan, Boaz, see Lorenz, David H.
-
Rosenmüller, Marko, 47(3)3--12
-
Rosenmuller:2012:TDS, 47(3)3--12
-
Rossbach, Christopher J., 45(5)47--56
-
Rossbach:2010:TPA, 45(5)47--56
-
Rossberg, Andreas, 45(1)185--198
-
Rossberg, Andreas, see Dreyer, Derek
-
Rosu, Grigore, 46(6)415--424, 47(1)533--544
-
Rosu, Grigore, see Ellison, Chucky,
see Jin, Dongyun
-
Roth, Mark, 46(6)640--652
-
Roth, Mark, see Best, Micah J.
-
Rothamel, Tom, 45(12)27--42
-
Rothamel, Tom, see Gorbovitski, Michael
-
roughly, 45(6)233--243, 47(1)137--150
-
round, 45(10)109--124, 47(1)387--400, 47(3)185--186
-
rounding, 45(4)1--8, 45(6)233--243
-
Rountev, Atanas, 45(6)160--173, 45(6)174--186, 46(6)270--282
-
Rountev, Atanas, see Xu, Guoqing
-
route, 45(3)15--28
-
router, 45(3)15--28, 45(4)77--84, 47(1)215--216
-
routine, 45(5)223--232, 46(8)247--256, 47(6)89--98
-
routinely, 45(7)63--74
-
routing, 45(3)15--28, 45(3)231--242, 45(4)37--46, 45(4)85--94,
45(10)62--73, 47(1)215--216
-
row, 45(3)219--230, 45(4)17--26, 45(5)115--126
-
row-buffer, 45(3)219--230
-
Rowcliffe, Wayne, 45(10)790--805
-
Rowcliffe, Wayne, see Rajan, Hridesh
-
Rox, Jonas, 45(4)37--46
-
Rox, Jonas, see Perathoner, Simon
-
Roy, Amitabha, 46(7)227--238, 46(8)291--292
-
Roy, Indrajit, 46(3)279--290, 47(4)279--290
-
Roy, Indrajit, see Hofmann, Owen S.
-
Roy:2011:HBR, 46(7)227--238
-
Roy:2011:WAU, 46(8)291--292
-
Roychoudhury, Abhik, 46(5)11--20
-
Roychoudhury, Abhik, see Chattopadhyay, Sudipta
-
RPython, 47(2)25--36
-
RTA, 47(5)11--20
-
RTL, 45(2)1--2, 45(4)47--56
-
rtNCAS, 46(8)301--302
-
RTSs, 47(1)59--72
-
RTSs*, 47(1)59--72
-
Rubber, 45(10)901--917
-
RUBiS, 45(3)103--116
-
rubric, 47(4)3--14
-
ruby, 45(7)121--132, 45(12)15--26, 46(1)459--472
-
rudimentary, 47(1)401--412
-
Ruemmer, Philipp, 46(8)311--312
-
Ruemmer, Philipp, see Donaldson, Alastair F.
-
RuggedJ, 45(2)75--84
-
ruler-front, 46(2)43--52
-
rules, proof-, 45(6)292--304
-
Runciman, Colin, 45(9)75--86
-
Runciman, Colin, see Naylor, Matthew
-
Rungta, Neha, 46(6)504--515, 46(8)307--308
-
Rungta, Neha, see Fischer, Topher,
see Person, Suzette
-
running, co-, 45(5)203--212
-
running, long-, 45(6)174--186, 46(3)159--170, 47(4)159--170
-
runtime, compiler-, 45(7)39--50
-
runtime-specific, 45(7)39--50
-
runtime-system, 45(7)39--50, 47(2)85--96
-
rural, 45(3)1--2
-
Rus, Silvius, 46(6)86--97
-
Rus, Silvius, see Jung, Changhee
-
Russo, Alejandro, 46(12)95--106
-
Russo, Alejandro, see Stefan, Deian
-
Russo, Claudio V., 46(10)575--594
-
Russo, Claudio V., see Turon, Aaron J.
-
Rutten, Eric, 45(4)57--66
-
Rutten, Eric, see Delaval, Gwenaël
-
Ruwase, Olatunji, 45(6)25--35
-
Ruwase:2010:DLE, 45(6)25--35
-
RVM, 45(8)103--112
-
Rybalchenko, Andrey, 46(1)331--344, 46(6)556--566
-
Rybalchenko, Andrey, see Gupta, Ashutosh,
see Pérez, Juan Antonio Navarro
-
Rybalchenko, Podelski-, 47(1)245--258
-
Ryssel, Uwe, 46(2)23--32
-
Ryssel:2011:AVP, 46(2)23--32
-
Ryu, Soojung, 46(5)151--160
-
Ryu, Soojung, see Jang, Choonki
-
Ryu, Sukyoung, 46(10)973--992
-
Ryu, Sukyoung, see Allen, Eric
-
Ryzhyk, Leonid, 46(3)133--144, 47(4)133--144
-
Ryzhyk:2011:IDD, 46(3)133--144
-
Ryzhyk:2012:IDD, 47(4)133--144