Table Of Content

Future Generation Computer Systems 7 (1991 /92) 465-467 North-Holland ' Author index to volume 7 (1991 /92) Aamodt, A., see Sglvberg, I. Abe, M., Present status of HEMT LSI technology Agrawal, A. and R.B. Garner, SPARC: A scalable processor architecture Akima, N., S. Nakata, A. Nishijima, T. Kubo and Y. Konishi, Sigma system: concepts and structure Allard, F., Artificial intelligence and space Arentoft, M.M., J.J. Fuchs, Y. Parrod, A. Gasquet, J. Stader, I. Stokes and H. Vadon, OPTIMUM-AIV: A planning and scheduling system for spacecraft AIV Arlabosse, F., see Courtin, J.-P. Aubin, D., see Brenot, J.-M. Baldi, L., Microelectronics trends Baransky, Y., see Kumar, M. Bettini, C. and L. Spampinato, The connection machine opportunity for the implementation of a concurrent functional language Bjgrner, D., A.E. Haxthausen and K. Havelund, Formal, model-oriented software development methods: From VDM to ProCoS & from RAISE to LaCoS Brackenbury, I. and H. Sachar, The road to multimedia Brenot, J.-M., Y. Parrod, D. Aubin and C. Parquet, ARIANEXPERT: A knowledge based system to analyze ARIANE’s mission data Cardonne, G., see Tsang, J.P. Chang, H.H.Y. and B. Rosenburg, Experience porting Mach to the RP3 large-scale shared-memory multiprocessor Chautard, J.C., see Courtin, J.-P. Courtin, J.-P., P.-Y. Schmerber, J.C. Chautard, S. Martin, P. Marrot, F. Arlabosse and N. Porté, SATEXPERT: A knowledge-based system for spacecraft control Curtis, B., Insights from empirical studies of the software design process Deves, P., C. Fischer and P. Taillibert, An alternative to expert systems for electrical diagnosis Dinn, N.F., Network architectures Duby, J.-J., The evolution of information technologies in the 90s and its impact on applications Fischer, C., see Deves, P. Fuchs, J.J., see Arentoft, M.M. Furukawa, K., Current research status and future direction of the fifth generation computer project Garlichs, R., see Wiendahl, H.-P. Garner, R.B., see Agrawal, A. Gasquet, A., see Arentoft, M.M. Grant, T.J., A review of Multi-Agent Systems techniques, with application to Columbus User Support Organisation Hartenstein, R.W., A.G. Hirschbiel, K. Schmidt and M. Weber, A novel paradigm of parallel computation and its use to implement simple high-performance hardware Havelund, K., see Bjgrner, D. Haxthausen, A.E., see Bjgrner, D. Hertzberger, L.O., Trends in parallel and distributed computing Hirschbiel, A.G., see Hartenstein, R.W. Howe, J., Knowledge-based systems and artificial intelligence: emerging technology Johannsen, W., Transaction models for federative distributed database systems 0376-5075 /92/$05.00 © 1992 — Elsevier Science Publishers B.V. All rights reserved 466 Author index to volume 7 (1991 / 92) Kawabe, U., The status quo and prospect of Josephson junction device technology Kemper, A., see Lockemann, P.C. Kim, W., M. Scheevel and C. Tomlinson, Object-oriented databases for new applications Kobayashi, Y., A perspective of OSI standardization: Object-oriented architecture for distributed processing Kodama, Y., S. Sakai and Y. Yamaguchi, A prototype of a highly parallel dataflow machine EM-4 and its preliminary evaluation Konishi, Y., see Akima, N. Kubo, T., see Akima, N. Kumar, M. and Y. Baransky, The GF11 parallel computer: Programming and performance Laue, H.A., ATOS - An Al-based space mission operations system Lockemann, P.C., A. Kemper and G. Moerkotte, Future database technology: driving forces and directions Maiocchi, M., Software engineering Marrot, P., see Courtin, J.-P. Martin, S., see Courtin, J.-P. Moerkotte, G., see Lockemann, P.C. Nakata, S., see Akima, N. Nishijima, A., see Akima, N. Nordbg, I., see S@lvberg, I. Ohlendorf, G. and N. Schielow, NEPTUNE: A new expert planning tool for users in a network environment Okuno, H.G., Experience of parallel AI programming with parallel Lisp Padua, D.A., Problem-solving environments for parallel computers Paris, E., Preface Parquet, C., see Brenot, J.-M. Parrod, Y., see Arentoft, M.M. Parrod, Y., see Brenot, J.-M. Porté, N., see Courtin, J.-P. Rosenburg, B., see Chang, H.H.Y. Sachar, H., see Brackenbury, I. Sakai, S., see Kodama, Y. Scheevel, M., see Kim, W. Schielow, N., see Ohlendorf, G. Schmerber, P.-Y., see Courtin, J.-P. Schmidt, K., see Hartenstein, R.W. Shibusawa, S., The Cubemat: A parallel interconnection model consisting of hypercube and global bus connections Sglvberg, I., I. Nordbg and A. Aamodt, Knowledge-based information retrieval Soulié, F.F., Neural networks and computing Spampinato, L., see Bettini, C. Stader, J., see Arentoft, M.M. Stokes, I., see Arentoft, M.M. Taillibert, P., see Deves, P. Tomlinson, C., see Kim, W. Tsang, J.P. and G. Cardonne, An AI approach to automate the preliminary design phase of electronic equipment for satellites Umeo, H., T. Worsch and R. Vollmar, On the power of global-bus in mesh-connected architectures Vadon, H., see Arentoft, M.M. Vollmar, R., see Umeo, H. Weber, M., see Hartenstein, R.W. Wiendahl, H.-P. and R. Garlichs, Trends in computer-integrated manufacturing Worsch, T., see Umeo, H. Author index to volume 7 (1991 / 92) Yamaguchi, Y., see Kodama, Y. Yamanouchi, N., Performance effects of program structures on a snoop-cached multiprocessor system Future Generation Computer Systems 7 (1991 /92) 469-471 North-Holland Subject index of volume 7 | 1991/92) Abstract data types Design process Abstract machine models 31 Desktop 91 Algebraic semantics 111 Diagnosis 365 Aluminium oxide barrier 275 Digital hierarchies 79 Applications 91 Direct matching scheme 199 Architecture 79, 303 Distributed cognition 139 Artificial Intelligence 55, 439 Distributed computing 31 ATMS 211 Distributed planning 391 Automated design 353 Distributed processing 311 Distributed transactions 329 Backtracking methods 391 Dutch Utilisation Centre 413 Benes network 169 Dynamic spawning 211 Binary-reflected code 151 Boomerang effect 353 Electrical system 343 Broadband ISDN 79 Empirical studies of programmers 139 Enterprise modeling 97 ESA-QUEST 379 Cache performance 247 European Space Agency 413 CASE (Computer-Aided Software Engineer- Expert systems 55, 343, 439 ing) 293 External object 311 CIB 97 CIM 97 , Circular omega network 199 Fault detection 365 Coltehorstion 9] Federative systems 329 Columbus space station 413 Fifth generation computer 269 Conmmmenicotions 9] Fine-grain mesh-connected computer 161 Communication technology 15 Fine granularity scheduling 181 Compilers 21 Formal method . . 111 Computer-aided engineering and design 317 Functional languages implementation 231 Computer vision 55 Functional reasoning 353 Conceptual object 311 Concurrency 111 GaAs /AlGaAs 283 Concurrent languages 231 Global bus connections 151 Concurrent logic programming 269 Global bus control 161 Constraint logic programming 269 Global networks 79 Constraint propagation 353 Control overhead 181 HEMT 283 Core technology 15 Heterojunction FET 283 Cryogenics 275, 283 Hierarchical decomposition 211 CSCW 91 High level synthesis 181 Cubemat 151 Highly parallel computer 199 Customer networks 79 High-speed parallel processor 283 Hypercube 151 Data analysis 365 Database applications 41 Information retrieval 379 Database systems 41 Information technology 15 Database technology 41 Inheritance 317 Data-driven 181 Instruction set 303 Dataflow machine 199 Internal object 311 Data transmission 151 Interworking 79 Delta reasoning 353 ISA 303 0376-/5920 /7$055.0 0 © 1992 — Elsevier Science Publishers B.V. All rights reserved 470 Subject index to volume 7 (1991 / 92) Josephson junction device 275 Performance evaluation Performance modeling 31 Kernel 403 Plan generation 413 Knowledge base 439 Planning and scheduling 391 Knowledge-based systems 55, 379, 403, 453 Planning operator induction 413 Knowledge information processing 269 Problem-solving environments 221 Procedural expert system 365 Lazy evaluation 231 Processor 275, 303 Learning algorithm 69 Production modeling 97 Local bus 161 Programming environments 221 Logic 275, 283 Programming methodology 111 Logic programming 269 Programming teams 139 LSI 275 LSI/VLSI 283 RAISE 111 RAM 275 MACH 259 Random number generator 283 Machine learning 413 Reactive systems 413 Machine translation 55 Reader-writer lock 211 Maintenance architecture 199 Register windows 303 Massively parallel architectures 231 Replanning 391 Massively parallel computing 169 Resource constraint windows 391 Memory 275, 283 RISC 303 Microelectronics 3 Rule based scheduling 391 MIMD 31 Run-time control 211 Model-based diagnosis 343 Model-oriented semantics 111 Sagas 329 Modules 111 Satellite operations 439 Multi-Agent Systems 413 Semantic model 379 Multimedia 91 Semantic quest 379 Multiprocessor 247 Serializability 329 Multiprocessor operating system 259 Shared and distributed memory machines 31 SIGMA (Software Industrialized Generator Natural language processing 55 and Maintenance Aids) 293 NC Berkeley 303 SIMD (Single Instruction Multiple Data) Network 79 computers 169 Network management 79 Snoop cache 247 Neural networks 69 Software crisis 293 Neural networks programming environment 69 Software design 139 Neurocomputer 69 Software engineering 23 Neurocomputing 69 Software organizations 139 Niobium 275 Software platform 293 Node autonomy 329 Software process 139 Non-determinism 111 Software psychology 139 Software quality 23 Object management system 311 Software quality assurance 23 Object oriented 311, 317 Software technology 15 Object-oriented databases 317 Software tool 293 Object-oriented design 413 Software total quality 23 Open architecture 293 Spacecraft AIV 403 Operator assistant 365 Spacecraft control 453 OPS5 211 Space mission 439 OSI 311 Space operations 365 SPARC 303 Parallel Al 211 Sparse control 181 Parallel computing 31, 221 Speech recognition 55 Parallel languages 31 Spin-lock synchronization 259 Parallellism 111 Standardization 41 Parallel Lisp 211 Standards 15 Parallel operating systems 31 Statistical databases 317 Parallel processing 151, 169 Strongly connected arc model 199 Performance 303 Structured introduction of CIM 97 Subject index to volume 7 (1991 / 92) Sun4 303 Ultra micro parallelism Sun Microsystem 303 UNIX System architectures 97 Systolic algorithm 161 Systolic array 161 VDM Videoconferencing Technology Video signal generator Teleconferencing VLSI Teleworking Time constraint propagation mechanism Trends Workstation