Table Of Content

Microprocessing and Microprogramming 38 (1993) 855-857 North-Holland Author index Ch. Aktouf P. Cavalloro 563 C.F. Alastruey F. Cesaroni 179 S. Allegra C-C. Chang 421 M. Annunziata C. Charlton 411 T. Antonakopoulos I.R. McChesney 273 S. Antoniazzi 71 J.M. Colom 1, 597 P. van der Arend 53 V. Cordonnier 467 S. Arévalo 793 H. Corporaal 45, 53 A. Arruabarrena 33 J. Cortadella 429, 775 R. Asenjo 319 A. Costa 447, 545 J.S. Aude 149 C. Costi 563 E. Ayguadé 119 Gy. Csopaki 821 J. Ayre 273 W. Damm 571 R.M. Badia 775 F. Distante 723 P. Baglietto 327 G. Déhmen 571 A. Balboni 71 C. O'Donnell 109 S. Baranov 759 P.E. Dunne 519 F.M.B. Barbosa 133 Y. Duthen 189 F. Barco 793 L.A. Barragan 553 D. Etiemble 19 J.-L. Béchennec 19 R. Beivide 33 M. Fang 79 L.P.M. Benders 835 P. Faraboschi 545 L. Bengtsson 529 B. Fehér 345 A.J.W.M. ten Berg 403 E.S.T. Fernandes 133 S. Bijnens 205 E.P.L. Filho 149 C. Bolchini 229,563 G.R. Filho 589 M. Bombana 563 U. Finger 109 L. Bregman 759 W. Fornaciari 71 K. Brink 87 J.A.B. Fortes 15 E. Franzi 689 J.P. Calvez 213 P. Fritzson 625 R. Camposano 223 F. Fummi 563 M. Capel 197 F. Cappello 19 M.J. Gallagher 637 O. Caron 467 J.R. Garitagoitia 385 G.F. Carpenter 785 D. Giménez 335 J. Carretero 793 A. Giordano 327 L. Carro 503 C.J.J. Gittings 519 A. Casaca 309 U. Glaser 223 J.L. Castellanos 793 D. Glass 273 R. Caubet 189 A. De Gloria 447, 545 Author index L. Gomez 511 T. Lang K. GoSeva-Popstojanova 811 Y. Lee C.E. Goutis 351 P. Leng W. Grass 581 P.H. Leng G. Grimonprez 467 S. Lenk A. Grnarov 811 K-J. Lin C. Grobe 581 D. Lioupis A. Lioy V. Habchi 109 P. Loborg Zs.B. Harangozo 821 A.M. Lopez J. Helbig 571 C. Lunadei A. Hernandez 511 V. Hernandez 335 V. Makios F.A. Herrera 293 C.A. Marcon C. Ho-Stuart 79 M. Maresca K.C. Huang 421 E.P. Mariatos T-C. Huang 421 M.F. Martins J.G. Hughes 273 G. Mazaré C. Huijs 403 J.R.G. de Mendivil R. Huijsman 87 D.E. Metafas W. Meyer K. Ivinskis 237 T. de Miguel Moro C. Izu 33 J. Miskolczi B. Moisan C. Jesshope 33 S. Moon 265, 369, P. Jokitalo C.E. Moron W. Joosen C. Nagel 61, A. Kameas H. Nakazato M. Kamkar V.L. Narasimhan N. Kanellopoulos G. Nateri S. Kang V. Néri H.C. Karathanasis S.S. Nikolaidis U. Kastens K. Nilsson J. van Katwijk A. Nunez P. Kelb K.B. Kenny M. Oivo J. Kim S. Olcoz B. Klauer M. Olivieri C.D. Kloos G. Kock E. Pagani J. Kottsieper A. Palma S. Koutroubinas S. Papadimitriou J. Koutsonikos C.V. Papadopoulos Th. Krol O. Pasquier J.C. Kwak G. Pavlides K. Pehkonen Author index M. Peiron 119 K. Tilly P. Pfahler 61 P. Toccaceli P. Pintelas 615, 669 A. Térne S.B. Pinto 149 M. To6ré M. Poncino 395 J.M. Troya S. Price-White 655 E. Tuv A.M. Tyrrell F.-J. Rammig 61 K. Rautiola 663 M. Ujaldon A.N. Refenes 697 T. Reski 681 M. Valero T. Risch 255 T.R. Valladares M. Rivers 411 P. Verbaeten Ch. Robach 245 A.M. Vidal G. Roman 715 F. Videira G.P. Rossi 733 H.T. Vierhaus A. Roy 553 K. Waldschmidt K. Sacha 607 F. Sanchez 429 Xin Yao C. Sandoval 293 J.D. Sandoval 293 C-S. Yang M. Schafers 141 J-M. Yang R. Schloér 571 C.W. Yung N.B. Serbedzija E.K.N. Yung N. Shahmehri H. Shin L.F. Zadeh J.G. Silva A.H. el Zahni L.M. Silva E.L. Zapata M. Silva G. Zaza D.M. Simpson H. Zedan M. Sk6éld J. Sosnowski L. Stahle R. Stainov M. Stefanidakis M.P.J. Stevens A. Suarez L. Surjan A.A. Suzim B. Svensson Z. Szczerbinski M.D. Ta K. Tarnay A. Tentov W.D. Tiedemann Microprocessing and Microprogramming 38 (1993) 859-861 North-Holland Subject index Access time 655 CORDIC 351 Allocation 775 Correctness proof 385 AND model 385 Cross bar 19 Application specific processor 53 Arbitration protocols 655 Data dependence 421 Architecture 689 Database 255 ARMA methods 545 DCT 359 ASIC 237 Deadlock detection 385 Associative memory 455 Deflection network 733 Asynchronous circuits 223 Delay insensitive circuits 447 Authoring environment 669 Dependence analysis 437,625 Automata decomposition 759 Design 293 Automatic restructuring 553 Design evolution 411 Design methodologies 71 Back-propagation 689 Diagnostics 25 Backtracking 715 Digital systems design 519 Benchmarking 553 Direction vector 421 Branch prediction 133 Distributed arithmetic 345 Branch target instruction cache 141 Distributed bandwidth allocation 301 Buffer size 749 Distributed database 377,385 Distributed diagnosis 171 CAD 511 Distributed embedded systems 529 CAD database 411 Distributed memory architecture 99 Character recognition 803 Distributed programming 197 Circuit service 733 Distributed systems 669,741,793 CMOS 223 DSP 345 Code scheduling 45 Color doppler flow 545 Early validation 607 Communication networks 19,33 Eigenvalues 335 Communication protocols 827 Embedded systems 71 Computer architecture 141 ETHERNET 309 Concurrency 197 Evaluation 293,467,811 Concurrency control 491,647 Concurrent ring 293 Fairness 655 Conflict-free access 119 Fault model 229 Conformance testing 827 Fault tolerance 25,171,793 Constraint checking 477 Fine-grained parallelism 61 Constraint networks 715 Finite state machines 403 Control 255 FPGA 345 Control automaton 759 Formal design 403 Controller synthesis 455 Formal methods 563,589 Convex ceiling protocol 647 FSM 229 Subject index GaAs 511 Neural networks 68 1,697,843 Genetic algorithms 707 Noise reduction 697 Guarantee 485 Object-oriented 189,255,273,281 Hamming distance 803 Object-oriented database 369 Hardware 467 Object-oriented modeling 411 Hardware accelerator 149 Optical communication 529 Hardware/software codesign 61 Optimization 707 HDTV 359 High-level synthesis 767,775 Packet-switching 179,749 High-speed network 733 Parallel algorithm 319,327 Parallel architectures 19,245 Image compression 59 Parallel distributed simulation 681 Image labeling 327 Parallel loops 437 Image processing 553 Parallel objects 189 Interactive applications 615 Parallel processing 99,539,663 Interconnection networks 25 Parallel simulation 519 ISDN interface 309 Parallel systems 785 Parallelism 133,689 Jacobi methods 335 PCB routing 149 Pen computing 80. LAN 301 Performance 655 Lee’s algorithm 149 Performance analysis 749 Load balancing 205 Petri nets 597,607 Logic simulation 503,519 Priority 491 Logic synthesis 345,759 Problem graphs 681 Loop interchange 421 Process replication 793 Loop pipelining 429 Processor farm model 539 LOTOS 589 Program instrumentation 637 Program slicing 625 Machine vision 663 Programming paradigms 843 Mad-postman 33 Prototyping 87,663 Majority voting 811 Massive parallelism 529 Query graph 369 Micro-architecture design 447 Query management 377 Modeling 273,615,669,811 Monitoring 213 RAM testing 245 Multi-agent search 707 Real-time 87,213,485,491,607 Multi-module memories 119 Real-time database 647 Multidatabase 265 Real-time DSP 351 Multimedia networks 741 Real-time language 477 Multiprocessor structures 319 Real-time systems 785 Multiprocessor systems 213,437 Reconfigurable mesh 327 Redundancy 237 Network management 163 Relational algebra 403 Network monitoring 171 Requirement specification 607 Network protection 163 Reset sequence 395 Subject index Resource utilization 429 System validation 503 RISC-processor 141 Routing 179 TCP/IP 309 Rule based system 179 Test generation 237,637,715 Test strategy 827 Safety critical systems 785 Testability 223,767 Scheduling 429,485 Testing 229 Scheme integration 265 Throughput, message latency 33 Search 205 Timing constraint 477 Self test 245 Timing diagrams 571 Self-timed systems 447 Token ring 293 Sequential circuits 395 Tools 79 SIMD vector processors 119 Transport triggering 45,53 Smart cards 467 Transputer 189,197,205,335,539 Software application 467 Software engineering 281 Verification 571 Software metrics 281 VHDL 563,571,589,597,835 Software testing 637 View 265 Specification 79,615,843 Visual formalisms 71 Specification language 835 Visual query language 369 Spectral estimation 545 VLIW 45,53,61 Standards 827 VLSI 237,351,511 State assignment 455 VLSI simulator 503 Superscalar machines 133 Synchronization sequence 395 Weak consistency protocol 99 Synchronous service 301 WZ factorization 319 System design 563,835