Last update: Thu Nov 9 02:49:22 MST 2023
Return to index directory
S
-
s, 41(6)283--294
-
\S-calculus, 38(2)29--35
-
s-expression, 41(9)111--121
-
S/360, 25(6)112--126
-
Sabelfeld, 41(1)67--78
-
Sabry, Amr, 36(10)74--85, 39(4)502--514, 39(9)40--53, 40(9)192--203,
41(9)26--37
-
Sabry, Amr, see Ariola, Zena M.,
see Flanagan, Cormac,
see Ganz, Steven E., \see{Kiselyov, Oleg
-
Sachindran, Narendran, 38(11)326--343
-
Sachindran:2003:MCF, 38(11)326--343
-
sacrifice, 41(1)320--333
-
sacrificing, 39(4)360--371, 41(1)346--358
-
Sadayappan, P., 37(5)177--186
-
Sadayappan, P., see Cociorva, Daniel
-
safe, 35(10)367--381, 36(3)222--235, 36(5)137--147, 37(1)71--80,
37(11)211--230, 38(5)324--337, 39(4)473--489, 40(1)183--194,
40(10)439--453, 41(1)397--408, 41(6)72--83, 41(6)283--294,
41(7)12--21, 41(7)113--124, 41(9)136--147
-
safe, abstraction-, 38(9)87--98
-
safe, Kill-, 39(6)47--58
-
safe, non-thread-, 41(6)14--25
-
Safe, Type-, 36(10)14--25, 36(10)74--85
-
safe, Type-, 35(9)58--67, 38(3)13--25
-
safe, type-, 37(1)128--139, 41(6)252--262, 41(9)99--110
-
SAFECode, 41(6)144--157
-
safely, 35(10)208--228, 40(7)127--136
-
safer, 41(1)346--358
-
SafeTSA, 36(5)137--147
-
safety, type-, 40(6)261--268, 41(6)72--83
-
safety-critical, 38(5)196--207, 41(1)295--308, 41(7)54--63
-
Sage, Meurig, 35(9)106--117
-
Sage:2000:FDG, 35(9)106--117
-
Sagiv, Mooly, 36(1)12--17, 36(5)104--113, 37(5)83--94, 38_2s_171_182,
38(5)155--167, 40(1)296--309, 40(1)338--350
-
Sagiv, Mooly, see Dor, Nurit,
see Gopan, Denis, \see{Ramalingam, G.,
see Rinetzky, Noam, \see{Shaham, Ran
-
Sagonas, Konstantinos, 38_2s_195_206
-
Sagonas, Konstantinos, see Johansson, Erik
-
Saha, Bratin, 35(9)82--93, 36(5)81--91, 37(1)217--232, 41(6)26--37
-
Saha, Bratin, see Adl-Tabatabai, Ali-Reza,
see Monnier, Stefan, \see{Shao, Zhong,
see Trifonov, Valery
-
Sahoo, Ramendra K., 35(11)37--48
-
Sahoo, Ramendra K., see Nanda, Ashwini
-
Saito, Yasushi, 39(11)48--58, 39(11)211--223
-
Saito, Yasushi, see Lowell, David E.
-
Saito:2004:FBD, 39(11)48--58
-
Saitou, Tetsuo, 40(4)10--19
-
Saitou:2005:DAI, 40(4)10--19
-
Sakharov, Alexander, 35(4)51--56
-
Sakharov:2000:HSM, 35(4)51--56
-
Salant, Eliot E., 36(1)155--166
-
Salant, Eliot E., see Domani, Tamar
-
Salcianu, Alexandru, 36(7)12--23, 38(1)273--284, 38(5)324--337
-
Salcianu, Alexandru, see Boyapati, Chandrasekhar,
see Gheorghioiu, Ovidiu
-
Salcianu:2001:PEA, 36(7)12--23
-
Salimi, Hadi, 39(10)308--309
-
Salimi:2004:NGF, 39(10)308--309
-
Salo, Outi, 39(10)174--175
-
Salo, Outi, see Abrahamsson, Pekka
-
SALSA, 36(12)20--34
-
Samberg, Eileen J., 39(11)211--223
-
Samberg, Eileen J., see Lowell, David E.
-
sample-based, 40(7)166--174
-
sampled, 41(6)263--271
-
sampling, 35(11)160--167, 36(1)121--126, 38(5)141--154, 40(1)171--182,
41(1)16--29, 41(6)84--95, 41(6)332--340
-
Sánchez, Jesús, 40(6)269--279,
see Quiñones, Carlos García
-
Sandanagobalane, Hariharan, 39(11)189--198
-
Sandanagobalane, Hariharan, see Rabbah, Rodric M.
-
Sandberg, Christer, 41(7)103--112
-
Sandberg:2006:FWF, 41(7)103--112
-
sandboxes, 41(9)99--110
-
Sanders, Brandon, 38(10)131--142
-
Sanders, Brandon, see Chen, DeQing
-
Sands, 41(1)67--78
-
Sands, David, 36(10)265--276, 41(1)79--90
-
Sands, David, see Gustavsson, Jörgen,
see Hunt, Sebastian
-
Sandya, S. M., 39(8)72--80
-
Sandya:2004:JJL, 39(8)72--80
-
Sang, Daisy, 39(10)184--185
-
Sang, Daisy, see Phattarasukol, Somsak
-
Sangal, Neeraj, 40(10)167--176
-
Sangal:2005:UDM, 40(10)167--176
-
Sangiorgi, Davide, 36(3)4--13
-
Sangiorgi:2001:EIA, 36(3)4--13
-
sanitized, 41(1)372--382
-
Sankaranarayanan, Sriram, 39(1)318--329
-
Sankaranarayanan:2004:NLL, 39(1)318--329
-
Santana, Miguel, 39(7)202--210
-
Santana, Miguel, see Daveau, Jean-Marc
-
Saputra, H., 37(7)2--11, 37(7)165--174, 39(7)240--248
-
Saputra, H., see Hu, J. S.
-
Saputra:2002:ECC, 37(7)2--11
-
Saputra:2004:CPR, 39(7)240--248
-
Saraswat, Vijay, 40(10)519--538
-
Saraswat, Vijay, see Charles, Philippe
-
Sarkar, Dipanwita, 39(9)201--212
-
Sarkar, Vivek, 35(5)321--333, 35(7)52--64, 35(7)78--78, 36(11)195--210,
37(5)258--269, 40(10)519--538
-
Sarkar, Vivek, see Arnold, Matthew,
see Bodík, Rastislav,
see Charles, Philippe,
see Choi, Jong-Deok, \see{Cytron, Ron,
see Pechtchanski, Igor
-
Sarkar:2000:DCJ, 35(7)78--78
-
Sarkar:2004:NIC, 39(9)201--212
-
Sarrafzadeh, Majid, 40(7)105--114
-
Sarrafzadeh, Majid, see Brisk, Philip
-
Sartiani, Carlo, 39(9)126--137
-
Sartiani, Carlo, see Colazzo, Dario
-
SAS'04, 41(1)79--90
-
Sasanka, Ruchira, 37(10)144--155
-
Sasanka:2002:JLG, 37(10)144--155
-
Sasano, Isao, 35(9)137--149, 38(9)111--123
-
Sasano, Isao, see Ogawa, Mizuhito
-
Sasano:2000:MIP, 35(9)137--149
-
Sassone, Peter G., 40(7)127--136
-
Sassone:2005:SSS, 40(7)127--136
-
Sastry, S. Subramanya, 40(10)327--343
-
Sastry, S. Subramanya, see Shankar, Ajeet
-
satisfiability, 40(1)351--363, 41(1)16--29
-
satisfied, 41(1)218--231, 41(8)34--43
-
satisfy, 41(3)10--19, 41(7)189--198
-
satisfying, 41(6)181--192
-
Sato, Mitsuhisa, 36(12)35--49
-
Sato, Mitsuhisa, see Nolte, Jörg
-
Saunders, Steven, 38(10)230--240
-
Saunders:2003:AAP, 38(10)230--240
-
Savidis, A., 40(12)6--13
-
Savidis:2005:MDI, 40(12)6--13
-
saving, 38(11)374--387, 41(1)194--205, 41(6)193--203
-
SAW, C-, 39(10)27--28
-
Saxe, James B., 36(3)193--205, 37(5)234--245
-
Saxe, James B., see Flanagan, Cormac
-
Sazawal, Vibha, 39(10)13--14
-
Sazawal:2004:DSP, 39(10)13--14
-
SC05, 41(6)108--117
-
SCADEash, 38(7)153--162
-
Scala, 41(1)166--167
-
scalability, 36(7)123--132, 37(11)246--261, 41(6)108--117,
41(6)387--400
-
scalable, 35(5)253--263, 35(10)281--293, 35(11)117--128, 36(7)44--52,
36(8)11--19, 36(8)196--204, 36(8)223--229, 37(1)245--246,
37(9)191--205, 39(6)35--46, 39(11)120--132, 40(1)351--363,
40(6)15--26, 40(7)157--165, 40(10)41--57, 41(6)1--13, 41(6)14--25,
41(6)108--117, 41(6)193--203, 41(6)308--319, 41(6)387--400,
41(7)189--198
-
scalar, 37(10)171--183, 41(6)118--131, 41(7)54--63
-
scale, 37(10)45--57, 39(4)372--389, 41(1)269--269, 41(6)108--117,
41(6)320--331, 41(7)189--198
-
Scale, Global-, 35(11)190--201
-
scale, Internet-, 36(7)82--82
-
Scale, Large-, 35(1)163--176
-
scale, large-, 41(1)270--282, 41(6)38--51, 41(9)74--86,
41(9)136--147
-
scaled, 41(6)84--95
-
Scales, Daniel J., 35(5)334--344
-
Scales, Daniel J., see Ghemawat, Sanjay
-
scaling, 35(5)47--56, 37(7)2--11, 38(5)49--62, 39(7)88--94,
40(7)203--212, 41(6)108--117, 41(6)193--203, 41(7)153--162
-
Scavenging, 36(5)81--91
-
scenario, 41(1)334--345
-
Schaeffer, Jonathan, 38(10)203--215
-
Schaeffer, Jonathan, see Tan, Kai
-
Schäfer, Thorsten, 39(10)43--44,
see Eichberg, Michael
-
Schantz, Richard, 36(8)230--237
-
Schantz, Richard, see Krishnamurthy, Yamuna
-
Schärli, Nathanael, 38(11)47--64,
see Black, Andrew P.
-
Schatz, Philip, 41(9)136--147
-
Schatz, Philip, see Ziarek, Lukasz
-
schedulability, 41(7)93--102
-
Schedulability-driven, 38(7)113--122
-
schedule, 36(5)232--242, 39(6)183--194, 41(6)228--238, 41(7)153--162,
41(7)163--172
-
scheduled, 37(7)85--92, 41(7)163--172
-
scheduled, compiler-, 41(7)163--172
-
scheduled, statically-, 41(7)125--134
-
scheduler, 39(6)35--46, 41(6)1--13, 41(6)228--238, 41(7)145--152
-
schema, 35(3)59--64
-
scheme, 35(1)123--134, 35(9)245--256, 37(9)259--270, 39(4)175--191,
40(7)166--174, 41(1)218--231, 41(1)257--268, 41(4)24--29,
41(6)84--95, 41(6)132--143, 41(6)193--203, 41(7)54--63,
41(7)93--102, 41(8)6--9, 41(9)1--12, 41(9)26--37, 41(9)111--121
-
schemes, 41(1)194--205
-
Scherer, William N., 36(7)44--52
-
Scherer, William N., see Scott, Michael L.
-
Schilling, Jonathan L., 38(2)36--46
-
Schilling:2003:SHM, 38(2)36--46
-
Schlichting, Richard D., 37(5)106--116
-
Schlichting, Richard D., see Rajagopalan, Mohan
-
Schlosser, Steven, 35(11)1--12
-
Schlosser, Steven, see Nagle, David
-
Schlosser, Steven W., 35(11)1--12
-
Schlosser:2000:DCS, 35(11)1--12
-
Schmerl, Bradley, 39(10)6--7, 39(10)156--157
-
Schmerl, Bradley, see Aldrich, Jonathan
-
Schmidt, Douglas, 36(8)196--204
-
Schmidt, Douglas, see Gore, Pradeep
-
Schmidt, Douglas C., 36(8)205--213, 36(8)214--222, 36(8)223--229,
36(8)230--237
-
Schmidt, Douglas C., see Brunsch, Darrell,
see Krishnamurthy, Yamuna,
see Othman, Ossama, \see{Pyarali, Irfan
-
Schmitt, Alan, 38(1)50--61, 40(1)233--246
-
Schmitt, Alan, see Foster, J. Nathan
-
Schmitt:2003:CHO, 38(1)50--61
-
Schmolitzky, Axel, 39(10)64--67
-
Schmolitzky:2004:OFI, 39(10)64--67
-
Schnarr, Eric C., 36(5)321--331
-
Schnarr:2001:FLC, 36(5)321--331
-
Scholz, Bernhard, 35(7)65--72, 37(7)139--148, 39(7)221--230
-
Scholz, Bernhard, see Mehofer, Eduard
-
Scholz:2002:RAI, 37(7)139--148
-
Scholz:2004:OST, 39(7)221--230
-
Schonberg, Edith, 39(4)313--327, 39(10)294--304
-
Schonberg, Edith, see Reimer, Darrell
-
Schonberg:2004:FDA, 39(4)313--327
-
Schönhacker, M., 38(8)20--21, see Pronk, C.
-
Schooler, Richard, 40(6)201--212
-
Schooler, Richard, see Ayers, Andrew
-
Schreiner, Axel-Tobias, 35(12)33--40, 37(2)45--52
-
Schreiner, Axel-Tobias, see Kühl, Bernd
-
Schultz, Ulrik Pagh, 38(7)42--50
-
Schultz:2003:CJL, 38(7)42--50
-
Schulz, Martin, 38_2s_76_85, 39(11)235--247
-
Schulz, Martin, see Bronevetsky, Greg
-
Schulz:2003:PNH, 38_2s_76_85
-
Schupp, Sibylle, 35(6)47--54
-
Schupp:2000:LLC, 35(6)47--54
-
Schuster, Assaf, 38(10)179--190
-
Schuster, Assaf, see Pozniansky, Eli
-
Schwartzbach, Michael I., 36(5)221--231, 37(3)31--40
-
Schwartzbach, Michael I., see Brabrand, Claus,
see M{\o}ller, Anders
-
science, 39(10)141--142, 41(8)6--9, 41(9)38--49
-
scientific, 25(6)92--101, 39(4)360--371
-
SCOOP, 38(10)3--3
-
scope, 36(10)38--49, 40(9)2--14, 40(10)177--189, 41(1)269--269,
41(6)364--375, 41(6)401--414
-
scoped, 38_2s_132_142, 38(8)29--36
-
SCOPES'02, 36(9)18--18
-
Scott, Kevin, 35(3)73--83
-
Scott, Kevin, see Ramsey, Norman
-
Scott, Michael L., 36(7)44--52, 38(10)131--142
-
Scott, Michael L., see Chen, DeQing
-
Scott:2001:SQB, 36(7)44--52
-
SCR, 41(7)135--144
-
Scrap, 38(3)26--37, 39(9)244--255, 40(9)180--191, 40(9)204--215
-
scratch, 36(10)122--133, 41(6)96--107
-
scripting, 37(2)53--56, 38(9)3--13, 40(11)37--40
-
Sealed, 35(10)83--92
-
sealing, 39(1)161--172
-
seamless, 41(7)12--21
-
seamlessness, 41(7)12--21
-
search, 36(10)110--121, 37(7)18--27, 37(11)101--110, 39(6)171--182,
39(10)200--201, 41(1)67--78, 41(1)180--193, 41(6)239--251,
41(7)83--92
-
searched, 41(6)14--25
-
searching, 39(9)28--39, 41(6)14--25
-
Seattle, 41(6)108--117
-
Secher, Jens Peter, 37(3)41--51
-
Secher:2002:CID, 37(3)41--51
-
second, 36(5)254--263, 39(4)372--389, 39(10)283--289, 41(1)67--78,
41(1)168--179, 41(4)16--23, 41(6)118--131, 41(6)364--375,
41(6)387--400, 41(7)113--124
-
second-order, 39(9)150--161, 41(1)153--165, 41(1)168--179
-
Secondly, 41(7)2--11
-
secrecy, 37(1)33--44
-
section, 36(7)53--61, 36(12)1--1, 41(1)334--345, 41(1)346--358,
41(6)14--25
-
secure, 35(11)168--177, 36(3)104--115, 36(3)222--235, 36(5)137--147,
37(1)81--92, 38(12)20--27, 39(11)85--96, 41(6)72--83
-
see, 25(6)92--101, 25(6)112--126
-
seed, 41(6)158--168
-
seeing, 35(10)208--228, 41(8)6--9
-
seek, 41(1)1--1
-
seem, 40(6)261--268, 41(9)38--49
-
seen, 41(1)320--333, 41(1)346--358, 41(3)10--19, 41(4)42--49,
41(6)144--157
-
Seger, Carl, 35(9)244--244
-
Seger:2000:CFP, 35(9)244--244
-
segment, 41(6)108--117
-
Sehr, David, 36(5)47--58
-
Sehr, David, see Ghiya, Rakesh
-
Seidl, Helmut, 39(1)330--341
-
Seidl, Helmut, see Müller-Olm, Markus
-
Seigle, Mark, 37(5)57--68
-
Seigle, Mark, see Das, Manuvir
-
select, 41(5)21--29
-
selecting, 41(5)21--29
-
selection, 36(1)111--120, 36(11)312--326, 37(7)56--64, 38(11)27--46,
41(6)52--60, 41(6)181--192
-
selective, 37(10)133--143, 38(1)14--25, 39(11)120--132, 41(6)84--95,
41(9)99--110
-
selectively, 41(6)263--271
-
selector, 41(6)52--60, 41(7)145--152
-
self, 39(4)295--312
-
self-adjusting, 41(6)96--107
-
semantical, 41(1)67--78
-
semantically, 41(1)79--90, 41(8)16--20
-
Semantics-Based, 36(6)19--19, 37(3)1--8, 37(3)9--18, 37(3)19--30,
37(3)31--40, 37(3)41--51, 37(3)52--62, 37(3)63--74, 37(3)75--86,
37(3)87--97, 37(3)98--107, 37(3)108--118, 37(3)119--130,
37(3)131--142
-
Sen, Koushik, 40(6)213--223
-
Sen, Koushik, see Godefroid, Patrice
-
sense, 41(1)79--90, 41(1)309--319
-
sensitive, 41(1)91--102
-
sensitive, architecture-, 41(7)173--181
-
sensitive, bypass-, 41(7)173--181
-
sensitive, Context-, 41(6)181--192
-
sensitive, context-, 35(5)253--263, 38(5)168--181,
39(6)131--144, 41(6)320--331, 41(6)387--400, 41(6)415--426
-
sensitive, data-, 41(6)283--294
-
sensitive, Field-, 41(7)54--63
-
sensitive, field-, 41(7)54--63
-
sensitive, Flow-, 37(5)1--12
-
sensitive, flow-, 38(5)168--181, 41(1)79--90, 41(1)153--165
-
sensitive, path-, 37(5)57--68, 41(6)61--71, 41(6)415--426
-
sensitively, context-, 41(6)320--331
-
sensitivity, context-, 41(6)320--331
-
sensitivity, flow-, 41(1)79--90
-
sensor, 35(11)93--104, 37(10)1--1, 37(10)85--95, 38(10)107--118,
39(11)27--36, 41(2)18--24, 41(7)44--53, 41(7)189--198
-
sentence, 37(2)23--26
-
separate, 41(1)295--308, 41(1)346--358, 41(9)74--86, 41(9)99--110
-
separated, 41(6)252--262
-
separating, 41(1)1--1
-
separation, 35(10)188--207, 39(1)268--280, 39(6)25--34, 40(1)247--258,
40(1)259--270, 41(1)91--102, 41(1)309--319, 41(1)320--333,
41(9)62--73
-
September, 36(10)1--1, 36(10)2--13, 36(10)14--25, 36(10)26--37,
36(10)38--49, 36(10)50--61, 36(10)62--73, 36(10)74--85,
36(10)86--97, 36(10)98--109, 36(10)110--121, 36(10)122--133,
36(10)134--145, 36(10)146--156, 36(10)157--168, 36(10)169--180,
36(10)181--192, 36(10)193--204, 36(10)205--216, 36(10)217--228,
36(10)229--240, 36(10)241--252, 36(10)253--264, 36(10)265--276,
36(10)277--277, 36(10)z--99999999, 41(8)6--9
-
seq, 39(1)99--110
-
sequence, 37(11)83--100, 38(7)12--23, 39(6)171--182, 39(7)231--239,
41(1)115--126, 41(4)16--23, 41(5)39--45, 41(6)181--192, 41(7)22--33,
41(7)83--92, 41(9)124--135
-
sequencing, 41(9)124--135
-
sequential, 36(7)53--61, 39(6)14--24, 39(6)71--81, 40(1)221--232,
40(9)228--239, 40(10)423--437, 41(1)334--345, 41(7)125--134,
41(8)16--20
-
Sereni, Damien, 40(6)117--128, 40(10)345--364
-
Sereni, Damien, see Allan, Chris,
see Avgustinov, Pavel
-
serializability, 40(6)1--14, 41(1)334--345
-
serializable, 41(1)334--345
-
serialization, 37(11)68--82, 38(8)44--54, 41(7)12--21
-
serialization, de-, 41(7)12--21
-
serialization, pre-, 41(7)12--21
-
serialize, 41(7)12--21
-
serialized, 41(7)12--21
-
serialized, de-, 41(7)12--21
-
serialized, non-, 41(7)12--21
-
serialized, pre-, 41(7)12--21
-
serializing, pre-, 41(7)12--21
-
series, 41(6)14--25, 41(6)72--83, 41(6)308--319, 41(6)341--353
-
serious, 41(1)372--382, 41(6)308--319, 41(7)34--43, 41(7)135--144
-
Sermulins, Janis, 40(7)115--126
-
Sermulins:2005:CAO, 40(7)115--126
-
Serpette, Bernard Paul, 37(9)259--270, 39(1)123--134
-
Serpette, Bernard Paul, see Caromel, Denis
-
Serpette:2002:CSJ, 37(9)259--270
-
Serrano, 41(8)6--9
-
Serrano, Manuel, 35(9)245--256, 37(9)259--270
-
Serrano, Manuel, see Serpette, Bernard Paul
-
Serrano, Mauricio, 35(10)66--82
-
Serrano, Mauricio J., 39(4)583--595, 39(6)267--276, 41(6)263--271
-
Serrano, Mauricio J., see Adl-Tabatabai, Ali-Reza,
see Bacon, David F.,
see Zhuang, Xiaotong
-
Serrano:2000:QQS, 35(10)66--82
-
Serrano:2000:UMA, 35(9)245--256
-
serve, 41(1)2--15, 41(1)295--308, 41(6)61--71, 41(9)38--49
-
server, 35(9)23--33, 35(11)37--48, 35(12)14--18, 36(7)113--122,
36(8)182--187, 37(5)129--140, 37(10)239--250, 38(10)37--48,
39(10)58--59, 39(10)312--313, 40(4)20--28, 40(6)1--14,
41(1)346--358, 41(6)72--83, 41(6)320--331, 41(6)354--363
-
server-side, 36(8)223--229
-
service, 35(10)105--117, 36(8)196--204, 37(4)57--61, 37(7)194--203,
38(10)119--130, 39(1)198--209, 39(5)58--65, 39(10)58--59,
39(10)192--193, 39(10)214--215, 39(10)312--313, 41(6)72--83
-
services-oriented, 39(10)283--289
-
Servlets, 35(3)21--24, 35(12)14--18
-
session, 35(7)73--74, 35(7)75--75, 35(7)76--77, 35(7)78--78, 35(7)79--81,
36(10)z--99999999
-
set, instruction-, 39(7)126--135
-
set-based, 41(1)218--231
-
Seth, Kiran, 39(7)136--145
-
Seth, Kiran, see Patil, Kaustubh
-
Sethumadhavan, Simha, 39(11)120--132
-
Sethumadhavan, Simha, see Desikan, Rajagopalan
-
setjmp/longjmp, 41(6)401--414
-
sets, data-, 38(10)1--1
-
sets, value-, 41(7)44--53
-
setting, 38(5)49--62, 41(1)67--78, 41(1)79--90, 41(1)168--179,
41(1)372--382, 41(6)295--307, 41(9)26--37
-
Seung, Hyon Woo, 37(8)25--34
-
Seung, Hyon Woo, see Jeon, Taewoong
-
seven, 41(7)135--144
-
Seward, Julian, 35(9)280--292
-
Seward, Julian, see Jones, Simon Peyton
-
Sewell, Peter, 36(3)116--127, 36(3)236--247, 38(9)87--98, 38(9)99--110,
40(1)183--194, 40(9)15--26, 41(1)55--66
-
Sewell, Peter, see Bierman, Gavin,
see Bishop, Steve, \see{Leifer, James J.,
see Stoyle, Gareth, \see{Unyapoth, Asis
-
Sewell:2001:MAT, 36(3)236--247
-
Sewell:2005:AHL, 40(9)15--26
-
Sexy, 39(5)15--22
-
Seznec, André, 39(7)78--87, see Pokam, Gilles
-
SGI, 41(2)29--33
-
Shaham, Ran, 36(1)12--17, 36(5)104--113, 38_2s_171_182, 41(6)252--262
-
Shaham, Ran, see Chilimbi, Trishul M.
-
Shaham:2001:EGJ, 36(1)12--17
-
Shaham:2001:HPS, 36(5)104--113
-
Shaham:2003:EIH, 38_2s_171_182
-
Shamail, Shafay, 39(10)170--171
-
Shamail, Shafay, see Hussain, Tauqeer
-
Shan, Chung-chieh, 39(5)15--22, 40(9)192--203, 41(9)26--37
-
Shan, Chung-chieh, see Kiselyov, Oleg
-
Shan, Lexin, 40(10)59--76
-
Shan, Lexin, see Sridharan, Manu
-
Shan:2004:STA, 39(5)15--22
-
Shangri-La, 40(6)224--236
-
Shankar, Ajeet, 40(10)327--343
-
Shankar:2005:RSO, 40(10)327--343
-
Shao, Zhong, 35(9)82--93, 36(5)81--91, 37(1)217--232, 39(9)175--188,
40(9)254--267, 41(1)320--333, 41(6)401--414
-
Shao, Zhong, see Feng, Xinyu,
see Monnier, Stefan, \see{Ni, Zhaozhong,
see Trifonov, Valery, \see{Yu, Dachuan
-
Shao:2002:TSC, 37(1)217--232
-
Shaofeng, Wang, 36(4)48--55, 36(9)86--93
-
Shaofeng:2001:FDW, 36(9)86--93
-
Shaofeng:2001:SIT, 36(4)48--55
-
shape, 39(10)101--102, 40(1)310--323, 41(7)163--172
-
Shapiro, Marc, 41(9)123--123
-
Shapiro:2006:PPC, 41(9)123--123
-
share, 41(7)93--102
-
shared-memory, 40(6)1--14, 41(7)199--208
-
Shareef, Abdul Rahim, 36(8)188--195
-
Shareef, Abdul Rahim, see Narain, Sanjai
-
sharing, 35(10)367--381, 39(6)35--46, 41(6)320--331, 41(7)72--82,
41(9)87--98
-
Sharma, Madhu, 35(11)13--24
-
Sharma, Madhu, see Gharachorloo, Kourosh
-
Sharp, David, 38(7)144--152
-
Sharp, David, see M., Ravi Pratap
-
Shaw, Sachin, 40(2)33--40
-
Shaw:2005:LDO, 40(2)33--40
-
Shaylor, Nik, 38(7)34--41
-
Shaylor:2003:JVM, 38(7)34--41
-
Sheard, Tim, 35(1)81--94, 36(10)86--97, 37(9)218--229, 37(12)60--75,
39(10)116--119, 39(12)119--132
-
Sheard, Tim, see Pa{\v{s}}ali{\'c}, Emir
-
Sheard:2000:DIU, 35(1)81--94
-
Sheard:2001:GUT, 36(10)86--97
-
Sheard:2002:TMP, 37(12)60--75
-
Sheard:2004:LFa, 39(10)116--119
-
Sheard:2004:LFb, 39(12)119--132
-
Sheikh, Tanwir, 39(7)10--19
-
Sheikh, Tanwir, see Martin, Thomas
-
Sheinwald, Dafna, 38_2s_183_194
-
Sheinwald, Dafna, see Domani, Tamar
-
Sheldon, Jeffrey, 36(5)232--242
-
Sheldon, Jeffrey, see Thies, William
-
Shen, John P., 37(5)117--128, 39(11)144--155
-
Shen, John P., see Liao, Steve S. W.,
see Wang, Perry H.
-
Shen, Kai, 38(10)119--130
-
Shen, Kai, see Chu, Lingkun
-
Shen, Xiaowei, 35(10)1--12
-
Shen, Xiaowei, see Maessen, Jan-Willem
-
Shen, Xipeng, 39(6)255--266, 39(11)165--176
-
Shen, Xipeng, see Zhong, Yutao
-
Shen:2004:LPP, 39(11)165--176
-
Sherwood, Timothy, 37(10)45--57
-
Sherwood:2002:ACL, 37(10)45--57
-
Shi, Liang, 41(4)30--35
-
Shi, Liang, see Jiang, Shujuan
-
Shields, Mark, 36(3)261--275
-
Shields:2001:TIR, 36(3)261--275
-
SHIFT, 39(10)198--199
-
shift, 37(3)19--30, 37(9)271--282, 41(6)239--251, 41(6)415--426
-
SHIM, 41(7)125--134
-
shim, 41(7)125--134
-
Shin, Seung Cheol, 37(8)66--71
-
Shin, Seung Cheol, see Doh, Kyung Goo
-
Shinnar, Avraham, 41(6)14--25
-
Shinnar, Avraham, see Harris, Tim
-
Shinwell, Mark R., 38(9)263--274
-
Shinwell:2003:FPB, 38(9)263--274
-
Shivers, Olin, 39(4)257--269, 39(9)79--89, 40(9)2--14, 41(1)127--140,
41(6)295--307, 41(9)13--25, 41(9)111--121
-
Shivers, Olin, see Fisher, David,
see Might, Matthew
-
Shivers:2004:HOC, 39(4)257--269
-
Shivers:2004:MRF, 39(9)79--89
-
Shivers:2005:ALS, 40(9)2--14
-
Shivers:2006:CTC, 41(6)295--307
-
Shivshankar, Siddhartha, 39(7)37--46
-
Shivshankar, Siddhartha, see Kumar, Nagendra J.
-
shootout, 39(10)143--144
-
short, 40(9)294--305, 41(7)145--152
-
short-lived, 41(6)364--375
-
short-running, 41(6)14--25
-
shortcoming, 41(9)62--73
-
shortcut, 37(9)124--132
-
shorter, 41(1)283--294
-
should, 37(2)20--22, 40(4)5--8, 41(1)194--205, 41(3)20--29, 41(6)72--83,
41(6)332--340, 41(6)401--414, 41(7)103--112, 41(7)125--134,
41(9)26--37
-
showed, 41(1)16--29
-
showing, 41(1)141--152, 41(1)334--345, 41(6)132--143, 41(8)34--43,
41(9)62--73
-
shown, 41(1)79--90, 41(1)168--179, 41(1)206--217, 41(1)283--294,
41(6)14--25, 41(6)216--227, 41(6)387--400, 41(7)182--188,
41(7)199--208
-
Shpeisman, Tatiana, 41(1)397--408, 41(6)26--37
-
Shpeisman, Tatiana, see Adl-Tabatabai, Ali-Reza,
see Menon, Vijay S.
-
Shrira, Liuba, 37(11)26--39, 38(1)213--223, 38(11)403--417
-
Shrira, Liuba, see Bjornsson, Magnus E.,
see Boyapati, Chandrasekhar
-
Shrivastava, Aviral, 41(7)173--181
-
Shrivastava, Aviral, see Park, Sanghyun
-
Shuf, Yefim, 37(1)295--306, 37(11)13--25
-
Shuf:2002:CPL, 37(11)13--25
-
Shuf:2002:EPT, 37(1)295--306
-
side, 37(5)246--257, 41(1)16--29, 41(1)359--371, 41(4)16--23
-
side, Server-, 36(8)223--229
-
side-effect, 39(4)217--228
-
side-effects, 38(7)244--253, 40(9)105--115, 41(6)415--426
-
sided, one-, 37(9)2--13
-
Siegfried, Robert M., 37(2)53--56, 40(11)37--40
-
Siegfried:2002:SLH, 37(2)53--56
-
Siegfried:2005:ESL, 40(11)37--40
-
Siek, Jeremy, 38(11)115--134, 39(10)54--55, 40(6)73--84, 41(6)272--282
-
Siek, Jeremy, see Garcia, Ronald,
see Järvi, Jaakko
-
Siek:2004:MG, 39(10)54--55
-
Siek:2005:ELS, 40(6)73--84
-
Sierra, José L., 40(12)28--37
-
Sierra:2005:IDO, 40(12)28--37
-
Sieve, 41(3)30--39
-
Sifting, 37(11)275--291
-
SIG-Forth, 41(4)3--14
-
SIGACT, ACM-, 35(4)17--17
-
SIGACT, SIGPLAN-, 37(1)1--3, 37(1)4--16, 37(1)17--32,
37(1)33--44, 37(1)45--57, 37(1)58--70, 37(1)71--80, 37(1)81--92,
37(1)93--100, 37(1)101--112, 37(1)113--125, 37(1)126--127,
37(1)128--139, 37(1)140--153, 37(1)154--165, 37(1)166--177,
37(1)178--190, 37(1)191--202, 37(1)203--216, 37(1)217--232,
37(1)233--244, 37(1)245--246, 37(1)247--259, 37(1)260--269,
37(1)270--282, 37(1)283--294, 37(1)295--306, 37(1)307--318,
37(1)319--330, 37(1)331--342
-
sighing, 35(4)1--1
-
sight, 39(12)22--31
-
sign, 37(5)187--198
-
signal, 40(6)315--326, 41(9)38--49
-
signature, 40(9)27--40, 41(1)295--308, 41(4)30--35, 41(9)74--86
-
significant, 39(6)35--46, 41(1)30--41, 41(1)334--345, 41(6)252--262,
41(6)364--375, 41(7)64--71, 41(7)83--92, 41(7)135--144,
41(7)173--181, 41(9)38--49
-
significantly, 41(1)194--205, 41(1)295--308, 41(1)346--358, 41(3)20--29,
41(6)26--37, 41(6)84--95, 41(6)118--131, 41(6)239--251,
41(6)332--340, 41(6)354--363, 41(7)12--21
-
SIGPLAN, 35(3)1--1, 35(3)2--3, 35(4)2--2, 35(8)1--2, 36(1)1--11,
36(1)12--17, 36(1)18--24, 36(1)25--34, 36(1)35--49, 36(1)50--58,
36(1)59--64, 36(1)65--70, 36(1)71--79, 36(1)80--93, 36(1)94--100,
36(1)101--110, 36(1)111--120, 36(1)121--126, 36(1)127--136,
36(1)137--142, 36(1)143--154, 36(1)155--166, 36(1)167--177,
36(4)1--2, 36(4)3--4, 36(6)1--2, 36(11)1--15, 36(11)16--30,
36(11)31--42, 36(11)43--55, 36(11)56--69, 36(11)70--82,
36(11)83--95, 36(11)96--107, 36(11)108--124, 36(11)125--138,
36(11)139--155, 36(11)156--165, 36(11)166--179, 36(11)180--195,
36(11)195--210, 36(11)211--222, 36(11)223--240, 36(11)241--253,
36(11)254--269, 36(11)270--282, 36(11)283--299, 36(11)300--311,
36(11)312--326, 36(11)327--341, 36(11)342--352, 36(11)353--366,
36(11)367--380, 37(3)1--8, 37(3)9--18, 37(3)19--30, 37(3)31--40,
37(3)41--51, 37(3)52--62, 37(3)63--74, 37(3)75--86, 37(3)87--97,
37(3)98--107, 37(3)108--118, 37(3)119--130, 37(3)131--142,
37(4)4--4, 41(3)4--8
-
Sigplan, 36(6)19--19, 40(11)4--16, 41(4)3--14, 41(8)10--14
-
SIGPLAN, pre-, 25(6)112--126
-
SIGPLAN-SIGACT, 37(1)1--3, 37(1)4--16, 37(1)17--32, 37(1)33--44,
37(1)45--57, 37(1)58--70, 37(1)71--80, 37(1)81--92, 37(1)93--100,
37(1)101--112, 37(1)113--125, 37(1)126--127, 37(1)128--139,
37(1)140--153, 37(1)154--165, 37(1)166--177, 37(1)178--190,
37(1)191--202, 37(1)203--216, 37(1)217--232, 37(1)233--244,
37(1)245--246, 37(1)247--259, 37(1)260--269, 37(1)270--282,
37(1)283--294, 37(1)295--306, 37(1)307--318, 37(1)319--330,
37(1)331--342
-
SIGPLANet, 36(4)1--2
-
SIGSOFT, 38(6)16--22
-
Silaghi, Raul, 39(10)60--62, 39(10)318--319
-
Silaghi:2004:RDAa, 39(10)60--62
-
Silaghi:2004:RDAb, 39(10)318--319
-
silent, 37(10)30--41
-
silicon, 35(5)108--120
-
Silla, Federico, 37(10)223--234
-
Silla, Federico, see Mukherjee, Shubhendu S.
-
Silva, Josep, 40(9)228--239
-
Silva, Josep, see Ramos, J. Guadalupe
-
Silva, Luís, 39(10)210--211, see Cabral, Bruno
-
SIMD, 37(7)94--101, 39(6)82--93, 40(7)147--156, 41(6)118--131,
41(6)132--143, 41(7)199--208
-
SIMD, SM-, 41(7)199--208
-
Siméon, Jérôme, 38(1)1--13
-
Simeon:2003:EX, 38(1)1--13
-
similar, 41(1)55--66, 41(1)283--294, 41(3)40--48, 41(8)29--33
-
similarity, 41(7)2--11
-
Simon, Douglas N., 38(7)34--41
-
Simon, Douglas N., see Shaylor, Nik
-
Simonet, Vincent, 37(1)319--330, 38(9)39--50
-
Simonet, Vincent, see Pottier, François
-
Simonet:2003:EHX, 38(9)39--50
-
Simonis, Volker, 35(2)46--53
-
Simonis:2000:ABO, 35(2)46--53
-
simple-type, 41(1)2--15
-
simpler, 25(6)112--126, 39(4)372--389, 39(10)290--293, 40(5)39--44,
41(1)1--1, 41(1)283--294, 41(1)346--358, 41(4)42--49, 41(6)1--13,
41(6)341--353, 41(6)401--414
-
simplest, 38(2)36--46
-
simplicity, 40(10)505--518, 41(1)180--193
-
simplification, 41(1)30--41, 41(7)135--144, 41(8)34--43
-
simplified, 41(8)34--43
-
simplify, 38(10)1--12, 41(1)30--41, 41(6)108--117, 41(7)199--208
-
simplifying, 41(1)30--41, 41(8)34--43
-
simply, 39(4)372--389, 41(1)79--90, 41(1)103--114
-
simply-typed, 41(1)245--256, 41(9)38--49
-
simulate, 41(7)83--92, 41(7)135--144, 41(7)163--172
-
simulated, 35(11)49--58, 41(7)83--92, 41(7)153--162
-
simulating, 39(7)10--19, 41(7)125--134
-
simulation, 35(10)93--104, 35(11)49--58, 36(8)73--81, 36(8)82--87,
37(7)18--27, 38_2s_56_64, 39(7)107--114, 39(7)136--145,
39(10)109--110, 41(1)1--1, 41(1)16--29, 41(1)194--205,
41(7)113--124
-
simulation-based, 41(1)180--193
-
simulator, 36(5)321--331, 39(7)20--29, 39(7)115--125, 41(7)113--124,
41(7)145--152
-
Simulink, 38(7)153--162
-
simultaneous, 35(11)234--244, 35(11)245--256, 37(4)74--82, 38(10)37--48,
41(1)194--205
-
simultaneously, 41(1)2--15, 41(6)158--168, 41(6)387--400, 41(9)13--25
-
since, 35(11)168--177, 40(6)261--268, 41(1)270--282, 41(4)30--35,
41(6)216--227, 41(7)2--11, 41(7)34--43, 41(7)83--92, 41(7)173--181
-
Sinclair, Robert, 38(2)47--56
-
Sinclair:2003:IMT, 38(2)47--56
-
Singh, Awadhesh Kumar, 39(2)12--17
-
Singh, Jaswinder Pal, 37(1)295--306, 37(11)13--25
-
Singh, Jaswinder Pal, see Shuf, Yefim
-
Singh, Munindar P., 39(10)120--123, 39(12)73--83
-
Singh, Prabhat K., 37(2)29--35
-
Singh:2002:ADC, 37(2)29--35
-
Singh:2004:ALO, 39(2)12--17
-
Singh:2004:PPPa, 39(10)120--123
-
Singh:2004:PPPb, 39(12)73--83
-
Singhai, Sharad, 36(11)342--352
-
Singhai, Sharad, see Blackburn, Stephen M.
-
single, 35(5)285--298, 36(5)137--147, 40(5)18--27, 41(4)30--35,
41(6)132--143, 41(6)169--180, 41(6)341--353, 41(6)354--363,
41(7)2--11, 41(7)93--102, 41(7)145--152, 41(8)29--33, 41(9)38--49,
41(9)74--86
-
single-assignment, 41(1)397--408
-
single-node, 39(11)211--223
-
singly-linked, 41(1)115--126
-
Sinha, Vineet, 40(10)167--176
-
Sinha, Vineet, see Sangal, Neeraj
-
Sipma, Henny B., 39(1)318--329
-
Sipma, Henny B., see Sankaranarayanan, Sriram
-
Sips, Henk, 36(8)56--63
-
Sips, Henk, see Cadot, Sidney
-
Sirer, Emin Gün, 35(1)1--13
-
Sirer:2000:UPG, 35(1)1--13
-
site, 35(1)135--148, 41(2)8--17, 41(6)252--262
-
site, allocation-, 41(6)364--375
-
Sittampalam, Ganesh, 39(1)26--38, 40(6)117--128, 40(10)345--364
-
Sittampalam, Ganesh, see Allan, Chris,
see Avgustinov, Pavel
-
Sittampalam:2004:IET, 39(1)26--38
-
situation, 41(6)239--251
-
Sivasubramaniam, Anand, 37(10)68--80
-
Sivasubramaniam, Anand, see Li, Tao
-
Sivathanu, Muthian, 37(10)264--276
-
Sivathanu:2002:ERA, 37(10)264--276
-
size, 38(7)59--68, 41(1)168--179, 41(1)180--193, 41(1)409--421,
41(4)24--29, 41(6)169--180, 41(6)204--215, 41(7)2--11, 41(7)44--53,
41(7)72--82, 41(7)199--208, 41(9)38--49
-
size, code-, 37(7)120--129
-
size, non-, 37(1)260--269
-
size-change, 36(3)81--92
-
size-restricted, 41(1)168--179
-
sized, 38(10)315--324
-
sized, cache-, 41(5)39--45
-
sized, infinite-, 41(6)158--168
-
Skalka, Christian, 35(9)34--45
-
Skalka:2000:SES, 35(9)34--45
-
sketching, 40(6)281--294
-
skipping, 41(1)153--165, 41(6)387--400
-
Skotiniotis, Therapon, 39(10)196--197
-
Skotiniotis:2004:CAC, 39(10)196--197
-
Slam, 37(1)1--3
-
slice, 36(1)94--100, 40(6)269--279, 41(5)30--38, 41(6)169--180
-
slicer, 41(5)30--38
-
slicing, 35(1)25--38, 36(4)33--40, 36(4)41--47, 38(10)241--242,
38(10)284--294, 39(4)229--243, 39(6)94--106, 39(8)39--48,
40(6)38--47, 41(5)30--38, 41(6)169--180, 41(7)72--82, 41(7)103--112,
41(7)135--144
-
Slideshow, 39(9)224--235
-
sliding, 38(11)269--281
-
slipstream, 35(11)257--268
-
Slot, 40(1)85--97
-
slowdown, 41(6)14--25, 41(6)263--271
-
Slowik, Adrian, 39(7)126--135
-
Slowik, Adrian, see Kastens, Uwe
-
SM-SIMD, 41(7)199--208
-
smaller, 41(1)141--152, 41(7)2--11, 41(7)145--152
-
smallest, 39(4)360--371, 41(7)2--11
-
Smalltalk, 36(4)48--55, 38(11)47--64, 41(2)8--17
-
Smaragdakis, Yannis, 35(9)118--129, 36(4)25--30
-
Smaragdakis, Yannis, see McNamara, Brian
-
smart, 37(4)57--61, 39(4)112--124, 41(7)22--33
-
smartTools, 39(10)37--38
-
Smeikal, R., 39(10)176--177
-
Smeikal, R., see Szep, A.
-
Smell, 39(10)22--22
-
smgn, 36(9)64--73, 36(9)74--76
-
smiles, 35(4)1--1
-
Smit, Gerard J. M., 38(7)199--208
-
Smit, Gerard J. M., see Guo, Yuanqing
-
Smith, Frederick, 35(1)163--176
-
Smith, Frederick, see Bonachea, Dan
-
Smith, James E., 36(1)80--93, 40(10)327--343
-
Smith, James E., see Heil, Timothy H.,
see Shankar, Ajeet
-
Smith, Michael, 41(1)55--66
-
Smith, Michael, see Bishop, Steve
-
Smith, Michael D., 35(7)1--11, 39(6)277--288
-
Smith, Noah, Torp-, 39(1)220--231
-
Smith, Scott, 35(9)34--45
-
Smith, Scott, see Skalka, Christian
-
Smith, Scott F., 40(10)191--209
-
Smith, Scott F., see Liu, Yu David
-
Smith, Stephen, 36(5)92--103
-
Smith, Stephen, see Bacon, David F.
-
Smith, T. Basil, 35(11)37--48
-
Smith, T. Basil, see Nanda, Ashwini
-
Smith:2000:OCF, 35(7)1--11
-
Smith:2004:GAG, 39(6)277--288
-
SML-style, 41(9)87--98
-
Smolens, Jared C., 39(11)224--234
-
Smolens:2004:FBS, 39(11)224--234
-
SMP, 41(6)26--37
-
SMPs, 35(11)25--36
-
SMT, 39(11)260--270
-
Snavely, Allan, 35(11)234--244
-
Snavely:2000:SJS, 35(11)234--244
-
snippets, 39(10)13--14
-
Snooping, 35(11)25--36
-
Snyder, Lawrence, 38(10)155--166
-
Snyder, Lawrence, see Deitz, Steven J.
-
So, Byoungro, 37(5)165--176
-
So, Won, 40(7)137--146
-
so-called, 41(6)38--51
-
So:2002:CAF, 37(5)165--176
-
So:2005:CSP, 40(7)137--146
-
Soares, Sergio, 37(11)174--190
-
Soares:2002:IDP, 37(11)174--190
-
Sobering, Geoff, 39(10)162--163
-
Sobering:2004:PCV, 39(10)162--163
-
society, 41(6)341--353
-
sockets, 41(1)55--66
-
SOCs, 41(7)199--208
-
SODA, 39(10)220--221
-
Soffa, Mary Lou, 35(3)2--3, 38(6)16--22, 38(7)1--11, 39(4)596--611
-
Soffa, Mary Lou, see Bodík, Rastislav,
see Ryder, Barbara G., \see{Zhao, Min
-
Soffa:2000:ECN, 35(3)2--3
-
Sofronis, Christos, 38(7)153--162
-
Sofronis, Christos, see Caspi, Paul
-
soft, 39(4)412--428, 41(9)38--49
-
soft-error, 39(11)224--234
-
software--they, 41(6)401--414
-
software-based, 37(5)117--128, 41(9)38--49
-
software-only, 35(11)168--177
-
software-through-models, 38(7)133--143
-
Sohi, Guri, 37(10)199--210
-
Sohi, Guri, see Butts, J. Adam
-
Sohi, Gurindar S., 39(11)97--106
-
Sohi, Gurindar S., see Huh, Jaehyuk
-
Sokolsky, Oleg, 38(7)171--182
-
Sokolsky, Oleg, see Alur, Rajeev
-
Solar-Lezama, Armando, 40(6)281--294
-
Solar-Lezama:2005:PSB, 40(6)281--294
-
solely, 41(9)99--110
-
solvable, 41(1)153--165, 41(6)228--238
-
solve, 41(1)320--333, 41(6)108--117, 41(6)415--426, 41(7)199--208,
41(9)26--37
-
solved, 25(6)92--101, 39(4)360--371
-
solver, 41(1)16--29, 41(6)204--215
-
solving, 35(9)137--149, 41(1)320--333, 41(1)359--371
-
Soma, 41(3)10--19
-
sometimes, 41(2)29--33, 41(6)239--251, 41(9)50--61
-
somewhat, 41(1)245--256
-
S{\o}ndergaard, Harald, 37(9)98--109, see Glynn, Kevin
-
Song, Litong, 39(2)26--33
-
Song:2004:WCW, 39(2)26--33
-
sophisticated, 41(6)144--157, 41(6)239--251
-
S{\o}rensen, Morten Heine, 37(3)41--51,
see Secher, Jens Peter
-
Sorin, Daniel J., 35(11)25--36
-
Sorin, Daniel J., see Martin, Milo M. K.
-
sort, 40(8)7--10
-
sound, 38(5)208--219, 38(9)177--188, 39(9)189--200, 41(1)67--78,
41(1)79--90, 41(1)168--179, 41(1)218--231, 41(1)270--282,
41(1)309--319, 41(1)372--382, 41(6)144--157, 41(6)320--331,
41(7)34--43, 41(9)74--86
-
Soundararajan, Vijayaraghavan, 35(11)37--48
-
Soundararajan, Vijayaraghavan, see Nanda, Ashwini
-
soundness, 36(11)1--15, 40(1)364--377, 41(1)180--193, 41(1)270--282,
41(1)309--319, 41(1)320--333, 41(6)144--157, 41(6)158--168,
41(6)401--414, 41(7)34--43
-
source, open-, 41(6)72--83
-
source, source-to-, 39(10)212--213
-
Source-Level, 35(1)53--65
-
source-level, 36(7)83--92, 40(7)78--86
-
source-to-source, 39(10)212--213
-
South, 41(3)4--8
-
Soviani, Cristian, 39(7)175--181
-
Soviani, Cristian, see Zeng, Jia
-
Spacco, Jaime, 39(10)204--205
-
Spacco, Jaime, see Pugh, Bill
-
Space-Efficient, 36(5)104--113
-
space-time, 37(5)177--186
-
sparingly, 41(6)61--71
-
sparse, 37(5)45--56, 41(7)1--1
-
spatial, 38(3)62--73, 38(10)1--1, 38(11)27--46, 39(11)14--26,
41(9)62--73
-
SpecFP, 41(1)30--41
-
special, 36(12)1--1, 37(12)17--17, 39(4)372--389, 39(6)35--46,
39(10)324--325, 41(1)1--1, 41(2)8--17
-
special-purpose, 41(1)55--66
-
specialization, 37(3)52--62, 38(10)269--283, 40(7)95--104,
40(10)327--343, 41(1)295--308, 41(6)61--71, 41(6)272--282,
41(8)21--28
-
specialized, 37(5)83--94, 41(7)22--33
-
specializer, 35(7)76--77
-
specially, 41(6)72--83
-
specific, 37(7)185--193, 40(6)261--268, 41(1)218--231, 41(3)40--48,
41(6)272--282, 41(6)387--400, 41(6)401--414
-
Specific, Domain-, 35(1)109--122, 35(6)26--36, 36(9)64--73
-
specific, Domain-, 41(6)181--192
-
specific, domain-, 39(7)30--36, 39(10)39--40, 40(6)295--304,
40(12)28--37, 41(1)2--15, 41(6)181--192, 41(9)111--121
-
specific, Language-, 37(11)373--385
-
specific, middleware-, 39(10)60--62, 39(10)318--319
-
specific, system-, 37(5)69--82
-
Specific, Thread-, 36(1)18--24
-
specifically, 41(1)194--205, 41(1)309--319, 41(1)383--396, 41(7)1--1,
41(9)38--49
-
specification-based, 41(1)55--66
-
specified, 40(6)261--268, 41(1)1--1, 41(9)87--98
-
specify, 25(6)112--126, 37(5)246--257, 39(4)372--389, 41(1)91--102,
41(1)334--345, 41(3)10--19, 41(4)30--35, 41(6)1--13, 41(7)135--144,
41(8)21--28
-
specifying, 41(1)295--308, 41(1)334--345, 41(1)409--421, 41(6)228--238
-
SPECInt2000, 41(6)252--262
-
SPECjvm98, 41(6)216--227
-
spectrum, 41(1)1--1
-
speculation, 37(10)18--29, 38(10)1--12, 39(6)59--70, 39(11)189--198
-
speculative, 35(9)150--161, 36(7)2--11, 37(5)117--128, 37(10)18--29,
37(10)133--143, 37(10)171--183, 37(10)184--196, 38(5)289--299,
38(10)13--24, 38(10)25--36, 39(6)71--81, 39(7)78--87, 39(7)221--230,
40(6)269--279
-
speed, 37(5)294--303, 41(6)341--353, 41(7)44--53, 41(7)72--82,
41(7)113--124
-
Speed, High-, 35(11)71--81
-
speedup, 41(6)118--131, 41(6)132--143, 41(7)199--208, 41(8)29--33
-
Spek, P. van der, 40(4)47--50
-
spelling, 39(12)32--38
-
Spence, Susan, 39(11)48--58
-
Spence, Susan, see Saito, Yasushi
-
spent, 41(7)2--11
-
Sperber, Michael, 36(10)38--49, 36(10)122--133, 37(1)233--244,
37(9)271--282
-
Sperber, Michael, see Gasbichler, Martin,
see Neubauer, Matthias
-
Sperber:2001:DSL, 36(10)122--133
-
Spertus, Mike, 36(1)71--79
-
Spertus, Mike, see Rodriguez-Rivera, Gustavo
-
spill, 35(5)134--144, 40(6)180--189, 41(6)204--215, 41(6)216--227
-
spilled, 41(6)216--227
-
spilling, 36(5)243--253, 39(4)66--74
-
spin, 36(7)44--52
-
Spinach, 39(7)20--29
-
Spinczyk, Olaf, 39(10)18--19
-
Spinczyk:2004:MBS, 39(10)18--19
-
Spinellis, Diomidis, 37(4)54--56
-
Spinellis:2002:MPC, 37(4)54--56
-
spirit, 41(1)2--15
-
Spivak, Marina, 36(8)214--222
-
Spivak, Marina, see Pyarali, Irfan
-
Spivak, Michal, 41(7)22--33
-
Spivak:2006:SPT, 41(7)22--33
-
SPL, 36(5)298--308
-
split, 41(6)216--227
-
Split-stream, 35(5)27--34
-
splitting, 39(6)255--266, 41(6)216--227, 41(6)252--262
-
Spoonhower, Daniel, 41(6)283--294
-
Spoonhower:2006:ESP, 41(6)283--294
-
spot, 37(8)25--34, 41(6)252--262, 41(6)272--282
-
Sprague, Alan, 40(4)39--46
-
Sprague, Alan, see {\v{C}}repin{\v{s}}ek, Matej
-
spreadsheet, 35(1)25--38
-
SPTF, D-, 39(11)37--47
-
SQL, 41(1)372--382, 41(4)36--41
-
SqlCheckS, 41(1)372--382
-
Squyres, Jeffrey M., 38(10)2--2
-
Squyres:2003:CAL, 38(10)2--2
-
SR, 41(8)16--20
-
Sreedhar, Vugranam C., 35(5)196--207
-
Sreedhar:2000:FIO, 35(5)196--207
-
Sridharan, Manu, 37(5)258--269, 40(10)59--76, 41(6)387--400
-
Sridharan, Manu, see Choi, Jong-Deok
-
Sridharan:2005:DDP, 40(10)59--76
-
Sridharan:2006:RBC, 41(6)387--400
-
Srikant, Y. N., 35(6)37--46
-
Srikant:2000:EPA, 35(6)37--46
-
Srikanthan, Thambipillai, 41(7)182--188
-
Srikanthan, Thambipillai, see Yan, Leipo
-
Srinivas, A. Vijay, 41(3)10--19
-
Srinivas, A. Vijay, see Janakiram, D.
-
Srinivas, Kavitha, 39(10)294--304
-
Srinivas, Kavitha, see Reimer, Darrell
-
Srinivasan, Harini, 39(10)294--304
-
Srinivasan, Harini, see Reimer, Darrell
-
Srinivasan, Srikanth T., 39(11)107--119
-
Srinivasan:2004:CFP, 39(11)107--119
-
Srisa-an, Witawas, 40(7)230--238
-
Srisa-an, Witawas, see Griffin, Paul
-
Srivastava, Amitabh, 39(4)528--539
-
Srivastava:2004:ASB, 39(4)528--539
-
SSA, 41(1)397--408
-
SSA-style, 41(1)397--408
-
SSE2, 41(6)118--131
-
sshd, 41(6)72--83
-
SSM, 41(7)113--124
-
SSMs, 41(7)113--124
-
stability-oriented, 39(10)220--221
-
stabilizers, 41(9)136--147
-
stably, 41(6)376--386
-
stack, 37(1)307--318, 38_2s_37_43, 38(3)74--85, 40(9)216--227,
41(1)153--165, 41(3)40--48, 41(6)239--251, 41(6)364--375,
41(6)401--414, 41(9)26--37
-
stack-based, 41(6)401--414
-
stack-walking, 41(6)263--271
-
Staehli, Richard, 39(10)154--155
-
Staehli, Richard, see Eliassen, Frank
-
stage, 36(10)122--133, 41(1)409--421, 41(6)308--319
-
Stage, Multi-, 36(10)74--85
-
staged, 36(10)217--228, 37(1)113--125, 37(3)1--8, 37(9)218--229,
39(4)656--669, 41(1)409--421
-
staged, multi-, 41(1)257--268
-
staging, 35(1)81--94, 41(1)257--268
-
stale-value, 41(1)334--345
-
standard, 25(6)92--101, 36(10)14--25, 36(10)50--61, 38(8)20--21,
39(4)360--371, 39(10)96--100, 41(1)55--66, 41(1)180--193,
41(1)295--308, 41(1)334--345, 41(1)346--358, 41(1)397--408,
41(1)409--421, 41(2)8--17, 41(6)144--157, 41(6)295--307, 41(7)2--11,
41(7)34--43, 41(9)38--49
-
standard, non-, 41(5)39--45
-
Standardization, 37(7)65--74
-
standing, 41(7)83--92
-
standing, long-, 41(1)270--282
-
standpoint, 41(1)283--294
-
STARJIT, 41(1)397--408
-
Stärner, Johan, 39(7)146--154
-
Starner:2004:MCI, 39(7)146--154
-
start, 41(6)52--60
-
started, 41(7)12--21
-
startup, 41(6)52--60
-
Staschulat, Jan, 40(7)157--165
-
Staschulat:2005:SPC, 40(7)157--165
-
Stata, Raymie, 37(5)234--245
-
Stata, Raymie, see Flanagan, Cormac
-
state, infinite-, 41(1)153--165
-
state-of-the-art, 41(6)332--340
-
statecharts, 38(7)163--170, 39(7)257--266, 41(7)113--124, 41(7)135--144
-
stated, 25(6)112--126
-
Stateflow, 41(7)135--144
-
stateless, 37(10)279--290
-
statement, 41(6)1--13, 41(6)118--131, 41(6)169--180, 41(7)103--112
-
static, quasi-, 35(10)66--82
-
statically, 37(10)133--143, 38(5)155--167, 41(1)1--1, 41(1)270--282,
41(1)359--371, 41(6)14--25, 41(7)72--82, 41(7)125--134
-
statically-scheduled, 41(7)125--134
-
statically-typed, 39(8)54--60
-
statistical, 36(7)123--132, 39(11)156--164, 40(6)15--26
-
status, 41(8)6--9
-
Steegmans, Eric, 40(10)455--471
-
Steegmans, Eric, see Dooren, Marko van
-
Steele, 25(6)112--126, 39(4)360--371
-
Steele Jr., Guy L., 39(4)372--389
-
Steele, Jr., Guy L., 25(6)112--126
-
Steele:1990:HPF, 25(6)92--101, 25(6)112--126, 39(4)372--389
-
Steele:2004:RHP, 25(6)92--101, 25(6)112--126, 39(4)372--389
-
Steely, Simon, 35(11)13--24
-
Steely, Simon, see Gharachorloo, Kourosh
-
Steensgaard, Bjarne, 36(1)18--24
-
Steensgaard:2001:TSH, 36(1)18--24
-
steering, 36(9)3--3
-
Stefani, Jean-Bernard, 38(1)50--61
-
Stefani, Jean-Bernard, see Schmitt, Alan
-
Stefanovi{\'c}, Darko, 36(1)137--142, 38_2s_25_36
-
Stefanovic:2001:MOL, 36(1)137--142
-
Stefanovic:2003:OFG, 38_2s_25_36
-
Steffan, J. Gregory, 37(10)171--183
-
Steffan, J. Gregory, see Zhai, Antonia
-
Steffen, Bernhard, 39(4)460--472
-
Steffen, Bernhard, see Knoop, Jens
-
Steiner, Edwin, 41(7)145--152
-
Steiner, Edwin, see Farfeleder, Stefan
-
stemming, 39(4)372--389
-
step, 38(9)239--248, 41(1)1--1, 41(1)115--126, 41(6)52--60,
41(6)118--131, 41(6)376--386, 41(6)415--426
-
step-indexed, 40(9)78--91
-
Stephens, Kurt, 38(8)55--59
-
Stephens, William, 36(8)188--195
-
Stephens, William, see Narain, Sanjai
-
Stephens:2003:XCI, 38(8)55--59
-
Stephenson, Ben, 39(10)186--187
-
Stephenson, Mark, 35(5)108--120, 38(5)77--90
-
Stephenson:2000:BAA, 35(5)108--120
-
Stephenson:2003:MOI, 38(5)77--90
-
Stephenson:2004:AMO, 39(10)186--187
-
Stepp, M., 39(6)107--118
-
Stepp, M., see Collberg, C.
-
Stere, Adrian, 40(6)249--260
-
Stere, Adrian, see Ni, Yang
-
stewed, 37(4)21--26
-
Stichnoth, James M., 35(5)13--26
-
Stichnoth, James M., see Cierniak, Micha{\l}
-
still, 41(1)16--29, 41(1)320--333, 41(6)169--180, 41(6)354--363,
41(7)12--21, 41(7)83--92, 41(7)189--198
-
Stitt, Greg, 38(7)189--198
-
Stitt, Greg, see Suresh, Dinesh C.
-
STL, C++-, 35(2)46--53
-
STM, 41(6)26--37
-
Stochastic, 37(1)154--165
-
stock, 38_2s_44_55, 39(4)205--216, 41(7)54--63
-
Stodghill, Paul, 38(5)63--76, 38(10)84--94
-
Stodghill, Paul, see Bronevetsky, Greg,
see Yotov, Kamen
-
Stoller, Scott D., 36(8)102--111, 37(3)108--118, 38(10)325--331,
39(6)219--230, 40(10)473--486
-
Stoller, Scott D., see Liu, Yanhong A.,
see Unnikrishnan, Leena
-
Stone, Chris, 39(4)554--567
-
Stone, Chris, see Tarditi, David
-
stop, Non-, 35(9)257--267
-
Stop-the-World, 41(6)354--363
-
stopped, 41(4)24--29
-
stopping, 41(6)72--83
-
storable, 41(1)141--152
-
storage, 35(11)1--12, 35(11)190--201, 36(5)232--242, 37(10)264--276,
37(11)26--39, 38(5)258--268, 38(7)220--231, 39(4)28--37,
39(11)37--47, 39(11)59--71, 39(11)z--99999999, 41(7)2--11
-
store, 37(10)30--41, 38(11)403--417, 39(9)90--102, 41(1)141--152,
41(7)22--33, 41(7)72--82
-
stored, 35(11)168--177, 41(1)320--333, 41(4)36--41, 41(9)38--49
-
Storeless, 38(10)295--305
-
storing, 41(7)22--33
-
story, 39(10)188--189, 40(9)2--14
-
Stotzer, Eric, 36(8)138--144
-
Stotzer, Eric, see Granston, Elana
-
Stoyle, Gareth, 38(9)99--110, 40(1)183--194, 41(6)72--83
-
Stoyle, Gareth, see Bierman, Gavin,
see Neamtiu, Iulian
-
Stoyle:2005:MMS, 40(1)183--194
-
straightforward, 41(6)181--192, 41(8)34--43
-
straightforwardly, 41(1)372--382
-
strands, 40(7)127--136
-
strange, 37(8)15--16
-
Strap-On, 37(4)17--20
-
strategy, 36(8)214--222, 38(9)287--298, 39(10)253--259, 41(1)67--78,
41(3)20--29, 41(6)118--131, 41(6)144--157, 41(6)169--180,
41(7)153--162, 41(7)163--172, 41(7)173--181
-
stratified, 36(3)155--165, 40(9)1--1, 41(1)232--244
-
STREAM, 41(6)108--117
-
stream, Split-, 35(5)27--34
-
stream-processing, 41(1)180--193
-
streaming, 41(1)180--193, 41(7)72--82
-
streaming, bit-, 40(6)281--294
-
strength, 37(1)260--269, 41(1)1--1
-
Strichman, Ofer, 40(1)122--131
-
Strichman, Ofer, see Grumberg, Orna
-
strict, 41(1)206--217, 41(1)270--282, 41(6)38--51, 41(6)283--294
-
strict, non-, 37(9)98--109, 38(9)287--298, 41(1)206--217,
41(8)16--20
-
strictly, 41(1)180--193
-
stride, 37(5)210--221, 38(5)269--277, 41(6)132--143
-
Striebeck, Mark, 39(10)148--150
-
Striebeck, Mark, see Fraser, Steven
-
strike, 41(9)38--49
-
string, 38(10)243--249, 41(1)372--382, 41(4)24--29
-
string, procedure-, 41(1)127--140
-
stringent, 41(7)72--82
-
Strom, Robert E., 35(10)382--400
-
Strom, Robert E., see Bacon, David F.
-
strong, 37(9)235--246, 41(1)67--78, 41(1)79--90, 41(6)1--13
-
strong-consistency, 37(11)26--39
-
stronger, 40(6)261--268, 41(1)269--269
-
strongest, 41(1)91--102
-
Stroustrup, Bjarne, 41(1)295--308
-
Stroustrup, Bjarne, see Reis, Gabriel Dos
-
Strout, Michelle Mills, 38(5)91--102
-
Strout:2003:CTC, 38(5)91--102
-
structural, 36(10)98--109, 39(6)195--206, 39(10)35--36, 39(10)294--304,
41(1)103--114, 41(6)228--238, 41(7)113--124
-
structured, 38(12)2--2, 41(1)153--165
-
structures, data-, 41(7)54--63
-
structuring, 41(9)87--98
-
Stuck, 36(8)175--180
-
Stuckey, Peter J., 37(9)98--109, 37(9)167--178
-
Stuckey, Peter J., see Glynn, Kevin
-
Stuckey:2002:TO, 37(9)167--178
-
student, 37(4)21--26, 39(10)103--105
-
studied, 41(6)96--107, 41(9)38--49
-
studying, 41(9)38--49
-
Stump, Aaron, 40(9)268--279
-
Stump, Aaron, see Westbrook, Edwin
-
style, 41(1)1--1, 41(1)91--102, 41(1)320--333, 41(1)383--396,
41(6)295--307, 41(6)401--414, 41(9)62--73
-
style, C-, 41(6)401--414
-
style, CPS-, 41(1)320--333
-
style, Dependency-, 38(9)141--152
-
style, Hoare-, 41(1)79--90, 41(6)401--414
-
style, SML-, 41(9)87--98
-
style, SSA-, 41(1)397--408
-
styles, 40(10)117--132, 41(3)10--19
-
Su, Zhendong, 37(1)203--216, 41(1)372--382
-
Su:2002:FOT, 37(1)203--216
-
Su:2006:ECI, 41(1)372--382
-
Suárez-Cabal, M. José, 41(4)36--41,
see Tuya, Javier
-
sub-typing, 41(1)180--193
-
subclass, 35(10)208--228, 41(1)270--282
-
subclassing, 40(8)12--18
-
subgraphs, 41(6)61--71
-
Subramanian, Devika, 39(7)231--239, 40(7)69--77
-
Subramanian, Devika, see Almagor, L.,
see Cooper, Keith D.
-
Subramoney, Sreenivas, 36(1)101--110, 39(6)267--276
-
Subramoney, Sreenivas, see Adl-Tabatabai, Ali-Reza,
see Hudson, Richard L.
-
subranges, 41(6)216--227
-
subroutine, 41(8)21--28
-
subscripted, 39(4)328--342
-
subsequently, 40(6)261--268
-
subset, 41(1)206--217, 41(1)334--345, 41(6)144--157, 41(6)169--180,
41(6)283--294, 41(8)21--28
-
substantial, 39(6)35--46, 41(6)72--83, 41(6)239--251
-
substantially, 41(1)283--294, 41(6)72--83, 41(7)125--134
-
substitution, 35(5)47--56, 41(1)257--268
-
substructural, 40(9)78--91
-
subsumes, 41(1)79--90, 41(1)334--345
-
subsumption, 36(3)290--303
-
Subtext, 40(10)505--518
-
subtle, 41(7)113--124, 41(9)26--37
-
subtype, 41(1)103--114
-
subtyping, 35(9)68--81, 35(9)221--231, 36(3)54--66, 36(3)276--289,
36(11)96--107, 37(1)203--216, 38(1)150--159, 41(1)103--114,
41(1)180--193
-
subword, 41(6)132--143
-
succeed, 41(1)372--382, 41(3)30--39, 41(6)38--51, 41(6)387--400
-
success, 39(10)188--189, 41(3)40--48
-
successful, 41(1)194--205, 41(1)295--308, 41(7)1--1, 41(7)199--208
-
successfully, 41(1)334--345, 41(7)135--144
-
successive, 41(5)11--20
-
successively, 41(6)308--319
-
Suciu, Dan, 35(1)135--148
-
Suciu, Dan, see Fernández, Mary
-
suffer, 41(6)84--95, 41(6)263--271, 41(7)173--181
-
suffered, 41(7)12--21
-
sufficient, 41(9)62--73, 41(9)87--98
-
sufficiently, 40(4)51--60, 41(6)332--340
-
Suganuma, Toshio, 36(11)180--195, 38(5)312--323, 38(11)187--204
-
Suganuma, Toshio, see Ishizaki, Kazuaki
-
Suganuma:2001:DOF, 36(11)180--195
-
Suganuma:2003:RBC, 38(5)312--323
-
sugar, 41(8)16--20
-
sugar-coated, 41(8)29--33
-
Sugavanam, Krishnan, 35(11)37--48
-
Sugavanam, Krishnan, see Nanda, Ashwini
-
suggest, 41(1)55--66, 41(1)115--126, 41(1)295--308, 41(6)252--262
-
suggestion, 41(2)29--33
-
Suh, G. Edward, 39(11)85--96
-
Suh, Jinwoo, 36(8)20--28
-
Suh, Jinwoo, see Kang, Dong-In
-
Suh:2004:SPE, 39(11)85--96
-
suitable, 41(3)30--39, 41(4)16--23
-
suite, 39(7)1--9, 41(1)409--421, 41(6)308--319, 41(6)387--400,
41(7)83--92
-
suited, 41(3)10--19
-
Sulzmann, Martin, 37(9)98--109, 37(9)167--178
-
Sulzmann, Martin, see Glynn, Kevin,
see Stuckey, Peter J.
-
sum, 38(9)15--26, 39(1)64--76
-
Sumii, 41(1)141--152
-
Sumii, Eijiro, 39(1)161--172, 40(1)63--74
-
Sumii:2004:BDS, 39(1)161--172
-
Sumii:2005:BTA, 40(1)63--74
-
summarize, 41(5)21--29
-
summarizing, 39(1)245--255
-
summary, 35(7)79--81, 41(1)153--165
-
summer, 41(7)1--1
-
Sun, Jiaguang, 36(4)48--55, 36(9)86--93
-
Sun, Jiaguang, see Wang, Shaofeng
-
Sundaramoorthy, Karthik, 35(11)257--268
-
Sundaramoorthy:2000:SPI, 35(11)257--268
-
Sundaresan, Jagadeesan, 39(11)177--188
-
Sundaresan, Jagadeesan, see Zhou, Pin
-
Sundaresan, Krishnan, 38_2s_86_96
-
Sundaresan, Krishnan, see Mahapatra, Nihar R.
-
Sundaresan, Vijay, 35(10)264--280
-
Sundaresan:2000:PVM, 35(10)264--280
-
Sunik, Boris, 36(2)37--46, 38(6)50--59, 40(5)28--38
-
Sunik:2001:DOL, 36(2)37--46
-
Sunik:2003:POC, 38(6)50--59
-
Sunik:2005:SL, 40(5)28--38
-
super-beta, 41(1)127--140
-
superbeta, 41(9)13--25
-
superblock, 41(6)61--71
-
superclass, 35(10)208--228
-
superoptimizer, 37(5)304--314
-
superset, 41(2)8--17
-
superword, 35(5)145--156
-
supplements, 41(9)26--37
-
supplied, 41(7)44--53
-
supplied, programmer-, 41(9)50--61
-
supported, 41(1)1--1, 41(6)52--60, 41(6)132--143, 41(7)44--53
-
supported, well-, 41(7)1--1
-
supporting, 39(10)4--5, 39(10)310--311, 41(1)320--333, 41(3)4--8,
41(6)38--51, 41(7)34--43
-
Suppose, 41(5)39--45
-
Suqin, Zhang, 37(6)38--44
-
Suqin, Zhang, see Guilan, Dai
-
Suqing, Zhang, 37(6)45--51, 38(2)12--18
-
Suqing, Zhang, see Guilan, Dai
-
Suresh, Dinesh C., 38(7)189--198
-
Suresh:2003:PTH, 38(7)189--198
-
Suri, Neeraj, 37(7)75--84
-
Suri, Neeraj, see Jhumka, Arshad
-
surprising, 40(6)261--268
-
surprisingly, 41(1)180--193
-
survey, 39(3)14--30
-
susceptibility, 41(9)38--49
-
suspicious, 41(6)84--95
-
Sutre, Grégoire, 37(1)58--70,
see Henzinger, Thomas A.
-
Sutter, Bjorn, De, 36(8)29--38, 37(11)275--291, 38(7)244--253,
39(7)211--220, 40(7)95--104
-
Sutton, Jr., Stanley M., 39(10)29--30
-
Sutton, Jr., Stanley M., see Tarr, Peri
-
Suzuki, Mitsugu, 40(4)10--19
-
Suzuki, Mitsugu, see Saitou, Tetsuo
-
Svenningsson, Josef, 37(9)124--132, 39(9)67--78
-
Svenningsson, Josef, see Broberg, Niklas
-
Svenningsson:2002:SFA, 37(9)124--132
-
Swadi, Kedar, 39(10)41--42
-
Swadi, Kedar, see Guerrero, Miguel
-
swapping, 36(10)62--73
-
Sweany, Philip, 36(8)48--55, 37(7)112--119
-
Sweany, Philip, see Huang, Xianglong,
see Qian, Yi
-
Sweeney, Peter F., 35(7)52--64, 35(10)47--65, 39(10)31--32,
40(10)281--296
-
Sweeney, Peter F., see Arnold, Matthew,
see Hauswirth, Matthias
-
Sweeney, Tim, 41(1)269--269
-
Sweeney:2006:NMP, 41(1)269--269
-
sweep, 38(11)269--281
-
sweep, mark-, 39(11)199--210, 41(3)20--29, 41(6)364--375
-
Sweep, Mark-and-, 41(6)354--363
-
sweet, 41(6)252--262, 41(6)272--282
-
Swen, Bing, 35(2)61--67
-
Swen:2000:OOP, 35(2)61--67
-
Swierstra, S. Doaitse, 37(9)157--166, 38(9)3--13, 38(9)239--248
-
Swierstra, S. Doaitse, see Baars, Arthur I.,
see Heeren, Bastiaan,
see Hughes, R. John M.
-
switch, 41(6)401--414, 41(7)72--82
-
switched, 38(10)95--106
-
switching, 41(7)163--172
-
SXML, 37(6)52--58
-
Sy, Ousmane, 35(10)105--117
-
Sy, Ousmane, see Bastide, Rémi
-
Sych, Terry, 39(11)144--155
-
Sych, Terry, see Wang, Perry H.
-
Syed, Ali, 39(10)11--12, 39(10)168--169
-
Syed, Ali, see Kaundinya, Murali
-
syllabus, 41(3)30--39
-
Symbiotic, 35(11)234--244
-
symbol, 41(4)24--29
-
symbolic, 35(5)182--195, 37(7)18--27, 37(11)83--100, 39(1)1--13,
39(6)145--157, 41(1)55--66
-
symbolic-evaluation, 41(1)55--66
-
Syme, Don, 36(3)248--260, 36(5)1--12, 39(1)39--51
-
Syme, Don, see Gordon, Andrew D.,
see Kennedy, Andrew, \see{Yu, Dachuan
-
symmetric, 35(10)130--145, 35(11)168--177
-
Symmetric-Key, 35(11)178--189
-
symmetric-key, 35(11)178--189
-
symposium, 35(3)20--20, 35(4)17--17, 36(1)1--11, 36(1)12--17,
36(1)18--24, 36(1)25--34, 36(1)35--49, 36(1)50--58, 36(1)59--64,
36(1)65--70, 36(1)71--79, 36(1)80--93, 36(1)94--100, 36(1)101--110,
36(1)111--120, 36(1)121--126, 36(1)127--136, 36(1)137--142,
36(1)143--154, 36(1)155--166, 36(1)167--177, 36(12)15--15,
37(1)1--3, 37(1)4--16, 37(1)17--32, 37(1)33--44, 37(1)45--57,
37(1)58--70, 37(1)71--80, 37(1)81--92, 37(1)93--100, 37(1)101--112,
37(1)113--125, 37(1)126--127, 37(1)128--139, 37(1)140--153,
37(1)154--165, 37(1)166--177, 37(1)178--190, 37(1)191--202,
37(1)203--216, 37(1)217--232, 37(1)233--244, 37(1)245--246,
37(1)247--259, 37(1)260--269, 37(1)270--282, 37(1)283--294,
37(1)295--306, 37(1)307--318, 37(1)319--330, 37(1)331--342,
37(4)16--16
-
symptom, 38(1)97--105
-
SyncCharts, 41(7)113--124
-
synchronization, 35(5)208--218, 36(7)133--142, 37(7)223--232,
37(10)18--29, 38(1)262--272, 39(4)583--595, 39(6)47--58,
39(10)222--223, 41(1)180--193, 41(1)334--345, 41(1)346--358,
41(5)21--29, 41(6)1--13, 41(6)26--37, 41(6)308--319
-
synchronize, 41(6)26--37, 41(9)124--135
-
synchronized, 41(1)334--345, 41(5)21--29
-
synchronous, 41(1)180--193, 41(7)113--124, 41(9)124--135
-
synchronous, 0-, 41(1)180--193
-
synchronous, -, 41(1)180--193
-
synchronous, n-, 41(1)180--193
-
synchrony, 41(1)180--193
-
synchrony, n-, 41(1)180--193
-
Syncopation, 40(7)183--192
-
synergy, 41(3)30--39
-
synonyms, 40(9)241--253
-
Synopsys, 41(4)42--49
-
syntactic, 35(9)209--220, 36(11)31--42, 39(1)111--122, 40(1)75--84,
41(1)1--1, 41(1)320--333, 41(1)372--382, 41(6)38--51, 41(8)16--20
-
syntactically, 41(8)16--20
-
syntax, 35(2)11--16, 36(10)1--1, 37(3)31--40, 37(5)270--281,
38(9)249--262, 39(3)31--37, 40(4)47--50, 41(1)206--217,
41(1)320--333, 41(4)16--23, 41(5)30--38, 41(6)38--51, 41(9)111--121
-
syntax, abstract-, 41(4)16--23
-
syntax-extension, 41(9)111--121
-
synthesis, 36(8)20--28, 37(7)12--17, 38(7)163--170, 39(7)47--56,
40(1)98--109, 41(1)245--256, 41(6)341--353, 41(7)125--134,
41(7)135--144
-
synthesize, 41(1)115--126, 41(7)113--124, 41(7)135--144
-
synthesized, 41(6)341--353
-
synthesizing, 41(7)113--124, 41(7)189--198
-
synthetic, 41(7)93--102
-
system-load, 41(6)84--95
-
system-specific, 37(5)69--82
-
system-wide, 40(7)95--104
-
systematic, 36(2)47--54, 37(1)178--190, 37(7)75--84, 41(1)180--193,
41(1)295--308, 41(7)103--112
-
systematically, 41(1)372--382
-
Systems-on-chip, 37(7)1--1
-
Szafron, Duane, 38(10)203--215
-
Szafron, Duane, see Tan, Kai
-
Szep, A., 39(10)176--177
-
Szep:2004:DDS, 39(10)176--177
-
Szewczyk, Robert, 35(11)93--104
-
Szewczyk, Robert, see Hill, Jason
-
Szwed, Peter, 39(11)235--247
-
Szwed, Peter, see Bronevetsky, Greg