The Community for Technology Leaders
EUROMICRO Conference (1997)
Budapest, HUNGARY
Sept. 1, 1997 to Sept. 4, 1997
ISSN: 1089-6503
ISBN: 0-8186-8129-2
TABLE OF CONTENTS

Reviewers (PDF)

pp. xviii
Keynote Session 1: What's Ahead in Computer Design? Chair: F. Vajda

What's ahead in computer design? (Abstract)

M.J. Flynn , Comput. Syst. Lab., Stanford Univ., CA, USA
pp. 4
Session A1: Logic Synthesis, Chair: T. Luba

Fast Minimization Of Multi-Output Boolean Functions In Sum-Of-Condition-Decoders Structures (Abstract)

Sanof Mohamed , COMPASS Design Automation
Lech Jozwiak , Eindhoven University ofTechnology
Marek Perkowski , Portland State University
pp. 31
Session A2: Data Modelling, Chair: K. Klöckner
Session A3: User Interface Design in Multimedia Environment I, Chair: C. Ghaoui

Interaction paradigms with educational hypermedia (Abstract)

D.J. Moore , Sch. of Comput., Leeds Metropolitan Univ., UK
C. Bell , Sch. of Comput., Leeds Metropolitan Univ., UK
D.J. Hobbs , Sch. of Comput., Leeds Metropolitan Univ., UK
D. Mullier , Sch. of Comput., Leeds Metropolitan Univ., UK
pp. 65

Adapting the infrastructure provided by the World Wide Web for educational purposes (Abstract)

C. Smeaton , Orbital Technol., Dunfermline, UK
I. Neilson , Orbital Technol., Dunfermline, UK
pp. 72

Can music support interfaces to complex databases? (Abstract)

D.I. Rigas , Sch. of Comput., John Moores Univ., Liverpool, UK
F.W. Long , Sch. of Comput., John Moores Univ., Liverpool, UK
J.L. Alty , Sch. of Comput., John Moores Univ., Liverpool, UK
pp. 78
Session B1: Testing, Chair: K. Kuchcinski

On the use of term trees for effective and efficient test pattern generation (Abstract)

L. Jozwiak , Fac. of Electr. Eng., Eindhoven Univ. of Technol., Netherlands
pp. 87

Testing and Diagnostics of SIMD Arrays (Abstract)

J. Sosnowski , Warsaw University of Technology
pp. 96

RT level testability analysis to reduce test application time (Abstract)

F. Zboril , Dept. of Comput. Sci. & Eng., Tech. Univ. of Brno, Czech Republic
Z. Kotasek , Dept. of Comput. Sci. & Eng., Tech. Univ. of Brno, Czech Republic
pp. 104
Session B2: Software Quality Processes, G. Chroust

Assumptions and difficulties of software quality movement (Abstract)

O. Demirors , Dokuz Eylul Univ., Izmir, Turkey
pp. 115

A software assessment process for small software enterprises (Abstract)

P. Grunbacher , Dept. of Syst. Eng. & Autom., Johannes Kepler Univ., Linz, Austria
pp. 123

The role of teamwork in software development: Microsoft case study (Abstract)

E. Demirors , Dept. of Comput. Eng., Dokuz Eylul Univ., Izmir, Turkey
G. Sarmasik , Dept. of Comput. Eng., Dokuz Eylul Univ., Izmir, Turkey
O. Demirors , Dept. of Comput. Eng., Dokuz Eylul Univ., Izmir, Turkey
pp. 129

Software Process Improvement in Geographically Distributed Software Engineering: An Initial Evaluation (Abstract)

Richard Foley , Glasgow Caledonian University
Julian Newman , Glasgow Caledonian University
Zsolt Haag , Glasgow Caledonian University
pp. 134
Session B3: User Interface Design in Multimedia Environment II, Chair: C. Ghaoui

Multimedia groupware design for a distributed government (Abstract)

K. Klockner , Inst. for Appl. Inf. Technol., German Nat. Res. Center for Comput. Sci., St. Augustin, Germany
P. Mambrey , Inst. for Appl. Inf. Technol., German Nat. Res. Center for Comput. Sci., St. Augustin, Germany
M. Sohlenkamp , Inst. for Appl. Inf. Technol., German Nat. Res. Center for Comput. Sci., St. Augustin, Germany
W. Prinz , Inst. for Appl. Inf. Technol., German Nat. Res. Center for Comput. Sci., St. Augustin, Germany
pp. 144

The Common Interactions Abstractions Paradigm (Abstract)

Nomusa Dlodlo , Liverpool John Moores University
Carl Bamford , Liverpool John Moores University
pp. 150

A framework for using multimedia for discussion-based education (Abstract)

D. Moore , Sch. of Comput., Leeds Metropolitan Univ., UK
pp. 163
Session C1: Hardware/Software Co-design, Chair: L. Józwiak

Interactive codesign for real-time embedded control systems: task graph generation from SA/VHDL models (Abstract)

K. Tiensyrja , VTT Electron., Oulu, Finland
L. Jozwiak , VTT Electron., Oulu, Finland
S.A. Ong , VTT Electron., Oulu, Finland
pp. 172

Cycle precise core based hardware/software system simulation with predictable event propagation (Abstract)

F. Petrot , ASIM Dept., Univ. Pierre et Marie Curie, Paris, France
D. Hommais , ASIM Dept., Univ. Pierre et Marie Curie, Paris, France
A. Greiner , ASIM Dept., Univ. Pierre et Marie Curie, Paris, France
pp. 182

Integration of SDL and VHDL for HW/SW Codesign of Communication Systems (Abstract)

Chie Dou , National Yunlin Institute of Technology
pp. 188
Session C2: Formal Methods in Software Engineering, Chair: V. Seppänen

Extending statecharts for representing parts and wholes (Abstract)

L. Pazzi , Dept. di Sci. dell'Ingegneria, Modena Univ., Italy
pp. 207

Formal specification applied to industrial LAN's design (Abstract)

M. Dominguez , Dept. of Electron. Technol., Vigo Univ., Spain
J. Nogueira , Dept. of Electron. Technol., Vigo Univ., Spain
F. Poza , Dept. of Electron. Technol., Vigo Univ., Spain
P. Marino , Dept. of Electron. Technol., Vigo Univ., Spain
pp. 215
Session C3: Network and Security, Chair: G. Ciccarella

A bridging solution for delivering multimedia services in CATV networks (Abstract)

P. Raatikainen , Helsinki Univ. of Technol., Espoo, Finland
J. Zidbeck , Helsinki Univ. of Technol., Espoo, Finland
pp. 223

The Harpoon security system for helper programs on a Pocket Companion (Abstract)

P.J.M. Havinga , Dept. of Comput. Sci., Twente Univ., Enschede, Netherlands
D. van Os , Dept. of Comput. Sci., Twente Univ., Enschede, Netherlands
G.J.M. Smit , Dept. of Comput. Sci., Twente Univ., Enschede, Netherlands
pp. 231

Diagnosis and time-out based escalation strategies for ATM networks (Abstract)

C. Robach , LSR, IMAG, Grenoble, France
S.B. Yahia , LSR, IMAG, Grenoble, France
pp. 239
Session D1: Hardware Description Languages, Chair: I. Erényi
Session D2: Performance Engineering, Chair: S. Smith

An integrated testing and debugging environment for parallel and distributed programs (Abstract)

J. Lourenco , Dept. de Inf., Univ. Nova de Lisboa, Portugal
J.C. Cunha , Dept. de Inf., Univ. Nova de Lisboa, Portugal
B. Wiszniewski , Dept. de Inf., Univ. Nova de Lisboa, Portugal
P. Kuzora , Dept. de Inf., Univ. Nova de Lisboa, Portugal
M. Neyman , Dept. de Inf., Univ. Nova de Lisboa, Portugal
H. Krawczyk , Dept. de Inf., Univ. Nova de Lisboa, Portugal
pp. 291
Session D3: Algorithms for Multimedia and Telecommunications, Chair: K. Fazekas

Rerouting of Multicast Connections with Quality-of-Service Constraints (Abstract)

Roman Novak , Jozef Stefan Institute Digital Communications and Networks Department
Joze Rugelj , Jozef Stefan Institute Digital Communications and Networks Department
pp. 301

A new algorithm for monochromatic image compression (Abstract)

R.D. Lins , Dept. de Inf., Univ. Federal de Pernambuco, Recife, Brazil
L.R.F. Neto , Dept. de Inf., Univ. Federal de Pernambuco, Recife, Brazil
C.A.B. Mello , Dept. de Inf., Univ. Federal de Pernambuco, Recife, Brazil
pp. 308

From serializable to causal transactions for collaborative applications (Abstract)

M. Ahamad , Campus de Beaulieu, IRISA, Rennes, France
M. Raynal , Campus de Beaulieu, IRISA, Rennes, France
G. Thia-Kime , Campus de Beaulieu, IRISA, Rennes, France
pp. 314
Session E1: Design Methods, Chair: M. Sami

The need for Co-simulation in ASIC-verification (Abstract)

Stefan Sjöholm , M?lardalens University
Lennart Lindh , M?lardalens University
pp. 331

Automating system construction by domain based approaches (Abstract)

S. Schulze , Chemnitz Univ. of Technol., Germany
D. Monjau , Chemnitz Univ. of Technol., Germany
K. Agsteiner , Chemnitz Univ. of Technol., Germany
pp. 336
Session E2: Parallel and Distributed Architectures, Chair: K. Waldschmidt

The WARPmemory prototype: design and performance (Abstract)

U. Finger , Dept. Inf., Ecole Nat. Superieure des Telecommun., Paris, France
C. Siegelin , Dept. Inf., Ecole Nat. Superieure des Telecommun., Paris, France
V. Habchi , Dept. Inf., Ecole Nat. Superieure des Telecommun., Paris, France
G. Mouret , Dept. Inf., Ecole Nat. Superieure des Telecommun., Paris, France
pp. 346

Optimal data allocation for processor-tree architectures (Abstract)

F. Ancona , Genoa Univ., Italy
R. Zunino , Genoa Univ., Italy
pp. 351

External/Internal Clock Synchronization in ATM-based Distributed Systems (Abstract)

Christophe Lizzi , CS Technologies Informatiques
Laurent George , CS Technologies Informatiques
Jacky Montiel , CS Technologies Informatiques
pp. 359
Session E3: Multimedia Systems, Chair: M. Taylor

Integrating QoS management in a micro-kernel based UNIX operating system (Abstract)

Hong Quang Nguyen , Inst. Nat. des Telecommun., Evry, France
C. Bac , Inst. Nat. des Telecommun., Evry, France
G. Bernard , Inst. Nat. des Telecommun., Evry, France
pp. 371

An inter/intranet multimedia service for telemedicine (Abstract)

L. Iovieno , Telecom Italia, Milan, Italy
M. Marcocci , Telecom Italia, Milan, Italy
R.D. Bella , Telecom Italia, Milan, Italy
F. Patricelli , Telecom Italia, Milan, Italy
C. Masciocchi , Telecom Italia, Milan, Italy
pp. 379

An integrated approach to legacy data for multimedia applications (Abstract)

In-Won Yoo , Sect. of Distributed Process., ETRI, Taejon, South Korea
Ki-Young Moon , Sect. of Distributed Process., ETRI, Taejon, South Korea
Han Namgoong , Sect. of Distributed Process., ETRI, Taejon, South Korea
pp. 387
Session F1: Architecture Performance Measurements, Chair: F. Distante

Simulating Systolic Arrays on MasPar Machines (Abstract)

Eberhard Zehendner , Friedrich-Schiller-Universitat Jena
pp. 394

Complete x86 instruction trace generation from hardware bus collect (Abstract)

A. Carloganu , Lab. de Recherche en Inf., Univ. de Paris-Sud, Orsay, France
D. Etiemble , Lab. de Recherche en Inf., Univ. de Paris-Sud, Orsay, France
P. Bosch , Lab. de Recherche en Inf., Univ. de Paris-Sud, Orsay, France
pp. 402

Performance evaluation of the memory hierarchy of a desktop PC using commodity chips with specific traces (Abstract)

D. Etiemble , Lab. de Recherche en Inf., Univ. de Paris-Sud, Orsay, France
J.L. Bechennec , Lab. de Recherche en Inf., Univ. de Paris-Sud, Orsay, France
A. Pavlov , Lab. de Recherche en Inf., Univ. de Paris-Sud, Orsay, France
pp. 409
Session F2: Parallel Systems Development, Chair: S. Winter

HPO: a programming environment for object-oriented metacomputing (Abstract)

A. Corradi , Dipartimento di Elettronica Inf. e Sistemistica, Bologna Univ., ItalY
L. Leonardi , Dipartimento di Elettronica Inf. e Sistemistica, Bologna Univ., ItalY
F. Zambonelli , Dipartimento di Elettronica Inf. e Sistemistica, Bologna Univ., ItalY
pp. 418

Partitioning regular computational graphs (Abstract)

J.-P. Stromboni , Univ. de Nice-Sophia Antipolis, Valbonne, France
pp. 431
Session F3: Formal Techniques for Multimedia and Telecommunications, Chair: K. Tarnay

TLA-style Specification of a Mobile Network (Abstract)

Tatjana Kapus , University of Maribor
Zmago Brezocnik , University of Maribor
pp. 440

An abstract model for temporal composition of multimedia data (Abstract)

M. Piasecki , Dept. of Comput. Sci., Tech. Univ. Wroclaw, Poland
L. Kuzniarz , Dept. of Comput. Sci., Tech. Univ. Wroclaw, Poland
pp. 448

Synchronization mechanisms for multimedia streams and their specification in timed LOTOS (Abstract)

Z. Splawski , Dept. of Comput. Sci., Tech. Univ. Wroclaw, Poland
pp. 456
Session G1: Parallel Architectures, Chair: A. Antola

High performance in tree-based parallel architectures (Abstract)

S. Rovetta , Genoa Univ., Italy
R. Zumino , Genoa Univ., Italy
F. Ancona , Genoa Univ., Italy
pp. 474

Superscalar Extension for the Multris Processor (Abstract)

Unnikrishnan R. Nair , Cornet Inc.
Donna J. Quammen , George Mason University
Daniel Tabak , George Mason University
pp. 482

Array partitioning to achieve defect tolerance (Abstract)

F. Distante , Dipt. di Elettronica e Inf., Politecnico di Milano, Italy
M.G. Sami , Dipt. di Elettronica e Inf., Politecnico di Milano, Italy
R. Stefanelli , Dipt. di Elettronica e Inf., Politecnico di Milano, Italy
pp. 487

Hardware support for backward error recovery (Abstract)

M.J. Freeman , Dept. of Electron., York Univ., UK
A.M. Tyrrell , Dept. of Electron., York Univ., UK
pp. 492

A fast FPGA based coprocessor supporting hard real-time search (Abstract)

A. Fucci , Inst. fur Tech., Tech. Univ. Graz, Austria
C. Mandl , Inst. fur Tech., Tech. Univ. Graz, Austria
pp. 499
Session G2: Dependable Computer Systems, Chair: A. Tyrrell

Experimental Comparison of Voting Algorithms in Cases of Disagreement (Abstract)

J.M. Bass , Department of Automatic Control and Systems Engineering, University of Sheffield, Mappin Street
G. Latif-Shabgahi , Department of Automatic Control and Systems Engineering, University of Sheffield, Mappin Street
S. Bennett , Department of Automatic Control and Systems Engineering, University of Sheffield, Mappin Street
pp. 516

Simple reading, implicit rejection and average function for fault-tolerant physical clock synchronization (Abstract)

Z. Mammeri , Equipe Reseaux et Protocoles IUT, Aubiere, France
A. Bouzelat , Equipe Reseaux et Protocoles IUT, Aubiere, France
pp. 524

Performability and Reliability Modeling of N Version Fault Tolerant Software in Real Time Systems (Abstract)

Katerina Goseva Popstojanova , Faculty of Electrical Engineering, Computer Science Department
Aksenti Grnarov , Faculty of Electrical Engineering, Computer Science Department
pp. 532
Session G3: Fuzzy Systems and Neural Networks, Chair: B. Reusch

Enhanced lower entropy bounds with application to constructive learning (Abstract)

V. Beiu , Div. NIS-1, Los Alamos Nat. Lab., NM, USA
pp. 541

Automatic determination of optimal network topologies based on information theory and evolution (Abstract)

S. Gutjahr , Inst. fur Logik, Komplexitat und Deduktionssysteme, Karlsruhe Univ., Germany
T. Ragg , Inst. fur Logik, Komplexitat und Deduktionssysteme, Karlsruhe Univ., Germany
pp. 549

A heuristic approach to structural and parametric change in artificial neural networks (Abstract)

S. Rementeria , Eur. Software Inst., Bilbao, Spain
X. Olabe , Eur. Software Inst., Bilbao, Spain
pp. 556

Diagnosis information in meta-rule adaptive fuzzy systems (Abstract)

T. Rauma , VTT Electron., Oulu, Finland
pp. 564
Keynote Session 2: Computer Intelligence, Chair: N. Scarabottolo

Computer intelligence (Abstract)

T. Vamos , Comput. & Autom. Res. Inst., Hungarian Acad. of Sci., Budapest, Hungary
pp. 571
Session H1: Digital Signal Processing Architectures, Chair: K. Grosspietsch

Area-time performance of VLSI FIR filter architectures based on residue arithmetic (Abstract)

V. Paliouras , Dept. of Electr. Eng. & Comput. Eng., Patras Univ., Greece
T. Stouraitis , Dept. of Electr. Eng. & Comput. Eng., Patras Univ., Greece
pp. 576

ArchMDSP: using DSPs for parallel image processing (Abstract)

J.H. Saito , Dept. of Comput. Sci., Fed. Univ. of Sao Carlos, Brazil
C.E. Moron , Dept. of Comput. Sci., Fed. Univ. of Sao Carlos, Brazil
M.L. Mucheroni , Dept. of Comput. Sci., Fed. Univ. of Sao Carlos, Brazil
pp. 584

A VLSI implementation of an arithmetic coder for image compression (Abstract)

J.D. Bruguera , Dept. of Electron. & Comput., Santiago de Compostela Univ., Spain
R.R. Osorio , Dept. of Electron. & Comput., Santiago de Compostela Univ., Spain
M. Peon , Dept. of Electron. & Comput., Santiago de Compostela Univ., Spain
pp. 591
Session H2: Embedded Systems, Chair: L. Mezzalira

New demands for invehicle networks (Abstract)

A.V. Schedl , Daimler-Benz AG, Stuttgart, Germany
M. Krug , Daimler-Benz AG, Stuttgart, Germany
pp. 601

Interconnecting Low-Level Fieldbusses (Abstract)

Miroslav Sveda , Technical University of Brno
Frantisek Zezulka , Technical University of Brno
pp. 614
Session H3: Genetic Algorithms, Chair: H. Schwefel

Search for native conformations of organic molecules by genetic algorithms (Abstract)

A. Schulz , Lehrstuhl fur Inf. V, Mannheim Univ., Germany
J. Wolfrum , Lehrstuhl fur Inf. V, Mannheim Univ., Germany
J. Schmitt , Lehrstuhl fur Inf. V, Mannheim Univ., Germany
J. Hesser , Lehrstuhl fur Inf. V, Mannheim Univ., Germany
R. Manner , Lehrstuhl fur Inf. V, Mannheim Univ., Germany
S. Beiersdorfer , Lehrstuhl fur Inf. V, Mannheim Univ., Germany
pp. 624

Empirical study of the interdependencies of genetic algorithm parameters (Abstract)

M.O. Odetayo , Dept. of Comput. Sci., Coventry Univ., UK
pp. 639

EvA - A Tool for Optimization with Evolutionary Algorithms (Abstract)

Juergen Wakunda , Universitaet Tuebingen Wilhelm-Schickard-Institut fuer Informatik Lehrstuhl Rechnerarchitektur
Andreas Zell , Universitaet Tuebingen Wilhelm-Schickard-Institut fuer Informatik Lehrstuhl Rechnerarchitektur
pp. 644
Session I1: Architectural Components, Chair: K. Judmann

HiBRIC-MEM, a Memory Controller for PowerPC Based Systems (Abstract)

Karl Michael Marks , Heinz Nixdorf Institut University of Paderborn
Ulrich Rueckert , Heinz Nixdorf Institut University of Paderborn
Mario Porrmann , Heinz Nixdorf Institut University of Paderborn
Joerg Landmann , Heinz Nixdorf Institut University of Paderborn
pp. 653

FPGA-based Automated Datapath Design (Abstract)

I. Erenyi , KFKI Research Institute for Measurement and Computing Techniques
T. Nemes , KFKI Research Institute for Measurement and Computing Techniques
I. Vassanyi , KFKI Research Institute for Measurement and Computing Techniques
É. Nikodemusz , KFKI Research Institute for Measurement and Computing Techniques
Z. Katona , KFKI Research Institute for Measurement and Computing Techniques
pp. 664
Session I2: Parallel Applications, Chair: L. Lindh

Solving Real-Time Scheduling Problems with Hopfield-type Neural Networks (Abstract)

Carlos Cardeira , DEM-GCAR-IDMEC
Zoubir Mammeri , Faculte des Sciences et Techniques
Miguel Pedro Silva , DEM-GCAR-IDMEC
pp. 671

An optimized NFS implementation for an SPMD parallel environment (Abstract)

F.J. Valente , ICMSC, Univ. of Sao Paulo, Brazil
E. Zaluska , ICMSC, Univ. of Sao Paulo, Brazil
pp. 679
Session I3: Mutual Influences, Chair: T. Vámos

What computer architecture can learn from computational intelligence-and vice versa (Abstract)

R. Moore , Technische Inf., Frankfurt Univ., Germany
K. Waldschmidt , Technische Inf., Frankfurt Univ., Germany
B. Klauer , Technische Inf., Frankfurt Univ., Germany
pp. 690

Over Multiple Rule-blocks to Modular Nets (Abstract)

J.A.G. Nijhuis , Groningen University
W.J. Jansen , Groningen University
L. Spaanenburg , Groningen University
pp. 698

Index of Authors (PDF)

pp. 707
94 ms
(Ver 3.1 (10032016))