Index file section F for lncs1994.bib
Last update: Mon Mar 13 02:21:52 MDT 2017
Return to index directory
F
-
{F}-logic, 869(0)154--z
-
Fabre, E., 863(0)149--z
-
Fabre, E., see Benveniste, A.
-
Fabre, J.-C., 852(0)21--z
-
Fabre:1994:DSR, 852(0)21--z
-
Fabri, A., 817(0)159--z
-
Fabri, A., see Atallah, M. J.
-
Fabriol, R., 796(0)335--z
-
Fabriol, R., see Kervevan, Ch.
-
face, 800(0)286--298
-
facial, 800(0)513--520
-
Facilitate, 811(0)325--338, 867(0)244--z
-
facility, 811(0)380--393, 823(0)218--z, 852(0)581--z
-
Facing, 774(0)3--z
-
factor, 817(0)749--z, 847(0)97--z, 879(0)362--373
-
factoring, 765(0)28--z, 814(0)386--z, 857(0)28--z, 877(0)93--z,
877(0)289--z
-
factorization, 765(0)50--z, 773(0)166--z, 800(0)97--110, 877(0)71--z,
877(0)209--z
-
Factory, 856(0)193--z
-
Facts, 764(0)1--z
-
fading, 783(0)101--z, 783(0)121--z, 783(0)131--z, 783(0)150--z,
783(0)162--z, 783(0)376--z, 783(0)440--z, 793(0)91--108,
793(0)136--152
-
Fages, F., 844(0)261--z
-
Fages:1994:HPC, 844(0)261--z
-
Fagin, B., 849(0)129--z
-
Fagin:1994:RPF, 849(0)129--z
-
Fahringer, T., 794(0)389--405
-
Fahringer, Thomas, 768(0)184--z
-
Fahringer, Thomas, see Chapman, Barbara M.
-
Fahringer:1994:AEN, 794(0)389--405
-
Fail-Stop, 773(0)250--z
-
fail-stop, 773(0)250--z--1
-
Failure, 750(0)489--z, 810(0)160--z, 857(0)280--z, 857(0)296--z
-
failures, 765(0)443--z, 765(0)443--z--1, 774(0)263--z, 880(0)205--216
-
fair, 820(0)364--z, 879(0)557--566
-
Fairley, A., 865(0)28--z, 865(0)166--z
-
Fairley, A., see Yates, D. F.
-
Fairley:1994:IOR, 865(0)166--z
-
fairness, 817(0)757--760, 818(0)391--z, 836(0)283--z, 880(0)231--242
-
Falaschi, M., 850(0)77--z
-
Falaschi, M., see Alpuente, M.
-
Falkenberg, E. D., 823(0)230--z
-
Falkenberg:1994:DDE, 823(0)230--z
-
Falkman, G., 798(0)120--151
-
Falkman:1994:PMG, 798(0)120--151
-
fall, 800(0)535--542
-
Fallacies, 841(0)87--z
-
Falling, 750(0)489--z
-
Faloutsos, C., 779(0)379--392
-
Faloutsos, C., see Panagopoulos, G.
-
Falquet, G., 811(0)242--255
-
Falquet, G., see Bonjour, M.
-
False, 768(0)273--z, 822(0)54--z
-
Faltings, B., 837(0)436--z, 874(0)40--z
-
Faltings, B., see Haroud, D., \see{Hua, K.
-
familiar, 814(0)816--820
-
Family, 773(0)331--342, 789(0)366--z, 797(0)457--z, 797(0)489--z,
849(0)295--z, 862(0)16--z
-
Fang, H.-L., 865(0)250--z, 866(0)556--z
-
Fang, H.-L., see Corne, D., \see{Ross, P.
-
Fank, B., 791(0)55--z
-
Fank, B., see Zeidler, C.
-
Fantechi, A., 852(0)77--z
-
Fantechi, A., see Bernardeschi, C.
-
Far, Near-, 783(0)251--z
-
Farach, M., 820(0)215--z
-
Farach, M., see Amir, A.
-
Farkas, J., 784(0)407--z
-
Farkas, J., see Sarbo, J.
-
Farmer, W. H., 816(0)96--123
-
Farmer, W. M., 814(0)356--z
-
Farmer:1994:PSP, 814(0)356--z
-
Farmer:1994:TIS, 816(0)96--123
-
Farrahi, A. H., 849(0)66--z
-
Farrahi:1994:FTM, 849(0)66--z
-
fast, 782(0)282--z, 807(0)64--74, 807(0)113--124, 809(0)33--z,
809(0)41--z, 809(0)179--z, 810(0)200--z, 819(0)253--z, 820(0)239--z,
820(0)412--z, 820(0)499--z, 829(0)109--z, 831(0)117--z,
831(0)186--z, 834(0)279--z, 834(0)333--z, 834(0)625--z,
835(0)293--z, 836(0)48--z, 839(0)12--16, 839(0)282--293,
840(0)133--z, 849(0)114--z, 849(0)175--z, 852(0)439--z, 853(0)16--z,
854(0)854--z, 855(0)36--z, 855(0)278--z, 857(0)74--z, 857(0)141--z,
864(0)423--z, 865(0)250--z, 869(0)604--z, 877(0)159--z,
879(0)67--79
-
Fast, Extra-, 849(0)309--z
-
Faster, 775(0)137--z, 775(0)225--z, 820(0)532--z, 853(0)1--z,
855(0)82--z, 880(0)414--425
-
Fat, 855(0)240--z
-
Fat-Trees, 855(0)413--z
-
Fattouche, M., 793(0)136--152
-
Fattouche:1994:ERC, 793(0)136--152
-
Faugeras, O., 800(0)71--82, 800(0)485--494, 800(0)567--576,
800(0)577--588, 825(0)11--z, 825(0)277--z
-
Faugeras, O., see Deriche, R.,
see Luong, Q.-T., \see{Papadopoulo, T.
-
Faugeras:1994:CMF, 825(0)11--z
-
Faugeras:1994:WCT, 800(0)485--494
-
Fault, 774(0)3--z, 774(0)13--z, 774(0)21--z, 774(0)66--z, 774(0)78--z,
774(0)117--z, 774(0)151--z, 774(0)171--z, 774(0)182--z,
774(0)199--z, 774(0)218--z, 774(0)229--z, 774(0)237--z--1,
774(0)263--z, 774(0)285--z, 820(0)47--z, 834(0)101--z, 834(0)342--z,
839(0)425--438, 849(0)1--z, 849(0)240--z, 852(0)77--z, 852(0)97--z,
852(0)178--z, 852(0)199--z, 852(0)235--z, 852(0)289--z,
852(0)309--z, 852(0)327--z, 852(0)336--z, 852(0)453--z,
852(0)511--z, 852(0)563--z, 852(0)581--z, 855(0)401--z,
857(0)253--z, 863(0)476--z
-
Fault-Based, 858(0)205--z
-
Fault-Tolerance, 797(0)401--z, 852(0)546--z
-
Fault-Tolerant, 805(0)207--218, 852(0)3--z, 852(0)39--z, 852(0)115--z,
852(0)421--z, 853(0)215--z, 853(0)226--z, 863(0)41--z, 863(0)110--z,
863(0)373--z, 863(0)529--z
-
Faults:, Software-, 774(0)171--z
-
Faulty, 820(0)23--z, 849(0)361--z, 852(0)529--z, 854(0)749--z
-
Fauth, Andreas, 786(0)128--z
-
Fauth:1994:GCS, 786(0)128--z
-
Favorite, 880(0)256--275
-
Fawcett, B. K., 849(0)271--z, 849(0)280--z
-
Fawcett:1994:FDT, 849(0)271--z
-
Fawcett:1994:HRF, 849(0)280--z
-
Fazzolare, M., 791(0)240--z
-
Fazzolare:1994:OOE, 791(0)240--z
-
FD, 844(0)277--z
-
FDM, 826(0)170--z
-
FDMash, 783(0)33--z
-
FE, PAFEC-, 796(0)62--z
-
Feasibility, 770(0)1--z
-
Feasible, 775(0)521--z, 852(0)453--z
-
feature, 766(0)1--z, 784(0)351--z, 797(0)475--483, 800(0)383--396,
800(0)513--520, 811(0)269--282, 825(0)381--z, 825(0)473--z,
827(0)82--z, 845(0)320--z, 851(0)393--z, 856(0)153--z, 856(0)631--z,
858(0)1--z, 862(0)45--z, 869(0)448--z, 869(0)521--z
-
Feautrier, P., 854(0)689--z
-
Feautrier, P., see Werth, M. R.
-
Fedaoui, L., 882(0)124--z
-
Fedaoui:1994:IEE, 882(0)124--z
-
Federating, 823(0)315--z, 856(0)476--z
-
Federation, 819(0)381--z
-
Fedorenko, S. V., 829(0)97--z
-
Fedorenko, S. V., see Asnis, I. L.
-
Feedback, 783(0)365--z, 783(0)488--z, 876(0)35--z, 876(0)64--z
-
Feelable, 860(0)106--z
-
FeelMouse, 860(0)106--z
-
Feige, U., 820(0)47--z, 820(0)499--z
-
Feige, U., see Aumann, Y.
-
Feige, Uriel, 773(0)85--z
-
Feige, Uriel, see Aumann, Yonatan
-
Feige:1994:FRL, 820(0)499--z
-
Feistel, 809(0)211--z
-
Felder, M., 827(0)365--z
-
Felder:1994:TLA, 827(0)365--z
-
Feldman, Y. A., 863(0)268--z
-
Feldman, Y. A., see Gafni, V.
-
Feldmar, J., 800(0)397--406
-
Feldmar:1994:RAR, 800(0)397--406
-
Felice, C., De, 775(0)353--z
-
Felleisen, Matthias, 789(0)244--z
-
Felleisen, Matthias, see Cartwright, Robert
-
Fellows, M., 775(0)509--z
-
Fellows, M., see Cai, L.
-
Fellows, M. R., 807(0)15--30, 813(0)89--z
-
Fellows, M. R., see Bodlaender, H.,
see Downey, R. G.
-
Felsner, S., 824(0)143--z
-
Felsner:1994:TGG, 824(0)143--z
-
Felty, A., 814(0)605--z, 822(0)1--z
-
Felty:1994:GRT, 822(0)1--z
-
Felty:1994:TTP, 814(0)605--z
-
Fencott, P. C., 873(0)681--z
-
Fencott:1994:FSW, 873(0)681--z
-
Feng, M. D., 854(0)581--z
-
Feng, T., 797(0)363--z
-
Feng, T.-Y., 817(0)831--z
-
Feng, T.-Y., see Seo, S.-W.
-
Feng:1994:DLT, 854(0)581--z
-
Feng:1994:DTA, 797(0)363--z
-
Fensel, D., 867(0)46--z
-
Fensel:1994:CTA, 867(0)46--z
-
Fenstermacher, Philip, 839(0)114--120
-
Fenstermacher, Philip, see Davis, Don
-
Ferber, J., 830(0)3--z
-
Ferber, J., see Drogoul, A.
-
Ferguson, Niels, 765(0)318--z, 773(0)292--z
-
Ferguson:1994:EST, 773(0)292--z
-
Ferguson:1994:STL, 765(0)318--z
-
Ferland, G., 793(0)153--172
-
Ferland:1994:PBC, 793(0)153--172
-
Fernandes, A. A. A., 856(0)445--z
-
Fernandes, A. A. A., see Abdelmoty, A. I.
-
Fernandez, J. C., 836(0)64--z
-
Fernandez, M., 816(0)20--39
-
Fernandez, M., see Van Bakel, S.
-
Fernandez-Baca, D., 824(0)155--z
-
Fernandez-Baca:1994:OPS, 824(0)155--z
-
Fernandez-Camacho, M. I., 820(0)178--z
-
Fernandez-Camacho, M. I., see Sanchez-Couso, J. R.
-
Fernandez-Vidal, S., 800(0)131--136
-
Fernandez-Vidal, S., see Malandain, G.
-
Fernandez:1994:TMB, 836(0)64--z
-
Fernando, G., 846(0)240--z
-
Fernando, G., see Hoffman, D.
-
Fernau, H., 820(0)11--z
-
Fernau:1994:VUL, 820(0)11--z
-
Fernstrom, C., 772(0)90--z
-
Fernstrom, C., see Dowson, M.
-
Ferragina, P., 817(0)713--z, 855(0)331--z, 855(0)495--z
-
Ferragina, P., see Das, S. K.
-
Ferragina:1994:BDA, 817(0)713--z
-
Ferragina:1994:ITE, 855(0)495--z
-
Ferrante, Jeanne, 768(0)461--z
-
Ferrante, Jeanne, see Cytron, Ron K.
-
Ferrari Alves, M., Halfeld, 841(0)383--z
-
Ferrari, G. L., 841(0)342--351
-
Ferrari:1994:CES, 841(0)342--351
-
Ferreira, A., 854(0)797--z
-
Ferreira, A. G., 817(0)1--z, 817(0)553--z
-
Ferreira, M. C. F., 850(0)204--z
-
Ferreira:1994:BBI, 854(0)797--z
-
Ferreira:1994:BBP, 817(0)553--z
-
Ferreira:1994:IPR, 817(0)1--z
-
Ferreira:1994:SAT, 850(0)204--z
-
Ferrer, Josep, Domingo-, 765(0)260--z
-
Ferretti, C., 784(0)355--z, 872(0)282--z
-
Ferretti, J. C., 827(0)543--z
-
Ferretti, J. C., see Bertossi, L. E.
-
Ferretti:1994:IRL, 872(0)282--z
-
Ferretti:1994:IUR, 784(0)355--z
-
Ferrise, M., 858(0)278--z
-
Ferrise, M., see Papa, M. P.
-
Ferry, M., 882(0)294--z
-
Ferry, M., see Hamdi, M.
-
Ferscha, A., 794(0)231--252, 854(0)53--z
-
Ferscha:1994:AEP, 794(0)231--252
-
Ferscha:1994:POD, 854(0)53--z
-
fertilization, cross-, 788(0)180--z
-
Fet, Y. I., 879(0)194--206
-
Fet:1994:HPC, 879(0)194--206
-
Fett, Andreas, 782(0)228--z
-
Fett, Andreas, see Didrich, Klaus
-
Feuerstein, E., 824(0)37--z
-
Feuerstein, E., see Ausiello, G.
-
FFT, 854(0)208--z
-
FFT-Hashing, 809(0)149--z
-
Fiadeiro, J. L., 827(0)48--z
-
Fiadeiro:1994:STS, 827(0)48--z
-
Fiallos Aguilar, M., 817(0)73--z
-
FiallosAguilar:1994:THP, 817(0)73--z
-
FIAT, 768(0)522--z
-
Fiat, Amos, 773(0)480--z, 839(0)257--270
-
Fiat, Amos, see Chor, Benny
-
Fiat:1994:BE, 773(0)480--z
-
Fiber, 817(0)238--z
-
Fibonacci, 834(0)442--z
-
Fibrational, 789(0)618--z
-
fibred, 785(0)235--251
-
Fiddelaers, P., 800(0)427--432
-
Fiddelaers:1994:GDC, 800(0)427--432
-
Fidge, C., 873(0)618--z
-
Fidge:1994:ART, 873(0)618--z
-
Fiech, A., 802(0)567--586
-
Fiech:1994:CDF, 802(0)567--586
-
field, 763(0)282--z, 773(0)147--z, 773(0)159--z, 783(0)56--z,
793(0)1--23, 793(0)24--37, 793(0)67--77, 797(0)70--z, 800(0)14--23,
800(0)71--82, 800(0)138--145, 800(0)201--206, 800(0)338--350,
800(0)361--370, 825(0)277--z, 834(0)297--z, 849(0)45--z,
849(0)277--z, 849(0)312--z, 849(0)341--z, 849(0)352--z,
854(0)820--z, 864(0)208--z, 877(0)28--z, 877(0)41--z, 877(0)60--z,
877(0)194--z, 877(0)209--z, 877(0)248--z, 877(0)250--z
-
Field, J., 844(0)415--z
-
Field, P., 865(0)38--z
-
Field-Programmable, 849(0)373--z
-
Field:1994:DDT, 844(0)415--z
-
Field:1994:NTG, 865(0)38--z
-
fields, CM-, 877(0)42--z
-
Fields, Flow-, 796(0)139--z
-
Fields, R. E., 873(0)175--z
-
Fields, R. E., see Elvang-Goransson, M.
-
Fife, 812(0)19--29
-
Fife, Greg, 750(0)359--z
-
Fife, Greg, see Prey, Jane C.
-
Filali, M., 859(0)49--z
-
Filali, M., see Bodeveix, J.- P.
-
file, 771(0)1--z, 797(0)30--z, 807(0)113--124, 846(0)216--z,
846(0)228--z, 856(0)571--z, 857(0)1--z, 875(0)281--z
-
files, 779(0)379--392
-
Filipic, B., 861(0)395--z
-
Filipic:1994:LDP, 861(0)395--z
-
Filippone, S., 879(0)207--218
-
Filippone:1994:ENS, 879(0)207--218
-
Filter, 783(0)208--z, 846(0)259--z, 849(0)289--z
-
Filter, Chip-Matched-, 783(0)522--z
-
Filter, IF-, 783(0)510--z
-
Filtered, 839(0)332--340, 866(0)239--z
-
filtering, 779(0)245--258, 793(0)223--240, 829(0)109--z, 868(0)191--z
-
filters, 791(0)152--z, 800(0)159--164, 817(0)85--z, 821(0)386--z
-
FIN-Identifiability, 872(0)100--z
-
FIN-Type, 774(0)173--z
-
final, 802(0)1--28, 803(0)530--z
-
Financial, 819(0)190--z, 819(0)204--z
-
Find, 765(0)305--317
-
FINDER, 814(0)798--z
-
finding, 775(0)521--z, 775(0)649--z, 775(0)759--z, 800(0)371--382,
807(0)1--14, 820(0)532--z, 824(0)119--z, 834(0)110--z, 834(0)306--z,
841(0)306--z, 855(0)159--z, 855(0)354--z, 857(0)164--z,
864(0)329--z, 872(0)317--z, 877(0)1--z
-
Fine, 768(0)430--z, 787(0)130--z, 854(0)593--z
-
Fine-Grain, 817(0)577--z, 817(0)781--z, 844(0)324--z
-
Fine-Grained, 849(0)298--z, 849(0)421--z
-
Fine-Granularity, 779(0)131--144
-
Finest, 841(0)618--z
-
Fingerprint, 796(0)435--z
-
Finitary, 798(0)94--119
-
finite, 765(0)50--z, 773(0)147--z, 774(0)187--z, 774(0)328--z,
775(0)341--z, 775(0)543--z, 775(0)691--z, 778(0)73--z, 783(0)113--z,
793(0)1--23, 793(0)24--37, 793(0)67--77, 796(0)62--z, 796(0)92--z,
796(0)119--z, 796(0)254--z, 797(0)233--z, 798(0)37--61,
798(0)77--93, 800(0)441--448, 802(0)530--543, 805(0)181--196,
809(0)135--z, 813(0)227--z, 814(0)1--z, 814(0)753--z, 814(0)798--z,
819(0)215--z, 834(0)297--z, 834(0)678--z, 837(0)379--z,
841(0)364--z, 841(0)484--z, 841(0)577--z, 849(0)120--z,
854(0)461--z, 863(0)247--z, 864(0)329--z, 874(0)86--z, 877(0)28--z,
877(0)60--z, 877(0)209--z, 877(0)250--z, 879(0)247--261,
879(0)262--269
-
Finite-Domain, 822(0)84--z
-
Finite-State, 780(0)213--226, 803(0)124--z, 813(0)47--z, 880(0)149--158
-
finite-state, 815(0)1--z
-
finitely, 834(0)181--z, 877(0)265--z
-
Finiteness, 820(0)376--z
-
Finn, D., 837(0)234--z
-
Finn, D., see Cunningham, P.
-
Finn, S., 763(0)180--z, 859(0)128--z
-
Finn, S., see Chapman, N., \see{Musgrave, G.
-
Fiol, G., 763(0)111--z
-
Fiol:1994:TCA, 763(0)111--z
-
Fiorino, P., 797(0)211--z
-
Fiorino, P., see De Luca, L.
-
Firms, 856(0)204--z
-
first, 750(0)359--z, 768(0)406--z, 777(0)139--z, 786(0)309--323,
796(0)274--z, 796(0)371--z, 800(0)132--137, 810(0)53--z,
811(0)80--93, 820(0)462--z, 837(0)458--z, 839(0)1--11, 862(0)180--z,
865(0)95--z, 869(0)356--z, 873(0)35--z
-
First-Class, 792(0)95--z, 798(0)37--61
-
first-class, 788(0)333--z, 788(0)424--z
-
First-Order, 775(0)59--z, 787(0)246--z, 789(0)296--z, 827(0)195--z,
850(0)41--z, 859(0)97--z
-
first-order, 814(0)162--z, 814(0)192--z, 814(0)484--z
-
Fischer, P., 812(0)34--43
-
Fischer, P., see Brueggemann-Klein, A.
-
Fish, 809(0)41--z
-
Fisher, K., 789(0)844--885
-
Fisher, M., 827(0)317--z, 827(0)415--z, 827(0)480--z
-
Fisher, M., see Dixon, C., \see{Wooldridge, M.
-
Fisher, R. B., 800(0)173--178, 800(0)507--512
-
Fisher, R. B., see Fitzgibbon, A. W.
-
Fisher:1994:NTO, 789(0)844--885
-
Fisher:1994:PCT, 800(0)507--512
-
Fisher:1994:SCM, 827(0)480--z
-
Fit, 831(0)53--z
-
fit, Lack-of-, 800(0)173--178
-
Fit:, Reverse-, 855(0)290--z
-
Fitch-style, 814(0)802--z
-
Fitness, 866(0)58--z
-
Fitts, 876(0)11--z
-
Fitzgerald, J. S., 873(0)35--z
-
Fitzgerald:1994:FIS, 873(0)35--z
-
Fitzgibbon, A. W., 800(0)173--178
-
Fitzgibbon:1994:LFD, 800(0)173--178
-
Fitzpatrick, S., 797(0)457--z, 854(0)148--z
-
Fitzpatrick, S., see Clint, M.
-
Fitzpatrick:1994:DEP, 854(0)148--z
-
Five, 750(0)473--z, 774(0)3--z, 831(0)86--z
-
Fix, L., 818(0)1--z, 820(0)328--z, 863(0)1--z
-
Fix, L., see Alur, R.
-
Fix-Points, 827(0)165--z
-
Fix:1994:HVE, 863(0)1--z
-
Fix:1994:RAP, 820(0)328--z
-
fixating, 800(0)365--376
-
fixed, 788(0)43--z, 832(0)318--z, 841(0)52--z, 864(0)395--z
-
Fixed-point, 832(0)150--z
-
Fixed-Queries, 807(0)198--212
-
fixed-rate, 793(0)385--394
-
fixedpoint, 814(0)148--z
-
FixPoint, 864(0)314--z
-
Fixpoint, 818(0)338--z, 864(0)329--z, 864(0)423--z
-
Flach, P. A., 808(0)41--z
-
Flach:1994:MIR, 808(0)41--z
-
Flachberger, C., 860(0)65--z
-
Flachberger:1994:AFE, 860(0)65--z
-
Flagella, Tito, 821(0)320--z
-
Flagella, Tito, see Attardi, Giuseppe
-
Flagg, R. C., 802(0)544--553
-
Flagg, R. C., see Kopperman, R. D.
-
Flajolet, P., 877(0)144--z
-
Flajolet, P., see Daude, H.
-
Flang, 844(0)467--z
-
Flann, N. S., 866(0)428--z
-
Flann, N. S., see Chen, H.
-
Flannagan, J. B., 854(0)218--z
-
Flannagan, J. B., see Clint, M.
-
Flatness, 827(0)149--z
-
Flexibility, 849(0)295--z
-
flexible, 779(0)131--144, 782(0)282--z, 784(0)403--z, 791(0)213--z,
800(0)299--308, 811(0)14--27, 811(0)406--419, 839(0)95--107,
851(0)539--z, 854(0)160--z, 856(0)744--z, 860(0)65--z, 868(0)280--z
-
flight, 800(0)211--216, 856(0)713--z
-
Floating, 852(0)327--z
-
Flocchini, P., 857(0)164--z
-
Flocchini, P., see Alimonti, P.
-
Flockton, S. J., 865(0)291--z
-
Flockton, S. J., see White, M. S.
-
Floorplanning, 784(0)138--z
-
Flora, 856(0)37--z
-
Floratos, A., 856(0)671--z
-
Floratos, A., see Houstis, C.
-
Florin, G., 815(0)59--z
-
Florin, G., see Bennacer, N.
-
Flotzinger, D., 860(0)170--z
-
Flotzinger, D., see Kalcher, J.
-
flow, 786(0)203--z, 796(0)119--z, 796(0)125--z, 796(0)163--z,
796(0)181--z, 796(0)254--z, 796(0)329--z, 797(0)60--z, 797(0)508--z,
800(0)51--60, 800(0)61--70, 800(0)125--131, 800(0)132--137,
800(0)138--145, 800(0)146--151, 800(0)295--304, 800(0)338--350,
802(0)122--142, 815(0)376--z, 819(0)28--z, 823(0)1--z, 844(0)447--z,
852(0)250--z, 861(0)395--z, 868(0)191--z, 875(0)55--z, 875(0)447--z,
879(0)458--468
-
Flow, Control-, 789(0)224--z
-
Flow, Data-, 786(0)357--z, 786(0)374--z, 787(0)335--z,
803(0)1--z
-
Flow, Navier-Stokes-, 796(0)78--z
-
Flow-Fields, 796(0)139--z
-
Flowshop, 865(0)277--z
-
fluent, 827(0)82--z, 869(0)521--z
-
Fluid, 796(0)131--z, 879(0)1--10, 879(0)458--468
-
Fly, On-The-, 768(0)461--z
-
Fly, On-the-, 818(0)377--z
-
fly, On-the-, 864(0)101--z
-
Flynn, D. J., 823(0)242--z
-
Flynn, D. J., see Laender, A. H. F.
-
Flynn, P. J., 825(0)381--z
-
Flynn, P. J., see Mao, J.
-
FM8501, 878-0-xvi
-
FMC, 879(0)557--566
-
FNT, 852(0)439--z
-
Focus, 837(0)325--z, 872(0)248--z
-
Foerstner, W., 800(0)383--396
-
Foerstner:1994:FLL, 800(0)383--396
-
Foessmeier, U., 855(0)60--z
-
Foessmeier, U., see Berman, P.
-
Fogarty, T. C., 865(0)95--z, 865(0)195--z, 865(0)224--z, 866(0)260--z,
866(0)482--z
-
Fogarty, T. C., see Bull, L., \see{Carse, B.,
see Melhuish, C., \see{Pipe, A. G.
-
Fogarty:1994:CEC, 865(0)195--z
-
Foil, 875(0)193--z
-
Fokkink, Willem Jan, 789(0)440--z
-
Fokkink:1994:TTF, 789(0)440--z
-
FOL, 792(0)119--z
-
Fold, 844(0)340--z, 844(0)459--z, 850(0)269--z
-
Folded, 817(0)25--z, 854(0)749--z
-
Folliot, B., 852(0)581--z
-
Folliot:1994:GFT, 852(0)581--z
-
Following, 800(0)109--114
-
Fong, J., 823(0)508--z
-
Fong:1994:KBA, 823(0)508--z
-
Fonlupt, C., 797(0)338--z
-
Fonlupt:1994:DPV, 797(0)338--z
-
Fontanesi, M., 794(0)266--283
-
Fontanesi, M., see Caselli, S.
-
Foong, S. B., 847(0)97--z
-
Foong:1994:FSA, 847(0)97--z
-
for-Negation, Support-, 822(0)245--z
-
force, 800(0)341--352, 869(0)174--z
-
Forecast, 796(0)299--z
-
Forest, Edward, 750(0)543--z
-
Forest, Edward, see Coyle, Frank P.
-
Forests, 824(0)350--z
-
Forests, DFS-, 855(0)343--z
-
Forgery, 829(0)6--z
-
Forkel, C., 796(0)119--z
-
Forkel, C., see Daniels, H.
-
form, 768(0)477--z, 787(0)276--z, 788(0)26--z, 788(0)135--z,
793(0)38--44, 811(0)149--171, 817(0)701--z, 869(0)437--z
-
Formal, 750(0)389--z, 750(0)597--z, 763(0)180--z, 763(0)190--z,
767(0)1--z, 780(0)43--58, 780(0)490--501, 786(0)233--z, 791(0)93--z,
811(0)135--148, 814(0)816--820, 817(0)202--z, 818(0)182--z,
821(0)344--z, 823(0)1--z, 849(0)117--z, 849(0)135--z, 851(0)433--z,
851(0)563--z, 852(0)77--z, 854(0)136--z, 856(0)400--z, 856(0)521--z,
859(0)144--z, 859(0)177--z, 859(0)300--z, 859(0)316--z,
861(0)178--z, 861(0)367--z, 862(0)130--z, 863(0)738--z,
863(0)756--z, 865(0)1--z, 867(0)26--z, 867(0)283--z, 873(0)26--z,
873(0)35--z, 873(0)55--z, 873(0)105--z, 873(0)291--z, 873(0)326--z,
873(0)421--z, 873(0)602--z, 873(0)618--z, 873(0)703--z,
882(0)145--z
-
Formalisation, 811(0)256--268, 851(0)393--z, 859(0)332--z
-
Formalised, 859(0)378--z
-
Formalising, 873(0)45--z, 873(0)681--z
-
formalism, 823(0)492--z, 833(0)123--z, 869(0)305--z
-
Formality, 780(0)87--98
-
formalization, 780(0)227--238, 780(0)324--337, 784(0)183--z,
810(0)53--z, 869(0)488--z, 873(0)134--z
-
Formalizing, 772(0)227--z, 780(0)99--112
-
Formally, 780(0)281--294
-
format, 775(0)569--z, 789(0)440--z
-
Formation, 784(0)371--z, 796(0)358--z, 805(0)23--34
-
formedness, Well-, 815(0)491--z
-
Formica, A., 779(0)231--244
-
Formica:1994:CIH, 779(0)231--244
-
Forming, 796(0)21--z, 810(0)200--z, 862(0)153--z
-
Formula, 863(0)567--z
-
Formula-Dependent, 818(0)324--z
-
Formulae, 798(0)282--300
-
formulas, 768(0)358--z, 814(0)118--z, 869(0)75--z, 872(0)272--z,
877(0)194--z
-
Formulated, 792(0)119--z, 797(0)202--z
-
formulation, 788(0)317--z, 789(0)618--z, 800(0)125--131, 865(0)17--z
-
Forster, T., 859(0)193--z
-
Forster:1994:WSS, 859(0)193--z
-
Forsyth, D., 825(0)341--z
-
Forsyth:1994:ROI, 825(0)341--z
-
Fortes, J. A. B., 854(0)628--z
-
Fortes, J. A. B., see Llosa, J.
-
Forth, 827(0)225--z
-
Forti, M., 841(0)352--z
-
Forti:1994:PH, 841(0)352--z
-
Fortier, P., 793(0)241--252
-
Fortier, P., see Roy, S.
-
Fortnow, L., 834(0)396--z, 880(0)256--275
-
Fortnow:1994:MFT, 880(0)256--275
-
Fortnow:1994:SOW, 834(0)396--z
-
Fortran, 768(0)200--215, 786(0)324--338, 797(0)407--416, 797(0)417--422,
797(0)429--433, 797(0)434--440, 797(0)441--444, 797(0)475--483
-
Forward, 783(0)391--z
-
Forward, Roll-, 774(0)95--z
-
Forwarding, 846(0)252--z
-
Fosse, P., Thevenod-, 852(0)250--z
-
FOSSIL, 784(0)122--z
-
Foster, I., 854(0)5--z
-
Foster:1994:LCR, 854(0)5--z
-
Fothergill, J. E., 819(0)317--z, 871(0)173--z
-
Fothergill, J. E., see Boyle, J.,
see Kemp, G. J. L.
-
Foundation, 798(0)222--254, 845(0)50--z, 851(0)39--z, 880(0)89--100
-
Foundational, 788(0)74--z
-
foundations, 802(0)1--28, 802(0)29--71, 802(0)72--82, 802(0)83--102,
802(0)103--121, 802(0)122--142, 802(0)143--159, 802(0)160--176,
802(0)177--214, 802(0)215--229, 802(0)230--249, 802(0)250--270,
802(0)271--292, 802(0)293--303, 802(0)304--319, 802(0)320--332,
802(0)333--358, 802(0)359--377, 802(0)378--409, 802(0)410--437,
802(0)438--453, 802(0)454--473, 802(0)474--512, 802(0)513--529,
802(0)530--543, 802(0)544--553, 802(0)554--566, 802(0)567--586,
802(0)587--602, 802(0)603--626, 802(0)627--648, 813(0)101--z,
874(0)193--z, 874(0)266--z, 876(0)1--z, 880(0)414--425
-
Founded, Well-, 810(0)179--z, 813(0)218--z, 822(0)230--z
-
founded, well-, 826(0)90--z
-
Fouque, G., 869(0)183--z
-
Fouque:1994:CBR, 869(0)183--z
-
four, 774(0)251--z, 792(0)260--z
-
Four-Connectivity, 824(0)83--z
-
Fourier, 839(0)332--340
-
Fourman, M. P., 859(0)128--z
-
Fourman, M. P., see Chapman, N.
-
Fowler, J., 844(0)261--z
-
Fowler, J., see Fages, F.
-
Fowler, R. J., 791(0)33--z, 817(0)661--z
-
Fowler:1994:ACG, 791(0)33--z
-
Fowler:1994:MOA, 817(0)661--z
-
Fox, E. A., 869(0)27--z
-
Fox, G. C., 796(0)1--z, 797(0)137--z, 797(0)202--z
-
Fox, G. C., see Cheng, G.
-
Fox, Geoffrey, 768(0)200--215
-
Fox, Geoffrey, see Bozkus, Zeki
-
Fox:1994:HMI, 869(0)27--z
-
Fox:1994:IPO, 796(0)1--z
-
Fox:1994:ISO, 797(0)137--z
-
FPGA, 849(0)34--z, 849(0)57--z, 849(0)66--z, 849(0)126--z, 849(0)132--z,
849(0)135--z, 849(0)141--z, 849(0)144--z, 849(0)175--z,
849(0)240--z, 849(0)251--z, 849(0)259--z, 849(0)271--z,
849(0)303--z, 849(0)315--z, 849(0)332--z, 849(0)397--z,
849(0)421--z
-
FPGA-Based, 849(0)111--z
-
FPGA-to-ASIC, 849(0)280--z
-
FPGAs, 849(0)1--z, 849(0)23--z, 849(0)45--z, 849(0)78--z, 849(0)89--z,
849(0)99--z, 849(0)138--z, 849(0)274--z, 849(0)298--z, 849(0)309--z,
849(0)344--z, 849(0)361--z, 849(0)385--z
-
FPL, 849(0)338--z
-
FPL-Based, 849(0)183--z
-
FPMCM, 849(0)373--z
-
Fractal, 820(0)11--z, 849(0)129--z, 868(0)1--z
-
Fractional-Rate, 783(0)121--z
-
Fradet, P., 788(0)211--z
-
Fradet:1994:CHS, 788(0)211--z
-
Fraenzle, M., 863(0)288--z
-
Fraenzle, M., see He, J.
-
Fragment, 813(0)18--z, 859(0)81--z
-
Fragmentation-Redundancy-Scattering, 852(0)21--z
-
Fraguas, F. J., Lopez-, 844(0)385--z
-
Fraigniaud, P., 854(0)785--z
-
Fraigniaud:1994:OIR, 854(0)785--z
-
Frailey, Dennis J., 750(0)543--z
-
Frailey, Dennis J., see Coyle, Frank P.
-
Fraize, C., 815(0)59--z
-
Fraize, C., see Bennacer, N.
-
Frame, 825(0)11--z, 861(0)392--z
-
Frame-Induced, 846(0)173--z
-
frames, 800(0)316--327, 856(0)703--z
-
framework, 750(0)165--z, 763(0)388--z, 768(0)216--z, 768(0)522--z,
769(0)1--z, 772(0)207--z, 772(0)254--z, 772(0)261--z, 775(0)251--z,
777(0)118--z, 785(0)220--234, 786(0)419--z, 788(0)89--z,
788(0)394--z, 799-0-xxiii, 800(0)383--396, 800(0)471--481,
821(0)474--z, 822(0)144--z, 822(0)189--z, 823(0)1--z, 823(0)438--z,
827(0)301--z, 834(0)575--z, 838(0)379--z, 846(0)138--z,
846(0)252--z, 851(0)295--z, 854(0)640--z, 856(0)183--z,
856(0)236--z, 862(0)45--z, 864(0)380--z, 866(0)628--z, 867(0)318--z,
867(0)355--z, 868(0)153--z, 868(0)328--z, 869(0)571--z,
873(0)291--z
-
Franceschinis, G., 794(0)335--352, 815(0)139--z
-
Franceschinis, G., see Chiola, G.,
see Donatelli, S.
-
Franciosa, P. G., 831(0)117--z, 855(0)343--z
-
Franciosa:1994:OSF, 831(0)117--z
-
Franciosa:1994:SDF, 855(0)343--z
-
Francis, M., 763(0)180--z
-
Francis, M., see Musgrave, G.
-
Franconi, E., 810(0)13--z
-
Franconi, E., see Allgayer, J.
-
Franken, L. J. N., 794(0)89--110
-
Franken:1994:MAM, 794(0)89--110
-
Franklin, J., 833(0)69--z
-
Franklin, Matthew, 773(0)266--z
-
Franklin:1994:FRN, 833(0)69--z
-
Franklin:1994:JEM, 773(0)266--z
-
Franz, Michael, 782(0)259--z
-
Franz:1994:TST, 782(0)259--z
-
Franzle, Martin, 786(0)294--z
-
Franzle:1994:TPC, 786(0)294--z
-
Fraser, C. B., 807(0)173--183
-
Fraser, C. B., see Irving, R. W.
-
Frasson, C., 835(0)251--z
-
Frasson, C., see Kabbaj, A.
-
Frayman, F., 841(0)364--z
-
Frayman:1994:CCF, 841(0)364--z
-
Fredman, M. L., 824(0)167--z
-
Fredman:1994:LBD, 824(0)167--z
-
Free, 775(0)341--z, 820(0)274--z, 827(0)210--z, 829(0)74--z,
862(0)222--z
-
Free, Backtrack-, 778(0)136--z
-
free, Conflict-, 857(0)116--z
-
Free, Congestion-, 853(0)176--z
-
Free, Context-, 807(0)289--306, 812(0)124--130, 818(0)118--z,
855(0)460--z, 862(0)119--z, 862(0)212--z, 872(0)560--z
-
free, Context-, 812(0)232--250
-
free, context-, 836(0)48--z, 836(0)81--z, 836(0)114--z
-
Free, Coupled-Context-, 820(0)412--z
-
Free, Distribution-, 872(0)500--z
-
Free, Function-, 784(0)423--z
-
free, Lambda-, 859(0)81--z
-
Free, Overlap-, 812(0)19--29
-
Free, Risk-, 849(0)280--z
-
Free, Subsumption-, 779(0)59--72
-
Free, Top-Context-, 787(0)157--z
-
Free, Wait-, 824(0)267--z, 834(0)83--z, 841(0)546--z
-
free, Wait-, 857(0)156--z
-
Free-Text, 796(0)430--z
-
Freeman, Eric, 768(0)139--z
-
Freeman, Eric, see Carriero, Nicholas
-
Freeman, M., 860(0)177--z
-
Freeman, M., see Cherry, A. D.
-
Freeman, S. M. G., 821(0)493--z
-
Freeman, T. L., 817(0)490--z, 879(0)219--228
-
Freeman, T. L., see Bull, J. M.
-
Freeman-Benson, Bj{\o}rn, 821(0)260--z, see Lopez, Gus
-
Freeman:1994:ADV, 821(0)493--z
-
Freeman:1994:SMM, 879(0)219--228
-
Freeness, 864(0)297--z
-
Freitag McPhee, N., 814(0)401--z
-
Freitag, B., 811(0)283--296
-
Freitag:1994:HBT, 811(0)283--296
-
FreitagMcPhee:1994:MPG, 814(0)401--z
-
Freivalds, R., 774(0)137--z, 820(0)580--z, 872(0)91--z, 872(0)100--z
-
Freivalds:1994:CLF, 872(0)100--z
-
Freivalds:1994:DBM, 774(0)137--z
-
Freivalds:1994:INM, 872(0)91--z
-
Freivalds:1994:LSB, 820(0)580--z
-
Frequency, 783(0)273--z, 783(0)344--z
-
frequency-hopped, 793(0)109--124
-
Frequency-Phase, 783(0)101--z
-
Frequency-Selective, 783(0)131--z
-
Frescura, F., 783(0)131--z
-
Frescura, F., see Cacopardi, S.
-
Freuder, E. C., 874(0)10--z
-
Freuder, E. C., see Sabin, D.
-
Frezza, R., 800(0)61--72
-
Frezza, R., see Soatto, S.
-
Frias, J. F., Diaz-, 880(0)12--23
-
Fribourg, L., 814(0)311--z
-
Fribourg:1994:BED, 814(0)311--z
-
Frigioni, D., 778(0)136--z, 880(0)113--124
-
Frigioni:1994:DBF, 778(0)136--z
-
Frigioni:1994:IAS, 880(0)113--124
-
Frimpong-Ansah, K., 882(0)47--z
-
Frimpong-Ansah, K., see Leopold, H.
-
Frings, J., 868(0)203--z
-
Frings:1994:ORM, 868(0)203--z
-
Fripiat, J. G., 796(0)183--z
-
Fripiat, J. G., see Andre, J. M.
-
Fristacky, N., 849(0)117--z
-
Fristacky, N., see Bartos, T.
-
Fritzsch, B., 796(0)323--z
-
Fritzsch, B., see Kersken, H.-P.
-
Fritzson, P., 879(0)397--415
-
Fritzson, P., see Nordling, P.
-
Fritzson, Peter, 786(0)248--z
-
Fritzson, Peter, see Ringstrom, Johan
-
front, 783(0)501--z, 800(0)3--13, 805(0)181--196, 856(0)713--z
-
Frontier, 779(0)2--6
-
Frost, R., 794(0)369--388
-
Frost, R., see Grimsrud, K.
-
Fruchting, H., 783(0)356--z
-
Fruchting, H., see Kattenbach, R.
-
Fruehwirth, T., 844(0)230--z
-
Fruehwirth:1994:ACL, 844(0)230--z
-
Fruscione, M., 796(0)441--z
-
Fruscione:1994:PPP, 796(0)441--z
-
Fry, M., 846(0)138--z
-
Fry:1994:FIN, 846(0)138--z
-
FSM, 763(0)254--z, 849(0)120--z
-
FTM, 852(0)491--z
-
FTMPS-Project, 797(0)401--z
-
Fu, A. W.-C., 869(0)164--z
-
Fu, A. W.-C., see Cheung, D. W.-I.
-
Fua, P., 800(0)281--294
-
Fua:1994:UDM, 800(0)281--294
-
Fuchs, M., 861(0)343--z
-
Fuchs, M., see Denzinger, J.
-
Fuchs, W. Kent, 774(0)45--z--1
-
Fuchs:1994:ACA, 774(0)45--z--1
-
Fuente, L. A., De la, 851(0)273--z
-
Fuggetta, A., 772(0)15--z, 772(0)127--z
-
Fuggetta, A., see Bandinelli, S.
-
Fuggetta:1994:PCP, 772(0)127--z
-
Fuhr, T., 861(0)130--z
-
Fuhr:1994:ESN, 861(0)130--z
-
Fuhrmann, O., Kramer-, 797(0)328--z
-
Fujara, J., Meyer-, 861(0)214--z
-
Fujise, T., 844(0)25--z
-
Fujise, T., see Chikayama, T.
-
Fujiwara, T., 880(0)276--287
-
Fujiwara, T., see Kaji, Y.
-
Fujiyoshi, K., 834(0)541--z
-
Fujiyoshi:1994:TPB, 834(0)541--z
-
full, 776(0)265--z, 789(0)1--z, 796(0)420--z, 802(0)320--332,
841(0)608--z, 869(0)427--z, 879(0)383--391
-
Full, Quasi-, 834(0)428--z
-
Full-Speed, 849(0)318--z
-
Full-Text, 779(0)365--378
-
Fully, 773(0)110--z, 788(0)454--z, 789(0)16--z, 836(0)497--z,
841(0)373--z
-
Fully-Accessible, 860(0)164--z
-
function, 765(0)77--z, 765(0)102--z, 765(0)181--z, 765(0)286--292,
765(0)293--z, 765(0)293--z--1, 765(0)305--317, 766(0)1--z,
773(0)49--z, 773(0)175--z, 773(0)331--342, 773(0)368--378,
773(0)379--390, 774(0)251--z, 774(0)300--z, 775(0)449--z,
776(0)170--z, 778(0)63--z, 783(0)242--z, 787(0)100--z, 792(0)255--z,
793(0)359--367, 800(0)125--131, 802(0)143--159, 802(0)320--332,
802(0)333--358, 809(0)71--82, 809(0)83--89, 809(0)157--165,
814(0)371--z, 814(0)620--z, 814(0)816--820, 815(0)99--z,
818(0)41--z, 818(0)364--z, 819(0)299--z, 825(0)215--z, 825(0)359--z,
834(0)324--z, 834(0)396--z, 834(0)584--z, 835(0)160--z,
839(0)75--82, 839(0)247--256, 839(0)369--382, 841(0)546--z,
844(0)465--z, 847(0)77--z, 849(0)114--z, 850(0)242--z, 854(0)878--z,
861(0)331--z, 864(0)266--z, 864(0)329--z, 866(0)6--z, 866(0)58--z,
866(0)159--z, 866(0)239--z, 866(0)249--z, 868(0)216--z, 872(0)10--z,
872(0)100--z, 877(0)80--z, 877(0)108--z
-
Function, Process-to-, 821(0)81--z
-
Function-Based, 847(0)77--z
-
Function-Free, 784(0)423--z
-
functional, 763(0)282--z, 780(0)99--112, 786(0)68--z, 788(0)225--z,
788(0)317--z, 788(0)424--z, 788(0)439--z, 789(0)36--z, 789(0)179--z,
792(0)31--z, 797(0)357--z, 813(0)253--z, 817(0)464--z, 823(0)99--z,
838(0)332--z, 844(0)447--z, 844(0)455--z, 844(0)463--z,
854(0)521--z, 854(0)616--z, 856(0)259--z, 856(0)641--z,
859(0)391--z, 864(0)26--z, 873(0)381--z, 880(0)77--88
-
Functional, Non-, 750(0)375--z
-
Functional-Logic, 844(0)355--z
-
Functional-Style, 856(0)37--z
-
function(al)s, 788(0)135--z
-
functors, 788(0)409--z
-
Functors, delta-, 802(0)567--586
-
fundamental, 767(0)1--z, 797(0)36--z, 800(0)577--588, 825(0)199--z,
833(0)145--z, 855(0)215--z
-
für, 860(0)244--z
-
Fura, D. A., 780(0)267--280, 859(0)205--z
-
Fura:1994:ATM, 780(0)267--280
-
Fura:1994:ISC, 859(0)205--z
-
Furbach, U., 777(0)139--z, 814(0)87--z, 814(0)769--z
-
Furbach, U., see Baumgartner, P.
-
Furbach:1994:TRF, 777(0)139--z
-
Furniture, 856(0)779--z
-
Furnkranz, J., 784(0)122--z
-
Furnkranz:1994:FRR, 784(0)122--z
-
Furst, Merrick, 773(0)278--z
-
Furst, Merrick, see Blum, Avrim
-
Furtado, A. L., 811(0)380--393
-
Furtado, A. L., see Aberer, K.
-
Further, 764(0)1--z, 834(0)514--z, 840(0)153--z, 860(0)46--z
-
Fusion, 768(0)301--z
-
future, 763(0)180--z, 774(0)117--z, 793(0)45--66, 797(0)60--z,
827(0)195--z, 835(0)11--z, 851(0)123--z, 851(0)333--z, 852(0)407--z,
874(0)326--z, 879(0)236--246
-
fuzzy, 819(0)158--z, 833(0)3--z, 833(0)15--z, 833(0)37--z, 833(0)56--z,
833(0)69--z, 833(0)99--z, 833(0)133--z, 833(0)145--z, 847(0)1--z,
847(0)10--z, 847(0)24--z, 847(0)38--z, 847(0)62--z, 847(0)77--z,
847(0)114--z, 849(0)309--z, 866(0)260--z, 866(0)376--z, 869(0)56--z,
869(0)75--z, 869(0)144--z, 872(0)137--z