Last update: Thu Nov 9 02:49:22 MST 2023
Return to index directory
R
-
R6RS, 41(8)6--9
-
Rabbah, Rodric, 40(6)281--294, 40(7)115--126
-
Rabbah, Rodric, see Sermulins, Janis,
see Solar-Lezama, Armando
-
Rabbah, Rodric M., 37(7)28--37, 39(11)189--198
-
Rabbah, Rodric M., see Palem, Krishna V.
-
Rabbah:2004:COP, 39(11)189--198
-
race-free, 36(11)56--69
-
Radenski, Atanas, 40(8)12--18
-
Radenski, Atanas, see Furlong, Jeff
-
radical, 41(1)1--1
-
radio, 39(10)112--115
-
radix-conversion, 25(6)112--126, 39(4)372--389
-
Raghavachari, Mukund, 35(10)178--187
-
Raghavachari, Mukund, see Harrison, William
-
Raghuraman, Anand, 39(11)177--188
-
Raghuraman, Anand, see Zhou, Pin
-
Rahul, S. P., 36(3)142--154
-
Rahul, S. P., see Necula, George C.
-
Rai, Raja, Vallée-, 35(10)264--280
-
RAIL, 39(10)210--211
-
raise, 40(6)261--268, 41(1)218--231, 41(6)341--353
-
raised, 41(4)30--35
-
raising, 38(9)27--38
-
Rajagopalan, Mohan, 37(5)106--116
-
Rajagopalan, Subramanian, 39(7)47--56
-
Rajagopalan, Subramanian, see Qin, Wei
-
Rajagopalan:2002:PDO, 37(5)106--116
-
Rajamani, Sriram K., 36(5)203--213, 37(1)1--3, 37(1)45--57,
38(1)97--105, 39(1)245--255
-
Rajamani, Sriram K., see Ball, Thomas,
see Chaki, Sagar, \see{Qadeer, Shaz
-
Rajan, V. T., 36(5)92--103, 38(1)285--298, 38(7)81--92, 40(10)297--311
-
Rajan, V. T., see Arnold, Matthew,
see Bacon, David F.
-
Rajkumar, Raj, 38(7)133--143
-
Rajkumar, Raj, see Niz, Dionisio de
-
Rajopadhye, S., 41(1)30--41
-
Rajopadhye, S., see Gautam
-
Rajwar, Ravi, 37(10)5--17, 39(11)107--119
-
Rajwar, Ravi, see Srinivasan, Srikanth T.
-
Rajwar:2002:TLF, 37(10)5--17
-
RAM, 41(7)44--53
-
ram, 41(7)22--33
-
Ramakrishnan, Naren, 37(3)119--130
-
Ramakrishnan:2002:MII, 37(3)119--130
-
Ramalingam, G., 35(5)233--241, 37(5)83--94, 39(6)25--34
-
Ramalingam, G., see Yahav, Eran
-
Ramalingam:2000:LDD, 35(5)233--241
-
Ramalingam:2002:DSP, 37(5)83--94
-
Raman, Easwaran, 41(6)61--71
-
Raman, Easwaran, see Triantafyllis, Spyridon
-
Ramanujam, J., 37(5)177--186
-
Ramanujam, J., see Cociorva, Daniel
-
Ramanujam, Jagannathan, 36(8)128--137
-
Ramanujam, Jagannathan, see Kadayif, Ismail
-
Ramos, J. Guadalupe, 40(9)228--239
-
Ramos:2005:FND, 40(9)228--239
-
Ramsey, Normal, 37(4)1--3
-
Ramsey, Norman, 35(3)73--83, 35(5)285--298, 37(1)154--165,
39(6)277--288, 39(9)1--1, 40(9)27--40, 41(1)409--421
-
Ramsey, Norman, see Olinsky, Reuben,
see Smith, Michael D.
-
Ramsey:2000:IPC, 35(3)73--83
-
Ramsey:2000:SIL, 35(5)285--298
-
Ramsey:2002:LSP, 37(4)1--3
-
Ramsey:2002:SLC, 37(1)154--165
-
Ramsey:2004:CCI, 39(9)1--1
-
Ramsey:2005:ELS, 40(9)27--40
-
ran, 37(2)23--26, 41(6)283--294
-
Randall, Keith, 37(5)304--314
-
Randall, Keith, see Joshi, Rajeev
-
Randall, Keith H., 35(5)334--344, 36(5)214--220
-
Randall, Keith H., see Aggarwal, Aneesh,
see Ghemawat, Sanjay
-
random, 35(9)268--279, 38(1)74--84, 39(1)342--352, 40(1)324--337,
40(6)213--223, 41(6)84--95, 41(6)158--168
-
RandomAccess, 41(6)108--117
-
randomization, 41(6)158--168
-
randomizes, 41(6)158--168
-
Ranganath, Venkatesh, 38(10)241--242
-
Ranganath, Venkatesh, see Hatcliff, John
-
range, 39(4)58--65, 39(4)372--389, 41(1)1--1, 41(1)409--421, 41(4)36--41,
41(6)96--107, 41(6)132--143, 41(6)158--168, 41(6)216--227,
41(6)239--251, 41(7)189--198
-
range, Live-, 41(6)216--227
-
range, live-, 37(5)25--32, 41(6)216--227
-
ranged, 41(6)72--83
-
ranging, 41(1)295--308, 41(6)169--180
-
ranking, 35(3)59--64
-
Ranta, Aarne, 39(9)213--223
-
Ranta, Aarne, see Forsberg, Markus
-
rapid, 36(9)64--73, 37(7)18--27, 41(7)199--208
-
Rashid, Awais, 37(2)36--44
-
Rashid:2002:WAP, 37(2)36--44
-
rate, 37(7)12--17, 40(7)193--202, 41(1)180--193
-
rate-monotonic, 41(7)153--162
-
rather, 41(1)1--1, 41(1)295--308, 41(1)359--371, 41(5)11--20,
41(6)61--71, 41(7)173--181, 41(9)13--25, 41(9)26--37
-
ratio, 39(11)177--188
-
rational, 38(11)241--254
-
rats, 41(6)38--51
-
Rauchwerger, Lawrence, 38(10)230--240
-
Rauchwerger, Lawrence, see Saunders, Steven
-
Ravindra, D. V., 35(6)37--46
-
Ravindra, D. V., see Srikant, Y. N.
-
Rawitz, 41(1)16--29
-
Rawitz, Dror, 37(1)101--112
-
Rawitz, Dror, see Petrank, Erez
-
Rayside, Derek, 35(10)337--353
-
Rayside:2000:AUO, 35(10)337--353
-
Razafimahefa, Chrislain, 35(10)264--280, 35(10)367--381
-
Razafimahefa, Chrislain, see Bryce, Ciarán,
see Sundaresan, Vijay
-
re-engineering, 39(10)25--26
-
re-execute, 41(9)136--147
-
re-executing, 41(9)136--147
-
re-execution, 39(11)120--132, 41(9)136--147
-
re-use, 38(10)144--154
-
reach, 41(1)383--396, 41(6)181--192, 41(6)376--386
-
reachability, 39(6)207--218, 41(1)115--126, 41(6)415--426
-
reachability, CFL-, 36(3)54--66
-
reached, 41(6)204--215
-
react, 41(6)415--426
-
reactive, 35(5)242--252, 37(4)27--28, 40(9)54--65, 41(7)113--124
-
read, 25(6)92--101, 35(11)168--177, 39(4)360--371, 41(6)14--25,
41(6)158--168, 41(7)173--181
-
read-only, 41(7)199--208
-
readability, 41(7)113--124
-
readable, 41(1)55--66
-
reading, 41(7)173--181
-
real, 35(10)93--104, 37(8)35--44, 38(5)232--244, 39(4)429--441,
39(10)15--15, 41(1)16--29, 41(1)55--66, 41(7)103--112,
41(7)182--188, 41(7)199--208
-
real-life, 41(7)1--1
-
Real-Time, 35(11)37--48, 36(5)125--136, 36(8)20--28, 36(8)214--222,
41(6)283--294
-
real-world, 41(1)372--382, 41(6)38--51, 41(7)1--1
-
realistic, 38(5)155--167, 41(6)354--363
-
reality, 39(10)138--140
-
realization, 40(5)18--27
-
realize, 41(6)38--51
-
reallocate, 41(9)13--25
-
realm, 41(1)359--371
-
reason, 41(1)206--217, 41(6)401--414, 41(9)124--135
-
reasonable, 41(7)44--53, 41(7)83--92
-
reasonably, 40(6)261--268, 41(4)36--41, 41(6)96--107
-
reasoning, 39(1)220--231, 41(1)1--1, 41(1)91--102, 41(1)115--126,
41(1)141--152, 41(1)206--217, 41(1)309--319, 41(1)320--333,
41(1)383--396, 41(6)401--414, 41(9)111--121, 41(9)124--135
-
Reay, Mark, 38(11)224--240
-
Reay, Mark, see Millstein, Todd
-
Rebernak, Damijan, 40(8)19--28
-
Rebernak, Damijan, see Greiner, Saso
-
Rebinding, 38(9)99--110
-
recap, 41(4)3--14, 41(8)10--14
-
receive, 41(9)124--135
-
received, 41(2)25--28
-
recent, 41(1)1--1, 41(1)153--165, 41(2)25--28, 41(3)20--29, 41(6)38--51,
41(6)96--107, 41(9)50--61
-
recently, 41(1)16--29, 41(1)55--66, 41(6)26--37, 41(6)272--282
-
recipe, 40(3)4--11
-
reclaim, 41(6)364--375
-
reclaiming, 41(6)364--375
-
reclamation, 41(6)364--375
-
recognition, 41(4)16--23
-
recognition-based, 39(1)111--122
-
recognized, 41(1)346--358
-
recomputing, 41(6)96--107
-
reconciled, 41(6)14--25
-
reconfigurable, 36(12)20--34, 38(7)183--188, 38(7)199--208,
39(7)249--256, 41(7)93--102, 41(7)182--188
-
reconfiguration, 41(7)93--102
-
Reconsidering, 37(11)1--12
-
reconstruction, 37(7)46--55, 40(6)201--212
-
record, 41(1)257--268, 41(5)30--38
-
recording, 41(1)2--15
-
recover, 41(6)1--13, 41(6)61--71, 41(9)38--49
-
recovered, 39(4)372--389, 41(1)309--319
-
recurrence, 36(10)253--264, 41(1)168--179
-
recursion, 35(5)169--181, 39(1)293--305, 40(1)63--74, 40(5)45--54,
41(1)168--179, 41(5)46--54, 41(9)74--86
-
recursion, left-, 41(5)46--54
-
recursive, 35(2)29--35, 35(9)174--185, 35(9)221--231, 36(10)50--61,
36(12)70--76, 37(3)108--118, 38(1)224--235, 38(3)98--108,
39(1)77--88, 39(9)150--161, 40(9)41--53, 41(4)30--35, 41(6)38--51,
41(9)50--61, 41(9)74--86, 41(9)87--98
-
recursive, left-, 41(5)46--54
-
recursive, tail-, 41(7)125--134
-
Recycle, 36(1)101--110
-
Reddi, Vijay Janapa, 40(6)190--200
-
Reddi, Vijay Janapa, see Luk, Chi-Keung
-
redefined, 41(1)270--282
-
redesign, 39(11)199--210
-
redirecting, 41(6)14--25
-
redirects, 41(6)252--262
-
redistribution, 36(7)62--71
-
Redstone, Joshua A., 35(11)245--256
-
Redstone:2000:AOS, 35(11)245--256
-
reduced, 41(4)24--29, 41(6)52--60, 41(6)364--375, 41(6)376--386,
41(7)12--21, 41(7)64--71, 41(7)163--172, 41(9)13--25
-
reducible, 38(1)106--114
-
reducing, 36(1)59--64, 36(5)168--179, 38_2s_119_131, 41(1)194--205,
41(6)169--180, 41(6)193--203, 41(6)263--271, 41(6)364--375,
41(7)64--71
-
reduction, 37(9)235--246, 38(5)38--48, 40(1)110--121, 40(4)10--19,
41(1)16--29, 41(1)30--41, 41(4)24--29, 41(7)44--53, 41(7)135--144,
41(7)173--181, 41(9)99--110
-
reduction-preserving, 41(9)26--37
-
redundancy, 37(8)53--65, 39(7)221--230, 39(8)49--53, 41(6)181--192
-
redundant, 38_2s_97_107, 39(4)596--611, 39(10)58--59, 39(10)312--313,
41(3)40--48, 41(6)72--83, 41(6)263--271
-
reeled, 37(2)23--26
-
Rees, Jonathan, 39(4)175--191
-
Rees, Jonathan, see Kranz, David
-
Reeuwijk, Kees van, 36(8)56--63
-
Reeuwijk, Kees van, see Cadot, Sidney
-
Reeves, Steven, 40(7)69--77
-
Reeves, Steven, see Cooper, Keith D.
-
Reeves, Steven W., 37(5)25--32, 39(7)231--239
-
Reeves, Steven W., see Almagor, L.,
see Budimlic, Zoran
-
refactoring, 35(10)166--177, 38(11)13--26, 39(10)2--3, 39(10)8--8,
39(10)202--203, 40(10)265--279
-
reference, memory-, 38(7)51--58
-
referenceability, 41(1)359--371
-
Referentially, 36(5)137--147
-
refinement, 38_2s_65_75, 38(9)213--225, 41(1)245--256, 41(6)387--400
-
refinement-based, 41(6)387--400
-
Refinement-violation, 40(6)27--37
-
refining, 39(10)60--62, 39(10)318--319, 41(6)387--400
-
reflected, 41(9)111--121
-
reflection, 35(1)67--80, 35(3)21--24, 35(12)14--18, 38(11)27--46,
39(9)244--255
-
reflective, 35(10)146--165, 37(8)35--44, 37(11)68--82, 38(6)40--49,
39(10)216--217, 39(10)224--225
-
reflexive, 35(9)82--93
-
reformed, 41(8)29--33
-
regardless, 39(6)35--46, 41(5)39--45, 41(6)61--71
-
Regehr, John, 39(11)133--143, 40(7)50--58, 41(7)34--43, 41(7)44--53
-
Regehr, John, see Cooprider, Nathan
-
Regehr:2004:HSA, 39(11)133--143
-
Regehr:2005:PIO, 40(7)50--58
-
Regehr:2006:DAT, 41(7)34--43
-
region, 35(5)182--195, 36(3)155--165, 36(5)70--80, 36(10)181--192,
37(5)141--152, 38_2s_132_142, 38(3)50--61, 39(6)243--254,
39(9)103--114, 41(1)91--102, 41(6)14--25, 41(6)61--71, 41(6)84--95,
41(6)144--157, 41(6)216--227, 41(6)364--375, 41(9)136--147
-
Region-Based, 36(1)25--34
-
region-based, 37(5)282--293, 38_2s_233_244, 38(3)123--134,
38(5)300--311, 38(5)312--323, 38(5)324--337, 40(1)310--323,
41(6)61--71
-
Régis-Gianas, Yann, 41(1)232--244,
see Pottier, François
-
register-allocation, 37(7)149--154
-
register-reuse, 36(2)47--54
-
regression, 36(11)312--326
-
regrouping, 39(6)255--266
-
regular, 35(9)11--22, 36(3)67--80, 36(9)81--85, 37(5)210--221,
38(9)65--77, 39(6)219--230, 39(9)67--78, 41(1)103--114, 41(4)16--23,
41(6)252--262
-
Rehof, Jakob, 35(5)253--263, 36(3)54--66, 37(1)45--57, 39(1)245--255
-
Rehof, Jakob, see Chaki, Sagar,
see Fähndrich, Manuel,
see Qadeer, Shaz
-
Rehof:2001:TBF, 36(3)54--66
-
Reichwein, James, 35(1)25--38
-
Reichwein:2000:SSI, 35(1)25--38
-
Reid, Alastair, 39(11)133--143
-
Reid, Alastair, see Regehr, John
-
Reid, John, 39(8)31--38
-
Reid:2004:OF, 39(8)31--38
-
reification, 38(11)27--46
-
Reimer, Darrell, 39(10)294--304
-
Reimer:2004:VSP, 39(10)294--304
-
reimplementation, 41(1)283--294
-
Reinhardt, Steve, 35(11)129--138
-
Reinhardt, Steve, see Flautner, Krisztián
-
Reinholtz, Kirk, 35(2)25--28
-
Reinholtz, William K., 39(10)268--274
-
Reinholtz, William K., see Dvorak, Daniel L.
-
Reinholtz:2000:JWF, 35(2)25--28
-
Reinholtz:2000:TCJ, 35(2)25--28
-
reinstating, 41(9)26--37
-
Reis, Gabriel Dos, 41(1)295--308
-
Reis, George A., 41(9)38--49
-
Reis, George A., see Walker, David
-
Reis:2006:SCC, 41(1)295--308
-
relate, 41(1)206--217, 41(6)341--353
-
related, 36(5)214--220, 41(1)206--217, 41(1)295--308, 41(1)383--396,
41(6)118--131, 41(6)181--192, 41(6)364--375, 41(8)34--43
-
related, Concurrency-, 41(1)334--345
-
related, integrity-, 41(1)67--78
-
relating, 39(9)54--65, 41(7)72--82
-
relation, 41(1)16--29, 41(1)67--78, 41(1)103--114, 41(1)141--152,
41(1)206--217, 41(1)320--333
-
relational, 35(12)51--61, 39(1)14--25, 39(6)158--169, 40(10)385--402,
41(1)2--15, 41(1)55--66, 41(4)36--41
-
relationship, 41(3)40--48, 41(6)320--331, 41(6)341--353, 41(7)54--63,
41(7)182--188
-
relative, 41(1)67--78, 41(1)168--179
-
relatively, 41(1)67--78, 41(7)135--144
-
relaxation, 41(1)180--193, 41(6)204--215
-
relaxed, 38(11)224--240, 40(1)158--170, 41(1)180--193
-
release, 41(6)72--83
-
released, 41(6)84--95, 41(9)1--12
-
relevant, 41(1)91--102, 41(8)34--43
-
reliability, 37(10)184--196, 39(11)z--99999999, 41(4)30--35, 41(7)1--1
-
reliable, 35(11)71--81, 35(11)168--177, 40(2)27--32, 41(9)38--49
-
relieving, 41(1)346--358
-
relocation, 41(7)93--102
-
rely, 39(6)35--46, 41(1)346--358, 41(6)272--282, 41(7)54--63
-
rely-guarantee, 41(9)123--123
-
remain, 41(1)269--269
-
remaining, 41(7)83--92
-
remapping, 37(7)28--37, 38(10)155--166
-
remark, 36(9)74--76
-
remarkably, 41(1)55--66
-
rematerialization, 41(6)204--215
-
reminiscence, 38(12)2--2
-
remodularization, 37(11)52--67
-
remote, 35(7)32--40, 38(5)141--154, 41(2)8--17, 41(6)108--117,
41(9)38--49
-
removal, 35(5)208--218, 37(4)32--41, 37(11)191--210, 39(4)596--611
-
remove, 41(1)168--179
-
removed, 41(7)12--21, 41(7)103--112
-
removing, 39(10)58--59, 39(10)312--313, 41(1)283--294
-
Rémy, Didier, 38(9)27--38, 40(9)130--143,
see Le Botlan, Didier
-
Remy:2005:SPT, 40(9)130--143
-
Ren, Delin, 37(12)88--97
-
Ren, Delin, see Erwig, Martin
-
Ren, Gang, 38(5)63--76, 41(6)118--131
-
Ren, Gang, see Yotov, Kamen
-
Ren:2006:ODP, 41(6)118--131
-
Renau, Jose, 38(10)49--60
-
Renau, Jose, see Fraguela, Basilio B.
-
Rencuzogullari, Umit, 36(7)72--81
-
Rencuzogullari:2001:DAA, 36(7)72--81
-
rendezvous, 39(2)18--25, 41(9)124--135
-
renewal-older-first, 37(9)247--258
-
reordering, 38(5)91--102, 41(6)252--262
-
reorganization, 41(6)118--131, 41(6)132--143, 41(6)332--340
-
reorganized, 41(6)132--143
-
reorganizes, 41(6)332--340
-
repair, 38(11)78--95, 40(4)47--50
-
repaired, 41(9)136--147
-
repeat, 41(6)252--262
-
repeated, 41(4)42--49
-
repeatedly, 41(6)14--25
-
replace, 41(6)1--13, 41(6)181--192, 41(7)54--63
-
replaced, 41(4)16--23
-
replacing, 41(9)26--37
-
replica, 41(6)158--168
-
replicate, 41(9)38--49
-
replicated, 41(6)158--168
-
replication, 36(7)53--61, 41(6)158--168, 41(7)199--208
-
report, 35(2)9--9, 35(3)16--17, 35(3)18--19, 35(3)25--30, 35(6)21--24,
35(8)15--17, 35(12)19--21, 36(6)23--25, 37(2)14--19, 37(4)17--20,
37(6)14--17, 37(8)6--8, 37(12)9--13, 38(12)1--1, 39(3)z--z,
39(12)z--z, 40(11)4--16, 41(1)42--54, 41(4)3--14, 41(4)24--29,
41(8)6--9, 41(8)10--14
-
reported, 25(6)112--126
-
reporting, 41(1)2--15, 41(6)308--319
-
repository, 40(10)297--311
-
Reppy, John, 36(5)274--285
-
Reppy, John, see Marlow, Simon
-
represent, 41(2)29--33, 41(3)10--19, 41(5)39--45, 41(6)204--215,
41(9)13--25, 41(9)99--110
-
representation, 25(6)112--126, 36(5)137--147, 36(5)180--190,
36(5)191--202, 36(10)14--25, 37(1)166--177, 38(2)12--18,
38(9)275--286, 39(4)360--371, 39(4)372--389, 39(5)48--57,
39(10)13--14, 40(9)168--179, 40(11)29--36, 41(1)2--15,
41(1)359--371, 41(1)397--408, 41(6)118--131, 41(6)193--203
-
representing, 36(10)1--1, 36(12)77--83, 38(10)191--202, 41(1)115--126,
41(2)8--17
-
Reprint, 39(4)360--371, 39(4)372--389
-
Reps, Thomas, 35(5)70--82, 39(4)229--243, 40(1)296--309, 40(1)338--350
-
Reps, Thomas, see Gopan, Denis,
see Horwitz, Susan, \see{Rinetzky, Noam,
see Xu, Zhichen
-
request, 39(11)37--47, 41(1)283--294
-
required, 25(6)112--126, 35(11)168--177, 39(4)372--389, 41(1)55--66,
41(1)153--165, 41(1)168--179, 41(1)334--345, 41(3)10--19,
41(4)16--23, 41(6)52--60, 41(6)158--168, 41(6)169--180,
41(6)376--386, 41(6)387--400, 41(7)103--112, 41(7)135--144,
41(7)182--188
-
requirement, 39(10)247--252, 40(2)41--50, 40(3)40--48, 41(1)180--193,
41(1)269--269, 41(3)10--19, 41(3)20--29, 41(6)272--282,
41(6)341--353, 41(7)72--82, 41(7)135--144, 41(7)182--188,
41(8)34--43
-
requiring, 39(6)35--46, 41(6)14--25, 41(6)96--107, 41(6)158--168,
41(6)283--294, 41(7)2--11
-
research, 37(10)1--1, 38(6)16--22, 39(10)20--21, 41(6)38--51,
41(6)354--363, 41(7)64--71, 41(7)182--188, 41(7)199--208
-
resemble, 41(1)270--282
-
reservation, 37(11)130--141, 41(7)173--181
-
reset, 37(3)19--30, 37(9)271--282
-
resilience, 41(6)158--168
-
Resistant, 35(11)168--177
-
resistant, Tamper-, 38(7)209--219
-
resistant, tamper-, 35(11)168--177
-
resolution, 35(10)264--280
-
resort, 41(1)320--333, 41(6)283--294
-
resorting, 41(6)61--71
-
resource, 36(7)72--81, 36(11)139--155, 37(1)331--342, 37(10)123--132,
38(3)50--61, 38(10)216--229, 41(1)180--193, 41(6)228--238,
41(7)72--82, 41(7)93--102, 41(7)189--198, 41(7)199--208,
41(9)13--25
-
resource-constrained, 39(7)155--164, 39(7)240--248, 40(6)249--260
-
respect, 39(6)35--46, 41(1)180--193, 41(1)218--231, 41(6)341--353
-
respectively, 41(2)8--17, 41(6)415--426
-
response, 36(4)3--4
-
responsibility-based, 39(10)4--5
-
responsible, 41(6)169--180
-
responsiveness, 37(5)294--303
-
rest, 41(6)283--294
-
restarting, 41(6)72--83
-
restate, 41(7)83--92
-
restrict, 41(1)168--179, 41(1)309--319
-
restricted, 41(9)111--121
-
restricted, size-, 41(1)168--179
-
restricting, time-, 41(1)168--179
-
restriction, 41(1)1--1, 41(1)359--371
-
restructure, 41(8)29--33
-
restructuring, 36(1)167--177, 41(6)252--262, 41(8)29--33
-
resultant, 39(4)26--29
-
resulting, 40(6)261--268, 41(1)30--41, 41(1)245--256, 41(6)38--51,
41(6)252--262, 41(7)34--43, 41(7)153--162
-
resume, 41(7)12--21
-
resumption, 41(1)283--294
-
retain, 41(1)346--358, 41(6)364--375
-
retaining, 41(1)320--333, 41(1)346--358, 41(6)169--180
-
retargetable, 37(6)38--44, 39(7)182--191, 39(7)202--210, 41(7)145--152
-
retargeting, 41(6)228--238
-
Retert, William, 40(1)283--295
-
Retert, William, see Boyland, John Tang
-
rethink, 41(1)269--269
-
retrieval, 39(10)43--44
-
retrieve, 41(1)372--382
-
retrofitting, 37(1)128--139
-
retrospect, 39(4)257--269
-
retrospective, 25(6)112--126, 39(4)295--312, 39(4)360--371,
39(4)372--389, 39(4)656--669, 41(4)3--14, 41(8)10--14
-
retry, 41(6)1--13
-
return, 41(1)153--165, 41(6)401--414, 41(8)21--28
-
return, Multi-, 39(9)79--89
-
return, multi-, 41(6)401--414
-
returned, 41(1)2--15
-
returning, 41(1)2--15
-
reusability, 41(5)30--38
-
reusable, 39(10)154--155, 39(10)322--323, 41(6)272--282
-
reuse, 35(11)222--233, 36(6)50--59, 37(11)275--291, 38(5)245--257,
38(8)60--66, 38(12)76--96, 39(6)195--206, 39(7)249--256,
39(10)264--267, 41(1)30--41, 41(1)194--205, 41(4)42--49,
41(6)132--143, 41(7)34--43, 41(9)87--98
-
reuse, register-, 36(2)47--54
-
reused, 41(1)103--114
-
reusing, 41(1)194--205
-
reveal, 41(7)163--172
-
revealed, 25(6)112--126, 35(9)221--231
-
reverse, 37(9)14--25, 39(10)326--327
-
reverse-engineering, 41(6)228--238
-
reverse-engineers, 35(7)12--22
-
reversible, 38(9)1--1
-
reverted, 41(9)136--147
-
review, 40(6)261--268, 41(6)272--282, 41(8)10--14
-
revision, 41(7)113--124
-
revisited, 38(11)255--268, 39(6)145--157, 39(10)204--205, 39(12)11--16,
40(1)14--25
-
revisiting, 40(5)8--17
-
revolve, 41(1)1--1
-
rewriting, 36(5)148--155, 37(12)76--87, 41(8)34--43
-
rewritten, 41(7)2--11
-
Reynolds, 41(1)320--333
-
Reynolds, John C., 39(1)220--231, 39(1)268--280
-
Reynolds, John C., see Birkedal, Lars,
see O'Hearn, Peter W.
-
RF, 41(7)173--181
-
Rhea, Sean, 35(11)190--201
-
Rhea, Sean, see Kubiatowicz, John
-
Rhee, Junghwan, 40(6)201--212
-
Rhee, Junghwan, see Ayers, Andrew
-
Rheinheimer, Leticia R., 39(10)214--215
-
Rheinheimer:2004:WAB, 39(10)214--215
-
Rice, Erika, 40(1)364--377
-
Rice, Erika, see Lerner, Sorin
-
rich, 41(7)12--21, 41(7)145--152
-
rich, pointer-, 41(7)44--53
-
richer, 41(1)1--1, 41(1)67--78
-
Richman, Steven, 38(11)403--417
-
Richman, Steven, see Boyapati, Chandrasekhar
-
Richmond, Michael, 38(11)374--387
-
Richmond, Michael, see Clarke, Dave
-
Richter, Kai, 36(8)94--101
-
Richter, Kai, see Ziegenbein, Dirk
-
Ricken, Mathias, 39(10)101--102, 39(10)109--110
-
Ricken, Mathias, see Cheng, Eric
-
Riehle, Dirk, 36(11)327--341
-
Riehle:2001:AUV, 36(11)327--341
-
right, 37(11)359--372, 40(6)261--268, 41(4)16--23
-
rigid, 41(1)1--1
-
rigorous, 41(1)55--66
-
rigorously, 41(1)55--66
-
Rinard, Martin, 35(5)182--195, 36(5)35--46, 36(7)12--23, 36(11)56--69,
37(1)17--32, 37(4)32--41, 37(11)191--210, 37(11)211--230,
38(1)273--284, 38(5)324--337, 38(7)59--68, 38(11)78--95,
38(12)57--75, 39(3)46--55, 39(6)243--254
-
Rinard, Martin, see Ananian, C. Scott,
see Boyapati, Chandrasekhar,
see Chin, Wei-Ngan, \see{Demsky, Brian,
see Gheorghioiu, Ovidiu,
see Kuncak, Viktor, \see{Lam, Patrick,
see Rugina, Radu,
see Salcianu, Alexandru,
see Vivien, Frédéric,
see Vivient, Frederic, \see{Zee, Karen
-
Rinard:2003:AOC, 38(12)57--75
-
Rinetzky, Noam, 40(1)296--309
-
Rinetzky:2005:SPL, 40(1)296--309
-
Ringenburg, Michael F., 40(9)92--104
-
Ringenburg:2005:AFC, 40(9)92--104
-
Río, Agustín Cernuda del, 41(5)30--38,
see Zhang, Yingzhou
-
RISC, 35(2)17--23, 35(2)17--24, 36(8)1--10
-
rise, 41(1)206--217, 41(4)3--14
-
Rising, Linda, 39(10)148--150, 39(10)151--152
-
Rising, Linda, see Fraser, Steven,
see Josuttis, Nicolai M.
-
Riva, Claudio de la, 41(4)36--41
-
Riva, Claudio de la, see Tuya, Javier
-
Rival, Xavier, 38(5)196--207, 39(1)1--13
-
Rival, Xavier, see Blanchet, Bruno
-
Rival:2004:STF, 39(1)1--13
-
Rivera, Gustavo, Rodriguez-, 36(1)71--79
-
Rixner, Scott, 37(10)239--250, 38(10)61--72
-
Rixner, Scott, see Kim, Hyong-youb
-
Rixner, Scott W., 35(11)82--92
-
Rixner, Scott W., see Mattson, Peter
-
RMI, 36(9)86--93, 39(5)58--65, 40(10)403--422
-
Robby, 38(10)241--242
-
Robby, see Hatcliff, John
-
Robertz, Sven G., 38_2s_108_118
-
Robertz, Sven Gestegard, 38(7)93--102
-
Robertz:2003:APM, 38_2s_108_118
-
Robertz:2003:TTG, 38(7)93--102
-
Robotics, 35(1)95--108
-
robust, 38(7)93--102, 38(10)13--24, 41(1)2--15, 41(1)346--358,
41(5)21--29
-
robustness, 38(7)123--132, 39(6)35--46, 40(10)455--471
-
Rochecouste, Olivier, 39(7)78--87
-
Rochecouste, Olivier, see Pokam, Gilles
-
Rodeh, Michael, 38(5)155--167
-
Rodeh, Michael, see Dor, Nurit
-
Rodrigues, Craig, 36(8)230--237
-
Rodrigues, Craig, see Krishnamurthy, Yamuna
-
Rodriguez-Rivera, Gustavo, 36(1)71--79
-
Rodriguez-Rivera:2001:CGC, 36(1)71--79
-
Rogers, Anne, 35(1)163--176
-
Rogers, Anne, see Bonachea, Dan
-
Rohde, Henning Korsholm, 38(10)243--249
-
Rohde, Henning Korsholm, see Ager, Mads Sig
-
role, 37(1)17--32, 39(10)148--150, 39(10)224--225, 39(10)236--246,
41(7)163--172
-
roll, 41(6)26--37
-
rollback, 40(9)92--104
-
rolling, 41(6)1--13
-
Rong, Hongbo, 40(6)154--167
-
Rong:2005:RAS, 40(6)154--167
-
Ronne, Jeffery von, 36(5)137--147
-
Ronne, Jeffery von, see Amme, Wolfram
-
Rosen, Ira, 41(6)132--143
-
Rosen, Ira, see Nuzman, Dorit
-
Rosenbaum, Robert, 39(10)41--42
-
Rosenbaum, Robert, see Guerrero, Miguel
-
Ross, Jonathan, 35(11)212--221
-
Ross, Jonathan, see Zahir, Rumi
-
Rossberg, Andreas, 41(9)99--110
-
Rossberg:2006:MLD, 41(9)99--110
-
rotation, 41(7)163--172
-
Rotenberg, Eric, 35(11)257--268
-
Rotenberg, Eric, see Sundaramoorthy, Karthik
-
Roth, Amir, 38(7)232--243
-
Roth, Amir, see Corliss, Marc L.
-
Rothamel, Tom, 39(6)219--230, 40(10)473--486, 41(7)135--144
-
Rothamel, Tom, see Liu, Yanhong A.
-
Rothamel:2006:GOC, 41(7)135--144
-
Rothermel, Gregg, 35(1)25--38
-
Rothermel, Gregg, see Reichwein, James
-
roughly, 41(7)125--134
-
round-off, 39(4)372--389
-
rounded, 25(6)112--126, 39(4)360--371, 39(4)372--389
-
rounding, 25(6)112--126, 39(4)372--389
-
Rountev, Atanas, 35(5)47--56, 36(11)43--55
-
Rountev:2000:LVS, 35(5)47--56
-
Rountev:2001:PAJ, 36(11)43--55
-
router, 37(10)223--234, 37(10)251--263
-
routine, 38(12)44--56, 41(4)42--49, 41(6)415--426
-
row, 36(3)261--275, 41(5)39--45
-
row-ash, 41(5)39--45
-
Roychoudhury, Abhik, 38(10)191--202
-
Roychoudhury, Abhik, see Goel, Ankit
-
Roychoudhury, Suman, 39(10)27--28, 39(10)52--53, 39(10)314--315
-
Roychoudhury, Suman, see Gray, Jeff
-
Roychoudhury:2004:LIAa, 39(10)52--53
-
Roychoudhury:2004:LIAb, 39(10)314--315
-
Royer, James S., 41(1)168--179
-
Royer, James S., see Danner, Norman
-
Rozman, Ivan, 35(8)31--40, 38(8)44--54, 39(5)58--65, 40(4)20--28
-
Rozman, Ivan, see Beloglavec, Simon,
see Hericko, Marjan,
see Juric, Matjaz B.
-
RPC, 37(10)264--276
-
RTSJ, 39(10)268--274
-
Rubenstein, Daniel, 37(10)96--107
-
Rubenstein, Daniel, see Juang, Philo
-
Rubicon, 39(10)2--3
-
Rubin, Shai, 37(1)140--153
-
Rubin:2002:EPA, 37(1)140--153
-
Rubio, Juan, 37(10)68--80
-
Rubio, Juan, see Li, Tao
-
RUBiS, 39(10)204--205
-
Ruby, Clyde, 35(10)208--228
-
Ruby:2000:SCC, 35(10)208--228
-
Ruf, Erik, 35(5)208--218
-
Ruf:2000:ESR, 35(5)208--218
-
Rugina, Radu, 35(5)182--195, 40(1)310--323
-
Rugina, Radu, see Hackett, Brian
-
Rugina:2000:SBA, 35(5)182--195
-
Rühl, Tim, 35(11)71--81, see Bhoedjang, Raoul A. F.
-
Ruiz, Juan-Carlos, 37(11)68--82
-
Ruiz, Juan-Carlos, see Killijian, Marc-Olivier
-
rule, 37(12)76--87, 40(1)364--377, 41(1)91--102, 41(1)180--193,
41(1)309--319, 41(4)16--23, 41(7)113--124
-
rule-based, 37(12)88--97
-
run, cross-, 40(10)297--311
-
run, Heat-and-, 39(11)260--270
-
run-time, 36(8)11--19, 38_2s_1_12, 38(5)91--102, 38(12)44--56,
39(4)540--553, 39(4)656--669, 41(1)1--1, 41(1)218--231,
41(1)269--269, 41(6)108--117, 41(6)144--157, 41(6)252--262,
41(6)283--294, 41(8)21--28
-
run-time-errors, 41(7)54--63
-
running, 36(10)62--73, 41(1)127--140, 41(3)10--19, 41(5)21--29,
41(6)26--37, 41(6)239--251, 41(7)34--43, 41(7)44--53, 41(7)173--181,
41(9)13--25
-
running, long-, 41(6)14--25, 41(6)84--95, 41(6)354--363
-
running, short-, 41(6)14--25
-
runtime-adaptable, 37(8)35--44
-
Russell, George, 36(10)157--168
-
Russell:2001:EHH, 36(10)157--168
-
Russo, Claudio V., 36(10)50--61, 40(10)21--40
-
Russo, Claudio V., see Kennedy, Andrew
-
Russo:2001:RSS, 36(10)50--61
-
Rusu, Cosmin, 40(7)1--10
-
Rusu, Cosmin, see Xu, Ruibin
-
Rüthing, Oliver, 39(4)460--472, see Knoop, Jens
-
Ruttenberg, John C., 39(4)112--124
-
Ruttenberg, John C., see Fisher, Joseph A.
-
RVM, 41(6)354--363
-
Rybalchenko, Andrey, 40(1)132--144, 41(6)415--426
-
Rybalchenko, Andrey, see Cook, Byron,
see Podelski, Andreas
-
Ryder, Barbara, 35(2)9--10
-
Ryder, Barbara G., 35(2)9--9, 36(5)168--179, 36(11)43--55,
37(11)111--129, 38(6)16--22, 39(4)473--489
-
Ryder, Barbara G., see Arnold, Matthew,
see Landi, William, \see{Rountev, Atanas
-
Ryder:2000:CCP, 35(2)9--9
-
Ryder:2000:PPL, 35(2)9--10
-
Ryder:2003:IDE, 38(6)16--22