Future Generation Computer Systems 7 (1991/92) 469-471 469 North-Holland

Subject index of volume 7!1991/92)

Abstract data types 111 Design process Abstract machine models 31 Desktop Algebraic semantics 111 Diagnosis Aluminium oxide barrier 275 Digital hierarchies Applications 91 Direct matching scheme Architecture 79, 303 Distributed cognition Artificial Intelligence 55, 439 Distributed computing ATMS 211 Distributed planning Automated design 353 Distributed processing

Distributed transactions Dutch Utilisation Centre Backtracking methods 391

Benes network 169 Dynamic spawning

Binary-reflected code 151 Boomerang effect 353 Electrical system Broadband ISDN 79 Empirical studies of programmers

Enterprise modeling ESA-QUEST European Space Agency Expert systems External object

Cache performance 247 CASE (Computer-Aided Software Engineer-

ing) 293 CIB 97 CIM 97 Circular omega network 199 Collaboration 91 Columbus space station 413 Communications 91 Communication technology 15 Compilers 221 Computer-aided engineering and design 317 Computer vision 55 Conceptual object 311 Concurrency 111 Concurrent languages 231 Concurrent logic programming 269 Constraint logic programming 269 Constraint propagation 353 Control overhead 18l Core technology 15 Cryogenics 275,283 CSCW 91 Cubemat 151 Customer networks 79

Fault detection Federative systems Fifth generation computer Fine-grain mesh-connected computer Fine granularity scheduling Formal method Functional languages implementation Functional reasoning

GaAs/AIGaAs Global bus connections Global bus control Global networks

HEMT Heterojunction FET Hierarchical decomposition High level synthesis Highly parallel computer High-speed parallel processor Hypercube

Data analysis 365 Database applications 41 Information retrieval Database systems 41 Information technology Database technology 41 Inheritance Data-driven 181 Instruction set Dataflow machine 199 Internal object Data transmission 151 Interworking Delta reasoning 353 ISA

0376-5075/92/$05.00 © 1992 - Elsevier Science Publishers B.V. All rights reserved

139 91

365 79

199 139 31

391 311 329 413 2l l

343 139 97

379 413

55,343, 439 311

365 329 269 161 181 111 23l 353

283 151 161 79

283 283 211 181 199 283 151

379 15

317 303 311

79 303

470 Subject index to t,olume 7 (1991/92)

Josephson junction device

Kernel Knowledge base Knowledge-based systems Knowledge information processing

Lazy evaluation Learning algorithm Local bus Logic Logic programming LSI LSI/VLSI

MACH Machine learning Machine translation Maintenance architecture Massively parallel architectures Massively parallel computing Memory Microelectronics MIMD Model-based diagnosis Model-oriented semantics Modules Multi-Agent Systems Multimedia Multiprocessor Multiprocessor operating system

Natural language processing NC Berkeley Network Network management Neural networks Neural networks programming environment Neurocomputer Neurocomputing Niobium Node autonomy Non-determinism

Object management system Object oriented Object-oriented databases Object-oriented design Open architecture Operator assistant OPS5 OSI

Parallel AI Parallel computing Parallel languages Parallellism Parallel Lisp Parallel operating systems Parallel processing Performance

55,379, 403,

275,

275

403 439 453 269

231 69

161 283 269 275 283

259 413

55 199 231 169

275, 283 3

31 343 111 111 413

91 247 259

55 303

79 79 69 69 69 69

275 329 111

311 311,317

317 413 293 365 211 311

211 31,221

31 111 211

31 151,169

303

Performance evaluation Performance modeling Plan generation Planning and scheduling Planning operator induction Problem-solving environments Procedural expert system Processor Production modeling Programming environments Programming methodology Programming teams

RAISE RAM Random number generator Reactive systems Reader-writer lock Register windows Replanning Resource constraint windows RISC Rule based scheduling Run-time control

Sagas Satellite operations Semantic model Semantic quest Serializability Shared and distributed memory machines SIGMA (Software Industrialized Generator

and Maintenance Aids) SIMD (Single Instruction Multiple Data)

computers Snoop cache Software crisis Software design Software engineering Software organizations Software platform Software process Software psychology Software quality Software quality assurance Software technology Software tool Software total quality Spacecraft AIV Spacecraft control Space mission Space operations SPARC Sparse control Speech recognition Spin-lock synchronization Standardization Standards Statistical databases Strongly connected arc model Structured introduction of CIM

199 31

413 391 413 221 365

275,303 97

221 111 139

111 275 283 413 211 303 391 391 303 391 211

329 439 379 379 329

31

293

169 247 293 139 23

139 293 139 139 23 23 15

293 23

403 453 439 365 303 181 55

259 41 15

317 199 97

Subject index to colume 7 (1991/92) 471

Sun4 Sun Microsystem System architectures Systolic algorithm Systolic array

Technology Teleconferencing Teleworking Time constraint propagation mechanism Trends

303 Ultra micro parallelism 303 UNIX

97 161 161 VDM

Videoconferencing 3 Video signal generator

91 VLS I 91

391 3 Workstation

181 259

111 91

283 3

15,31,293,303