Index file section S for sigplan2000.bib

Last update: Thu Dec 1 02:13:10 MST 2011

Return to index directory

S

s, 41(6)283--294
{\S}-calculus, 38(2)29--35
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--1, 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
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
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
Sanders, Brandon, 38(10)131--142
Sanders, Brandon, see Chen, DeQing
Sands, David, 36(10)265--276, 41(1)79--90
Sands, David, see Gustavsson, Jörgen, see Hunt, Sebastian
Sands., 41(1)67--78
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, 35(7)78--78--1, 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--1
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
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.
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
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--1
Schlosser:2000:DCS, 35(11)1--12--1
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--1
SCOOP, 38(10)3--3--1
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
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
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
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--1, 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--z--8, 36(10)z--z--9, 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
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--1, 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--1
session, 35(7)73--74--1, 35(7)75--75--1, 35(7)76--77, 35(7)78--78, 35(7)79--81--1, 36(10)z--z--1--36(10)z--z--7
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
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
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
Shivers, Olin, 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
shortcomings, 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, 41(6)272--282--1
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--1
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, 35(11)49--58--1, 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, 35(11)49--58--1, 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
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--1, 41(7)2--11
Smalltalk, 36(4)48--55, 36(4)48--55--1, 38(11)47--64, 41(2)8--17
Smaragdakis, Yannis, 35(9)118--129, 36(4)25--30, 36(4)25--30--1
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
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., 41(8)10--14
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
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--1
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
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(6)272--282--1, 41(8)21--28
specialized, 37(5)83--94, 41(7)22--33
specializer, 35(7)76--77, 35(7)76--77--1
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--1, 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
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
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--1
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--1
Squyres:2003:CAL, 38(10)2--2--1
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
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--1, 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--1
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)1--12--1, 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--z--6, 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--1, 41(1)153--165
structures., data-, 41(7)54--63
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, 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
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, 35(7)79--81--1, 41(1)153--165
summer, 41(7)1--1
Sun, Jiaguang, 36(4)48--55--1, 36(9)86--93--1
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
Sutter, Bjorn De, 36(8)29--38--1, 37(11)275--291, 38(7)244--253, 39(7)211--220, 40(7)95--104
Sutter, Bjorn De, see Bus, Bruno De, see Chanet, Dominique
Sutter:2001:CGC, 36(8)29--38--1
Sutter:2002:SML, 37(11)275--291
Sutter:2003:SEC, 38(7)244--253
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
sweep;, mark-, 41(6)364--375
Sweep, Mark-and-, 41(6)354--363
sweet, 41(6)252--262, 41(6)272--282--1
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--1
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
synchronized, 41(1)334--345, 41(5)21--29
synchronous, 41(1)180--193, 41(7)113--124
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, 35(2)11--16--1, 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
syntax, abstract-, 41(4)16--23
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