Last update: Thu Sep 28 02:07:29 MDT 2023
Return to index directory
S
-
S, 45(7)97--108
-
S2E, 46(3)265--278, 47(4)265--278
-
S4, 46(4)84--96
-
Saarland, 45(4)67--76
-
Sabry, Amr, 47(1)73--84
-
Sabry, Amr, see James, Roshan P.
-
sacrifice, 45(3)257--270
-
sacrificing, 45(6)436--447, 46(11)79--88, 47(1)387--400, 47(4)67--78
-
Sadat-Mohtasham, Hossein, 45(2)35--44
-
Sadat-Mohtasham:2010:TPD, 45(2)35--44
-
Sadayappan, P., 46(1)549--562
-
Sadayappan, P., see Pouchet, Louis-Noël
-
Sadowski, Caitlin, 46(8)147--156, 46(10)427--444, 46(10)643--656,
47(1)387--400
-
Sadowski, Caitlin, see Burckhardt, Sebastian,
see Buse, Raymond P. L.,
see Smaragdakis, Yannis, \see{Yi, Jaeheon
-
safe, thread-, 45(6)330--340, 46(8)235--246
-
safe, type-, 45(6)99--110, 45(10)223--240, 47(1)151--164,
47(1)273--284
-
safely, 45(2)177--186, 45(6)351--362, 45(8)53--62, 46(8)169--178,
46(12)83--94, 47(4)159--170, 47(5)51--60
-
safety-critical, 45(4)67--76
-
Sagiv, Mooly, 45(9)249--260, 45(10)36--46, 45(10)411--427, 46(6)38--49,
46(6)567--577, 46(10)51--64, 46(10)207--224, 46(10)225--242,
47(1)373--386
-
Sagiv, Mooly, see Arnold, Gilad,
see Dillig, Isil, \see{Golan-Gueta, Guy,
see Hawkins, Peter, \see{Itzhaky, Shachar,
see Liang, Percy, \see{Naik, Mayur,
see Shacham, Ohad, \see{Tripp, Omer
-
Saha, Suman, 46(3)305--318, 46(5)41--50, 47(4)305--318
-
Saha, Suman, see Palix, Nicolas
-
Saha:2011:AIS, 46(5)41--50
-
Sallenave, Olivier, 47(5)11--20
-
Sallenave:2012:LGE, 47(5)11--20
-
Samadi, Mehrzad, 46(3)381--392, 47(4)381--392, 47(6)13--22
-
Samadi, Mehrzad, see Hormati, Amir H.
-
Samadi:2012:AIA, 47(6)13--22
-
sample, 45(3)91--102, 45(3)103--116, 45(6)187--197
-
sampled, 45(6)255--268, 47(6)77--88
-
sampling, 45(3)91--102, 45(3)103--116, 45(3)193--204, 45(4)133--142,
45(6)187--197, 45(6)255--268, 45(10)241--255, 46(4)65--83,
46(8)277--288, 47(1)441--454, 47(5)119--128
-
sampling-based, 45(4)133--142, 45(6)187--197, 45(6)255--268,
46(5)101--110
-
Sampson, Adrian, 45(10)140--159, 46(6)164--174
-
Sampson, Adrian, see Wood, Benjamin P.
-
Sampson, Jack, 45(3)205--218
-
Sampson, Jack, see Venkatesh, Ganesh
-
Sampson:2011:EAD, 46(6)164--174
-
Sanchez, Daniel, 45(3)311--322
-
Sánchez, Jesús, 46(5)161--170, see Bhagat, Indu
-
Sanchez:2010:FAS, 45(3)311--322
-
sandboxing, 46(6)355--366
-
Sandes, Edans Flavius O., 45(5)137--146
-
Sandes:2010:CUG, 45(5)137--146
-
Sands, David, 45(1)431--444
-
Sands, David, see Broberg, Niklas
-
Sanen, Frans, 45(2)167--176
-
Sanen:2010:MPS, 45(2)167--176
-
Sankaranarayanan, Sriram, 45(1)71--82
-
Sankaranarayanan, Sriram, see Harris, William R.
-
Santambrogio, Marco D., 45(5)347--348
-
Santambrogio, Marco D., see Hoffmann, Henry
-
Saraswat, 45(5)25--36
-
Saraswat, Vijay A., 46(8)201--212
-
Saraswat:2011:LBG, 46(8)201--212
-
Saraswati, Sujoy, 45(5)37--46
-
Saraswati, Sujoy, see Mannarswamy, Sandya
-
Sarimbekov, Aibek, 46(10)657--676
-
Sarimbekov, Aibek, see Sewe, Andreas
-
Sarkar, Abhik, 46(5)131--140
-
Sarkar, Susmit, 46(1)55--66, 46(6)175--186, 47(1)509--520
-
Sarkar, Susmit, see Batty, Mark
-
Sarkar, Vivek, 45(5)101--102, 45(5)341--342, 46(10)885--902,
47(5)61--70
-
Sarkar, Vivek, see Guo, Yi,
see Lublinerman, Roberto,
see Sbîrlea, Alina,
see Torrellas, Josep
-
Sarkar:2011:PTM, 46(5)131--140
-
Sarkar:2011:UPM, 46(6)175--186
-
Sartor, Jennifer B., 45(6)471--482, 46(10)307--324
-
Sartor, Jennifer B., see Yang, Xi
-
Sartor:2010:ZRD, 45(6)471--482
-
SAT, 45(6)341--350, 46(2)33--42
-
sat, 45(6)341--350
-
satellite, 45(4)105--114
-
satisfaction, 45(2)117--126
-
satisfaction, constraint-, 47(4)119--132
-
satisfactory, 47(1)495--508
-
satisfiability, 45(1)71--82, 45(6)134--145, 46(6)437--446,
46(8)307--308, 47(1)137--150
-
satisfied, 45(6)341--350, 46(8)289--290, 47(1)455--468
-
satisfy, 45(2)109--116, 45(4)57--66, 45(4)85--94, 45(6)50--61,
45(6)316--329, 47(1)7--18, 47(1)165--178, 47(1)217--230,
47(1)309--322
-
satisfying, 46(2)53--62, 46(8)307--308
-
Sato, Ryosuke, 46(6)222--233
-
Sato, Ryosuke, see Kobayashi, Naoki
-
Sato, Shigeyuki, 46(6)470--479
-
Sato:2011:APM, 46(6)470--479
-
Savage, Stefan, 45(7)63--74, 46(3)3--14, 47(4)3--14
-
Savage, Stefan, see Yuan, Ding,
see Zhang, Qing
-
save, 45(3)397--408, 45(6)460--470, 45(7)25--36, 47(4)213--224,
47(5)1--10
-
saved, 45(6)221--232, 46(8)189--200
-
saving, 45(3)397--408, 46(3)213--224, 46(10)35--50, 47(4)199--212,
47(4)213--224, 47(4)225--238, 47(5)1--10
-
saw, 45(8)21--30, 46(8)169--178
-
say, 47(1)557--570
-
Sbîrlea, Alina, 47(5)61--70
-
Sbirlea:2012:MDF, 47(5)61--70
-
SC, 45(6)351--362, 45(8)51--52, 46(6)199--210, 47(4)53--66
-
SC-preservation, 46(6)199--210
-
SC-preserving, 46(6)199--210
-
Scala, 46(2)83--92, 46(10)325--344, 46(10)657--676, 47(1)85--96,
47(1)151--164, 47(3)107--116, 47(6)35--44
-
scalability., 45(6)269--278
-
scalable, non-, 45(8)1--10
-
ScalaExtrap, 46(8)113--122
-
scalar, 45(3)285--296, 45(6)62--73
-
scale, full-, 46(11)21--32
-
scale, large-, 45(3)311--322, 45(5)159--168, 45(5)233--244,
45(5)305--314, 45(6)174--186, 46(2)33--42, 46(2)177--186,
46(8)305--306, 46(10)789--804, 46(11)109--118, 47(1)273--284,
47(5)61--70
-
scale, production-, 45(3)167--178
-
scale, RFID-, 47(4)159--170
-
scale, RFID-, 46(3)159--170, 47(4)159--170
-
scale, small-, 47(5)61--70
-
scaled, 47(4)145--158
-
scaling, 45(3)205--218, 45(3)385--396, 45(4)143--152, 45(5)223--232,
45(7)85--96, 45(8)1--10, 46(3)319--332, 46(6)590--601,
46(8)113--122, 46(11)21--32, 46(11)77--78, 47(1)59--72,
47(4)171--184, 47(4)225--238, 47(4)319--332, 47(5)21--30
-
scanning, 46(11)33--42
-
scant, 45(5)47--56
-
scapegoating, 46(1)215--226
-
scattered, 47(1)245--258
-
scenario, 45(2)15--24, 45(3)91--102, 45(4)133--142, 45(5)147--158,
45(5)325--326, 45(6)412--423, 45(7)121--132, 45(8)41--50,
45(12)97--112, 46(11)109--118, 47(1)19--30, 47(3)3--12, 47(3)33--42,
47(3)117--126, 47(3)157--166, 47(3)167--176, 47(6)55--66
-
Schaa, Dana, 45(5)353--354
-
Schaa, Dana, see Jang, Byunghyun
-
Schaefer, Ina, 46(2)13--22
-
Schaefer, Ina, see Clarke, Dave
-
Schaefer, Max, 45(10)286--301
-
Schaefer:2010:SIR, 45(10)286--301
-
Schäfer, Max, 45(1)145--156, 46(10)119--138,
see Feldthaus, Asger
-
Schafer:2010:TID, 45(1)145--156
-
Schear, Nabil, 45(7)63--74
-
Schear, Nabil, see Zhang, Qing
-
schedule, co-, 45(3)91--102
-
scheduled, 46(12)71--82, 47(3)185--186
-
scheduled, co-, 45(3)91--102
-
scheduler., 45(3)155--166
-
schedules, co-, 45(3)91--102
-
scheduling, co-, 45(3)91--102
-
scheduling, Re-, 47(5)31--40
-
scheduling, re-, 47(5)31--40
-
scheduling-aware, instruction-, 46(5)151--160
-
scheduling-based, 45(5)79--90
-
Scheler, Fabian, 46(8)301--302
-
Scheler, Fabian, see Stellwag, Philippe
-
schema-aware, 47(3)167--176
-
schemata, 45(10)901--917
-
Scheme-based, 47(2)1--12
-
Scherlis, William L., 45(5)233--244
-
Scherlis, William L., see Sutherland, Dean F.
-
Scherpelz, Joel, 46(3)251--264, 47(4)251--264, 47(6)77--88
-
Scherpelz, Joel, see Jin, Guoliang,
see Zhang, Wei
-
SCHISM, 45(6)146--159
-
SCHISM/CMR, 45(6)146--159
-
Schkufza, Eric, 46(8)13--24
-
Schkufza, Eric, see Bauer, Michael
-
Schlegel, Christian, 47(3)73--82
-
Schlegel, Christian, see Steck, Andreas
-
Schlickling, Marc, 45(4)67--76
-
Schlickling:2010:SAD, 45(4)67--76
-
Schmidt, 45(2)109--116
-
Schmidt, Douglas C., 47(3)53--62
-
Schmidt, Douglas C., see Otte, William R.
-
Schmidt-Nielsen, Peter, 45(1)1--6
-
Schmidt-Nielsen, Peter, see Gershenfeld, Neil
-
Schneider, Klaus, 45(4)47--56
-
Schneider, Klaus, see Brandt, Jens
-
Schoenberg, Sebastian, 46(7)181--192
-
Schoenberg, Sebastian, see Xia, Lei
-
Scholz, Bernhard, 46(3)357--368, 47(4)357--368, 47(5)79--88
-
Scholz, Bernhard, see Farhad, S. M.,
see Farhad, Sardar M.
-
Schonberg, Edith, 45(6)174--186
-
Schonberg, Edith, see Xu, Guoqing
-
school, 45(2)137--146
-
Schreiber, Robert S., 46(1)623--636
-
Schreiber, Robert S., see Joisha, Pramod G.
-
Schrijvers, Tom, 46(9)32--44, 47(6)35--44
-
Schrijvers, Tom, see Oliveira, Bruno C. d. S.
-
Schrijvers:2011:MZV, 46(9)32--44
-
Schröder-Preikschat, Wolfgang, 46(2)33--42, 46(8)301--302,
see Sincero, Julio,
see Stellwag, Philippe
-
Schuff, Derek L., 46(6)355--366
-
Schuff, Derek L., see Ansel, Jason
-
Schulte, Wolfram, 45(10)708--725
-
Schulte, Wolfram, see Bebenita, Michael
-
Schultz, Ulrik P., 47(3)1--2
-
Schultz, Ulrik Pagh, 46(2)157--166
-
Schultz, Ulrik Pagh, see Bordignon, Mirko
-
Schultz:2012:MCP, 47(3)1--2
-
Schulze, Sandro, 46(2)103--112
-
Schulze:2011:CCF, 46(2)103--112
-
Schüpbach, Adrian, 46(3)119--132, 47(4)119--132
-
Schupbach:2011:DLA, 46(3)119--132
-
Schupbach:2012:DLA, 47(4)119--132
-
Schwarz, Martin D., 46(1)93--104
-
Schwarz:2011:SAI, 46(1)93--104
-
Schweinsberg, Nils, 46(12)13--22
-
Schweinsberg, Nils, see Giorgidze, George
-
Schwinghammer, Jan, 46(1)119--132
-
Schwinghammer, Jan, see Birkedal, Lars
-
science, 45(6)98--98, 45(10)2--2, 45(10)885--900, 45(10)933--946,
46(8)3--12, 46(8)309--310, 47(1)441--454, 47(2)97--106
-
scientific, 45(3)65--76, 45(3)297--310, 45(5)1--2, 45(5)343--344,
45(6)86--97, 46(8)103--112, 46(8)113--122, 46(8)305--306,
46(8)309--310, 46(12)59--70, 47(4)15--26
-
scientific, proto-, 45(10)901--917
-
SCLA-STM, 45(5)37--46
-
SCM, 47(4)91--104
-
SCMs, 47(4)91--104
-
scope, 45(5)57--66, 45(6)400--411, 47(1)557--570, 47(4)405--418
-
Scott, 46(8)223--234
-
Scott, David, 45(9)87--92
-
Scott, Michael L., 45(5)67--78, 46(3)39--52, 47(4)39--52
-
Scott, Michael L., see Dalessandro, Luke
-
Scott:2010:UFP, 45(9)87--92
-
Scrapping, 45(9)297--308
-
SCRATCH, 46(8)311--312
-
scratch-pad, 45(5)105--114
-
scratchpad, 46(5)11--20, 47(5)41--50
-
script, 45(2)147--156, 45(4)105--114, 45(7)121--132, 47(1)273--284,
47(2)1--12
-
scripting, 45(1)377--388, 45(7)121--132, 45(12)43--58, 47(1)111--122,
47(1)165--178, 47(2)37--50
-
SDN, 47(1)215--216, 47(1)217--230
-
SDNs, 47(1)217--230
-
seamless, 45(4)125--132, 47(3)3--12
-
seamlessly, 45(11)49--60
-
search-time, 45(4)95--104
-
searching, 45(5)355--356
-
secondary, 45(3)231--242, 45(6)221--232
-
section, 45(5)37--46, 45(5)245--256, 45(5)281--292, 45(6)269--278
-
section., 45(6)269--278
-
sector-translating, 46(5)31--40
-
secure, 45(7)13--24, 46(6)109--120, 46(9)266--278, 47(1)165--178
-
securely, 47(4)291--304
-
security-typed, 45(9)169--180
-
see, 45(5)293--304, 45(6)25--35, 47(1)215--216
-
seed, 47(3)185--186
-
seeing, 47(5)21--30
-
seek, 47(4)3--14
-
seem, 45(5)103--104, 45(6)1--12, 45(6)305--315, 47(1)59--72
-
seemingly, 45(4)27--36, 45(6)50--61
-
seen, 45(3)29--38, 45(4)77--84, 45(6)436--447, 46(8)169--178,
47(1)361--372, 47(2)73--84, 47(3)185--186, 47(5)61--70
-
segment, 45(2)117--126, 45(3)385--396, 45(5)233--244, 47(1)245--258,
47(5)139--148
-
segment-sum, 45(2)117--126
-
segmentation, 46(1)105--118
-
segregated, 45(8)73--82
-
Sehr, David, 46(6)355--366
-
Sehr, David, see Ansel, Jason
-
Sehrawat, Nipun, 46(7)3--14
-
Sehrawat, Nipun, see Du, Jiaqing
-
Seidl, Helmut, 46(1)93--104
-
Seidl, Helmut, see Schwarz, Martin D.
-
Seifert, Mirko, 45(2)99--108
-
Seifert, Mirko, see Heidenreich, Florian
-
select, 45(2)25--34, 45(2)35--44, 45(2)45--54, 45(5)191--202,
45(5)341--342, 46(8)257--266, 47(1)441--454, 47(5)41--50
-
selected, 45(2)35--44, 45(3)347--358, 45(5)233--244, 47(1)111--122,
47(5)41--50
-
selecting, 47(5)119--128
-
selection, 45(2)35--44, 45(4)1--8, 45(4)95--104, 45(7)145--156,
46(1)575--586, 46(6)86--97, 46(10)789--804, 47(1)297--308,
47(4)405--418, 47(5)41--50
-
selective, 45(5)37--46, 45(7)133--144, 46(7)217--226, 47(4)265--278
-
selectively, 47(4)345--356
-
selector, 45(1)403--416, 45(4)9--16
-
self-adjusting, 45(6)483--496, 46(9)129--141, 46(10)753--772
-
self-aware, 45(5)347--348
-
self-certification, 47(1)571--584
-
self-certified, 47(1)571--584
-
self-collecting, 46(11)99--108
-
self-configuration, 47(3)3--12
-
self-contained, 46(1)307--316
-
self-hosted, 47(2)61--72
-
self-hosting, 45(12)43--58
-
self-interpretation, 46(9)247--258
-
self-modifying, 46(6)355--366
-
self-parallelism, 46(6)458--469
-
semantically, 45(4)9--16, 47(1)191--202, 47(3)167--176, 47(4)345--356
-
semantics-achieving, 45(6)160--173
-
semantics-preserving, 45(2)117--126, 47(1)441--454
-
semi-automatic, 45(4)67--76
-
semi-automatically, 45(4)67--76
-
semi-structured, 45(6)221--232
-
semilinear, 47(5)51--60
-
Sen, Koushik, 46(3)79--90, 46(6)401--414, 46(10)171--188, 47(4)79--90
-
Sen, Koushik, see Burnim, Jacob,
see Joshi, Pallavi
-
Sena, Demóstenes, 47(3)33--42, see Neves, Laís
-
sense, 45(4)57--66, 47(1)401--412, 47(1)495--508
-
sensing, 45(3)3--14
-
sensitive, 45(5)327--328, 45(7)13--24, 45(7)63--74, 47(1)85--96,
47(4)369--380
-
sensitive, 'context-, 45(6)305--315
-
sensitive, branch-, 47(6)45--54
-
sensitive, context-, 45(5)25--36, 45(6)305--315, 46(6)425--436,
47(1)373--386
-
sensitive, Flow-, 46(10)483--498
-
sensitive, flow-, 45(12)27--42
-
sensitive, Input-, 47(6)89--98
-
sensitive, Resource-, 47(1)309--322
-
sensitive, time-, 45(4)133--142
-
sensitive, timing-, 47(4)345--356
-
sensitivity, 45(6)13--24, 45(12)27--42
-
sensitivity, context-, 45(6)305--315
-
sensitivity, object-, 46(1)17--30
-
sensor, 45(5)169--178, 46(5)91--100, 46(8)1--2, 47(5)1--10
-
sent, 46(8)81--90
-
sentence, 47(3)137--146
-
separability, 45(6)400--411
-
separable, 45(6)400--411
-
separate, 45(3)335--346, 45(3)397--408, 45(4)37--46, 45(4)47--56,
45(4)115--124, 45(6)146--159, 45(7)37--38, 45(8)63--72, 46(2)63--72,
46(11)119--128, 47(1)137--150, 47(1)323--336, 47(1)387--400,
47(3)83--92, 47(3)147--156, 47(3)185--186, 47(4)15--26,
47(4)133--144, 47(4)145--158, 47(4)213--224, 47(5)79--88
-
separated, 45(2)157--166
-
separately, 45(3)117--128, 45(3)129--142, 45(5)137--146, 46(8)189--200
-
separating, 45(2)45--54, 45(7)39--50, 47(4)119--132
-
Seq, 45(11)91--102
-
sequencing, 46(12)1--12
-
sequentially, 45(3)271--284, 46(11)119--128, 47(3)13--22, 47(4)53--66,
47(6)55--66
-
sequentially, non-, 45(6)244--254
-
Sequoia, 46(8)13--24
-
Serebrenik, A., 47(3)137--146
-
Serebrenik, A., see Arnoldus, B. J.
-
serial, 45(5)91--100, 45(5)245--256, 45(5)341--342, 46(6)458--469,
46(8)293--294, 46(10)519--536, 47(4)393--404
-
serializability, 45(1)31--42, 45(6)134--145
-
serializable, 45(10)567--582, 46(8)147--156
-
serialization, 45(3)53--64, 45(3)117--128, 45(5)281--292, 47(4)91--104
-
serialize, 45(6)50--61
-
serializing, 45(3)53--64, 45(5)179--190, 46(12)118--129
-
serially, 47(4)79--90
-
series, 45(3)103--116, 45(6)388--399, 46(5)31--40, 47(3)185--186
-
serious, 45(2)3--4, 45(3)219--230, 45(6)255--268, 46(8)103--112,
46(12)35--46, 47(5)61--70
-
Serrano, Mauricio J., 46(3)405--418, 47(4)405--418
-
Serrano, Mauricio J., see Hayashizaki, Hiroshige
-
serve, 45(4)57--66, 45(6)221--232, 45(6)376--387, 46(2)3--12,
46(8)125--134, 47(1)285--296, 47(1)545--556, 47(3)185--186,
47(4)171--184
-
served, 47(1)387--400
-
server, multi-, 46(8)289--290
-
server-class, 45(6)146--159
-
server-generated, 47(2)25--36
-
server-level, 47(1)387--400
-
server-power, 45(3)243--256
-
server-side, 45(7)121--132, 47(2)1--12
-
Servetto, Marco, 45(10)464--483
-
Servetto:2010:MMC, 45(10)464--483
-
service, quality-of-, 47(3)53--62
-
service-oriented, 47(1)191--202
-
service/solution, 45(6)198--209
-
session, 45(1)299--312, 46(1)435--446
-
set, instruction-, 45(7)85--96
-
set-associative, 45(4)153--162
-
set-based, lock-, 45(3)179--192
-
set-theoretic, 46(9)94--106
-
sets., 45(6)448--459
-
Sevcik, 45(6)341--350
-
{\v{S}}ev{\c{c}}ik, Jaroslav, 46(1)43--54
-
Sevcík, Jaroslav, 46(6)306--316
-
Sevcik:2011:RMC, 46(1)43--54
-
Sevcik:2011:SOS, 46(6)306--316
-
seven, 45(4)133--142, 45(6)330--340, 45(7)37--38, 46(8)69--80
-
severe, 45(3)3--14, 45(3)29--38, 45(3)179--192
-
severely, 45(3)53--64, 46(8)135--146
-
Sevitsky, Gary, 45(6)174--186
-
Sevitsky, Gary, see Xu, Guoqing
-
Sewe, Andreas, 46(10)657--676
-
Sewe:2011:CCS, 46(10)657--676
-
Sewell, Peter, 45(8)51--52, 46(1)43--54, 46(1)55--66, 46(1)473--474,
46(6)175--186, 47(1)509--520
-
Sewell, Peter, see Batty, Mark,
see Gordon, Andrew D.,
see Sarkar, Susmit,
see {\v{S}}ev{\c{c}}ik, Jaroslav
-
Sewell:2010:MEA, 45(8)51--52
-
Shacham, Ohad, 46(10)51--64
-
Shacham:2011:TAC, 46(10)51--64
-
shader, 45(3)297--310
-
shader-assisted, 45(3)297--310
-
shadow, 45(8)93--102
-
shadowing, 45(8)93--102, 46(2)177--186
-
Shaheen, Mohammed, 46(8)295--296
-
Shaheen, Mohammed, see Strzodka, Robert
-
Shali, Amin, 46(10)375--390
-
Shali:2011:HPE, 46(10)375--390
-
shallow, 46(12)118--129
-
Shao, Zhong, 45(9)333--344, 47(1)273--284
-
Shao, Zhong, see Stampoulis, Antonis
-
Shao, Zili, 45(4)163--172
-
Shao, Zili, see Wang, Yi
-
shape, 45(6)62--73, 45(6)305--315, 45(8)1--10, 46(1)159--172,
46(1)173--186, 46(10)225--242
-
shape-polymorphic, 45(9)261--272
-
share, 45(2)35--44, 45(3)231--242, 45(3)335--346, 45(4)17--26,
45(5)339--340, 45(5)343--344, 45(7)63--74, 46(8)69--80,
46(8)125--134, 46(8)201--212, 46(11)11--20
-
shared-cache, 45(7)97--108
-
shared-memory, 45(5)179--190, 45(5)269--280, 45(5)337--338,
45(6)351--362, 45(10)140--159, 46(6)199--210, 46(6)306--316,
46(8)201--212, 46(11)21--32, 46(12)118--129, 47(4)15--26,
47(4)53--66, 47(5)79--88
-
shared/distributed, 45(3)285--296
-
sharedmemory, 45(5)281--292
-
Sharif, Monirul, 45(5)315--324
-
Sharif, Monirul, see Aleen, Farhana
-
sharing, resource-, 45(3)103--116, 45(5)191--202
-
sharing,like, 45(5)191--202
-
sharing-aware, cache-, 45(5)203--212
-
sharing-via-labelling, 47(1)469--480
-
sharing., 45(5)191--202
-
Sharma, Navin, 46(3)185--198, 47(4)185--198
-
Sharma, Upendra, 46(7)51--62
-
Sharma, Upendra, see Cecchet, Emmanuel
-
Sharma:2011:BMS, 46(3)185--198
-
Sharma:2012:BMS, 47(4)185--198
-
Sharp, Richard, 45(9)87--92
-
Sharp, Richard, see Scott, David
-
Shaw, Adam, 45(9)93--104
-
Shaw, Adam, see Bergstrom, Lars
-
Sheard, Tim, 46(9)234--246, 46(9)333--345
-
Sheard, Tim, see Ahn, Ki Yung,
see Weirich, Stephanie
-
shelf, off-the-, 45(6)436--447, 45(9)75--86, 47(5)99--108
-
Shen, Kai, 45(3)103--116
-
Shen, Xipeng, 45(5)203--212, 45(10)125--139, 46(3)369--380,
46(10)445--462, 47(4)369--380
-
Shen, Xipeng, see Tian, Kai,
see Zhang, Eddy Z.
-
Shen:2010:RBV, 45(3)103--116
-
Shenoy, Prashant, 46(3)185--198, 46(7)51--62, 46(7)121--132,
47(4)185--198
-
Shenoy, Prashant, see Cecchet, Emmanuel,
see Sharma, Navin, \see{Wood, Timothy
-
SHERIFF, 46(10)3--18
-
SherLog, 45(3)143--154
-
Sherwood, Timothy, 46(6)109--120
-
Sherwood, Timothy, see Li, Xun
-
Shi, Xiaoming, 47(6)77--88
-
Shi, Xiaoming, see Jin, Guoliang
-
Shi, Yao, 45(10)160--174
-
Shi:2010:DUW, 45(10)160--174
-
Shibayama, Etsuya, 45(12)15--26
-
Shibayama, Etsuya, see Zakirov, Salikh S.
-
shielded, 45(5)57--66
-
shift, 45(3)231--242, 45(5)103--104, 45(6)279--291, 45(8)103--112
-
shifting, level-, 47(3)97--106
-
shine, 47(1)571--584
-
Shinnar, Avraham, 45(1)237--248
-
Shinnar, Avraham, see Malecha, Gregory
-
shipping, post-, 45(6)448--459
-
shipping, pre-, 45(6)448--459
-
Shivers, 45(6)305--315
-
Shivers, Olin, 46(9)58--68, 46(9)69--80
-
Shivers, Olin, see Vardoulakis, Dimitrios
-
Shivers:2011:MRT, 46(9)58--68
-
Shmatikov, Vitaly, 46(6)343--354, 46(10)1069--1084
-
Shmatikov, Vitaly, see Son, Sooel,
see Srivastava, Varun
-
Shoestring, 45(3)385--396
-
shoestring, 45(3)385--396
-
shooting, trouble-, 47(4)3--14
-
short, 45(3)193--204, 45(3)311--322, 45(5)25--36, 45(5)335--336,
46(1)307--316, 47(1)401--412, 47(4)27--38, 47(4)251--264
-
short-term, 46(11)99--108
-
shortcoming, 45(2)25--34, 45(5)15--24, 47(1)273--284
-
shortcut, 46(12)47--58
-
shorten, 45(7)25--36
-
shortening, 45(4)77--84
-
shorter, 45(6)233--243, 45(8)73--82, 47(3)107--116, 47(4)405--418
-
shortest, 45(6)233--243, 46(8)3--12
-
shortness, 45(6)233--243
-
shot, one-, 45(5)3--14
-
showcase, 47(4)171--184
-
showed, 45(4)105--114, 45(5)47--56, 45(6)62--73, 45(7)157--166,
45(8)73--82
-
showing, 45(5)137--146, 45(5)345--346, 45(6)305--315, 45(6)424--435,
46(4)84--96, 46(8)125--134, 46(8)147--156, 47(2)25--36, 47(4)27--38,
47(6)89--98
-
shown, 45(5)79--90, 45(5)213--222, 45(5)339--340, 45(6)400--411,
45(7)13--24, 45(7)85--96, 45(8)113--120, 46(8)267--276,
47(1)533--544, 47(4)369--380
-
Shpeisman, Tatiana, 46(1)535--548
-
Shpeisman, Tatiana, see Bocchino, Jr., Robert L.
-
shrinking, 45(7)109--120
-
Shrivastava, Aviral, 45(4)17--26, 45(4)143--152
-
Shrivastava, Aviral, see Kim, Yongjoo
-
Shrivastava:2010:CVE, 45(4)143--152
-
Shubert, Gary J., 47(3)95--96
-
Shubert:2012:AMB, 47(3)95--96
-
shuffled, 45(3)231--242
-
shuffling, 45(3)285--296
-
Shukla, Sandeep K., 45(4)47--56
-
Shukla, Sandeep K., see Brandt, Jens
-
Shukla, Sunil, 47(6)23--34
-
Shukla, Sunil, see Bacon, David F.
-
shutdown, 45(4)85--94, 45(7)75--84
-
SI, 45(5)179--190
-
side, 45(3)29--38, 45(5)191--202, 45(6)269--278, 46(9)143--155,
47(1)111--122, 47(3)137--146
-
side, client-, 46(11)119--128, 47(1)31--44, 47(2)1--12,
47(2)25--36
-
side, server-, 45(7)121--132, 47(2)1--12
-
side-effecting, 46(6)425--436, 46(12)83--94
-
side-effects, 45(3)29--38
-
Sidiroglou, Stelios, 45(10)806--821, 46(3)199--212, 47(4)199--212
-
Sidiroglou, Stelios, see Hoffmann, Henry,
see Rinard, Martin
-
Siebert, Christian, 45(5)159--168
-
Siebert, Christian, see Hoefler, Torsten
-
Siebert, Fridtjof, 45(8)11--20
-
Siebert:2010:CPR, 45(8)11--20
-
Siegel, Stephen F., 46(8)309--310
-
Siegel:2011:AFV, 46(8)309--310
-
Siegmund, Norbert, 47(3)3--12
-
Siegmund, Norbert, see Rosenmüller, Marko
-
Siek, Jeremy G., 45(1)365--376, 46(1)201--214, 46(2)167--176
-
Siek, Jeremy G., see Ahmed, Amal,
see Miao, Weiyu
-
Siek:2010:TB, 45(1)365--376
-
Sighireanu, Mihaela, 46(6)578--589
-
Sighireanu, Mihaela, see Bouajjani, Ahmed
-
signal, 45(3)15--28, 45(5)169--178, 45(6)198--209, 45(6)279--291,
46(5)71--80, 46(8)213--222, 47(4)185--198, 47(5)51--60, 47(5)79--88
-
signal-processing, 45(6)279--291
-
signaled, 45(6)351--362
-
signature, 45(3)103--116, 45(6)424--435
-
significand, 45(6)233--243
-
SIGPLAN, 47(1)1--2, 47(1)3--6
-
silently, 46(6)283--294
-
silicon, 45(3)297--310, 45(3)371--384
-
SIMD, 45(3)285--296, 45(5)353--354
-
SIMD-enabled, 45(3)285--296
-
SIMDization, 45(3)285--296
-
SIMDization, Macro-, 45(3)285--296
-
{SIMD}ization, macro-, 45(3)285--296
-
SIMDization, macro-, 45(3)285--296
-
similarity, 45(3)371--384, 45(4)105--114, 45(6)305--315, 47(3)185--186
-
similarly, 45(7)13--24
-
Simion, Bogdan, 45(5)325--326
-
Simion, Bogdan, see Lupei, Daniel
-
Simmonds, Ian, 45(10)848--864
-
Simmonds, Ian, see Ossher, Harold
-
Simon, Doug, 45(7)39--50
-
Simon, Doug, see Titzer, Ben L.
-
simpler, 47(1)509--520, 47(3)107--116, 47(4)15--26
-
simplest, 45(5)179--190, 47(5)149--152
-
simplicity, 45(8)53--62, 46(5)31--40, 46(8)179--188
-
simplification, 45(6)388--399
-
simplified, 46(8)135--146
-
simplify, 45(4)47--56, 45(5)37--46, 45(6)255--268, 46(2)23--32,
46(8)35--46, 46(8)69--80, 47(1)545--556, 47(3)53--62, 47(4)67--78,
47(6)55--66
-
simplifying, 45(3)15--28, 45(7)39--50, 46(8)179--188, 47(3)53--62
-
simply, 45(3)53--64, 45(5)305--314, 45(6)233--243, 47(1)7--18,
47(3)185--186, 47(4)265--278
-
Simpoint, 45(3)193--204
-
simulate, 45(5)315--324, 46(12)71--82, 47(1)165--178, 47(3)63--72,
47(5)21--30
-
simulated, 45(3)271--284
-
simulating, 46(2)53--62
-
simulator, 45(4)9--16, 45(5)203--212, 45(5)305--314, 45(7)157--166,
47(4)53--66, 47(4)159--170, 47(5)21--30, 47(5)139--148
-
Simulink, 47(5)129--138
-
simultaneous, 45(3)91--102, 45(3)371--384, 45(5)191--202, 45(6)98--98,
45(8)63--72, 46(11)119--128, 47(4)319--332
-
simultaneous-generational, 46(11)79--88
-
simultaneously, 45(3)371--384, 45(4)95--104, 45(5)191--202,
45(5)213--222, 45(5)341--342, 45(7)39--50, 45(8)63--72,
45(12)59--72, 46(2)113--122, 46(11)65--76, 46(11)79--88,
47(1)165--178, 47(1)545--556, 47(4)15--26, 47(4)265--278
-
Sincero, Julio, 46(2)33--42
-
Sincero:2011:EEA, 46(2)33--42
-
sing\#, 45(7)37--38
-
Singer, Jeremy, 45(8)103--112, 46(11)109--118
-
Singer:2010:EGC, 45(8)103--112
-
Singer:2011:GCA, 46(11)109--118
-
Singh, Abhayendra, 45(6)351--362, 46(3)53--66, 46(6)199--210,
47(4)53--66
-
Singh, Abhayendra, see Marino, Daniel
-
Singh, Amik, 45(5)115--126
-
Singh, Amik, see Choi, Jee W.
-
Singh, Navjot, 45(7)97--108
-
Singh, Navjot, see Lee, Min
-
Singh, Rahul, 46(7)51--62
-
Singh, Rahul, see Cecchet, Emmanuel
-
Singh, Satnam, 46(9)221--233
-
Singh, Satnam, see Ghica, Dan R.
-
Singh:2011:EPS, 46(3)53--66
-
Singh:2012:EPS, 47(4)53--66
-
single-and, 45(5)115--126
-
single-core, 45(3)155--166, 45(3)285--296
-
single-CPU, 45(8)11--20
-
single-cycle, 47(6)23--34
-
single-function, 46(8)1--2
-
single-pass, 46(1)599--610
-
single-precision, 45(5)115--126
-
single-processor, 47(4)15--26
-
single-source, 46(8)3--12
-
single-step, 46(6)425--436
-
single-thread, 45(3)297--310, 45(6)460--470
-
single-threaded, 45(3)53--64, 45(3)65--76, 45(3)271--284, 45(3)297--310,
45(5)257--268, 45(8)21--30, 46(8)35--46, 47(4)319--332
-
single-valued, 47(1)137--150
-
singularity, 45(7)37--38, 47(1)191--202
-
Sinha, Nishant, 46(1)423--434
-
Sinha:2011:IA, 46(1)423--434
-
Sinkovics, Ábel, 46(2)137--146,
see Porkolab, Zoltán
-
sips, 45(7)37--38
-
Sir, 47(1)1--2
-
sit, 45(3)297--310
-
site, 45(7)109--120, 46(11)119--128, 47(4)251--264
-
site, allocation-, 45(7)109--120
-
site, cross-, 47(1)165--178
-
site, off-, 46(2)73--82
-
site, use-, 46(6)602--613
-
Site-as-a-Hash-code, Allocation-, 45(7)109--120
-
site-aware, allocation-, 45(7)109--120
-
site-based, allocation-, 45(7)109--120
-
Site-via-a-Class-pointer, Allocation-, 45(7)109--120
-
sites, call-, 47(4)405--418
-
situation, 45(2)35--44, 45(3)117--128, 45(8)53--62, 46(2)1--2,
46(4)41--52, 46(12)83--94, 47(1)165--178, 47(1)495--508, 47(4)3--14
-
Sivaramakrishnan, KC, 46(6)628--639
-
Sivaramakrishnan, KC, see Ziarek, Lukasz
-
six, 45(3)91--102, 45(6)388--399, 45(8)21--30, 45(12)15--26,
47(1)373--386, 47(4)239--250
-
size, fixed-, 45(6)233--243, 45(6)471--482
-
sized, 45(8)73--82, 45(8)103--112
-
sizing, 46(11)65--76
-
Sjöberg, Vilhelm, 45(1)275--286, see Jia, Limin
-
sketch, 47(1)73--84
-
sketching, 46(2)3--12
-
skewing, 46(8)295--296
-
skill, 46(2)1--2
-
skilled, 46(8)1--2
-
skip, 45(5)257--268
-
SLA, 46(8)291--292
-
Slåtten, Vidar, 47(3)147--156
-
Slaatten:2012:TAG, 47(3)147--156
-
slack, 45(3)231--242
-
SLAW, 45(5)341--342
-
sleep, 45(7)75--84
-
slice, 45(7)13--24
-
sliced, 45(7)13--24
-
slicing, 45(6)174--186, 47(4)251--264
-
slicing, time-, 45(3)271--284
-
slightly, 45(5)47--56
-
slip, 45(3)179--192
-
slogan, 47(4)1--2
-
slot, 46(10)959--972
-
slow, 45(3)257--270, 45(6)25--35, 45(6)255--268, 45(7)85--96,
45(7)133--144, 45(7)157--166, 47(4)105--118, 47(4)171--184
-
slow-down, 45(7)109--120
-
slowdown, 45(3)271--284, 45(6)25--35, 45(7)109--120, 46(6)199--210
-
slower, 45(4)95--104, 45(5)147--158, 45(5)341--342, 45(6)233--243,
45(7)51--62, 46(8)223--234, 47(6)23--34
-
slowing, 45(6)269--278, 45(8)51--52
-
Small, Sam, 45(7)13--24
-
Small, Sam, see Chow, Jim
-
small-scale, 47(5)61--70
-
smaller, 45(5)79--90, 46(8)113--122, 46(8)295--296, 46(11)77--78,
47(1)259--272, 47(3)147--156, 47(4)405--418, 47(5)99--108
-
smallest, 45(5)137--146, 47(3)157--166
-
small/large, 45(5)337--338
-
Smaragdakis, Yannis, 45(6)305--315, 45(10)256--269, 46(1)17--30,
46(6)602--613, 47(1)387--400
-
Smaragdakis, Yannis, see Altidor, John,
see Might, Matthew,
see Reichenbach, Christoph
-
Smaragdakis:2011:PYC, 46(1)17--30
-
Smaragdakis:2012:SPR, 47(1)387--400
-
smart, 45(5)103--104, 47(4)159--170, 47(5)119--128
-
smartphone, 46(8)1--2
-
Smith, Alex, 46(1)345--356, 46(9)221--233
-
Smith, Alex, see Ghica, Dan R.
-
Smith, Edwin, 47(2)13--24
-
Smith, Edwin, see Chang, Mason
-
Smith, Gareth David, 47(1)31--44
-
Smith, Gareth David, see Gardner, Philippa Anne
-
Smith, Jacob, 45(2)147--156
-
Smith, Jacob, see Järvi, Jaakko
-
Smith, Scott F., 45(10)671--690, 46(10)939--958
-
Smith, Scott F., see Kulkarni, Aditya,
see Palmer, Zachary
-
Smith, Timmie, 46(8)235--246
-
Smith, Timmie, see Tanase, Gabriel
-
Smith--Waterman, 45(5)137--146
-
smooth, 45(3)243--256, 45(6)279--291, 46(2)137--146
-
smoothing, 45(6)279--291
-
SMP, 45(5)337--338
-
SMPSs, 45(5)337--338
-
SMT, 45(3)91--102, 45(5)191--202, 45(6)292--304, 45(6)412--423,
45(8)63--72, 45(9)105--116, 46(8)125--134, 46(8)307--308,
47(1)85--96, 47(1)123--136, 47(1)137--150, 47(1)151--164,
47(4)393--404
-
SMT, pure-, 45(5)191--202
-
SMT-based, 47(1)231--244
-
SMTX, 45(3)65--76
-
snail, 47(1)215--216
-
snapshot, 45(5)257--268, 47(6)23--34
-
snapshot-at-the-beginning, 45(8)73--82
-
Snoeren, Alex C., 45(7)63--74
-
Snoeren, Alex C., see Zhang, Qing
-
so-called, 45(5)169--178, 47(1)259--272, 47(3)147--156, 47(5)149--152
-
Soares, Sérgio, 47(3)23--32, see Ribeiro, Márcio
-
Sobernig, Stefan, 47(3)157--166
-
Sobernig:2012:CCA, 47(3)157--166
-
SoC, 47(5)149--152
-
social, 46(8)305--306, 47(1)85--96
-
socket, 45(6)460--470
-
socket, multi-, 45(5)147--158
-
SOCs, 47(5)61--70
-
SoCs, 45(5)103--104, 47(5)149--152
-
Soffa, Mary Lou, 45(7)145--156
-
Soffa, Mary Lou, see Guha, Apala
-
soft, 45(3)385--396, 45(4)143--152, 45(6)351--362, 45(7)97--108,
47(5)99--108
-
soft-real-time, 45(7)97--108
-
software, hardware-, 45(3)311--322, 47(4)185--198
-
software-based, 46(8)189--200
-
software-controlled, 47(4)67--78
-
software-defined, 45(3)271--284, 47(1)217--230
-
software-isolated, 45(7)37--38
-
software-mostly, 45(3)311--322
-
software-only, 45(3)311--322, 45(6)460--470, 47(4)67--78, 47(5)99--108
-
software-pipelined, 45(5)191--202
-
Sokolova, Ana, 46(11)99--108
-
Sokolova, Ana, see Aigner, Martin
-
Solar-Lezama, Armando, 45(6)279--291, 46(10)65--82, 47(1)85--96
-
Solar-Lezama, Armando, see Chaudhuri, Swarat,
see Yang, Jean, \see{Yessenov, Kuat
-
Solaris, 45(5)79--90
-
sole, 45(6)233--243
-
solely, 45(3)15--28, 47(6)55--66
-
SOLERO, 45(6)269--278
-
solid, 45(2)25--34
-
solid-state, 46(5)31--40
-
Soltero, Philip, 46(7)169--180
-
Soltero, Philip, see Lange, John R.
-
solution, problem-, 45(2)167--176
-
solution-space, 45(2)167--176
-
solved, 45(3)117--128, 45(5)159--168, 45(5)213--222, 46(6)425--436,
46(8)103--112, 47(2)97--106
-
solvers, constraint-, 46(8)125--134
-
solving, 45(5)127--136, 45(5)159--168, 45(6)279--291, 45(6)292--304,
47(1)151--164, 47(1)413--424
-
something, 47(1)557--570
-
sometimes, 45(3)53--64, 45(6)198--209, 45(6)483--496, 46(6)458--469,
46(8)179--188, 46(8)293--294, 46(11)43--54, 47(1)165--178,
47(3)3--12
-
somewhat, 45(8)83--92
-
Son, Sooel, 46(10)1069--1084
-
Son:2011:RFM, 46(10)1069--1084
-
Sondag, Tyler, 46(2)63--72
-
Sondag, Tyler, see Long, Yuheng
-
Song, Linhai, 46(6)389--400, 47(6)77--88
-
Song, Linhai, see Jin, Guoliang
-
soon, 45(3)385--396, 45(8)121--130, 46(8)57--68, 46(8)179--188
-
sophisticated, 45(2)85--94, 45(3)29--38, 45(8)51--52, 46(4)65--83,
47(1)231--244, 47(1)273--284, 47(6)23--34
-
Sorber, Jacob, 46(3)159--170, 47(4)159--170
-
Sorber, Jacob, see Ransford, Benjamin
-
Sorensen, Andrew, 45(10)822--834
-
Sorensen:2010:PTC, 45(10)822--834
-
Sorin, Daniel J., 45(3)323--334
-
Sorin, Daniel J., see Romanescu, Bogdan F.
-
sorting, 47(5)119--128
-
SOS, 45(3)91--102, 46(10)35--50
-
SOTER, 46(8)81--90
-
source, open-, 45(2)45--54, 45(3)179--192, 45(7)51--62,
46(6)283--294, 46(8)213--222, 47(4)239--250
-
source, single-, 46(8)3--12
-
source, source-to-, 46(8)277--288
-
source-based, 45(3)335--346
-
source-destination, 45(3)15--28
-
source-level, 45(4)9--16, 45(5)233--244, 45(6)412--423, 47(3)53--62
-
source-to-source, 46(8)277--288
-
SP, 45(5)179--190
-
space, length-, 47(1)45--58
-
space, problem-, 45(2)167--176
-
space, solution-, 45(2)167--176
-
space, state-, 47(4)251--264
-
space, time-and-, 45(6)146--159
-
space, user-, 46(7)157--168
-
space-and-time, 45(6)146--159
-
space-bounded, 47(1)45--58
-
space-efficient, 46(7)75--86
-
space-leaks, 45(8)53--62
-
space-usage, 45(5)245--256
-
space., 45(8)93--102
-
spacing, 46(11)55--64
-
span, 45(3)65--76, 45(3)193--204, 45(5)245--256, 47(5)119--128
-
spanning, 46(8)3--12
-
Sparc, 45(8)51--52
-
spare, 47(4)15--26
-
sparse, 45(5)115--126, 45(5)159--168, 45(6)471--482, 45(9)249--260,
46(8)25--34, 46(8)201--212, 46(8)247--256, 47(4)105--118
-
sparsity, 45(5)159--168
-
spatial, 45(3)219--230, 45(8)31--40, 46(2)157--166, 46(4)84--96,
47(1)427--440
-
spatial-checking, 45(8)31--40
-
spatio-temporal, 45(4)27--36
-
spawn, 46(8)13--24
-
spawned, 45(7)25--36
-
Spear, Michael F., 45(5)67--78, 46(3)39--52, 47(4)39--52
-
Spear, Michael F., see Dalessandro, Luke
-
SPEC, 45(3)29--38, 45(3)397--408, 45(6)460--470, 46(6)199--210,
46(8)91--102, 47(4)319--332
-
spec, 46(8)125--134
-
SPEC00, 45(3)193--204
-
SPEC06, 45(3)193--204
-
SPEC2000, 45(6)460--470, 47(5)89--98
-
SPEC2006, 45(6)460--470
-
special, 45(3)53--64, 45(3)117--128, 45(4)1--8, 45(6)122--133,
45(6)436--447, 46(2)177--186, 46(8)169--178, 47(3)95--96,
47(6)35--44
-
special-purpose, 45(7)13--24
-
specialised, 46(12)47--58, 46(12)107--117
-
specialization, 45(7)85--96, 45(7)157--166, 45(12)27--42, 46(2)127--136,
46(11)33--42
-
specialize, 45(7)157--166
-
specialized, 45(3)205--218, 45(4)115--124, 45(5)103--104, 45(5)355--356,
45(7)157--166, 46(8)247--256, 47(1)273--284, 47(3)63--72
-
specializer, 45(7)157--166
-
specially, 45(9)75--86
-
species, 45(11)147--158
-
specific, algorithm-, 47(4)333--344
-
Specific, Application-, 45(5)103--104
-
specific, application-, 45(5)345--346
-
specific, container-, 45(6)160--173
-
specific, context-, 45(6)36--49
-
specific, Domain-, 46(2)137--146
-
specific, GPU-, 45(5)115--126
-
specific, hardware-, 45(5)343--344
-
specific, language-, 47(3)1--2
-
specific, problem-, 45(6)483--496
-
specific, program-, 45(6)448--459
-
specific, runtime-, 45(7)39--50
-
specific, thread-, 47(5)21--30
-
specifically, 45(3)155--166, 45(3)285--296, 45(3)359--370,
45(4)133--142, 45(5)147--158, 45(5)245--256, 45(6)187--197,
45(6)221--232, 46(8)35--46, 46(8)297--298, 47(2)85--96,
47(3)177--184, 47(4)225--238
-
specification, over-, 47(3)63--72
-
specified, 45(2)55--64, 45(6)36--49, 45(6)198--209, 46(8)289--290,
47(1)191--202, 47(3)63--72, 47(4)265--278
-
specified, DiaSpec-, 45(2)137--146
-
specified, programmer-, 45(5)281--292
-
specified, well-, 45(6)36--49
-
specifying, 45(2)127--136, 45(3)323--334, 45(6)122--133, 45(9)249--260,
45(10)286--301, 46(2)13--22, 46(2)53--62, 46(3)79--90,
47(3)185--186, 47(4)79--90, 47(4)333--344, 47(5)71--78
-
SPECjbb2000, 45(5)281--292
-
SPECjbb2005, 45(6)269--278
-
SPECjvm2008, 45(7)109--120
-
spectrum, 45(6)111--121, 47(5)61--70, 47(5)149--152
-
speculate, 45(6)50--61, 45(7)37--38
-
speculating, 45(6)50--61
-
speculation, 45(3)29--38, 45(3)65--76, 45(3)77--90, 45(5)335--336,
45(6)50--61, 46(6)199--210, 46(6)425--436, 46(8)189--200,
47(4)67--78, 47(4)345--356, 47(6)55--66
-
speculative, 45(3)65--76, 45(3)77--90, 45(5)3--14, 45(5)335--336,
45(6)50--61, 45(6)62--73, 45(8)51--52, 45(8)63--72, 46(6)98--108,
46(8)69--80, 46(8)189--200, 46(10)259--274, 46(10)555--574,
47(6)55--66
-
speculative, non-, 45(6)50--61, 45(6)62--73, 46(8)189--200
-
speculatively, 45(3)65--76, 45(5)335--336, 45(8)63--72, 46(5)161--170,
46(8)69--80, 46(8)189--200
-
SPECweb2005, 45(7)121--132
-
speed, full-, 47(1)151--164
-
speed-ups, 45(5)91--100
-
speeding, 45(8)113--120, 46(10)537--554
-
spend, 46(6)458--469, 46(8)201--212, 47(6)67--76
-
spent, 45(5)315--324, 46(6)283--294
-
Sperber, Michael, 45(9)229--234
-
Sperber, Michael, see Crestani, Marcus
-
SpiceC, 46(8)69--80
-
Spiewak, Daniel, 46(9)189--195
-
Spiewak, Daniel, see Might, Matthew
-
spike, 45(3)231--242, 47(4)199--212
-
spikes., 45(3)231--242
-
Spin-Torque, 47(5)109--118
-
spin-ups, 45(7)75--84
-
spine, 45(6)146--159, 45(6)471--482
-
spinning, 45(3)117--128, 45(5)269--280
-
SPL, 47(3)3--12, 47(3)23--32
-
SPLASH-2, 45(3)271--284, 46(6)199--210
-
Splash-2, 45(3)257--270, 47(5)21--30
-
SPLASH2, 45(3)53--64
-
splitting, 45(5)179--190, 45(9)93--104
-
splitting, binary-, 45(5)179--190
-
splitting-threshold, stop-, 45(5)179--190
-
SPLs, 47(3)3--12, 47(3)23--32
-
SPM, 47(5)41--50
-
SPMD, 45(5)357--358, 45(10)652--670, 46(8)113--122
-
SpMV, 45(5)115--126, 46(8)247--256
-
Sponge, 46(3)381--392, 47(4)381--392
-
Spoofax, 45(10)444--463, 47(3)127--136, 47(3)167--176
-
spot, 45(3)243--256, 45(6)400--411
-
spot, hot-, 45(5)325--326
-
spread, 45(3)231--242
-
spreading, 45(6)460--470, 47(4)159--170
-
spreadsheet, 46(1)317--330, 46(6)317--328
-
sprint, 46(10)259--274
-
SPUR, 45(10)708--725
-
SQL-injection, 47(1)179--190
-
SQL-like, 46(12)13--22
-
square, 45(10)109--124
-
squared, 46(1)1--2
-
squeeze, 45(3)231--242
-
SRAM, 47(5)109--118
-
SRAM-based, 47(5)109--118
-
Sridharan, Manu, 46(10)1053--1068
-
Sridharan:2011:FTA, 46(10)1053--1068
-
Srikantaiah, Shekhar, 45(6)74--85, 46(8)289--290
-
Srikantaiah, Shekhar, see Kandemir, Mahmut,
see Prabhakar, Ramya
-
Sripanidkulchai, Kunwadee, 46(7)133--144
-
Sripanidkulchai, Kunwadee, see Zheng, Jie
-
Srisa-an, Witawas, 46(10)35--50
-
Srisa-an, Witawas, see Li, Du
-
Srivastava, Saurabh, 45(1)313--326, 46(6)492--503, 46(10)83--98
-
Srivastava, Saurabh, see Pu, Yewen
-
Srivastava, Varun, 46(6)343--354
-
Srivastava:2010:PVP, 45(1)313--326
-
Srivastava:2011:PBI, 46(6)492--503
-
Srivastava:2011:SPO, 46(6)343--354
-
SSA, 47(1)427--440
-
SSA-based, 46(6)98--108
-
sst, 45(5)179--190
-
sst=1, 45(5)179--190
-
ST, 46(12)83--94
-
St-Amour, Vincent, 46(6)132--141
-
St-Amour, Vincent, see Tobin-Hochstadt, Sam
-
stability, 45(3)231--242, 45(4)67--76, 47(1)111--122
-
stable, 45(3)117--128, 45(7)85--96
-
stably-distributed, 47(5)89--98
-
stack--is, 45(6)13--24
-
stack--user, 47(4)265--278
-
stack-based, 45(12)43--58
-
stack-comparison, call-, 47(4)405--418
-
Staden, Stephan van, 45(10)504--519, 47(1)7--18
-
stage, 45(4)37--46, 45(5)315--324, 45(7)13--24, 47(3)185--186
-
stage, Multi-, 45(6)400--411, 45(7)13--24
-
stage, multi-, 45(6)400--411, 46(2)127--136
-
staged, multi-, 45(2)109--116, 45(6)400--411, 46(1)81--92
-
staged, two-, 45(2)109--116
-
staging, 45(6)400--411, 46(2)127--136, 47(1)273--284
-
stale, 45(6)244--254
-
stall, 47(6)23--34
-
stall-free, 47(6)23--34
-
STAMP, 45(5)37--46, 45(5)57--66, 45(5)281--292, 45(5)349--350
-
Stampoulis, Antonis, 45(9)333--344, 47(1)273--284
-
Stampoulis:2010:VTC, 45(9)333--344
-
Stampoulis:2012:SUE, 47(1)273--284
-
stand, 45(8)1--10
-
standard., 45(2)15--24
-
standby, 45(3)243--256
-
standby-to-active, 45(3)243--256
-
standpoint, 45(3)193--204
-
Stanley, Kenneth O., 45(10)3--3
-
Stanley:2010:AOH, 45(10)3--3
-
STAPL, 46(8)235--246
-
start, 45(2)1--2, 45(4)77--84, 45(5)91--100, 45(7)1--2, 45(7)37--38,
45(8)1--10, 47(4)91--104, 47(4)405--418
-
started, 45(4)115--124, 45(7)37--38, 46(8)123--124
-
starting, 45(6)25--35, 45(6)316--329, 45(11)49--60, 45(12)81--96,
46(11)33--42, 47(3)13--22
-
startup, 45(7)133--144, 46(4)65--83
-
starvation, 45(5)67--78, 45(8)73--82, 47(4)159--170
-
stasis, 47(4)105--118
-
*state, 47(1)59--72
-
state, solid-, 46(5)31--40
-
state, steady-, 46(4)65--83
-
state, thread-, 47(1)297--308
-
state, two-, 45(10)567--582
-
state-based, 47(1)495--508
-
state-of-art, 45(3)285--296
-
state-of-the, 47(1)151--164, 47(4)357--368
-
state-reachability, 47(1)203--214
-
state-space, 47(4)251--264
-
statechart, 47(3)117--126
-
stated, 46(4)53--64
-
stateful, 45(1)185--198, 45(10)555--566
-
stateless, 45(5)15--24
-
statement, 45(5)57--66, 45(6)160--173, 46(8)135--146, 46(10)865--884,
47(3)167--176
-
states--and, 47(1)495--508
-
static-analysis, 47(1)31--44
-
statically-identified, 45(6)160--173
-
statically-typed, 45(6)122--133
-
stationary, 46(10)35--50
-
statistic, 47(1)217--230
-
statistical, 45(3)193--204, 45(6)198--209, 45(10)806--821, 46(4)65--83,
47(1)545--556, 47(6)89--98
-
statistically-vulnerable, 45(3)385--396
-
statistics, traffic-, 47(1)217--230
-
steady, 47(4)171--184
-
steady-state, 46(4)65--83
-
steal, 46(8)201--212
-
stealer, work-, 45(5)179--190
-
stealing, 45(5)179--190, 45(5)245--256
-
stealing, Work-, 45(5)341--342
-
stealing, work-, 45(3)311--322, 45(5)91--100, 45(5)179--190,
45(5)269--280, 45(5)341--342, 46(8)201--212, 47(5)61--70
-
Steck, Andreas, 47(3)73--82
-
Steck:2012:MDE, 47(3)73--82
-
Steele, Guy, 46(10)973--992
-
Steele, Guy, see Allen, Eric
-
Stefan, Deian, 46(12)95--106
-
Stefan:2011:FDI, 46(12)95--106
-
Stefanescu, Andrei, 47(1)123--136
-
Stefanescu, Andrei, see Madhusudan, Parthasarathy
-
Stellwag, Philippe, 46(8)301--302
-
Stellwag:2011:WFN, 46(8)301--302
-
stem, 45(6)341--350
-
stencil, 46(8)113--122, 46(12)59--70
-
Steno, 46(6)121--131
-
step, big-, 47(1)413--424, 47(3)117--126
-
step, single-, 46(6)425--436
-
step, step-by-, 47(3)185--186
-
step, two-, 46(8)289--290, 47(3)147--156
-
step-by-step, 47(3)185--186
-
step-indexed, 46(1)119--132
-
Stepp, Michael, 45(1)389--402
-
Stepp, Michael, see Tate, Ross
-
stepping, 47(3)185--186
-
STG, 45(11)25--36
-
Stitt, Greg, 45(4)115--124
-
Stitt, Greg, see Wernsing, John Robert
-
STM, 45(3)39--52, 45(5)37--46, 45(5)67--78, 45(5)325--326, 45(5)333--334,
46(8)169--178, 46(8)179--188, 46(8)291--292, 46(12)83--94,
47(4)27--38, 47(4)39--52
-
STM, SCLA-, 45(5)37--46
-
STM-level, 45(5)79--90
-
STM-SynQuake, 45(5)325--326
-
STMs, 46(8)179--188
-
stmt, GRace-, 46(8)135--146
-
Stoica, Radu, 45(3)117--128
-
Stoica, Radu, see Johnson, F. Ryan
-
Stoller, Scott D., 45(2)55--64, 45(12)27--42
-
Stoller, Scott D., see Gorbovitski, Michael,
see Liu, Yanhong A.
-
Stone, John E., 45(3)347--358
-
Stone, John E., see Gelado, Isaac
-
stones, 47(3)185--186
-
stop-splitting-threshold, 45(5)179--190
-
stop-the-world, 45(8)21--30, 46(11)79--88, 47(6)23--34
-
stopping, 47(5)119--128
-
storage, flash-, 46(5)31--40
-
storage-class, 47(4)91--104
-
store-ordering, total-, 47(4)67--78
-
store-passing, 46(1)147--158
-
stored, 47(1)557--570, 47(4)159--170
-
Stork, Sven, 46(10)713--732
-
Stork, Sven, see Sunshine, Joshua
-
story, 45(5)47--56, 47(3)185--186
-
Story, Alec, 46(9)279--291
-
Story, Alec, see Foster, Nate
-
St{\o}vring, Kristian, 46(1)119--132, see Birkedal, Lars
-
Stoy, Kasper, 46(2)157--166
-
Stoy, Kasper, see Bordignon, Mirko
-
straight-forward, 45(5)223--232
-
straightforward, 45(5)269--280, 46(8)13--24, 47(1)309--322
-
Straka, Milan, 45(11)13--24
-
Straka:2010:PHC, 45(11)13--24
-
strand, 45(5)191--202
-
strategic, 45(5)355--356
-
Stratego, 45(2)3--4, 47(3)127--136
-
stratification, 47(1)231--244
-
Strauss, Karin, 46(3)171--184, 47(4)171--184
-
Strauss, Karin, see Koukoumidis, Emmanouil
-
stream-based, 46(5)1--10
-
stream-individual, 45(4)37--46
-
streamined, 47(1)323--336
-
streaming, 45(3)285--296, 45(4)27--36, 45(5)315--324, 46(1)599--610,
46(8)247--256, 47(1)97--110, 47(4)381--392, 47(5)71--78,
47(6)13--22
-
StreamIt, 47(4)357--368, 47(5)79--88
-
Streamline, G-, 47(4)369--380
-
streamlined, 45(3)39--52, 46(2)157--166
-
streamlining, 45(5)67--78
-
streams, sub-, 45(4)37--46
-
Strembeck, Mark, 47(3)157--166
-
Strembeck, Mark, see Sobernig, Stefan
-
strength, 46(2)83--92, 46(6)425--436, 47(3)53--62
-
strength, industrial-, 45(7)145--156, 47(1)425--426,
47(3)73--82
-
stress, 45(5)15--24, 45(5)105--114, 47(4)239--250
-
stress-testing, 45(3)167--178
-
stressful, 47(6)23--34
-
Strickland, T. Stephen, 45(12)97--112
-
Strickland:2010:CFC, 45(12)97--112
-
strict, 45(6)134--145, 45(7)39--50
-
strictly, 45(4)37--46, 45(5)327--328, 47(1)137--150
-
strides, 45(5)1--2
-
strike, 45(2)15--24, 45(4)143--152, 45(6)341--350, 47(5)99--108
-
string, 45(2)99--108, 45(2)109--116, 46(1)317--330, 47(1)137--150
-
string, tree-to-, 47(3)137--146
-
stringent, 45(4)67--76
-
strive, 45(2)157--166
-
Stroka, Stephanie, 46(11)99--108
-
Stroka, Stephanie, see Aigner, Martin
-
stronger, 45(9)157--168, 46(12)1--12, 47(1)215--216
-
strongest, 47(1)245--258
-
strongly, 45(3)117--128, 45(6)244--254
-
Strub, Pierre-Yves, 46(9)266--278, 47(1)571--584
-
Strub, Pierre-Yves, see Swamy, Nikhil
-
Strub:2012:SCB, 47(1)571--584
-
struct, 46(8)309--310
-
structural, 45(4)9--16, 47(1)245--258, 47(1)349--360, 47(4)251--264
-
stRucturally-MalLEabe, 47(5)71--78
-
structure'--a, 47(1)495--508
-
structure,, 47(1)495--508
-
structure, data-, 47(1)123--136
-
structure, fixed-, 47(5)71--78
-
Structure-driven, 45(5)3--14
-
structured, 45(4)37--46, 45(4)57--66, 45(5)355--356, 45(6)25--35,
45(10)140--159, 47(1)73--84
-
structured, graph-, 45(5)355--356
-
structured, semi-, 45(6)221--232
-
structured, tree-, 45(5)355--356
-
structures, data-, 47(1)123--136
-
structures., 45(6)388--399
-
structuring, 45(1)261--274
-
Strzodka, Robert, 46(8)295--296
-
Strzodka:2011:TSM, 46(8)295--296
-
STT--RAM, 47(5)109--118
-
STT-RAM, 47(4)91--104, 47(5)109--118
-
Stuchlik, Andreas, 47(2)97--106
-
Stuchlik:2012:SVD, 47(2)97--106
-
stuck, 47(1)165--178
-
student, 45(5)47--56, 45(6)98--98, 45(7)1--2, 45(9)229--234
-
studied, 45(3)359--370, 45(5)169--178, 45(5)281--292, 45(5)341--342,
45(5)353--354, 45(7)85--96, 45(8)83--92, 47(1)495--508, 47(5)51--60,
47(5)99--108
-
studied, under-, 47(4)239--250
-
studied, well-, 46(8)201--212
-
study, case-, 45(4)37--46
-
study, user-, 45(5)47--56
-
stumbling, 45(5)223--232
-
stutter-equivalent, 45(10)270--285
-
style, 45(8)53--62, 46(2)63--72, 46(9)234--246, 47(3)97--106
-
style, Cilk-, 46(8)201--212
-
style, CSP-, 46(8)169--178
-
style, direct-, 47(3)97--106
-
style, Gifford-, 47(1)349--360
-
style, Hoare-, 45(6)99--110
-
style, LCF-, 45(6)412--423
-
styled, 45(5)351--352
-
styles, 45(6)436--447, 47(1)427--440
-
Su, Zhendong, 45(10)175--190, 46(10)189--206
-
Su, Zhendong, see Gabel, Mark,
see Thummalapenta, Suresh
-
sub, F-, 47(1)361--372
-
sub-45nm, 45(3)3--14
-
sub-optimal, 45(5)315--324, 47(5)31--40
-
sub-QoSs, 46(8)289--290
-
sub-streams, 45(4)37--46
-
sub-system, 47(4)213--224
-
subexpression, common-, 46(6)199--210
-
subfield, 45(3)1--2
-
subject, 45(5)331--332, 46(2)1--2, 46(2)63--72, 47(1)441--454,
47(2)97--106
-
subjected, 45(3)385--396
-
subjective, 45(5)47--56
-
submicron, deep-, 45(3)3--14
-
submitted, 47(4)171--184
-
suboptimal, 46(2)1--2, 46(11)43--54, 47(4)119--132
-
subroutine, 47(3)63--72
-
subscribing, over-, 45(3)231--242
-
subsequently, 45(3)219--230, 45(6)448--459, 45(7)75--84, 46(8)113--122,
47(4)171--184
-
subset, 45(6)36--49, 45(6)341--350, 46(6)283--294, 46(8)47--56,
47(1)31--44, 47(1)151--164, 47(1)425--426, 47(1)509--520,
47(2)37--50, 47(2)61--72, 47(3)107--116, 47(5)129--138
-
Subsetting, 47(1)509--520
-
substantial, 45(3)297--310, 45(5)3--14, 45(5)91--100, 45(5)281--292,
45(6)269--278, 45(7)1--2, 45(8)93--102, 46(8)47--56, 46(11)119--128,
47(4)27--38
-
substantially, 45(5)169--178, 46(11)21--32, 46(11)119--128, 47(4)27--38,
47(4)213--224, 47(4)319--332
-
substitution, 46(9)346--358, 47(1)413--424, 47(1)441--454
-
substrate, 45(3)335--346, 45(6)376--387, 45(7)51--62, 47(4)145--158
-
substructural, 45(9)131--142, 46(10)625--642
-
substructures, 46(8)247--256
-
subsume, 47(1)361--372
-
subsystem, 45(3)335--346, 46(8)257--266, 46(11)77--78, 47(4)225--238
-
subtle, 45(6)341--350, 45(6)351--362, 45(8)51--52, 46(2)43--52,
46(8)309--310, 47(1)509--520
-
subtlety, 47(1)509--520
-
subtly, 45(6)305--315
-
subtype, 45(1)287--298
-
subtyping, 45(9)105--116, 46(9)81--93, 46(9)94--106, 46(9)107--116,
47(1)231--244, 47(1)361--372
-
succeed, 45(6)210--220, 45(6)316--329
-
succeeded, 47(3)185--186
-
success, 45(2)25--34, 46(11)109--118, 47(1)273--284, 47(1)323--336,
47(1)425--426
-
successful, 45(2)3--4, 45(2)55--64, 45(5)341--342, 45(7)133--144,
46(8)189--200, 47(1)45--58
-
successfully, 45(3)297--310, 45(4)67--76, 45(6)174--186, 45(7)51--62,
46(4)53--64, 47(1)387--400, 47(1)533--544, 47(3)137--146,
47(4)119--132, 47(4)199--212
-
successive, 46(8)147--156, 47(5)99--108
-
succinct, 45(5)233--244, 45(10)3--3, 47(1)137--150
-
succinctness, 47(1)137--150
-
Sudan, Kshitij, 45(3)219--230
-
Sudan:2010:MPI, 45(3)219--230
-
suffer, 45(2)25--34, 45(3)29--38, 45(3)311--322, 45(5)37--46,
45(5)79--90, 45(5)127--136, 45(5)213--222, 45(6)187--197,
45(7)109--120, 45(8)51--52, 46(2)63--72, 47(1)59--72, 47(4)171--184,
47(5)109--118
-
suffered, 46(8)267--276
-
suffering, 47(1)323--336
-
suffice, 45(8)51--52, 46(8)125--134
-
sufficient, 45(3)29--38, 45(3)65--76, 45(3)311--322, 45(6)233--243,
45(8)11--20, 45(8)31--40, 46(8)103--112, 47(1)191--202,
47(1)349--360, 47(2)61--72
-
sugar, 45(12)97--112
-
SugarJ, 46(10)391--406, 47(3)167--176
-
suggest, 45(3)347--358, 45(5)25--36, 45(5)67--78, 45(5)281--292,
45(6)160--173, 46(2)33--42, 46(8)81--90, 46(8)293--294, 47(2)51--60,
47(2)97--106
-
suggested, 45(7)75--84
-
suggestion, 45(12)73--80
-
Suh, G. Edward, 45(3)371--384
-
Suh, G. Edward, see Huang, Ruirui
-
Suhan, Alex, 47(2)25--36
-
Suhan, Alex, see Homescu, Andrei
-
Sui, Xin, 45(5)3--14, 46(6)12--25, 46(6)542--555
-
Sui, Xin, see Kulkarni, Milind,
see Méndez-Lojo, Mario,
see Pingali, Keshav
-
Suissa, Adi, 45(5)79--90
-
Suissa, Adi, see Maldonado, Walther
-
suitability, 45(5)349--350
-
suitable, 45(3)179--192, 45(3)271--284, 45(4)67--76, 45(5)159--168,
45(6)255--268, 45(6)351--362, 45(6)412--423, 46(2)43--52,
46(4)53--64, 46(8)189--200, 46(12)23--34, 47(1)571--584
-
suitably, 47(1)571--584
-
suited, 45(4)37--46, 45(7)85--96
-
suited, ill-, 46(8)135--146
-
suited, well-, 45(5)345--346, 46(8)25--34
-
suites., 46(6)199--210
-
Sujeeth, Arvind K., 45(10)835--847, 46(8)35--46
-
Sujeeth, Arvind K., see Chafi, Hassan
-
Sukha, Jim, 45(5)245--256
-
Sukha, Jim, see Agrawal, Kunal
-
Sullivan, Kevin J., 45(10)885--900
-
Sullivan, Kevin J., see Gabriel, Richard P.
-
sum, 45(2)117--126, 45(5)245--256, 47(1)495--508
-
sum, maximum-, 45(2)117--126
-
sum, segment-, 45(2)117--126
-
summarize, 45(4)105--114, 45(6)292--304, 45(7)121--132
-
summarized, 45(6)279--291
-
summary, 46(6)567--577, 46(8)201--212
-
Summers, Alexander J., 46(10)1013--1032
-
Summers:2011:FBC, 46(10)1013--1032
-
Sumner, Nick, 46(6)246--257
-
Sumner, Nick, see Lee, Kyu Hyung
-
Sun, 45(6)98--98, 45(8)73--82, 47(4)39--52
-
Sun, Chong, 45(3)179--192
-
Sun, Chong, see Zhang, Wei
-
Sunshine, Joshua, 46(10)713--732
-
Sunshine:2011:FCS, 46(10)713--732
-
SunSpider, 47(1)481--494
-
super-computers, 47(5)61--70
-
superblocks., 45(3)29--38
-
supercompilation, 45(9)309--320, 45(11)135--146, 46(12)23--34
-
supercomputer, 45(5)169--178, 46(7)169--180
-
Supercomputing, 45(5)1--2
-
superfluous, 46(11)55--64
-
superior, 45(5)343--344, 45(6)86--97, 46(8)35--46, 46(8)201--212,
47(6)23--34
-
superlinear, 45(5)223--232
-
superposition, 46(6)556--566
-
superscalar, 45(5)337--338
-
supervision, 45(5)79--90
-
supervisory, 45(4)47--56, 45(4)57--66
-
supplied, 45(2)15--24, 45(3)167--178, 46(2)53--62
-
supply, 47(1)137--150, 47(4)185--198
-
supplying, 47(1)179--190
-
supported, 45(5)37--46, 45(5)103--104, 45(5)339--340, 46(2)123--126,
46(8)305--306, 47(1)309--322, 47(3)167--176
-
supported, Tool-, 46(10)119--138
-
supported, tool-, 47(3)147--156
-
supporting, 45(3)1--2, 45(3)39--52, 45(4)67--76, 45(5)213--222,
45(5)339--340, 45(6)62--73, 45(6)198--209, 45(6)351--362,
45(6)363--375, 45(6)483--496, 45(7)97--108, 45(10)361--376,
46(8)13--24, 46(8)47--56, 46(11)79--88, 47(1)151--164, 47(4)53--66,
47(6)35--44
-
Suppose, 45(5)245--256
-
sure, 45(2)99--108, 47(3)33--42
-
surface, 45(2)25--34
-
surge, 45(3)243--256
-
SurgeGuard, 45(3)243--256
-
surprising, 45(5)203--212
-
surprisingly, 45(8)51--52, 47(1)215--216, 47(4)119--132, 47(6)23--34
-
surrounding, 45(3)39--52, 45(5)325--326, 47(1)323--336
-
survey, 47(1)215--216
-
surveyed, 45(3)359--370, 45(5)47--56
-
survival, 46(7)63--74
-
survive, 45(8)21--30, 46(8)303--304, 47(4)91--104
-
Susan, 45(6)98--98
-
susceptible, 45(3)323--334, 45(3)385--396, 45(4)143--152, 47(5)99--108
-
suspend, 47(4)159--170
-
suspicious, 45(6)174--186, 47(4)251--264
-
sustain, 46(11)79--88
-
sustainable, 47(6)13--22
-
Suter, Philippe, 45(1)199--210, 45(6)316--329, 47(1)151--164
-
Suter, Philippe, see Kuncak, Viktor,
see Köksal, Ali Sinan
-
Suter:2010:DPA, 45(1)199--210
-
Sutherland, Dean F., 45(5)233--244
-
Sutherland, Ivan, 46(10)1--2
-
Sutherland:2010:CTC, 45(5)233--244
-
Sutherland:2011:SP, 46(10)1--2
-
Suzumura, Toyotaro, 45(7)121--132
-
Suzumura, Toyotaro, see Tatsubori, Michiaki
-
Svärd, Petter, 46(7)111--120
-
Svard:2011:EDC, 46(7)111--120
-
Sventek, Joe, 45(10)205--222
-
Sventek, Joe, see McIlroy, Ross
-
Swaine, James, 45(10)583--597, 47(2)85--96
-
Swaine, James, see Tew, Kevin
-
Swaine:2010:BFI, 45(10)583--597
-
Swamy, Nikhil, 45(6)412--423, 46(9)15--27, 46(9)266--278, 47(1)571--584
-
Swamy, Nikhil, see Chen, Juan,
see Strub, Pierre-Yves
-
Swamy:2011:LMP, 46(9)15--27
-
Swamy:2011:SDP, 46(9)266--278
-
Swanson, Steven, 45(3)205--218, 45(6)460--470, 46(3)105--118,
46(3)393--404, 47(4)105--118, 47(4)393--404
-
Swanson, Steven, see Coburn, Joel,
see Kamruzzaman, Md,
see Venkatesh, Ganesh
-
swap, 46(8)301--302
-
swapping, 47(4)369--380
-
Sweeney, Peter F., 45(6)187--197, 46(4)65--83
-
Sweeney, Peter F., see Arnold, Matthew,
see Mytkowicz, Todd
-
sweep, 47(2)73--84
-
sweep, mark-, 45(6)146--159, 45(8)73--82, 47(1)455--468
-
sweep, mark-and-, 46(11)1--10
-
Sweep3D, 45(5)305--314
-
sweeping, 46(11)1--10
-
sweet, 45(6)400--411
-
Swierstra, S. Doaitse, 46(2)43--52
-
Swierstra, S. Doaitse, see Middelkoop, Arie
-
Swift, Michael M., 46(3)91--104, 47(4)91--104
-
Swift, Michael M., see Volos, Haris
-
switch, 45(4)1--8, 47(1)215--216, 47(1)217--230, 47(6)55--66
-
switch, context-, 45(4)153--162
-
SWS, 45(5)179--190
-
symbios, 45(3)91--102
-
symbiosis, 45(3)91--102
-
symbiotic, 45(3)91--102, 46(7)193--204
-
symbol, 46(6)425--436, 46(11)129--138, 47(1)179--190, 47(1)349--360
-
symbolically, 45(6)436--447, 46(8)307--308, 47(4)265--278
-
SymCall, 46(7)193--204
-
Syme, Don, 45(8)53--62, 45(10)3--3, 46(12)1--12
-
Syme, Don, see Petricek, Tomas
-
Syme:2010:FTS, 45(10)3--3
-
symmetric, 45(2)65--74, 45(7)85--96, 46(1)371--384
-
symmetrical, 45(3)347--358
-
symmetry, 45(6)134--145
-
symptom-based, 45(3)385--396
-
symptom-only, 45(3)385--396
-
symptomatic, 45(3)385--396
-
Symta/S, 45(4)37--46
-
sync, 47(3)185--186
-
Syncchar, 45(5)349--350
-
synchronisation, 45(8)83--92
-
synchronize, 45(3)311--322, 46(8)169--178
-
synchronized, 46(1)93--104
-
synchronized, correctly-, 47(1)309--322
-
synchronized, non-, 45(3)39--52
-
synchronous, 45(4)27--36, 45(4)47--56, 45(4)57--66, 45(5)159--168,
46(5)61--70, 46(5)71--80, 46(5)81--90, 46(8)169--178, 47(4)185--198,
47(4)381--392, 47(5)51--60
-
synergistic, 45(3)29--38, 46(6)152--163
-
SynQuake, 45(5)325--326
-
SynQuake, STM-, 45(5)325--326
-
syntactic, 45(6)36--49, 45(6)221--232, 45(9)181--192, 45(12)97--112,
46(2)83--92, 46(2)127--136, 46(10)391--406, 46(10)993--1012,
47(1)137--150, 47(1)231--244, 47(1)245--258, 47(1)323--336,
47(1)337--348, 47(3)167--176
-
syntactical, 46(2)137--146, 47(1)123--136
-
syntactically, 47(3)167--176
-
syntax, 45(2)99--108, 45(2)109--116, 45(5)47--56, 45(10)918--932,
45(11)1--12, 46(2)83--92, 46(2)137--146, 46(9)346--358,
47(1)151--164, 47(1)557--570, 47(3)137--146, 47(3)147--156,
47(3)167--176
-
synthesizable, 45(2)1--2, 45(10)89--108
-
synthesize, 45(6)36--49, 47(1)137--150, 47(4)333--344, 47(5)71--78,
47(5)119--128, 47(6)35--44
-
synthesized, 45(4)47--56, 45(4)67--76, 45(6)316--329, 47(1)59--72,
47(4)333--344, 47(6)23--34
-
synthesizing, 45(3)205--218, 45(4)27--36, 45(6)36--49, 45(6)279--291,
46(3)333--344, 46(6)50--61, 46(10)189--206, 47(4)333--344,
47(5)119--128
-
synthetic, 45(5)91--100, 45(5)325--326
-
synthetically, 46(8)113--122
-
syslog, 47(4)3--14
-
system, full-, 46(8)213--222
-
system, runtime-, 45(7)39--50, 47(2)85--96
-
system, sub-, 47(4)213--224
-
system, whole-, 45(8)51--52
-
system-level, 45(3)91--102, 45(4)9--16, 45(5)327--328
-
system-on-chip, 45(3)297--310, 45(5)103--104
-
system., 45(3)335--346
-
systematic, 45(5)3--14, 45(5)15--24, 45(5)191--202, 45(5)203--212,
45(6)198--209, 45(10)175--190, 45(11)25--36, 46(6)329--342,
47(1)123--136, 47(4)369--380, 47(5)11--20
-
systematically, 45(2)75--84, 45(6)279--291, 45(6)330--340, 47(4)79--90
-
systems*, 47(1)59--72
-
systems-on-a-chip, 45(5)103--104
-
systems., 45(3)219--230, 45(4)1--8
-
Systemverilog, 45(2)1--2