Last update: Sun Jun 12 03:08:01 2016
Return to index directory
C
-
C, 1574(0)94--98, 1575(0)229--243, 1575(0)292--295, 1576(0)147--161,
1593(0)673--z
-
C++, 1593(0)543--z
-
{C}-Prototypes, 1552(0)580--590
-
CA, 1560(0)290--305
-
Cabell, Quincy, 1597(0)482--498
-
Cabell:1999:UTP, 1597(0)482--498
-
Cabibbo, Luca, 1540(0)383--397
-
Cabibbo:1999:FIA, 1540(0)383--397
-
Cabrera, J., 1542(0)348--360, 1542(0)376--391
-
Cabrera, J., see Benitez, D.,
see Hernandez, M.
-
Cabrera-Gamez, J., 1542(0)293--311
-
Cabrera-Gamez, J., see Hernandez-Sosa, D.
-
Cabrero, David, 1582(0)212--z
-
Cabrero, David, see Vilares, Manuel
-
Cache, 1552(0)181--192, 1557(0)460--469, 1573(0)466--479,
1575(0)259--273, 1586(0)845--z, 1586(0)859--z, 1590(0)1--z,
1593(0)201--z, 1593(0)463--z, 1593(0)473--z
-
Cached, 1552(0)193--204
-
Cachin, Christian, 1592(0)402--z
-
Cachin:1999:CPI, 1592(0)402--z
-
CAD, 1585(0)276--284
-
CADash, 1593(0)90--z
-
Cadoli, Marco, 1551(0)16--30
-
Cadoli:1999:NSE, 1551(0)16--30
-
Cafaro, M., 1593(0)563--z
-
Cafaro, M., see Aloisio, G.
-
Cai, J.-Y., 1556(0)219--z
-
Cai, Jin-Yi, 1563(0)90--99
-
Cai:1999:HP, 1563(0)90--99
-
Cai:1999:LBP, 1556(0)219--z
-
Calculate, 1586(0)1036--z
-
calculation, 1573(0)43--57, 1573(0)666--679
-
calculi, 1577(0)60--76, 1581(0)1--5, 1581(0)6--13, 1581(0)14--24,
1581(0)25--39, 1581(0)40--53, 1581(0)54--68, 1581(0)69--82,
1581(0)83--97, 1581(0)98--113, 1581(0)114--128, 1581(0)129--146,
1581(0)147--161, 1581(0)162--176, 1581(0)177--197, 1581(0)198--212,
1581(0)213--227, 1581(0)228--242, 1581(0)243--257, 1581(0)258--279,
1581(0)280--294, 1581(0)295--309, 1581(0)310--324, 1581(0)325--339,
1581(0)340--354, 1581(0)355--364, 1581(0)365--380, 1581(0)381--396
-
calculus, 1548(0)1--7, 1548(0)91--105, 1548(0)231--247, 1563(0)531--540,
1567(0)38--69, 1571(0)166--188, 1578(0)306--321, 1589(0)293--309,
1590(0)78--z
-
Calculus, lambda-, 1581(0)162--176, 1581(0)258--279
-
Calculus, lambdaeta-, 1581(0)114--128
-
Calculus, Mu-, 1578(0)288--305
-
Calculus, Pi-, 1579(0)255--269
-
calculus, {WP}-, 1578(0)135--149
-
Caleiro, C., 1589(0)48--62
-
Caleiro:1999:PL, 1589(0)48--62
-
calibration, 1542(0)509--521
-
call, 1575(0)63--75
-
Call-by-Push-Value, 1581(0)228--242
-
Call-by-Value, 1581(0)162--176
-
Call-Coverage, 1548(0)23--27
-
Callaghan, Paul, 1582(0)231--z
-
Callaghan, Paul, see Luo, Zhaohui
-
Callash, 1559(0)159--178
-
Callis, J. C., 1571(0)1--24
-
Callis:1999:BEM, 1571(0)1--24
-
Camara, G., 1580(0)129--z
-
Camara:1999:IPP, 1580(0)129--z
-
Camenisch, Jan, 1592(0)107--z
-
Camenisch:1999:PZK, 1592(0)107--z
-
Camera, 1542(0)509--521
-
Cameron, F., 1552(0)301--310
-
Cameron:1999:NTE, 1552(0)301--310
-
Campbell, J., 1555(0)113--z
-
Campbell, J., see Bazzan, A.
-
Campelo, J. C., 1586(0)384--z
-
Campelo:1999:DEF, 1586(0)384--z
-
Cancer, 1570(0)218--226
-
Candelas, F. A., 1542(0)98--114
-
Candelas, F. A., see Torres, F.
-
Candidate, 1574(0)54--63
-
Canetti, Ran, 1592(0)90--z, 1592(0)459--z
-
Canetti:1999:ECS, 1592(0)459--z
-
Canetti:1999:ETP, 1592(0)90--z
-
Cannon, D., 1586(0)733--z
-
Cannon, D., see Breg, F.
-
Cánovas, Oscar, 1557(0)570--571, see Acacio, Manuel
-
Capacity, 1509(0)285--295, 1586(0)924--z
-
Capturing, 1540(0)187--198, 1554(0)252--288
-
Car, 1593(0)90--z
-
card, 1550(0)154--157, 1550(0)158--167, 1592(0)389--z
-
Cardelli, L., 1578(0)212--226
-
Cardelli, L., see Gordon, A. D.
-
Cardiac, 1593(0)159--z
-
Cardinale, Y., 1593(0)168--z
-
Cardinale, Y., see Rivas, R.
-
Cardoso, Elsa, 1597(0)291--304, 1597(0)342--354
-
Cardoso, Elsa, see Kaltabani, Anastasia,
see Olsen, Anders
-
Carlier, David, 1597(0)250--262
-
Carlier, David, see Macaire, Alain
-
Carlo, 1500(0)1--z, 1557(0)96--106, 1593(0)231--z
-
Carlo, Monte-, 1557(0)117--126
-
Carlos, Rafael Paulin, 1554(0)1--z
-
Carlos:1999:VSB, 1554(0)1--z
-
Carlsson, Bengt, 1585(0)285--292
-
Carlsson, Bengt, see Johansson, Stefan
-
Carlsson, M., 1594(0)85--102
-
Carlsson, M., see Moran, A.
-
Carlsson, Mats, 1551(0)335--349
-
Carlsson:1999:CBR, 1551(0)335--349
-
Carolos, R. P., 1554(0)1--16
-
Carolos:1999:VSB, 1554(0)1--16
-
Caromel, D., 1586(0)716--z, 1586(0)1197--z, 1593(0)744--z
-
Caromel, D., see Attali, I., \see{Baude, F.
-
Caromel:1999:WJP, 1586(0)716--z
-
Caron, E., 1593(0)1107--z
-
Caron:1999:VMM, 1593(0)1107--z
-
Carpenter, B., 1586(0)533--z, 1586(0)748--z
-
Carpenter, B., see Baker, M.,
see Nieplocha, J.
-
Carrera, E. V., 1586(0)845--z, 1586(0)859--z
-
Carrera:1999:NNC, 1586(0)859--z
-
Carrera:1999:NOD, 1586(0)845--z
-
Carretero, J., 1573(0)466--479, 1593(0)1117--z
-
Carretero, J., see Garcia, F., \see{No, J.
-
Carretero, Jesús, 1557(0)470--479
-
Carretero:1999:OIA, 1557(0)470--479
-
Carroll, S., 1575(0)214--228
-
Carroll, S., see Saito, H.
-
Cartesian, 1566(0)91--116
-
Carvalho, P. M. S., 1585(0)58--65
-
Carvalho:1999:SRT, 1585(0)58--65
-
Carzaniga, Antonio, 1500(0)117--z
-
Carzaniga, Antonio, see Belkhatir, Noureddine
-
Casavant, T. L., 1593(0)391--z
-
Casavant:1999:PDA, 1593(0)391--z
-
Case, 1500(0)227--z, 1566(0)149--165, 1567(0)163--185, 1570(0)148--156,
1573(0)238--249, 1574(0)370--374, 1580(0)203--z, 1586(0)123--z,
1586(0)266--z, 1586(0)309--z, 1586(0)1145--z, 1593(0)201--z,
1593(0)1077--z, 1594(0)259--274, 1595(0)216--228, 1597(0)501--513
-
Case, Average-, 1563(0)414--423
-
Case, John, 1563(0)424--433
-
Case, Worst-, 1563(0)404--413
-
Case-Based, 1566(0)79--90, 1570(0)67--89, 1570(0)157--166
-
Case:1999:CGP, 1563(0)424--433
-
Cash, 1587(0)228--243, 1587(0)244--257
-
Cash:, Mini-, 1560(0)122--135
-
CASL, 1548(0)341--357, 1589(0)198--215, 1589(0)216--240
-
Cassez, Franck, 1548(0)106--123
-
Cassez, Franck, see Sutre, Gregoire
-
Castagnoli, Giuseppe, 1509(0)189--199
-
Castagnoli:1999:DAQ, 1509(0)189--199
-
Castano, Silvana, 1565(0)44--55
-
Castano:1999:DGC, 1565(0)44--55
-
Castelfranchi, C., 1555(0)99--z
-
Castelfranchi, C., see Conte, R.
-
Casting, Ray-, 1568(0)435--446
-
Castrillon, M., 1542(0)376--391
-
Castrillon, M., see Hernandez, M.
-
Castro, V., Estivill-, 1574(0)327--337
-
Castro, Vladimir, Estivill-, 1585(0)18--25
-
Casy, 1542(0)392--411
-
Catasti, P., 1509(0)357--363
-
Catasti, P., see Laflamme, R.
-
categorical, 1548(0)406--421, 1578(0)197--211
-
category, 1569(0)4--z
-
Cattenstart, F. C., 1580(0)163--z
-
Cattenstart:1999:TOS, 1580(0)163--z
-
Causal, 1574(0)400--408, 1574(0)432--437
-
Causally, 1586(0)547--z
-
Causmaecker, Patrick De, 1585(0)187--194
-
Causmaecker, Patrick De, see Burke, Edmund
-
Cavities, 1593(0)1147--z
-
CC, 1575(0)1--16, 1575(0)17--31, 1575(0)32--46, 1575(0)47--62,
1575(0)63--75, 1575(0)76--90, 1575(0)91--106, 1575(0)107--121,
1575(0)122--136, 1575(0)137--152, 1575(0)153--167, 1575(0)168--182,
1575(0)183--197, 1575(0)198--213, 1575(0)214--228, 1575(0)229--243,
1575(0)244--258, 1575(0)259--273, 1575(0)274--287, 1575(0)288--291,
1575(0)292--295, 1575(0)296--300
-
CCS, 1548(0)358--372
-
Cela, José M., 1557(0)173--182, see Fontdecaba, Enric
-
Celino, M., 1593(0)535--z
-
Celino, M., see Di Martino, B.
-
Cell, 1568(0)3--18, 1568(0)3--z, 1586(0)679--z, 1593(0)1042--z
-
Cellular, 1552(0)311--322, 1557(0)480--489, 1585(0)90--97,
1585(0)114--121, 1585(0)454--461, 1593(0)1143--z
-
Cenciarelli, P., 1523(0)157--z
-
Cenciarelli, Pietro, 1548(0)325--340
-
Cenciarelli:1999:AVP, 1548(0)325--340
-
Cenciarelli:1999:EBS, 1523(0)157--z
-
center, 1580(0)65--z
-
Centered'', ``Role-, 1599(0)33--46
-
Centered, User-, 1554(0)328--343
-
Centralised, 1552(0)311--322
-
Centralized, 1593(0)683--z
-
Centred, User-, 1593(0)807--z
-
Cercone, N., 1574(0)390--399, 1574(0)509--514
-
Cercone, N., see An, A., \see{Han, J.
-
Cerf, N. J., 1509(0)258--268, 1509(0)391--401
-
Cerf, N. J., see Adami, C.
-
Cerf, Nicolas J., 1509(0)218--z
-
Cerf:1999:ITA, 1509(0)218--z
-
Cerioli, M., 1577(0)30--44
-
Cerioli, M., see Ancona, D.
-
Certificates, 1560(0)136--153
-
Certification, 1550(0)95--99, 1550(0)100--107, 1550(0)100--z,
1550(0)168--176
-
Certified, Self-, 1587(0)192--201
-
Cetintemel, Ugur, 1554(0)194--207
-
Cetintemel, Ugur, see Aksoy, Demet
-
Ceuleners, Piet De, 1597(0)223--238
-
Ceuleners, Piet De, see Vandermeulen, Filip
-
CFD, 1593(0)90--z
-
Chagas, Simone Cintra, 1557(0)500--509
-
Chagas, Simone Cintra, see Melo, Alba Cristina
-
Chaib-Draa, B., 1555(0)363--z
-
Chaib-Draa:1999:ACL, 1555(0)363--z
-
chain, 1559(0)322--324, 1593(0)13--z
-
Chakravarty, M. M. T., 1586(0)108--z
-
Chakravarty, M. M. T., see Keller, G.
-
Chalasani, P., 1555(0)413--z
-
Chalasani, P., see Shehory, O.
-
Chalermwat, P., 1586(0)257--z
-
Chalermwat:1999:GBP, 1586(0)257--z
-
Challenge, 1557(0)1--12, 1565(0)24--43, 1565(0)168--182,
1597(0)131--142
-
Chamberlain, Sam, 1540(0)169--186
-
Chamberlain, Sam, see Wolfson, Ouri
-
Chan, E., 1552(0)193--204
-
Chan, E., see Lam, K.-Y.
-
Chan, M.-C., 1574(0)263--267
-
Chan, M.-C., see Shi, X.
-
Chan, T. F., 1573(0)176--202, 1593(0)1001--z
-
Chan, T. F., see Barth, T. J.
-
Chan, W., 1593(0)831--z
-
Chan, W., see Moreira, J. E.
-
Chan:1999:MAE, 1593(0)1001--z
-
Chandy, K. M., 1586(0)1215--z
-
Chandy, K. M., see Charpentier, M.
-
Chang, C.-H., 1593(0)80--z
-
Chang, C.-S., 1552(0)335--346
-
Chang, C.-S., see Wu, S.-Y.
-
Chang, M., 1586(0)697--z
-
Chang, M., see Agun, K.-A.
-
Chang, Yong Sik, 1599(0)61--75
-
Chang, Yong Sik, see Lee, Kyoung Jun
-
Chang:1999:IRG, 1593(0)80--z
-
Change, 1572(0)198--213
-
Changing, 1585(0)34--41, 1587(0)177--191
-
Channel, 1509(0)276--284, 1509(0)285--295, 1579(0)208--222,
1586(0)319--z, 1587(0)177--191, 1592(0)446--z
-
Chantemargue, F., 1594(0)399--414
-
Chantemargue, F., see Schumacher, M.
-
Chao, Kun-Mao, 1563(0)334--344
-
Chao, Kun-Mao, see Wu, Bang Ye
-
Chaochen, Zhou, 1548(0)1--7, 1563(0)521--530
-
Chaochen, Zhou, see Barua, Rana
-
Chaochen:1999:DCL, 1548(0)1--7
-
Chaotic, 1585(0)240--250, 1585(0)251--259
-
Chapin, S., 1593(0)370--z
-
Chapin, S., see Ferrari, A.
-
Chappell, B. L., 1586(0)389--z
-
Chappell:1999:AMI, 1586(0)389--z
-
Chapter, 1591(0)1--z, 1591(0)9--z, 1591(0)35--z, 1591(0)49--z,
1591(0)59--z, 1591(0)125--z, 1591(0)165--z, 1591(0)205--z
-
character, 1542(0)66--82, 1554(0)451--452, 1585(0)34--41
-
Characterisation, 1563(0)143--152
-
Characterising, 1581(0)325--339
-
characteristic, 1584(0)188--203, 1592(0)176--z, 1593(0)912--z,
1594(0)3--z
-
Characterization, 1574(0)284--295, 1578(0)104--119, 1587(0)303--313
-
Charatonik, W., 1576(0)177--192
-
Charatonik, W., see Podelski, A.
-
Charles, N., 1595(0)20--37
-
Charles:1999:IAP, 1595(0)20--37
-
Charlier, Baudouin Le, 1559(0)21--40
-
Charlier, Baudouin Le, see Baldan, Dante
-
Charpentier, M., 1586(0)1215--z
-
Charpentier:1999:EPC, 1586(0)1215--z
-
Charts, 1578(0)273--287
-
Chase, 1540(0)39--57
-
Chassery, J. M., 1568(0)76--87
-
Chassery, J. M., see Vittone, J.
-
CHAT, 1551(0)106--121
-
Chatterjee, S., 1586(0)442--z, 1586(0)1026--z
-
Chatterjee, S., see Blount, B.
-
Chatterjee:1999:DAS, 1586(0)442--z
-
Chattratichat, J., 1593(0)573--z
-
Chattratichat:1999:ADE, 1593(0)573--z
-
Chau, H. F., 1509(0)314--324
-
Chau:1999:QCE, 1509(0)314--324
-
Chaumette, S., 1586(0)716--z
-
Chaumette, S., see Caromel, D.
-
Chazawi, T., El-, 1586(0)257--z
-
Cheating, 1587(0)129--134
-
Checkers, 1558(0)183--194
-
Checking, 1548(0)106--123, 1555(0)163--z, 1563(0)323--333,
1578(0)227--242, 1579(0)193--207, 1579(0)223--239
-
Checking, Machine-, 1523(0)119--z
-
Checking, Model-, 1548(0)214--230
-
Checking, Type-, 1589(0)1--15
-
Chee, Seongtaek, 1592(0)286--z
-
Chee, Seongtaek, see Cheon, Jung Hee
-
Chemical, 1581(0)243--257, 1585(0)106--113
-
Chen, A. L. P., 1574(0)74--83, 1574(0)409--419
-
Chen, A. L. P., see Lee, K. L.,
see Tsai, P. S. M.
-
Chen, B., 1574(0)148--158
-
Chen, B., see Singh, L.
-
Chen, H., 1574(0)525--530
-
Chen, H., see Jiang, R.
-
Chen, Haoxun, 1567(0)1--15
-
Chen, Huowang, 1579(0)300--314
-
Chen, Huowang, see Li, Zhoujun
-
Chen, J., 1586(0)996--z
-
Chen, J. C. S., 1574(0)360--364
-
Chen, J. C. S., see Su, C.-M.
-
Chen, Keh-Jiann, 1563(0)424--433
-
Chen, Keh-Jiann, see Case, John
-
Chen, L., 1586(0)289--z
-
Chen, Peter P., 1565(0)56--64, 1565(0)287--302, 1565-0-IX-z
-
Chen, S., 1574(0)380--389, 1593(0)130--z
-
Chen, S., see Liu, B., \see{Roads, J.
-
Chen, Shu-Heng, 1585(0)293--300
-
Chen, Z.-G., 1556(0)43--z
-
Chen, Zongji, 1567(0)414--428
-
Chen, Zongji, see Yu, Xinyao
-
Chen:1999:AEL, 1565(0)56--64
-
Chen:1999:BAM, 1586(0)289--z
-
Chen:1999:CIC, 1565-0-IX-z
-
Chen:1999:CSH, 1567(0)1--15
-
Chen:1999:FDC, 1565(0)287--302
-
Chen:1999:PPM, 1586(0)996--z
-
Chen:1999:TPS, 1556(0)43--z
-
Chen:1999:UGA, 1585(0)293--300
-
Cheng, J., 1574(0)489--493
-
Cheng:1999:SRL, 1574(0)489--493
-
Cheon, Jung Hee, 1592(0)286--z
-
Cheon:1999:BCN, 1592(0)286--z
-
Chernyakhovsky, V., 1586(0)1228--z
-
Chernyakhovsky:1999:FFS, 1586(0)1228--z
-
Chert, S.-H., 1585(0)293--z
-
Chert:1999:UGA, 1585(0)293--z
-
Chervonenkis, Vapnik-, 1572(0)230--240
-
Chess-Endgame, 1585(0)138--145
-
Chetlur, M., 1586(0)1145--z
-
Chetlur, M., see Rajasekaran, U. K. V.
-
Cheung, D. W., 1574(0)54--63, 1574(0)338--349
-
Cheung, D. W., see Yip, C. L., \see{Zhou, B.
-
Cheung, K.-M., 1552(0)347--357
-
Cheung, K.-M., see Leung, C.-H.
-
Chevrier, V., 1555(0)397--z
-
Chevrier, V., see Dury, A.
-
Chi, Dong Pyo, 1509(0)148--151
-
Chi:1999:QDS, 1509(0)148--151
-
Chiang, R. H. L., 1552(0)29--40
-
Chiang, R. H. L., see Huang, Ceil Chua Eng
-
Chimera, 1593(0)1015--z
-
Chinese, 1574(0)179--183
-
Chiola, G., 1586(0)1095--z
-
Chiola:1999:WPC, 1586(0)1095--z
-
CHIP, 1548(0)389--405
-
Chiu, J.-K., 1552(0)278--289
-
Chiu, J.-K., see Hwang, S.-Y.
-
Cho, Dong-Yeon, 1585(0)146--153
-
Cho, Dong-Yeon, see Zhang, Byoung-Tak
-
Cho, Ki Hyung, 1554(0)131--144
-
Cho, Ki Hyung, see Yoo, Jae Soo
-
Cho, Sung-Bae, 1585(0)301--308, 1585(0)413--420
-
Cho, Sung-Bae, see Seo, Yeon-Gyu
-
Cho, V., 1574(0)174--178
-
Cho, Yookun, 1587(0)51--63
-
Cho, Yookun, see Lee, Seungwon
-
Cho:1999:CFM, 1574(0)174--178
-
Cho:1999:GDE, 1585(0)413--420
-
Choenni, S., 1552(0)55--67
-
Choenni:1999:SGB, 1552(0)55--67
-
Choi, Kil Seong, 1554(0)131--144
-
Choi, Kil Seong, see Yoo, Jae Soo
-
Choice, 1584(0)105--125
-
Cholesky, 1557(0)600--602, 1593(0)211--z
-
Choo, Peng Yin, 1586(0)873--z
-
Choo:1999:MWO, 1586(0)873--z
-
Chop, 1563(0)510--520, 1563(0)510--z
-
Chopard, B., 1573(0)522--533, 1593(0)319--z
-
Chopard, B., see Dupuis, A., \see{Martin, M.
-
Choppy, C., 1589(0)277--292
-
Choppy, C., see Poizat, P.
-
Chosen, 1556(0)106--z, 1592(0)90--z
-
Choudhary, A., 1593(0)1097--z, 1593(0)1117--z
-
Choudhary, A., see Kandemir, M., \see{No, J.
-
Choudhary, Alok, 1557(0)470--479
-
Choudhary, Alok, see Carretero, Jesús
-
Choy, Sang, 1597(0)143--154, 1597(0)168--180
-
Choy, Sang, see Breugst, Markus
-
Choy:1999:CES, 1597(0)168--180
-
Christianson, Bruce, 1550(0)154--157, 1550(0)158--167, 1550(0)227--240
-
Christianson, Bruce, see Lee, Stewart
-
Christianson:1999:DSCa, 1550(0)154--157
-
Christianson:1999:DSCb, 1550(0)158--167
-
Chu, Chun-Xin, 1554(0)145--160
-
Chu, Chun-Xin, see Chua, Tat-Seng
-
Chu, Pei-Yue Pauline, 1557(0)600--602
-
Chu, Pei-Yue Pauline, see Santos, Eunice E.
-
Chua, Tat-Seng, 1554(0)145--160
-
Chua:1999:CBP, 1554(0)145--160
-
Chun-Hung Yuen, J., 1552(0)193--204
-
Chun-Hung Yuen, J., see Lam, K.-Y.
-
Chung, Yongwha, 1557(0)236--245
-
Chung:1999:SII, 1557(0)236--245
-
Chunming, Q., 1586(0)950--z
-
Chunming, Q., see Xijun, Z.
-
Chutinan, Alongkrit, 1567(0)16--37, 1569(0)76--z
-
Chutinan:1999:CAA, 1567(0)16--37
-
Chutinan:1999:VPI, 1569(0)76--z
-
Cichon, A., 1584(0)372--384
-
Cichon, A., see Bonfante, G.
-
Cid, R., Murrieta-, 1542(0)450--468
-
Cilio, A., 1575(0)229--243, 1575(0)292--295
-
Cilio, A., see Boekhold, M.
-
Cilio, A. G. M., 1593(0)643--z
-
Cilio:1999:FPF, 1575(0)229--243
-
Cilio:1999:LEW, 1593(0)643--z
-
CIM, 1593(0)951--z
-
Cimatti, Alessandro, 1579(0)193--207
-
Cimatti, Alessandro, see Biere, Armin
-
Cipher, 1556(0)1--z, 1556(0)131--z, 1556(0)248--z, 1561(0)105--126,
1592(0)347--z
-
Ciphertext, 1592(0)90--z
-
Cirac, J. I., 1509(0)373--382
-
Cirac, J. I., see Briegel, H.-J.
-
circle, 1568(0)41--49
-
circuit, 1509(0)10--33, 1509(0)113--125, 1548(0)59--73, 1563(0)47--56,
1593(0)1163--z
-
Circuit-Switched, 1593(0)1159--z
-
Circular, 1578(0)243--257
-
Cirstea, C., 1589(0)63--78
-
Cirstea:1999:SCH, 1589(0)63--78
-
CLAM, 1594(0)291--306
-
Clark, Andrew, 1587(0)1--11, 1587(0)88--102
-
Clark, Andrew, see Goli{\'c}, Jovan Dj.,
see Millan, William
-
Clark, K., 1555(0)345--z
-
Clark, K., see Skarmeas, N.
-
Clark, R., 1586(0)353--z
-
Clark:1999:ADA, 1586(0)353--z
-
Clarke, Edmund, 1579(0)193--207
-
Clarke, Edmund, see Biere, Armin
-
Class, 1523(0)241--z, 1552(0)532--541, 1557(0)68--77, 1567(0)16--37,
1568(0)153--163, 1569(0)123--z, 1569(0)137--z, 1569(0)209--z,
1572(0)168--182, 1580(0)189--z, 1584(0)372--384, 1592(0)223--z,
1594(0)371--383
-
Classical, 1581(0)365--380
-
Classification, 1554(0)75--86, 1554(0)87--102, 1555(0)427--z,
1557(0)276--285, 1557(0)276--z, 1566(0)45--61, 1566(0)166--179,
1572(0)253--262, 1574(0)13--23, 1574(0)296--305, 1574(0)317--326,
1574(0)350--354, 1574(0)365--369, 1574(0)375--379, 1574(0)509--514,
1585(0)82--89
-
Classifier, 1572(0)274--284, 1574(0)123--132, 1574(0)238--246,
1585(0)397--404
-
Classify, 1585(0)138--145
-
Classifying, 1563(0)32--46, 1574(0)370--374
-
Claude, 1500(0)117--z
-
Claude, Jean-, 1500(0)227--z
-
clause, 1582(0)212--z
-
Clean, 1595(0)229--246
-
Cleansing, 1570(0)218--226
-
Cleary, D., 1593(0)797--z
-
Cleary:1999:VGV, 1593(0)797--z
-
Cleaveland, R., 1577(0)161--175, 1578(0)288--305
-
Cleaveland, R., see Mueller-Olm, M.,
see Narasimha, M.
-
Clement, M., 1586(0)781--z, 1593(0)440--z
-
Clement, M., see Yu, S.
-
Clement:1999:HPC, 1586(0)781--z
-
Clementi, Andrea E. F., 1563(0)68--77
-
Clementi, Andrea E. F., see Andreev, Alexander E.
-
Cleve, Richard, 1509(0)61--74
-
Cleve:1999:QEC, 1509(0)61--74
-
Client-Server, 1573(0)156--170, 1576(0)74--90
-
Client-Side, 1551(0)196--210
-
Climate, 1593(0)130--z
-
Climbing, 1587(0)1--11
-
Clinckemaillie, J., 1593(0)300--z
-
Clinckemaillie, J., see Van Albada, G. D.
-
Clinical, 1570(0)210--217
-
Clocks, 1577(0)45--59
-
Cloning, 1509(0)235--246, 1555(0)413--z
-
Closed, 1540(0)398--416
-
Closed, Intersection-, 1572(0)168--182
-
Cloud, 1574(0)317--326, 1574(0)525--530
-
CLP, 1551(0)350--359, 1551(0)350--z, 1559(0)309--312, 1579(0)223--239
-
Cluster, 1557(0)306--316, 1557(0)522--532, 1557(0)522--z,
1557(0)533--540, 1557(0)570--571, 1573(0)215--226, 1574(0)94--98,
1574(0)360--364, 1586(0)19--z, 1586(0)257--z, 1586(0)266--z,
1586(0)483--z, 1586(0)511--z, 1586(0)1097--z, 1586(0)1145--z,
1586(0)1178--z, 1593(0)141--z, 1593(0)211--z, 1593(0)251--z,
1593(0)270--z, 1593(0)300--z, 1593(0)553--z, 1593(0)764--z,
1593(0)884--z, 1593(0)1117--z
-
Cluster, {PC}-, 1557(0)296--305
-
Clustering, 1552(0)580--590, 1562(0)209--229, 1574(0)13--23,
1574(0)327--337, 1574(0)338--349, 1574(0)355--359, 1574(0)360--364,
1574(0)375--379, 1585(0)260--267, 1586(0)1065--z
-
Clusters, Hardwired-, 1586(0)597--z
-
Clyde, Stephen W., 1565(0)258--271
-
Clyde, Stephen W., see Liddle, Stephen W.
-
CMA2, 1562(0)1--10, 1562(0)11--26, 1562(0)27--36, 1562(0)37--51,
1562(0)52--87, 1562(0)88--101, 1562(0)102--142, 1562(0)143--153,
1562(0)154--164, 1562(0)165--175, 1562(0)176--195, 1562(0)196--208,
1562(0)209--229, 1562(0)230--241, 1562(0)242--291, 1562(0)292--306,
1562(0)307--321, 1562(0)322--364, 1562(0)365--379, 1562(0)380--388
-
CMOS, 1542(0)432--449
-
co-, 1589(0)92--106
-
Co-evolution, 1585(0)389--396
-
Co-operative, 1585(0)397--404
-
Co-ordination, 1566(0)190--204, 1594(0)196--210
-
Coarse, 1586(0)1075--z
-
Cocco, Nicoletta, 1559(0)219--239
-
Cocco, Nicoletta, see Bossi, Annalisa
-
Coddington, P. D., 1593(0)873--z
-
Coddington:1999:IIR, 1593(0)873--z
-
code, 1509(0)314--324, 1509(0)325--336, 1551(0)228--242,
1551(0)243--258, 1551(0)243--z, 1557(0)388--397, 1572(0)101--110,
1573(0)203--214, 1573(0)680--690, 1575(0)122--136, 1575(0)229--243,
1575(0)292--295, 1576(0)243--257, 1587(0)303--313, 1592(0)347--z,
1593(0)241--z, 1593(0)535--z
-
Code, Useless-, 1581(0)83--97
-
Coded, 1574(0)94--98
-
Coding, 1542(0)151--161, 1552(0)301--310, 1557(0)257--264,
1572(0)183--197
-
Coelho, H., 1555(0)11--z
-
Coelho, H., see Mora, M.
-
Coelho, P. J., 1573(0)203--214
-
Coelho:1999:IDS, 1573(0)203--214
-
Cog, 1562(0)52--87
-
Cognition, 1565(0)272--280
-
Cognitive, 1571(0)25--40
-
Coherence, 1593(0)463--z
-
Coherent, 1509(0)285--295
-
Coin-Based, 1592(0)150--z
-
Coinductive, 1578(0)243--257, 1584(0)343--354
-
Cointepas, Yann, 1568(0)258--271
-
Cointepas:1999:DHD, 1568(0)258--271
-
Collaborative, 1552(0)421--433
-
Collapse, 1563(0)270--280
-
Collection, 1593(0)895--z
-
collection, Sub-, 1557(0)559--569
-
collections, 1597(0)70--82
-
Collective, 1586(0)34--z, 1586(0)165--z, 1586(0)299--z, 1593(0)774--z
-
Collector, 1586(0)1258--z
-
Collins, John, 1571(0)105--125
-
Collins, John, see Steinmetz, Erik
-
Collis, Jaron C., 1571(0)1--z
-
Collis:1999:BEM, 1571(0)1--z
-
Collision, 1593(0)23--z
-
Collusion-Resistant, 1592(0)140--z
-
Colonies, 1586(0)239--z
-
Color-Based, 1554(0)145--160
-
Colton, M., Farach-, 1575(0)137--152
-
combination, 1586(0)79--z
-
Combinational, 1593(0)1163--z
-
Combinator, 1551(0)76--90, 1595(0)120--136
-
Combinatorial, 1574(0)247--251, 1586(0)239--z
-
Combinatory, 1559(0)143--158, 1559(0)143--z
-
Combined, 1557(0)58--67
-
Combiner, 1587(0)192--201
-
Combining, 1548(0)124--139, 1548(0)308--324, 1574(0)174--178,
1592(0)176--z
-
commerce, 1571(0)1--24, 1571(0)25--40, 1571(0)41--53, 1571(0)54--69,
1571(0)70--90, 1571(0)91--104, 1571(0)105--125, 1571(0)126--150,
1571(0)151--165, 1571(0)166--188, 1571(0)189--206, 1593(0)983--z
-
Commerce, {E}-, 1560(0)122--135
-
commercial, 1550(0)177--192
-
Commitment, 1561(0)63--86, 1592(0)56--z
-
Committed, 1560(0)43--52
-
Committee, 1572(0)34--49, 1574(0)123--132
-
Communicating, 1563(0)313--322, 1578(0)227--242
-
Communication, 1509(0)61--74, 1509(0)373--382, 1552(0)218--229,
1552(0)218--z, 1554(0)59--74, 1555(0)345--z, 1555(0)363--z,
1557(0)586--587, 1562(0)365--379, 1565(0)105--122, 1577(0)22--29,
1579(0)104--118, 1579(0)315--329, 1586(0)4--z, 1586(0)1046--z,
1586(0)1097--z, 1586(0)1145--z, 1587(0)51--63, 1592(0)402--z,
1592(0)446--z, 1593(0)623--z, 1593(0)732--z, 1593(0)744--z,
1593(0)764--z, 1593(0)774--z, 1593(0)1139--z, 1599(0)174--186
-
Communication-Intensive, 1586(0)511--z
-
Communication-Storage, 1592(0)459--z
-
communications, 1586(0)299--z, 1586(0)406--z, 1586(0)468--482
-
commutative, Non-, 1581(0)14--24, 1581(0)295--309
-
Compact, 1576(0)273--287
-
Companies, 1570(0)176--185
-
Companion, 1587(0)202--212
-
Comparative, 1579(0)74--88
-
Comparing, 1592(0)190--z, 1594(0)150--165
-
comparison, 1552(0)454--465, 1568(0)399--410, 1573(0)548--560,
1574(0)94--98, 1574(0)432--437, 1575(0)63--75, 1575(0)168--182,
1578(0)150--164, 1585(0)34--41, 1593(0)1061--z, 1597(0)416--428,
1597(0)416--z
-
Compatible, 1573(0)593--622
-
Competence, 1570(0)125--137
-
Competitive, 1563(0)110--120
-
Compilation, 1575(0)1--16, 1575(0)198--213, 1581(0)280--294
-
COmpiler, 1548(0)527--529, 1548(0)527--z
-
compiler, 1542(0)83--97, 1575(0)1--16, 1575(0)17--31, 1575(0)32--46,
1575(0)47--62, 1575(0)63--75, 1575(0)76--90, 1575(0)91--106,
1575(0)107--121, 1575(0)122--136, 1575(0)137--152, 1575(0)153--167,
1575(0)168--182, 1575(0)183--197, 1575(0)198--213, 1575(0)214--228,
1575(0)229--243, 1575(0)244--258, 1575(0)259--273, 1575(0)274--287,
1575(0)288--291, 1575(0)292--295, 1575(0)296--300, 1586(0)4--z,
1586(0)533--z
-
Compilers, 1575(0)17--31
-
Compiling, 1549-0-i-xvi, 1559(0)240--254
-
Complementarity, 1567(0)70--85, 1567(0)70--z
-
Complementation, Self-, 1563(0)455--466
-
Complete, 1509(0)10--33, 1563(0)414--423, 1578(0)243--257,
1589(0)152--167
-
complete, {NP}-, 1509(0)160--166
-
Completeness, 1563(0)521--530
-
Complex, 1568(0)3--18, 1568(0)3--z, 1568(0)286--298, 1569(0)178--z,
1569(0)193--z, 1574(0)258--262, 1585(0)171--178, 1593(0)1032--z
-
Complexity, 1509(0)61--74, 1509(0)167--173, 1540(0)70--82,
1540(0)236--256, 1558(0)50--73, 1558(0)222--231, 1563(0)47--56,
1563(0)78--89, 1563(0)153--162, 1563(0)163--172, 1563(0)434--443,
1563(0)444--454, 1572(0)198--213, 1581(0)25--39, 1584(0)9--28,
1584(0)159--170, 1584(0)224--240, 1584(0)355--371, 1584(0)372--384
-
Compliant, 1597(0)401--415
-
Component, 1577(0)161--175, 1580(0)139--z, 1591(0)59--z, 1591(0)125--z,
1591(0)165--z, 1593(0)983--z, 1593(0)1032--z, 1597(0)181--182,
1597(0)210--222
-
Component-Based, 1559(0)101--123, 1593(0)60--z, 1594(0)323--339
-
Composing, 1559(0)124--142, 1594(0)118--133
-
Composite, 1540(0)150--168, 1573(0)640--651, 1592(0)223--z
-
Composition, 1548(0)325--340, 1550(0)67--74, 1550(0)75--82,
1550(0)75--z, 1559(0)143--158, 1559(0)143--z, 1586(0)1046--z,
1586(0)1215--z, 1592(0)415--z, 1594(0)291--306
-
Compositional, 1555(0)177--z, 1579(0)148--162
-
Compositionality, 1579(0)163--177
-
Compression, 1542(0)151--161, 1552(0)434--445, 1557(0)276--285,
1557(0)276--z, 1557(0)317--326, 1557(0)377--387, 1586(0)670--z
-
Computability, Majorant-, 1584(0)188--203
-
Computable, 1563(0)153--162, 1568(0)349--360
-
computational, 1509(0)167--173, 1540(0)31--z, 1550(0)137--145,
1550(0)146--153, 1556(0)72--z, 1557(0)173--182, 1559(0)101--123,
1566(0)117--132, 1572(0)1--10, 1572(0)11--17, 1572(0)18--33,
1572(0)34--49, 1572(0)50--62, 1572(0)63--78, 1572(0)79--90,
1572(0)91--100, 1572(0)101--110, 1572(0)111--125, 1572(0)126--137,
1572(0)138--152, 1572(0)153--167, 1572(0)168--182, 1572(0)183--197,
1572(0)198--213, 1572(0)214--229, 1572(0)230--240, 1572(0)241--252,
1572(0)253--262, 1572(0)263--273, 1572(0)274--284, 1572(0)285--300,
1573(0)176--202, 1584(0)159--170, 1584(0)323--342, 1586(0)519--z,
1593(0)339--z, 1593(0)381--z
-
Computationally, 1592(0)402--z
-
Compute, 1563(0)78--89
-
Computer, Human-, 1562(0)307--321
-
Computer-Aided, 1570(0)210--217
-
Computing, Meta-, 1593(0)973--z
-
concatenation, 1582(0)200--z
-
Concept, 1550(0)137--145, 1550(0)146--153, 1551(0)76--90,
1570(0)148--156, 1572(0)168--182, 1573(0)271--284, 1573(0)271--z,
1574(0)109--113, 1574(0)306--316, 1586(0)873--z
-
conceptual, 1552(0)1--13, 1552(0)14--28, 1552(0)29--40, 1552(0)41--54,
1552(0)55--67, 1552(0)68--80, 1552(0)81--92, 1552(0)93--104,
1552(0)105--116, 1552(0)117--128, 1552(0)129--140, 1552(0)141--144,
1552(0)145--156, 1552(0)157--168, 1552(0)169--180, 1552(0)181--192,
1552(0)193--204, 1552(0)205--217, 1552(0)218--229, 1552(0)230--241,
1552(0)242--253, 1552(0)254--265, 1552(0)266--277, 1552(0)278--289,
1552(0)290--300, 1552(0)301--310, 1552(0)311--322, 1552(0)323--334,
1552(0)335--346, 1552(0)347--357, 1552(0)358--367, 1552(0)368--379,
1552(0)380--381, 1552(0)382--395, 1552(0)396--407, 1552(0)408--420,
1552(0)421--433, 1552(0)434--445, 1552(0)446--453, 1552(0)454--465,
1552(0)466--473, 1552(0)474--483, 1552(0)484--495, 1552(0)496--507,
1552(0)508--519, 1552(0)520--531, 1552(0)532--541, 1552(0)542--553,
1552(0)554--567, 1552(0)568--579, 1552(0)580--590, 1562(0)230--241,
1565(0)1--23, 1565(0)24--43, 1565(0)44--55, 1565(0)56--64,
1565(0)65--72, 1565(0)73--86, 1565(0)87--99, 1565(0)100--104,
1565(0)105--122, 1565(0)123--143, 1565(0)144--153, 1565(0)154--167,
1565(0)168--182, 1565(0)183--194, 1565(0)195--210, 1565(0)211--226,
1565(0)227--242, 1565(0)243--257, 1565(0)258--271, 1565(0)272--280,
1565(0)281--286, 1565(0)287--302, 1565-0-IX-z, 1574(0)494--498,
1582(0)231--z, 1593(0)919--z, 1599(0)33--46
-
CONCERT, 1580(0)277--z
-
Concise, 1555(0)81--z
-
Conciseness, 1585(0)206--214
-
Conclusion, 1583(0)145--z
-
Concurrency, 1548(0)42--58, 1552(0)157--168, 1552(0)157--z,
1552(0)382--395, 1555(0)47--z, 1586(0)329--z, 1589(0)277--292
-
Concurrent, 1551(0)31--45, 1576(0)177--192, 1577(0)77--97,
1578(0)31--40, 1578(0)306--321, 1586(0)100--z, 1589(0)310--325,
1592(0)415--z, 1593(0)603--z, 1594(0)166--182, 1594(0)384--398,
1595(0)72--87, 1595(0)229--246
-
Conde, J. E., Santos, 1542(0)432--449
-
Condensing, 1548(0)422--437, 1548(0)422--z
-
condition, 1557(0)117--126, 1585(0)198--205
-
Conditional, 1509(0)269--275, 1577(0)98--113, 1592(0)74--z,
1592(0)74--z--1
-
Conference, 1587(0)64--76, 1594(0)243--258, 1597(0)482--498
-
Configurable, 1586(0)643--z
-
Configurable, Re-, 1586(0)703--z
-
configuration, 1551(0)305--319, 1568(0)65--75, 1570(0)47--66,
1573(0)378--395, 1586(0)643--z, 1594(0)323--339, 1597(0)291--304
-
Conflicts, 1552(0)242--253, 1557(0)460--469
-
Conflicts, Inter-vector-, 1573(0)425--438
-
Conformance, 1579(0)315--329
-
Congruence, 1579(0)300--314
-
Congruences, Pi-, 1548(0)358--372
-
Conjunctive, Path-, 1540(0)39--57
-
Connected, 1573(0)579--592
-
Connected, {Ethernet}-, 1557(0)572--574
-
connection, 1562(0)11--26, 1568(0)191--206, 1582(0)112--z,
1594(0)371--383, 1595(0)200--215
-
Connectors, 1594(0)418--418
-
Connor, R., 1590(0)34--z
-
Connor:1999:UPP, 1590(0)34--z
-
Conradi, Reidar, 1500(0)27--z, 1500(0)53--z
-
Conradi, Reidar, see Avrillionis, Denis
-
Conradi:1999:PML, 1500(0)27--z
-
Cons, 1597(0)342--354
-
consequence, 1581(0)355--364
-
Conservative, 1577(0)98--113
-
consideration, 1580(0)75--z, 1586(0)230--z
-
Consistency, 1548(0)248--262, 1550(0)24--27, 1550(0)28--35,
1550(0)28--z, 1557(0)500--509, 1590(0)1--z
-
Consistent, 1581(0)355--364, 1586(0)547--z
-
Constant, 1572(0)126--137
-
Constrained, 1574(0)148--158, 1585(0)2--9, 1585(0)58--65
-
constraint, 1540(0)39--57, 1540(0)199--216, 1540(0)453--470,
1551(0)320--334, 1551(0)350--359, 1551(0)350--z, 1555(0)397--z,
1559(0)240--254, 1559(0)255--270, 1576(0)177--192, 1584(0)73--89,
1584(0)385--398
-
Constraint-Based, 1551(0)335--349
-
Construct, 1576(0)258--272, 1584(0)105--125
-
Constructing, 1552(0)446--453, 1554(0)289--300, 1556(0)264--z,
1563(0)334--344, 1566(0)205--221
-
construction, 1542(0)489--508, 1554(0)301--312, 1557(0)427--436,
1559(0)21--40, 1563(0)184--196, 1575(0)1--16, 1575(0)17--31,
1575(0)32--46, 1575(0)47--62, 1575(0)63--75, 1575(0)76--90,
1575(0)91--106, 1575(0)107--121, 1575(0)122--136, 1575(0)137--152,
1575(0)153--167, 1575(0)168--182, 1575(0)183--197, 1575(0)198--213,
1575(0)214--228, 1575(0)229--243, 1575(0)244--258, 1575(0)259--273,
1575(0)274--287, 1575(0)288--291, 1575(0)292--295, 1575(0)296--300,
1589(0)63--78
-
Constructor, 1576(0)109--127
-
Consumer, 1585(0)454--461
-
Container-Based, 1580(0)265--z
-
Conte, G., 1586(0)1095--z
-
Conte, G., see Chiola, G.
-
Conte, R., 1555(0)99--z
-
Conte:1999:ANA, 1555(0)99--z
-
Contemporary, 1561(0)105--126
-
content, 1550-0-vii, 1552(0)205--217, 1554(0)1--16, 1554(0)17--29,
1554(0)30--43, 1554(0)44--58, 1554(0)59--74, 1554(0)75--86,
1554(0)87--102, 1554(0)103--118, 1554(0)119--130, 1554(0)131--144,
1554(0)145--160, 1554(0)161--176, 1554(0)177--193, 1554(0)194--207,
1554(0)208--220, 1554(0)221--235, 1554(0)236--251, 1554(0)252--288,
1554(0)289--300, 1554(0)301--312, 1554(0)313--327, 1554(0)328--343,
1554(0)344--355, 1554(0)356--369, 1554(0)370--385, 1554(0)386--396,
1554(0)397--405, 1554(0)406--421, 1554(0)422--432, 1554(0)433--444,
1554(0)445--450, 1554(0)451--452
-
Content-Addressable, 1586(0)873--z
-
Content-Based, 1554(0)119--130, 1554(0)328--343, 1555(0)345--z
-
Context, 1594(0)416--z, 1597(0)429--442
-
Context, Multi-Level-, 1586(0)363--z
-
Contiero, Simone, 1559(0)124--142
-
Contiero, Simone, see Brogi, Antonio
-
Continuous, 1554(0)344--355, 1567(0)163--185, 1567(0)279--303,
1567(0)304--323, 1567(0)304--z, 1569(0)209--z, 1569(0)223--z,
1569(0)223--z--1, 1574(0)509--514, 1577(0)22--29, 1585(0)365--372,
1586(0)430--z
-
Contract, 1561(0)134--157, 1571(0)54--69
-
Contracting, 1571(0)105--125
-
Contributors, 1550(0)241--z
-
Control, 1500(0)117--z, 1509(0)402--412, 1542(0)66--82, 1552(0)157--168,
1552(0)157--z, 1552(0)290--300, 1555(0)381--z, 1567(0)1--15,
1567(0)142--162, 1567(0)262--278, 1567(0)279--303, 1567(0)356--389,
1567(0)414--428, 1567(0)429--444, 1569(0)2--z, 1569(0)4--z,
1569(0)19--z, 1569(0)152--z, 1576(0)20--39, 1585(0)42--49,
1585(0)179--186, 1585(0)179--z, 1585(0)223--230, 1586(0)329--z,
1586(0)375--z, 1586(0)384--z, 1587(0)281--293, 1594(0)1--2
-
Control-Synchronous, 1593(0)525--z
-
Controll, 1567(0)279--303
-
Controllable, 1592(0)286--z, 1594(0)211--226
-
Controlled, 1559(0)1--20, 1560(0)112--121, 1567(0)163--185, 1586(0)4--z
-
Controlled-{NOT}, 1509(0)413--425, 1509(0)460--467
-
Controller, 1567(0)86--99, 1567(0)341--355, 1569(0)91--z, 1569(0)238--z,
1585(0)373--380
-
Controlling, 1551(0)91--105
-
Convergence, 1552(0)380--381, 1572(0)241--252
-
Convergent, 1589(0)326--340
-
Converse, 1586(0)483--z
-
Conversion, 1556(0)81--z, 1575(0)229--243, 1580(0)129--z
-
conversion, eta-, 1584(0)241--259
-
Convex, 1568(0)361--374, 1574(0)306--316
-
Convolutional, 1509(0)314--324, 1592(0)347--z
-
Cooper, M., 1585(0)171--178
-
Cooper, M., see Podlich, D. W.
-
Cooper, T., 1593(0)1077--z
-
Cooper:1999:CSF, 1593(0)1077--z
-
Cooperating, 1593(0)1032--z
-
Cooperation, 1500(0)117--z, 1585(0)301--308
-
Cooperative, 1552(0)434--445, 1554(0)252--288, 1585(0)231--239,
1585(0)231--z, 1585(0)240--250, 1593(0)391--z
-
Coordinated, 1594(0)53--68
-
Coordinating, 1571(0)91--104, 1594(0)355--370, 1599(0)47--60
-
coordination, 1548(0)293--307, 1555(0)149--z, 1581(0)1--5,
1585(0)430--437, 1594(0)1--2, 1594(0)3--z, 1594(0)4--20,
1594(0)21--36, 1594(0)37--52, 1594(0)53--68, 1594(0)69--84,
1594(0)85--102, 1594(0)103--117, 1594(0)118--133, 1594(0)134--149,
1594(0)150--165, 1594(0)166--182, 1594(0)183--195, 1594(0)196--210,
1594(0)211--226, 1594(0)227--242, 1594(0)243--258, 1594(0)259--274,
1594(0)275--290, 1594(0)291--306, 1594(0)307--322, 1594(0)323--339,
1594(0)340--354, 1594(0)355--370, 1594(0)371--383, 1594(0)384--398,
1594(0)399--414, 1594(0)415--z, 1594(0)416--z, 1594(0)417--z,
1594(0)418--418, 1595(0)1--19, 1599(0)61--75, 1599(0)76--87,
1599(0)103--117
-
Cope, 1560(0)290--305
-
Copy, 1552(0)266--277, 1586(0)533--z
-
Copy-Hybrid, 1551(0)106--121
-
Copying, 1509(0)218--z
-
Copyright, 1560(0)188--196
-
Coradeschi, S., 1542(0)216--230
-
Coradeschi:1999:IVD, 1542(0)216--230
-
CORBA, 1551(0)211--227, 1552(0)290--300, 1593(0)70--z, 1597(0)101--113,
1597(0)168--180
-
{CORBA}, {SNMP}-, 1597(0)223--238
-
CORBAash, 1597(0)84--100
-
Corbel, Annie, 1557(0)581--583
-
Corbel, Annie, see Bassomo, Pierre
-
Corchado, J., 1570(0)157--166
-
Corchado, J., see Lees, B.
-
Cornell, Thomas, 1582(0)92--z
-
Cornell, Tom, 1582(0)112--z
-
Cornell, Tom, see Morawietz, Frank
-
Cornell:1999:DRV, 1582(0)92--z
-
Coron, J.-S., 1556(0)57--z
-
Coron, Jean-Sébastien, 1560(0)29--42, 1560(0)197--203
-
Coron:1999:AEM, 1556(0)57--z
-
Coron:1999:SRSa, 1560(0)29--42
-
Coron:1999:SRSb, 1560(0)197--203
-
Corporaal, H., 1575(0)229--243, 1575(0)292--295, 1593(0)643--z,
1593(0)673--z
-
Corporaal, H., see Boekhold, M.,
see Cilio, A. G. M., \see{Cilio, A.
-
Corradini, A., 1578(0)73--89, 1589(0)79--91, 1589(0)92--106
-
Corradini, A., see Baldan, P.
-
Corradini, F., 1577(0)45--59, 1594(0)323--339
-
Corradini, F., see Attanasio, C.
-
Corradini:1999:AGD, 1589(0)92--106
-
Corradini:1999:FSM, 1589(0)79--91
-
Corral, A. M., Del, 1573(0)425--438
-
correction, 1509(0)314--324, 1509(0)337--340, 1585(0)26--33
-
Correlated, 1509(0)337--340, 1585(0)333--340
-
Correlating, 1552(0)29--40
-
Correlation, 1509(0)89--102, 1557(0)107--116, 1560(0)82--96,
1587(0)12--25, 1592(0)347--z
-
Corsaro, Stefania, 1557(0)357--366
-
Corsaro:1999:PIF, 1557(0)357--366
-
Coscheduling, 1586(0)1115--z
-
Coscia, E., 1577(0)77--97
-
Coscia:1999:JJT, 1577(0)77--97
-
Cost, 1540(0)453--470, 1560(0)53--68, 1563(0)334--344, 1563(0)345--355,
1563(0)345--z, 1563(0)424--433, 1571(0)25--40, 1573(0)250--262,
1573(0)522--533
-
Cost, Low-, 1560(0)223--234
-
Costa, V., Santos, 1551(0)122--136
-
Costa, Vítor Santos, 1551(0)122--z, 1551(0)137--151,
see Rocha, Ricardo, \see{Silva, Marcio G.
-
Cote, M., 1574(0)464--468, 1574(0)464--z
-
Cote, M., see Zigbed, A., \see{Zighed, A.
-
Coudert, D., 1586(0)897--z
-
Coudert, S., 1589(0)107--121
-
Coudert:1999:HHS, 1589(0)107--121
-
Coudert:1999:OBM, 1586(0)897--z
-
Counterexamples, 1572(0)79--90
-
Countermeasures, 1587(0)202--212
-
Counting, 1581(0)69--82
-
Coupé, Christophe, 1560(0)204--218
-
Coupe:1999:ELA, 1560(0)204--218
-
Couprie, Michel, 1568(0)229--241
-
Couprie, Michel, see Bertrand, Gilles
-
Courdier, Rémy, 1599(0)33--46, see Vally, Jean-Dany
-
Covaci, Stefan, 1597(0)527--535, 1597(0)536--549
-
Covaci, Stefan, see Sugauchi, Kiminori
-
Covaci:1999:MIA, 1597(0)536--549
-
cover, 1563(0)561--570
-
Coverage, Call-, 1548(0)23--27
-
Covering, 1572(0)274--284
-
CoW, 1557(0)549--558
-
COWs, 1593(0)603--z
-
Cox, A., 1574(0)64--73
-
Cox, A., see Rajamani, K.
-
Cozette, O., 1593(0)1107--z
-
Cozette, O., see Caron, E.
-
CPS, 1576(0)224--242
-
CPU, 1585(0)373--380
-
Cramer, Ronald, 1561(0)16--62, 1592(0)311--z
-
Cramer:1999:EMC, 1592(0)311--z
-
Cramer:1999:ISC, 1561(0)16--62
-
Cranston, C. B., 1580(0)115--z
-
Cranston:1999:AIS, 1580(0)115--z
-
Crashworthiness, 1573(0)263--270
-
Crâsmaru, Marcel, 1558(0)222--231
-
Crasmaru:1999:CTG, 1558(0)222--231
-
Cray, 1557(0)38--47
-
Creation, 1554(0)397--405, 1597(0)275--276, 1597(0)277--290,
1597(0)328--341, 1597(0)342--354
-
Creativity, 1562(0)292--306
-
Creese, S. J., 1586(0)1243--z
-
Creese:1999:VEE, 1586(0)1243--z
-
Cremonini, M., 1594(0)416--z
-
Cremonini:1999:CCA, 1594(0)416--z
-
Crescenzo, G., Di, 1563(0)500--509, 1592(0)74--z--1
-
Crescenzo, Giovanni Di, 1563(0)500--z, 1592(0)74--z
-
Crescenzo:1999:COT, 1592(0)74--z
-
Crescenzo:1999:HFS, 1563(0)500--z
-
Creutzig, U., 1570(0)210--217
-
Creutzig, U., see Knaup, P.
-
Crew, 1593(0)3--z
-
Crispo, Bruno, 1550(0)118--124, 1550(0)125--130
-
Crispo:1999:DRP, 1550(0)118--124
-
Crispo:1999:DRT, 1550(0)125--130
-
Cristianini, Nello, 1572(0)263--273
-
Cristianini, Nello, see Shawe-Taylor, John
-
Criterion, 1586(0)192--z
-
Critical, 1569(0)1--z
-
Cross, M., 1573(0)285--300
-
Cross, M., see Walshaw, C.
-
Cross-Cultural, 1562(0)165--175
-
Crossbar:, Partial-, 1586(0)597--z
-
Crossley, J. N., 1589(0)326--340
-
Crossley, J. N., see Wirsing, M.
-
Crowds, 1554(0)422--432
-
Crowley, J. L., 1542(0)151--161
-
Crowley, J. L., see Vieux, W. E.
-
Crubezy, M., 1542(0)200--215
-
Crubezy, M., see Thonnat, M.
-
Cruellas, Juan Carlos, 1560(0)245--262
-
Cruellas, Juan Carlos, see Rubia, Montse
-
Cruz, J. C., 1594(0)355--370
-
Cruz-Rivera, Y. L., 1586(0)400--z
-
Cruz-Rivera, Y. L., see Gentile, A.
-
Cruz:1999:GBA, 1594(0)355--370
-
Cryptanalysis, 1556(0)131--z, 1556(0)213--z, 1556(0)264--z,
1556(0)296--z, 1556(0)319--z, 1556(0)362--z, 1592(0)1--z,
1592(0)12--23, 1592(0)363--z
-
Cryptographic, 1561(0)158--182, 1579(0)148--162
-
cryptography, 1509(0)200--213, 1509(0)214--217, 1550(0)83--89,
1550(0)83--z, 1550(0)90--94, 1560(0)1--11, 1560(0)12--28,
1560(0)29--42, 1560(0)43--52, 1560(0)53--68, 1560(0)69--81,
1560(0)82--96, 1560(0)97--111, 1560(0)112--121, 1560(0)122--135,
1560(0)136--153, 1560(0)154--170, 1560(0)171--187, 1560(0)188--196,
1560(0)197--203, 1560(0)204--218, 1560(0)219--222, 1560(0)223--234,
1560(0)235--244, 1560(0)245--262, 1560(0)263--275, 1560(0)276--289,
1560(0)290--305, 1560(0)306--314, 1560(0)315--326, 1561(0)87--104,
1561(0)183--216, 1561(0)217--250, 1592(0)190--z
-
cryptology, 1561(0)1--15, 1561(0)16--62, 1561(0)63--86, 1561(0)87--104,
1561(0)105--126, 1561(0)127--133, 1561(0)134--157, 1561(0)158--182,
1561(0)183--216, 1561(0)217--250
-
Cryptoprocessor, 1560(0)223--234
-
Cryptosystem, 1556(0)190--z, 1556(0)213--z, 1556(0)219--z,
1560(0)235--244, 1560(0)306--314, 1587(0)192--201, 1587(0)294--302,
1587(0)314--326, 1592(0)90--z, 1592(0)165--z, 1592(0)223--z,
1592(0)239--z, 1592(0)295--z
-
CSL, 1584(0)1--8, 1584(0)9--28, 1584(0)29--44, 1584(0)45--57,
1584(0)58--72, 1584(0)73--89, 1584(0)90--104, 1584(0)105--125,
1584(0)126--141, 1584(0)142--158, 1584(0)159--170, 1584(0)171--178,
1584(0)179--187, 1584(0)188--203, 1584(0)204--223, 1584(0)224--240,
1584(0)241--259, 1584(0)260--282, 1584(0)283--297, 1584(0)298--312,
1584(0)313--322, 1584(0)323--342, 1584(0)343--354, 1584(0)355--371,
1584(0)372--384, 1584(0)385--398, 1584(0)399--414, 1584(0)415--429
-
CSP, 1586(0)1299--z
-
CSPash, 1586(0)1243--z
-
Cube, 1552(0)129--140, 1557(0)85--95, 1568(0)76--87, 1578(0)90--103,
1593(0)989--z
-
Cuce, S., 1552(0)181--192
-
Cuce:1999:ACV, 1552(0)181--192
-
Cultural, Cross-, 1562(0)165--175
-
Cunin, Pierre-Yves, 1500(0)53--z
-
Cunin, Pierre-Yves, see Avrillionis, Denis
-
Cunin., 1500(0)245--z
-
Curran, Thomas, 1597(0)114--128
-
Curran, Thomas, see Brennan, Rob
-
Current, 1552(0)323--334, 1565-0-IX-z, 1580(0)129--z
-
Curry--Howard, 1581(0)280--294
-
Curvature, 1568(0)31--40
-
curve, 1556(0)190--z, 1556(0)201--z, 1568(0)31--40, 1568(0)164--176,
1568(0)361--374, 1568(0)388--398, 1587(0)103--116, 1587(0)294--302,
1592(0)176--z, 1592(0)190--z
-
Cury, José E. R., 1567(0)324--340,
see Seibel, Conrado W.
-
Cusick, T. W., 1556(0)219--z
-
Cusick, T. W., see Cai, J.-Y.
-
Customizable, 1586(0)733--z
-
Customization, 1597(0)183--193
-
Customizing, 1597(0)194--209
-
cut, Multi-, 1558(0)15--24, 1558(0)15--z
-
Cut-Elimination, 1581(0)365--380
-
Cuthbert, A., 1580(0)17--z
-
Cuthbert, Laurie, 1597(0)514--526
-
Cuthbert, Laurie, see Bigham, John
-
Cuthbert:1999:OTS, 1580(0)17--z
-
Cuts, 1558(0)1--14
-
Cyclic, 1558(0)212--221
-
Cycling, 1587(0)149--163
-
Czarnowski, I., 1586(0)210--z
-
Czarnowski, I., see Jedrzejowicz, P.