Last update: Thu Nov 9 02:49:22 MST 2023
Return to index directory
B
-
Baars, Arthur I., 37(9)157--166
-
Baars:2002:TDT, 37(9)157--166
-
Babb, Jonathan, 35(5)108--120
-
Babb, Jonathan, see Stephenson, Mark
-
Babu, Chitra, 39(8)61--71
-
Babu:2004:MDM, 39(8)61--71
-
Bachrach, Jonthan, 36(11)31--42
-
Bachrach:2001:JSE, 36(11)31--42
-
back, 37(1)126--127, 37(9)230--234, 38(2)57--64, 41(6)1--13, 41(6)26--37,
41(7)145--152, 41(8)10--14, 41(9)1--12
-
back-end, 38(5)208--219, 41(1)42--54, 41(1)372--382
-
Back-propagation, 39(3)31--37
-
backtracking, 35(9)186--197, 39(9)54--65, 40(9)192--203, 41(5)46--54
-
backward, 37(2)23--26, 41(3)40--48, 41(6)169--180
-
Bacon, David F., 35(10)382--400, 36(5)92--103, 38(1)285--298,
38(7)81--92, 38(11)241--254, 39(4)583--595, 40(7)183--192,
41(6)283--294, 41(6)341--353
-
Bacon, David F., see Corwin, John,
see Spoonhower, Daniel,
see Vechev, Martin T.
-
Bacon:2000:GDJ, 35(10)382--400
-
Bacon:2001:JCB, 36(5)92--103
-
Bacon:2003:CFS, 38(7)81--92
-
Bacon:2003:RTG, 38(1)285--298
-
Bacon:2004:TLF, 39(4)583--595
-
Bacon:2005:SGR, 40(7)183--192
-
bad, 38(11)374--387
-
Badjonski, Mihal, 40(2)17--26
-
Badjonski:2005:AJA, 40(2)17--26
-
Bailey, Mark, 38(7)12--23
-
Bailey, Mark, see Kulkarni, Prasad
-
Bailey, Mark W., 37(7)155--164, 41(3)4--8
-
Bailey, Mark W., see Zhao, Wankang
-
Bailey:2006:PPA, 41(3)4--8
-
Baker, Jason, 37(5)270--281
-
Baker-Finch, Clem, 35(9)162--173
-
Baker-Finch:2000:OSP, 35(9)162--173
-
Baker:2002:MMD, 37(5)270--281
-
Bakshi, A., 36(8)82--87
-
Bakshi:2001:MMB, 36(8)82--87
-
Bal, H. E., 36(7)83--92
-
Bal, H. E., see Veldema, R.
-
Bal, Henri E., 35(11)71--81, 36(7)34--43
-
Bal, Henri E., see Bhoedjang, Raoul A. F.,
see Nieuwpoort, Rob V. van
-
Bala, Vasanth, 35(5)1--12, 35(7)75--75, 35(11)202--211
-
Bala, Vasanth, see Cytron, Ron,
see Duesterwald, Evelyn
-
Bala:2000:DTDa, 35(5)1--12
-
Bala:2000:DTDb, 35(7)75--75
-
Balaban, Ittai, 40(10)265--279
-
Balaban:2005:RSC, 40(10)265--279
-
Balaguer, Federico, 36(12)50--60
-
Balaguer, Federico, see Yoder, Joseph W.
-
balance, 41(6)415--426, 41(8)34--43
-
balanced, 39(4)515--527, 41(1)1--1, 41(7)163--172
-
balanced, Energy-, 38(7)265--274
-
balancing, 36(7)34--43, 36(8)205--213, 38(11)224--240, 39(6)289--300,
41(7)163--172
-
Balasubramanian, Krishnakumar, 39(10)218--219
-
Balasubramanian, Krishnakumar, see Gokhale, Aniruddha
-
Balat, Vincent, 39(1)64--76
-
Balat:2004:ENT, 39(1)64--76
-
Ball, Thomas, 36(4)1--2, 36(5)203--213, 37(1)1--3, 38(1)97--105
-
Ball:2001:APA, 36(5)203--213
-
Ball:2001:MPS, 36(4)1--2
-
Ball:2001:S, 36(4)1--2
-
Ball:2002:SPD, 37(1)1--3
-
Ball:2003:SCL, 38(1)97--105
-
bananas, 38(9)249--262
-
Bandhakavi, Sruthi, 41(1)91--102
-
Bandhakavi, Sruthi, see Amtoft, Torben
-
bandwidth, 39(11)224--234, 41(7)2--11
-
Bandyopadhyay, Anup Kumar, 39(2)12--17
-
Bandyopadhyay, Anup Kumar, see Singh, Awadhesh Kumar
-
Banerjee, 41(1)79--90
-
Banerjee, Anindya, 37(1)166--177, 41(1)91--102
-
Banerjee, Anindya, see Amtoft, Torben
-
Banerjee, Prithviraj, 38(5)258--268
-
Banerjee, Prithviraj, see Joisha, Pramod G.
-
Banerjee:2002:RIC, 37(1)166--177
-
Banerjia, Sanjeev, 35(5)1--12
-
Banerjia, Sanjeev, see Bala, Vasanth
-
bank, 36(8)48--55, 39(7)182--191
-
Banked, 36(8)39--47
-
Bannet, Jonathan, 38(11)96--114
-
Bannet, Jonathan, see Allen, Eric
-
Bannon, Peter, 37(10)223--234
-
Bannon, Peter, see Mukherjee, Shubhendu S.
-
Barabash, Katherine, 36(1)155--166, 38(11)255--268
-
Barabash, Katherine, see Domani, Tamar
-
Barabash:2003:MCG, 38(11)255--268
-
Barber, 41(1)168--179
-
Barbosa, Manuel, 40(5)45--54
-
Barbosa:2005:RPT, 40(5)45--54
-
barrier, 37(4)32--41, 37(11)191--210, 38_2s_281_290
-
Barthe, Gilles, 37(3)131--142, 38(1)250--261
-
Barthe:2002:CTI, 37(3)131--142
-
Barthe:2003:PPT, 38(1)250--261
-
Barthelmann, Volker, 37(7)149--154
-
Barthelmann:2002:ITR, 37(7)149--154
-
Barton, Charles, 35(10)178--187
-
Barton, Charles, see Harrison, William
-
Barton, Christopher, 41(6)108--117
-
Barton:2006:SMP, 41(6)108--117
-
base, 39(1)318--329, 41(1)245--256, 41(5)39--45, 41(6)216--227
-
base, Type-, 36(3)54--66
-
based, BDD-, 39(6)158--169
-
based, brick-, 39(11)37--47
-
based, bus-, 41(1)194--205
-
based, Cloning-, 39(6)131--144
-
based, cluster-, 36(7)113--122, 38(10)119--130
-
based, compiler-, 41(1)194--205, 41(6)84--95, 41(7)163--172
-
based, concept-, 41(1)295--308
-
based, Connectivity-, 38(11)359--373
-
based, constraint-, 37(11)101--110, 41(6)320--331,
41(7)189--198
-
based, CPS-, 41(6)295--307
-
based, eeprom-, 41(7)22--33
-
based, event-, 37(5)106--116
-
based, flash-, 41(7)22--33
-
based, flow-, 41(9)13--25
-
based, FPGA-, 37(5)165--176
-
based, function-, 39(1)1--13
-
based, graph-, 39(10)308--309
-
based, hardware-, 41(6)84--95, 41(6)193--203
-
based, heap-, 41(6)158--168
-
based, Hoare-logic-, 41(1)320--333
-
based, ILP-, 36(8)145--154
-
based, Interaction-, 40(10)191--209
-
based, interpretation-, 39(1)173--185
-
Based, Interval-, 36(8)94--101
-
based, Java-, 41(3)30--39
-
based, Java-, 40(4)47--50
-
based, language-, 40(9)268--279, 41(1)67--78
-
based, liberty-, 39(7)20--29
-
based, library-, 40(6)261--268
-
based, Lock-, 41(6)26--37
-
based, lock-, 37(10)5--17, 41(1)346--358
-
based, Matrix-, 40(11)29--36
-
based, MEMS-, 35(11)1--12
-
based, mixin-, 36(11)223--240
-
based, Oracle-, 36(3)142--154
-
based, path-, 39(6)107--118
-
based, Permission-, 40(6)96--106
-
based, priority-, 39(4)91--103
-
based, processor-, 39(11)144--155
-
Based, Profile-, 35(7)52--64
-
based, Profile-, 41(6)216--227
-
based, profile-, 41(6)252--262
-
based, propagation-, 35(10)281--293
-
based, queue-, 36(7)44--52
-
based, recognition-, 39(1)111--122
-
based, Refinement-, 41(6)387--400
-
based, refinement-, 41(6)387--400
-
Based, Region-, 36(1)25--34
-
based, Region-, 37(5)282--293, 38(5)300--311, 40(1)310--323
-
based, region-, 38_2s_233_244, 38(3)123--134, 38(5)312--323,
38(5)324--337, 41(6)61--71
-
based, responsibility-, 39(10)4--5
-
based, rule-, 37(12)88--97
-
based, sample-, 40(7)166--174
-
Based, Semantics-, 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
-
based, set-, 41(1)218--231
-
based, simulation-, 41(1)180--193
-
based, software-, 37(5)117--128, 41(9)38--49
-
based, specification-, 41(1)55--66
-
based, stack-, 41(6)401--414
-
based, Templates-, 38(8)37--43
-
based, time-, 41(3)20--29
-
based, trace-, 39(7)95--106
-
based, translation-, 40(7)87--94
-
based, Type-, 35(5)219--232, 36(10)62--73
-
based, Unification-, 35(5)35--46
-
based, unification-, 41(9)50--61
-
based, value-, 41(6)84--95
-
Based, Web-, 35(3)21--24, 35(3)31--31
-
based, Web-, 35(3)21--24
-
based, word-, 41(6)14--25
-
baseline, 41(6)14--25, 41(6)84--95, 41(7)125--134
-
basic, 40(11)37--40, 41(1)67--78, 41(1)115--126, 41(1)168--179,
41(1)245--256, 41(6)14--25, 41(6)61--71, 41(6)118--131
-
basis, 41(1)1--1, 41(1)295--308, 41(6)252--262
-
Bastide, Rémi, 35(10)105--117
-
Bastide:2000:FSC, 35(10)105--117
-
Bauer, Jörg, 40(1)296--309, see Rinetzky, Noam
-
Bauer, Lujo, 40(6)305--314
-
Bauer:2005:CSP, 40(6)305--314
-
Bäumer, Dirk, 38(11)13--26, see Tip, Frank
-
Baumgartner, Gerald, 37(5)177--186
-
Baumgartner, Gerald, see Cociorva, Daniel
-
Baxter, Ira, 39(10)27--28
-
Baxter, Ira, see Gray, Jeff
-
Baxter, Ira D., 39(10)25--26
-
Baxter, Ira D., see Akers, Robert L.
-
BDD-based, 39(6)158--169
-
BDDs, 38(5)103--114
-
BdHas, 41(8)16--20
-
beans, 38(11)374--387
-
became, 39(10)253--259, 41(9)1--12
-
become, 35(11)168--177, 41(2)29--33, 41(5)39--45, 41(6)239--251,
41(6)341--353, 41(6)364--375, 41(6)415--426, 41(7)2--11,
41(7)72--82, 41(9)13--25, 41(9)38--49
-
becoming, 41(7)2--11, 41(7)163--172
-
bed, 41(7)2--11
-
Bednarski, Andrzej, 36(8)165--174, 37(7)102--111
-
Bednarski, Andrzej, see Kessler, Christoph,
see Keßler, Christoph
-
Beebee, Jr., William, 38(5)324--337
-
Beebee, Jr., William, see Boyapati, Chandrasekhar
-
Beffara, Emmanuel, 38(9)203--211
-
Beffara:2003:DNF, 38(9)203--211
-
BEG, 41(6)52--60
-
began, 41(4)3--14
-
begin, 25(6)112--126, 39(4)372--389, 41(1)269--269
-
\beginitemize, 25(6)112--126
-
\begintabular, 25(6)112--126
-
behave, 41(6)193--203, 41(8)16--20
-
behaved, well-, 41(1)2--15, 41(1)309--319
-
behavioral, 38(11)27--46
-
behaviour, 38_2s_44_55, 39(10)16--17, 41(1)1--1, 41(1)55--66
-
Behera, Chandan Kumar, 40(11)18--28, 41(5)11--20
-
Behera:2005:IAL, 40(11)18--28
-
Behera:2006:IAL, 41(5)11--20
-
behind, 41(1)115--126, 41(6)144--157
-
Behren, Robert von, 38(5)1--11
-
Behren, Robert von, see Gay, David
-
being, 41(1)30--41, 41(2)18--24, 41(3)10--19, 41(6)38--51, 41(6)169--180,
41(6)228--238, 41(7)34--43, 41(7)72--82
-
Bel, G., 38(7)123--132
-
Bel, G., see Ait-Ameur, Y.
-
belief, 41(1)67--78
-
believe, 41(1)115--126, 41(1)346--358, 41(6)96--107, 41(7)125--134
-
Bellantoni, 41(1)168--179
-
Beloglavec, Simon, 38(8)44--54, 40(4)20--28
-
Beloglavec, Simon, see Hericko, Marjan
-
Beloglavec:2005:ALM, 40(4)20--28
-
belonging, 41(7)72--82
-
below, 41(8)6--9, 41(9)111--121
-
Beltway, 37(5)153--164
-
Ben-Amram, Amir M., 36(3)81--92
-
Ben-Amram, Amir M., see Lee, Chin Soon
-
Ben-Yitzhak, Ori, 37(5)129--140, 38_2s_207_212
-
Ben-Yitzhak, Ori, see Ossia, Yoav
-
Ben-Yitzhak:2003:API, 38_2s_207_212
-
Benaissa, Zine-el-abidine, 35(1)81--94
-
Benaissa, Zine-el-abidine, see Sheard, Tim
-
benchmarking, 39(10)204--205
-
benefit, 36(8)128--137, 41(1)334--345, 41(1)383--396, 41(6)38--51,
41(6)61--71, 41(6)132--143, 41(6)252--262, 41(6)332--340,
41(6)364--375, 41(7)64--71
-
Benson, Jr., Brent W., 35(3)21--24, 35(12)14--18
-
Benson:2000:JR, 35(12)14--18
-
Benson:2000:JRJ, 35(12)14--18
-
Benson:2000:JRS, 35(3)21--24
-
Benson:2000:WBA, 35(3)21--24
-
Bent, John, 39(11)59--71
-
Bent, John, see Denehy, Timothy E.
-
Benton, Nick, 39(1)14--25
-
Benton:2004:SRC, 39(1)14--25
-
Benzaken, Véronique, 38(9)51--63
-
Benzaken:2003:CXC, 38(9)51--63
-
Berenbach, Brian A., 39(10)247--252
-
Berenbach:2004:CUT, 39(10)247--252
-
Bergel, Alexandre, 40(10)177--189
-
Bergel:2005:CJC, 40(10)177--189
-
Berger, Emery D., 35(11)117--128, 36(5)114--124, 37(11)1--12,
40(6)143--153, 40(10)313--326, 41(6)158--168
-
Berger, Emery D., see Hertz, Matthew
-
Berger, Martin, 40(9)280--293
-
Berger:2000:HSM, 35(11)117--128
-
Berger:2001:CHP, 36(5)114--124
-
Berger:2002:RCM, 37(11)1--12
-
Berger:2005:LAA, 40(9)280--293
-
Berger:2006:DPM, 41(6)158--168
-
Bergin, Joe, 36(6)20--22, 38(6)9--13
-
Bergin, Joseph, 37(6)18--25
-
Bergin, Tim, 35(3)31--31
-
Bergin:2000:HPL, 35(3)31--31
-
Bergin:2001:CPU, 36(6)20--22
-
Bergin:2001:ULC, 36(6)20--22
-
Bergin:2002:UOO, 37(6)18--25
-
Bergin:2003:SDC, 38(6)9--13
-
Bergmann, A. Michael, 35(3)33--33
-
Bergmann, Seth, 35(3)4--15, 35(4)3--16, 35(6)2--14, 35(8)3--14,
35(12)1--12, 36(4)5--20
-
Bergmann:2000:CCCa, 35(3)4--15
-
Bergmann:2000:CCCb, 35(4)3--16
-
Bergmann:2000:CCCc, 35(6)2--14
-
Bergmann:2000:CCCd, 35(8)3--14
-
Bergmann:2000:CCCe, 35(12)1--12
-
Bergmann:2000:IA, 35(3)33--33
-
Bergmann:2001:CCC, 36(4)5--20
-
Berlin, 37(4)15--15
-
Berman, A. Michael, 35(4)1--1, 35(4)2--2
-
Berman:2000:IIA, 35(4)2--2
-
Berman:2000:LEW, 35(4)1--1
-
Bernardeschi, Cinzia, 38(12)20--27
-
Bernardeschi, Cinzia, see Avvenuti, Marco
-
Berndl, Marc, 38(5)103--114
-
Berndl:2003:PAU, 38(5)103--114
-
Bernholdt, David E., 37(5)177--186
-
Bernholdt, David E., see Cociorva, Daniel
-
Bershad, Brian N., 35(1)1--13
-
Bershad, Brian N., see Sirer, Emin Gün
-
best, 25(6)92--101, 38(2)36--46, 39(4)360--371, 39(4)372--389,
41(6)354--363, 41(6)364--375, 41(7)83--92, 41(7)199--208
-
BETA, 41(1)270--282
-
beta, super-, 41(1)127--140
-
better, 41(1)79--90, 41(1)166--167, 41(1)194--205, 41(1)269--269,
41(6)38--51, 41(6)61--71, 41(6)193--203, 41(6)204--215, 41(7)44--53,
41(7)72--82, 41(7)103--112, 41(8)21--28, 41(9)99--110
-
Bettini, Lorenzo, 39(10)208--209
-
Bettini:2004:CCM, 39(10)208--209
-
Beuche, Danilo, 39(10)18--19
-
Beuche, Danilo, see Spinczyk, Olaf
-
Beuscher, Eric, 35(1)123--134
-
Beuscher, Eric, see Jennings, James
-
beyond, 38(12)34--43, 39(10)2--3, 41(6)181--192
-
Bhansali, Sanjay, 41(6)332--340
-
Bhansali, Sanjay, see Chen, Wen-ke
-
Bhargavan, Karthikeyan, 36(3)206--219, 39(1)198--209
-
Bhargavan:2001:WPM, 36(3)206--219
-
Bhargavan:2004:SWS, 39(1)198--209
-
Bhattacharrya, Arnab, 39(10)22--22
-
Bhattacharrya:2004:SDE, 39(10)22--22
-
Bhoedjang, R. A. F., 36(7)83--92
-
Bhoedjang, R. A. F., see Veldema, R.
-
Bhoedjang, Raoul A. F., 35(11)71--81
-
Bhoedjang:2000:EDA, 35(11)71--81
-
BI, 36(3)14--26
-
bi-directional, 40(1)233--246
-
Bianchini, Ricardo, 36(7)113--122
-
Bianchini, Ricardo, see Carrera, Enrique V.
-
bibliography, 35(6)26--36, 37(2)29--35
-
biCartesian, 41(1)206--217
-
Biddle, Robert, 38(12)76--96, 39(10)33--34, 39(10)50--51,
39(10)112--115, 39(10)148--150, 39(10)178--179, 39(12)40--56
-
Biddle, Robert, see Fraser, Steven,
see Gordon, Donald, \see{Khaled, Rilla,
see Noble, James, \see{Potanin, Alex
-
Biddle:2003:NNJ, 38(12)76--96
-
bidirectional, 35(5)299--310
-
Bidwidth, 35(5)108--120
-
Bieliková, Mária, 36(12)77--83, see Dolog, Peter
-
Bierman, Gavin, 38(9)99--110, 40(1)183--194, 40(1)247--258
-
Bierman, Gavin, see Parkinson, Matthew,
see Stoyle, Gareth
-
Bierman:2003:DRM, 38(9)99--110
-
Bigraphs, 38(1)38--49
-
binary, 25(6)92--101, 35(7)41--51, 35(7)75--75, 36(3)290--303,
36(8)112--120, 37(1)217--232, 37(5)117--128, 39(4)360--371,
39(6)131--144, 39(7)95--106, 39(7)211--220, 41(1)320--333,
41(6)415--426
-
Bindel, David, 35(11)190--201
-
Bindel, David, see Kubiatowicz, John
-
Binder, Walter, 36(11)139--155
-
Binder:2001:PRC, 36(11)139--155
-
binders, 35(2)46--53, 36(10)1--1, 38(9)263--274, 41(1)103--114
-
binding, 35(9)174--185, 36(10)74--85, 41(9)26--37
-
binding-time, 37(9)283--283
-
Binkley, David, 39(4)229--243
-
Binkley, David, see Horwitz, Susan
-
bioinformatics, 41(6)181--192
-
biologists, 41(7)1--1
-
biology, 39(10)109--110
-
BioPerl, 41(6)181--192
-
biorthogonality, 41(1)309--319
-
Birkedal, Lars, 39(1)220--231, 41(9)62--73
-
Birkedal, Lars, see Nanevski, Aleksandar
-
Birkedal:2004:LRA, 39(1)220--231
-
Bischof, Christian H., 37(3)98--107
-
Bischof:2002:IAD, 37(3)98--107
-
Bishop, Steve, 41(1)55--66
-
Bishop:2006:ELH, 41(1)55--66
-
bisimulation, 37(1)71--80, 39(1)161--172, 40(1)63--74, 41(1)67--78,
41(1)141--152
-
bit, 25(6)92--101, 39(4)360--371, 41(2)18--24, 41(5)39--45,
41(6)144--157, 41(7)34--43
-
bit, 16-, 38(7)254--264
-
bit-differential, 39(7)67--77
-
bit-streaming, 40(6)281--294
-
bit-vector, 37(2)68--70, 41(7)34--43
-
bitwidth, 38(1)85--96, 41(7)34--43
-
bitwidth, limited-, 41(7)44--53
-
bitwise, 41(7)34--43, 41(7)44--53
-
Bjornsson, Magnus E., 37(11)26--39
-
Bjornsson:2002:BHP, 37(11)26--39
-
Black, Andrew P., 38(11)47--64, 39(10)275--282
-
Black, Andrew P., see Murphy-Hill, Emerson R.
-
Black:2003:ATS, 38(11)47--64
-
Blackburn, Stephen M., 36(11)342--352, 37(5)153--164, 38_2s_25_36,
38_2s_281_290, 38(11)344--358
-
Blackburn, Stephen M., see Stefanovi{\'c}, Darko
-
Blackburn:2001:PJ, 36(11)342--352
-
Blackburn:2002:BGA, 37(5)153--164
-
Blackburn:2003:PWB, 38_2s_281_290
-
Blackburn:2003:URC, 38(11)344--358
-
Blackwell, Alan, 38(9)165--176
-
Blackwell, Alan, see Jones, Simon Peyton
-
Blair, Gordon, 39(10)154--155
-
Blair, Gordon, see Eliassen, Frank
-
blame, 41(1)218--231
-
Blanchet, Bruno, 37(1)33--44, 38(5)196--207
-
Blanchet, Bruno, see Abadi, Martín
-
Blanchet:2003:SAL, 38(5)196--207
-
BLAS, 35(10)229--252
-
Blau, Fred, 35(5)95--107
-
Blau, Fred, see Colby, Christopher
-
Bleckner, Colin, 37(9)110--122
-
Bleckner, Colin, see Millstein, Todd
-
Blelloch, Guy, 36(10)217--228
-
Blelloch, Guy, see Nanevski, Aleksandar
-
Blelloch, Guy E., 36(5)125--136, 37(1)247--259, 38(1)14--25,
39(4)626--641, 41(6)96--107
-
Blelloch, Guy E., see Acar, Umut A. A.,
see Acar, Umut A., \see{Cheng, Perry
-
Blelloch:2004:BTS, 39(4)626--641
-
blind, 37(2)53--56
-
block, 38(10)306--314, 41(1)334--345, 41(5)39--45, 41(6)14--25,
41(6)118--131, 41(6)252--262, 41(7)182--188, 41(8)16--20
-
blocked, 41(5)39--45
-
blocking, 36(7)103--112, 41(7)153--162
-
Blotner, Joseph A., 39(10)253--259
-
Blotner:2004:PPP, 39(10)253--259
-
blowup, 39(6)35--46
-
BlueGene, 41(6)108--117
-
BlueGene/L, 41(6)108--117
-
BlueGene/L®, 41(6)108--117
-
blueprint, 36(11)300--311
-
Bluespec, 36(10)z--99999999
-
Blume, Matthias, 38(5)26--37, 39(9)189--200, 41(6)96--107
-
Blume, Matthias, see Acar, Umut A.,
see George, Lal
-
Blume:2004:SCM, 39(9)189--200
-
Blumofe, Robert D., 35(11)117--128
-
Blumofe, Robert D., see Berger, Emery D.
-
BNF, 41(4)16--23
-
Bodden, Eric, 39(10)306--307
-
Bodden:2004:LLR, 39(10)306--307
-
Bodík, Rastislav, 35(5)321--333, 37(1)4--16, 37(1)140--153,
38(5)182--195, 39(4)596--611, 40(6)1--14, 40(6)48--61,
40(6)281--294, 40(10)59--76, 40(10)327--343, 41(6)387--400,
see Ammons, Glenn, \see{Mandelin, David,
see Rubin, Shai, \see{Shankar, Ajeet,
see Solar-Lezama, Armando,
see Sridharan, Manu, \see{Xu, Min
-
Bodik:2000:AEA, 35(5)321--333
-
Bodik:2004:CRR, 39(4)596--611
-
Bodin, François, 39(7)78--87, see Pokam, Gilles
-
body, 41(1)55--66, 41(1)283--294, 41(6)239--251, 41(8)21--28
-
body, N-, 41(1)16--29
-
Boehm, Hans, 36(4)1--2, 36(9)1--2
-
Boehm, Hans, see Ball, Thomas
-
Boehm, Hans J., 39(4)490--501
-
Boehm, Hans-J., 35(9)245--256, 36(1)59--64, 37(1)93--100, 38(1)262--272,
39(1)210--219, 40(6)261--268
-
Boehm, Hans-J., see Serrano, Manuel
-
Boehm:2001:LNE, 36(9)1--2
-
Boehm:2001:RGC, 36(1)59--64
-
Boehm:2002:BSU, 37(1)93--100
-
Boehm:2003:DFS, 38(1)262--272
-
Boehm:2004:SCL, 39(1)210--219
-
Boehm:2004:SEC, 39(4)490--501
-
Boehm:2005:TCI, 40(6)261--268
-
boilerplate, 38(3)26--37, 39(9)244--255, 40(9)204--215
-
Bois, G., 39(7)107--114
-
Bois, G., see Lapalme, J.
-
Bonachea, Dan, 35(1)163--176
-
Bonachea:2000:HLP, 35(1)163--176
-
Boneh, Dan, 35(11)168--177
-
Boneh, Dan, see Lie, David
-
Boniol, F., 38(7)123--132
-
Boniol, F., see Ait-Ameur, Y.
-
Bono, Viviana, 39(10)208--209
-
Bono, Viviana, see Bettini, Lorenzo
-
book, 41(8)10--14
-
boolean, 40(1)351--363
-
Boortz, Kent, 37(12)25--34
-
Boortz, Kent, see Wiger, Ulf
-
Boothe, Bob, 35(5)299--310
-
Boothe:2000:EAB, 35(5)299--310
-
bootloader, 35(8)15--17
-
Bootstrapping, 37(9)2--13
-
Borah, Kallol, 41(2)18--24
-
Borah:2006:IOO, 41(2)18--24
-
Borba, Paulo, 37(11)174--190, 39(10)202--203
-
Borba, Paulo, see Cole, Leonardo,
see Soares, Sergio
-
Bordawekar, Rajesh, 35(10)66--82, 37(1)295--306
-
Bordawekar, Rajesh, see Serrano, Mauricio,
see Shuf, Yefim
-
Bornat, Richard, 40(1)259--270
-
Bornat:2005:PAS, 40(1)259--270
-
Boshernitsan, Marat, 39(10)212--213
-
Boshernitsan:2004:IIS, 39(10)212--213
-
Bosschere, Koen, De, 36(8)29--38, 37(11)275--291, 38(7)244--253,
38(11)169--186, 39(7)211--220, 39(10)172--173, 40(7)95--104
-
Botlan, Didier, Le, 38(9)27--38
-
BOTS, 41(7)189--198
-
bottleneck, 39(10)172--173
-
Bouajjani, Ahmed, 38(1)62--73
-
Bouajjani:2003:GAS, 38(1)62--73
-
bound, 35(5)182--195, 35(5)321--333, 39(6)231--242, 40(7)222--229,
41(1)168--179, 41(6)144--157, 41(6)376--386, 41(7)103--112
-
bound, time-, 37(3)75--86
-
boundary, 35(7)23--31, 41(6)61--71
-
bounded, 38(9)39--50
-
bounding, 37(1)93--100, 39(4)626--641, 39(11)224--234
-
box, 38(9)249--262
-
Box, Don, 39(10)143--144
-
Box, Don, see Fowler, Martin
-
box, white-, 41(4)36--41
-
Boyapati, Chandrasekhar, 36(11)56--69, 37(11)211--230, 38(1)213--223,
38(5)324--337, 38(11)403--417
-
Boyapati:2001:PTS, 36(11)56--69
-
Boyapati:2002:OTS, 37(11)211--230
-
Boyapati:2003:LMU, 38(11)403--417
-
Boyapati:2003:OTO, 38(1)213--223
-
Boyapati:2003:OTS, 38(5)324--337
-
Boyer, F. R., 39(7)107--114
-
Boyer, F. R., see Lapalme, J.
-
Boyland, John T., 39(10)35--36
-
Boyland, John T., see Nguyen, Tien N.
-
Boyland, John Tang, 40(1)283--295
-
Boyland:2005:CEU, 40(1)283--295
-
Bozga, Marius, 38(10)295--305
-
Bozga:2003:SSA, 38(10)295--305
-
Brabrand, Claus, 37(3)31--40
-
Brabrand:2002:GLM, 37(3)31--40
-
brady, 39(10)253--259, 41(1)1--1
-
BRAIN.FORTH, 39(12)11--16
-
Bran, Cary, 39(10)260--263
-
Bran, Cary, see Namioka, Aki
-
branch, 35(2)36--45, 38(5)278--288, 40(6)107--116, 41(7)64--71
-
Brandner, Florian, 41(7)145--152
-
Brandner, Florian, see Farfeleder, Stefan
-
Brat, Guillaume, 39(6)231--242
-
Brat, Guillaume, see Venet, Arnaud
-
Breadth-first, 35(9)131--136
-
break, 36(5)92--103, 41(1)383--396
-
breaking, 41(6)252--262
-
breakpoints, 39(4)390--397
-
Brecht, Tim, 36(11)353--366
-
Brecht:2001:CGC, 36(11)353--366
-
Brest, Janez, 40(8)19--28
-
Brest, Janez, see Greiner, Saso
-
Brewer, Eric, 38(5)1--11, 41(1)346--358
-
Brewer, Eric, see Gay, David,
see McCloskey, Bill
-
brick-based, 39(11)37--47
-
Bridges, Matthew J., 41(6)61--71, 41(6)228--238
-
Bridges, Matthew J., see Triantafyllis, Spyridon
-
Bridges:2006:AIS, 41(6)228--238
-
bridging, 37(3)9--18
-
brief, 41(9)1--12
-
Briggs, Preston, 39(4)283--294
-
Briggs:2004:CHR, 39(4)283--294
-
Brisk, Philip, 40(7)105--114
-
Brisk:2005:DCT, 40(7)105--114
-
broad, 41(1)55--66, 41(6)96--107
-
broadly, 41(6)272--282
-
Broberg, Niklas, 39(9)67--78
-
Broberg:2004:REP, 39(9)67--78
-
Brock, Rebecca, Wirfs-, 39(10)151--152
-
Broersma, Hajo, 38(7)199--208
-
Broersma, Hajo, see Guo, Yuanqing
-
Brogioli, Michael, 39(7)20--29
-
Brogioli, Michael, see Willmann, Paul
-
Bronevetsky, Greg, 38(10)84--94, 39(11)235--247
-
Bronevetsky:2003:AAL, 38(10)84--94
-
Bronevetsky:2004:ALC, 39(11)235--247
-
Bronnikov, Dmitri, 39(8)49--53
-
Bronnikov:2004:PAP, 39(8)49--53
-
Brooks, R., 39(7)240--248
-
Brooks, R., see Saputra, H.
-
Brown, Judy, 39(10)178--179
-
Brown, Judy, see Khaled, Rilla
-
browser, 35(9)23--33, 41(7)113--124
-
Bruce, Kim B., 35(4)26--28, 39(10)96--100
-
Bruce:2000:CDF, 35(4)26--28
-
Bruce:2004:EDP, 39(10)96--100
-
Bruni, Roberto, 40(1)209--220
-
Bruni:2005:TFC, 40(1)209--220
-
Brunsch, Darrell, 36(8)223--229
-
Brunsch:2001:DES, 36(8)223--229
-
brute, 40(4)29--38
-
Bruynooghe, Maurice, 38(7)24--33
-
Bruynooghe, Maurice, see Vanbroekhoven, Peter
-
Bryant, Barrett R., 40(4)39--46
-
Bryant, Barrett R., see {\v{C}}repin{\v{s}}ek, Matej
-
Bryce, Ciarán, 35(10)367--381
-
Bryce:2000:ASO, 35(10)367--381
-
BSD, 41(1)55--66
-
Bucka-Lassen, Dirk, 36(11)327--341
-
Bucka-Lassen, Dirk, see Riehle, Dirk
-
Budd, Timothy A., 35(12)51--61
-
Budd, Timothy A., see Knutson, Charles D.
-
buddy, 40(7)222--229
-
BuddyCache, 37(11)26--39
-
Budimac, Zoran, 40(2)17--26
-
Budimac, Zoran, see Badjonski, Mihal
-
Budimlic, Zoran, 37(5)25--32
-
Budimlic:2002:FCC, 37(5)25--32
-
Budiu, Mihai, 39(11)14--26
-
Budiu:2004:SC, 39(11)14--26
-
buffer, 38(5)155--167, 39(7)88--94, 41(1)180--193, 41(6)158--168
-
bug-detecting, 41(6)84--95
-
buggy, 41(6)84--95
-
Bugliesi, Michele, 36(3)222--235
-
Bugliesi:2001:SSA, 36(3)222--235
-
Buhr, Peter A., 35(10)29--46
-
Buhr:2000:OOR, 35(10)29--46
-
build, 41(1)180--193, 41(6)38--51, 41(6)144--157, 41(6)193--203,
41(7)1--1
-
building, 36(8)188--195, 37(5)69--82, 38(4)25--33, 38(10)306--314,
39(4)528--539, 39(10)18--19, 39(10)154--155, 39(11)48--58,
40(6)190--200, 41(6)1--13, 41(6)263--271, 41(7)2--11, 41(9)74--86
-
built, 41(3)10--19
-
built-in, 37(8)25--34
-
Buli{\'c}, Patricio, 40(4)51--60
-
Bulic:2005:EWF, 40(4)51--60
-
bump-pointer, 41(6)364--375
-
bunch, 39(10)253--259
-
burden, 41(1)346--358, 41(6)341--353
-
burg, 41(6)52--60
-
burg, ml-, 41(6)52--60
-
Burgaard, Kim, 38(7)42--50
-
Burgaard, Kim, see Schultz, Ulrik Pagh
-
Burger, Doug, 37(10)211--222, 39(11)97--106, 39(11)120--132
-
Burger, Doug, see Desikan, Rajagopalan,
see Huh, Jaehyuk, \see{Kim, Changkyu
-
Burger:1996:PFP, 25(6)92--101, 25(6)112--126
-
Burke, Jerome, 35(11)178--189
-
Burke, Jerome, see Austin, Todd
-
Burke, Michael, 35(5)196--207
-
Burke, Michael, see Sreedhar, Vugranam C.
-
Burke, Michael G., 38(12)1--1, 39(4)139--154
-
Burke:2000:ASF, 35(11)178--189
-
Burke:2003:ECO, 38(12)1--1
-
Burke:2004:IDA, 39(4)139--154
-
burned, 41(6)239--251
-
Burnett, Margaret, 35(1)25--38, 38(9)165--176
-
Burnett, Margaret, see Jones, Simon Peyton,
see Reichwein, James
-
Burrows, Michael, 35(11)160--167
-
Burrows:2000:EFV, 35(11)160--167
-
Burstall, 41(1)1--1
-
bursting, 41(6)263--271
-
Burtscher, Martin, 37(5)222--233
-
Burtscher:2002:SLC, 37(5)222--233
-
bus, 39(11)72--84, 41(7)199--208
-
Bus, Bruno, De, 36(8)29--38, 37(11)275--291, 38(7)244--253,
39(7)211--220, 40(7)95--104
-
bus-based, 41(1)194--205
-
Bush, William R., 38(7)34--41
-
Bush, William R., see Shaylor, Nik
-
but, practice-, 41(6)341--353
-
Butts, J. Adam, 37(10)199--210
-
Butts:2002:DDI, 37(10)199--210
-
Buytaert, Dries, 39(10)172--173
-
Buytaert:2004:BAJ, 39(10)172--173
-
Buyukkurt, Betul, 39(7)249--256
-
Buyukkurt, Betul, see Guo, Zhi
-
by-construction, correct-, 41(1)180--193
-
by-name, Call-, 38(12)2--2
-
by-name, call-, 38(9)189--201
-
by-Need, Call-, 36(10)265--276
-
by-value, Call-, 38(9)189--201, 38(12)2--2
-
by-value, call-, 41(1)168--179, 41(9)74--86
-
bypass, 41(7)173--181
-
bypass-sensitive, 41(7)173--181
-
byte, 41(7)2--11
-
byte-level, 41(7)54--63
-
bytecode, 36(5)148--155, 37(9)259--270, 37(10)58--67, 38(12)20--27,
40(1)26--37