26. EUROMICRO 2000: Maastricht, The Netherlands

@proceedings{DBLP:conf/euromicro/2000,
  title     = {26th EUROMICRO 2000 Conference, Informatics: Inventing the Future,
               5-7 September 2000, Maastricht, The Netherlands},
  booktitle = {EUROMICRO},
  publisher = {IEEE Computer Society},
  year      = {2000},
  isbn      = {0-7695-0780-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Volume I

K1 Keynote

• Hermann A. Maurer:
  How Internet and Intranets are Challenging All Educational System. 1014
  
• Yale N. Patt:
  Higher and Higher Performance Microprocessors: Are The Problems Just Too Hard To Solve? 1015
  

K2 Keynote

• Hugo De Man:
  Rethinking Engineering Research and Education for Post-PC Systems-on-a-Chip. 1018-
  

K3 Keynote

• Arie Hasman, Rianne Bindels, Paul A. de Clercq:
  On the Use of Reminder Systems in Healthcare. 1020-
  

K4 Keynote

• Pierre G. Paulin:
  Towards Application-Specific Architecture Platforms: Embedded Systems Design Automation Technologies. 1028-
  

K5 Keynote

• Chris Verhoef:
  How to Implement the Future? 1032-
  

Decomposition-based Logic Synthesis

• Lech Józwiak, Aleksander Slusarczyk:
  A New State Assignment Method Targeting FPGA Implementations. 1050-1059
  
• Per Andersson, Krzysztof Kuchcinski:
  Performance Oriented Partitioning for Time-Multiplexed FPGA's. 1060-1066
  
• Muthukumar Venkatesan, Robert J. Bignall, Henry Selvaraj:
  An Improved Column Compatibility Approach for Partition Based Functional Decomposition. 1067-
  

System Design

• Luciano Lavagno, Begoña Pino, Leonardo Maria Reyneri, A. Serra:
  A Simulink(c)-Based Approach to System Level Design and Architecture Selection. 1076-1083
  
• Radoslaw Szymanek, Krzysztof Kuchcinski:
  Task Assignment and Scheduling under Memory Constraints. 1084-1090
  
• Charles André, Marie-Agnès Peraldi-Frati:
  Behavioral Specification of a Circuit Using SyncCharts: A Case Study. 1091-
  

Design Validation using Formal Methods

• Wolfgang Günther, Nicole Drechsler, Rolf Drechsler, Bernd Becker:
  Verification of Designs Containing Black Boxes. 1100-1105
  
• Luis Alejandro Cortés, Petru Eles, Zebo Peng:
  Formal Coverification of Embedded Systems Using Model Checking. 1106-1113
  
• Dirk W. Hoffmann, Thomas Kropf:
  Can Automatic Design Error Correction be Applied to Large Circuits? 1114-1121
  
• Harald P. E. Vranken, Tomás Garciá Garciá, Sjouke Mauw, Loe M. G. Feijs:
  IC Design Validation Using Message Sequence Charts. 1122-
  

Technology-Driven Logic Synthesis

• Wolfgang Günther, Rolf Drechsler:
  ACTion: Combining Logic Synthesis and Technology Mapping for MUX Based FPGAs. 1130-1137
  
• Dariusz Kania:
  Decomposition-Based Synthesis and its Application in PAL-Oriented Technology Mapping. 1138-1145
  
• Dariusz Kania:
  A Technology Mapping Algorithm for PAL-Based Devices Using Multi-Output Function Graphs. 1146-
  

New Approaches to Logic Synthesis

• Tadeusz Luba, Claudio Moraga, Svetlana N. Yanushkevich, Vlad P. Shmerko, Joanna Kolodziejczyk:
  Application of Design Style in Evolutionary Multi-Level Networks Synthesis. 1156-1163
  
• Bernardo Kastrup, Orlando Moreira:
  A Novel Approach to Minimizing the Logic of Combinatorial Multiplexing Circuits in Product-Term-Based Hardware. 1164-1171
  
• Vitalij Ocheretnij, Michael Gössel, Vl. V. Saposhnikov, V. V. Saposhnikov:
  A New Method of Redundancy Addition for Circuit Optimization. 1172-
  

DFT and Testing

• Janusz Sosnowski, Tomasz Bech:
  Extensive Testing of Floating Point Unit. 1180-1187
  
• Rolf Drechsler, Wolfgang Günther, Bernd Becker:
  Testability of Circuits Derived from Lattice Diagrams. 1188-1192
  
• Jeroen Voeten, Harald P. E. Vranken:
  Behavior-Preserving Transformations for Design-for-Test. 1193-
  

FPGA-Targetted and Non-Binary Logic Design

• José Ignacio Hidalgo, Juan Lanchares, Román Hermida:
  Partitioning and Placement for Multi-FPGA Systems Using Genetic Algorithms. 1204-1211
  
• Henry Selvaraj, B. Li:
  A Parameter to Measure the Efficiency of FPGA Based Logic Synthesis Tools. 1212-
  

High Level Design

• Apostolos A. Kountouris, Christophe Wolinski:
  Efficient Scheduling of Conditional Behaviors Using Hierarchical Conditional Dependency Graphs in the CODESIS System. 1222-1229
  
• Frédéric Mallet, Daniel Gaffé, Fernand Boéri:
  Concurrent Control Systems: From Grafcet to VHDL. 1230-1234
  
• A. V. Hariharakrishnan, Simon Johney:
  Validation Platform for a P1394a OHCI-Link Layer Synthesizable Core (With a PCI Bus Interface). 1235-
  

FPGA-based Processors

• María A. Trenas, Juan López, Emilio L. Zapata:
  FPGA Implementation of Wavelet Packet Transform with Reconfigurable Tree Structure. 1244-1251
  
• Kazimierz Wiatr, Ernest Jamro:
  Constant Coefficient Multiplication in FPGA Structures. 1252-1259
  
• Luigi Carro, Denis Teixeira Franco:
  FPGA Based Systems with Linear and Non-Linear Signal Processing Capabilities. 1260-
  

Memory-Oriented Architectures

• Pere Marès Martí, Antonio B. Martínez Velasco:
  Memory Architecture for Parallel Line Drawing Based on Non Incremental Algorithm. 1266-1273
  
• Witawas Srisa-an, Chia-Tien Dan Lo, J. Morris Chang:
  Scalable Hardware-Algorithm for Mark-Sweep Garbage Collection. 1274-1281
  
• Matthias Gries:
  The Impact of Recent DRAM Architectures on Embedded Systems Performance. 1282-
  

Instruction Level Paralellism

• Rafael A. Moreno, Luis Piñuel, Silvia Del Pino, Francisco Tirado:
  Power-Efficient Value Speculation for High-Performance Microprocessors. 1292-1299
  
• Shervin Hojat, Paul Kartschoke:
  Techniques for Improving Timing Convergence of Advanced Microprocessors. 1300-1306
  
• Sorin Cotofana, Ben H. H. Juurlink, Stamatis Vassiliadis:
  Counter Based Superscalar Instruction Issuing. 1307-1315
  
• Afshin Ganjoo, Nian-Feng Tzeng:
  Influence of High-Level Program Structures on Branch Prediction Accuracy. 1316-
  

Algorithm-Oriented Architectures

• Paula N. Mallón, Montserrat Bóo, Javier D. Bruguera:
  Parallel Architecture for Conversion of NURBS Curves to Bézier Curves. 1324-1331
  
• Austin Kim, J. Morris Chang:
  Advanced POC Model-Based Java Instruction Folding Mechanism. 1332-1338
  
• Gregor Papa, Jurij Silc:
  Multi-Objective Genetic Scheduling Algorithm with Respect to Allocation in High-Level Synthesis. 1339-
  

Configurable Architectures

• Gerald G. Pechanek, Stamatis Vassiliadis:
  The ManArray( Embedded Processor Architecture. 1348-1355
  
• Cesar Ortega-Sanchez, Andrew M. Tyrrell, Daniel Mange, André Stauffer, Gianluca Tempesti:
  Reliability Analysis of a Self-Repairing Embryonic Machine. 1356-1361
  
• Simon Leung, Adam Postula, Ahmed Hemani:
  Development of Programmable Architecture for Base-Band Processing. 1362-1367
  
• Chris Bailey:
  Achieving Minimal and Deterministic Interrupt Execution in Stack-Based Processor Architectures. 1368-
  

High-Speed Processing

• Julio Sahuquillo, Ana Pont:
  Designing Competitive Coherence Protocols Taking Advantage of Reuse Information. 1378-1385
  
• Morteza Biglari-Abhari, Kamran Eshraghian, Michael J. Liebelt:
  Improving Binary Compatibility in VLIW Machines through Compiler Assisted Dynamic Rescheduling. 1386-1393
  
• Stefania Perri, Pasquale Corsonello, Giuseppe Cocorullo:
  Designing High-Speed Asynchronous Pipelines. 1394-1399
  
• Stamatis Vassiliadis, Ben H. H. Juurlink, Edwin A. Hakkennes:
  Complex Streamed Instructions: Introduction and Initial Evaluatio. 1400-
  

IP and Design Reuse

• Rupesh S. Shelar, Sacheendra Nath, Jagmohan S. Nanaware:
  Parameterized Reusable Component Library Methodology. 1410-1415
  
• Luca Fanucci, Sergio Saponara, Andrea Cenciotti:
  IP Reuse VLSI Architecture for Low Complexity Fast Motion Estimation in Multimedia Applications. 1417-1424
  
• Rolf Drechsler, Nicole Drechsler, Elke Mackensen, Tobias Schubert, Bernd Becker:
  Design Reuse by Modularity: A Scalable Dynamical (Re)Configurable Multiprocessor System. 1425-
  

System C

• Heinz-Joseph Schlebusch:
  SystemC based Hardware Synthesis Becomes Reality. 1434
  
• Dirk W. Hoffmann, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
  Simulation Meets Verification: Checking Temporal Properties in SystemC. 1435-
  

Multimedia Networking (Transmission)

• Enrique Hernández-Orallo, Joan Vila i Carbó:
  A Fast Method to Optimize Network Resources for Video on Demand Transmission. 1440-1447
  
• Juan-Carlos Cano, Pietro Manzoni:
  On the Use and Calculation of the Hurst Parameter with MPEG Videos Data Traffic. 1448-1455
  
• Abderrahim Benslimane:
  A Multimedia Synchronization Protocol for Multicast Group. 1456-
  

Volume II

Multimedia System Architecture

• Michael Weeks, Chris Bailey, Reza Sotudeh:
  Continuous Discrete-Event Simulation of a Continuous-Media Server I/O Subsystem. 2002-2009
  
• Martin Maierhofer, Christopher Bailey:
  On ATM Cell Batching and Its Effects on Bus Arbitration in a Conventional Multimedia Server. 2010-
  

Multimedia in Education and Open/Distance Learning - Part 1

• Weigang Wang, Jörg M. Haake, Jessica Rubart, Daniel A. Tietze:
  Supporting Cooperative Learning of Process Knowledge on the World Wide Web. 2020-2027
  
• Colin Allison, Hamish Lawson, David McKechan, Alan Ruddle:
  Quality of Service Issues in Distributed Learning Environments. 2028-2034
  
• H. Ainsley, Claude Ghaoui, K. Whiteley:
  An OO Model to Generate Knowledge Structures for Authoring Instructional Hypermedia. 2035-2042
  
• Bob McClelland:
  Digital Teaching, Learning and Program Supports - An Examination of Developments for Students in Higher Education. 2043-2049
  
• Christos Bouras, Alexandros Philopoulos:
  Distributed Virtual Learning Environment: A Web-Based Approach. 2050-2055
  
• F. Gómez, M. Cervera, J. Martínez:
  A World Wide Web Based Architecture for the Implementation of a Virtual Laboratory. 2056-
  

Multimedia in Education and Open/Distance Learning - Part 2

• Oliver Brand, Leo Petrak, D. Sturzebecher, Martina Zitterbart:
  Supporting Tele-Teaching: Visualization Aspects. 2064-2071
  
• Eng Huat Ng, Stu Wade, Claude Ghaoui:
  Web Page Reuse Techniques: A Dynamic Referential Navigational Guide. 2072-2177
  
• Vassilis Konstandinidis, Eng Huat Ng, Claude Ghaoui:
  Dynamic Reference to Support Authoring of Web Based Material. 2078-2085
  
• Almerindo Graziano, Paolo Maresca, Stefano Russo:
  Experience with the GESTALT On-Line Learning Support System. 2086-
  

Database and Digital Libraries

• Horst Wedde, Jens-Oliver P. Siepmann:
  A Universal Framework for Managing Metadata in the Distributed Dragon Slayer System. 2096-2101
  
• Camino Fernández, Ignacio Aedo, Paloma Díaz, Vicente Matellán:
  Agent-Based Adaptive Selection and Interaction to Z39.50 Servers. 2102-2109
  
• László Kovács, András Micsik, Balázs Pataki:
  Visualizing Queries in a Distributed Digital Library System. 2110-
  

Hypermedia Applications and E-Commerce

• R. M. Newman:
  Verifying Sequence and Content for Safety Critical Hypermedia Systems. 2120-2125
  
• Chung-Ming Huang, Ming-Yuhe Jang:
  Surfing the Web Using a Telephone Set. 2126-2133
  
• Colin C. Charlton, Janet Little, Ian Finch, Irene Neilson:
  TITANS: A Component based Authoring Environment using XML to Facilitate Low Cost, High Quality Entry of the SME to E-Commerce. 2134-2139
  
• Claire Dormann:
  Designing Electronic Shops, Persuading Consumers to Buy. 2140-
  

Co-operative Multimedia Systems - Part 1

• Samuli Pekkola, Mike Robinson, Jonni Korhonen, Saku Hujala, Tero Toivonen, Markku-Juhani Olavi Saarinen:
  An Architecture for Virtual Reality, Audio, Video, Text & Document Handling in Applications Supporting Multi-Person Interactions. 2150-2157
  
• Khalil Drira, Thierry Villemur, Véronique Baudin, Michel Diaz:
  A Multi-Paradigm Layered Architecture for Synchronous Distance Learning. 2158-2165
  
• Gladys Diaz, Jean-Pierre Thomesse, Zoubir Mammeri:
  An Object-Oriented Modelling of Co-operative Multimedia Systems. 2166-
  

Co-operative Multimedia Systems - Part 2

• Houssein Adoud, Eric Rondeau, Thierry Divoux:
  Configuration of Network Architectures for Co-operative Systems. 2176-2182
  
• Hans-Peter Dommel, J. J. Garcia-Luna-Aceves:
  A Coordination Architecture for Internet Groupwork. 2183-
  

Safety Critical Systems

• Karl-Erwin Großpietsch:
  Workshop Chairman's Introduction. 2192-2192
  
• Francesca Saglietti:
  Evaluation of Pre-Developed Software for Usage in Safety-Critical Systems. 2193-2199
  
• I. V. Kovalev, Karl-Erwin Großpietsch:
  Deriving the Optimal Structure of N-Version Software under Resource Requirements and Cost/Timing Constraints. 2200-2207
  
• Erwin Schoitsch:
  'Alternative' Transportation Systems: Telematics Solutions? A Historical Overview and Present/Future Solutions for Dependable and Competitive Environments. 2208-
  

Software Testing

• Fevzi Belli, Thomas Illgen:
  Logic Representation of Programs to Detect Arithmetic Anomalies. 2216-
  
• Miroslav Popovic, Vladimir Kovacevic, M. Temerinac:
  Software Testing Concept Used for MAS/C-Compiler. 2224-
  

Software Organizations and Business Processes

• Paul Grünbacher:
  Integrating Groupware and CASE Capabilities for Improving Stakeholder Involvement in Requirements Engineering. 2232-2239
  
• Juhani Warsta, Veikko Seppänen:
  Process View on the Software Contracting In the Internet Business. 2240-2245
  
• Pekka Abrahamsson:
  Is Management Commitment a Necessity After All in Software Process Improvement? 2246-2253
  
• Volkmar H. Haase:
  Computer Models for Strategic Business Process Optimization. 2254-
  

Validation of Software

• Stefan Biffl, Michael Halling:
  Software Product Improvement with Inspection. 2262-2269
  
• Jin-Cherng Lin, Ian Ho:
  A New Perspective on Formal Testing Method for Real-Time Software. 2270-2276
  
• Peter R. Dietmüller, Markus Jöbstl, Jörg R. Mühlbacher, W. Zwicknagl:
  Real-Time Visualisation of Object Structures for Semantic Validation. 2277-
  

Management of the Software Process

• Onur Demirörs, Özkan Yildiz, A. Selçuk Güceglioglu:
  Using Cost of Software Quality for a Process Improvement Initiative. 2286-2291
  
• Veikko Seppänen:
  Obstacles in Software Process Technology Evolution: Analysis of the Code Generation Case. 2292-2299
  
• Onur Demirörs, Elif Demirörs, Ayça Tarhan, Ali Yildiz:
  Tailoring ISO/IEC 12207 for Instructional Software Development. 2300-2307
  
• Tua Rahikkala, Veikko Seppänen:
  From VSC Attributes and Characteristics to SCM Challenges. 2308-
  

European Software Day

• Gerhard Chroust:
  Chair's Introduction: European Software Day. 2318-
  

Music Technology (Modelling and Theory)

• Dimitrios I. Rigas, James L. Alty:
  Using Rising Pitch as a Communication Metaphor: An Empirical Investigation. 2322-2331
  
• Guilherme Campos, David M. Howard:
  On the Computation Time of Three-Dimensional Digital Waveguide Mesh Acoustic Models. 2332-2339
  
• Carola Boehm, Donald MacLellan:
  Music Tagging Type Definitions: Systems for Music Representation and Retrieval. 2340-
  

Music Technology (Applications)

• Eduardo Reck Miranda:
  The Art of Rendering Sounds from Emergent Behaviour: Cellular Automata Granular Synthesis. 2350-2355
  
• Andy Hunt, David M. Howard, Jim Worsdall:
  Real-Time Interfaces for Speech and Singing. 2356-
  
• Andy Hunt, Ross Kirk, Mary Abbotson, Raymond Abbottson:
  Music Therapy and Electronic Technology. 2362-
  

Communication and Information Systems

• Andrew Judson, Ian W. Ricketts, Annalu Waller, Norman Alm, Brian Gordon, Fiona MacAulay, Jan K. Brodie, Maria Etchels, Audrey Warden, Alfred J. Shearer:
  Developing ICU-Talk - A Computer based Communication Aid for Patients in Intensive Care. 2370-2376
  
• Ross Kirk, Andy Hunt, Mark Hildred, Adrian Verity:
  The Role of Gesture in Environmental Control. 2377-2383
  
• Pietro Cerveri, Marco Masseroli, Francesco Pinciroli:
  Java Interface to Human Anatomy Knowledge. 2384-
  

Invited Talks

• Philip Young:
  The Real Value of Statistics in Health Informatics. An Introduction to Bayesian Methods. 2392-2399
  
• C. A. Skouras:
  HOMER-D: A European Funded Project - From Conception to Implementation. 2400-
  

Diagnostic Support

• Richard Canham, Stephen L. Smith, Andrew M. Tyrrell:
  Automated Scoring of a Neuropsychological Test: The Rey Osterrieth Complex Figure. 2406-2413
  
• W. G. K. Cobbah, Michael C. Fairhurst:
  Computer Analysis of Handwriting Dynamics during Dopamimetic Tests in Parkinson's Disease. 2414-2418
  
• S. V. Batty, Paul E. Garner, David M. Howard, P. Turner, A. D. White:
  The Development of a Portable Real-Time Display of Voice Source Characteristics. 2419-2422
  
• S. A. Karkanis, Dimitrios K. Iakovidis, Dimitrios E. Maroulis, N. G. Theofanous, George D. Magoulas:
  Tumor Recognition in Endoscopic Video Images Using Artificial Neural Network Architectures. 2423-
  

Imaging

• B. C. Scowen, Stephen L. Smith, M. A. Vannan:
  Quantative 3D Modelling of the Left Ventrical from Ultrasound Images. 2432-2439
  
• Richard M. Guest, Michael C. Fairhurst, Jonathan M. Potter:
  Automated Extraction of Image Segments from Clinically Diagnostic Hand-Drawn Geometric Shapes. 2440-
  

Invited Talk

• Andrew M. Tyrrell:
  Bio-Inspired Systems: The Future for Medical Informatics? 2448-
  

Late Papers

• Rong Lin:
  Parallel Multiplier Designs Utilizing A Non-Binary Logic Scheme. 2456-2463
  
• Dimitris A. Karras, Vasilios Zorkadis:
  A Novel Suite of Tests for Evaluating One-Way Hash Functions for Electronic Commerce Applications. 2464-2468
  
• Dimitris A. Karras, S. A. Karkanis, Dimitrios E. Maroulis:
  Efficient Image Compression of Medical Images Using the Wavelet Transform and Fuzzy c-means Clustering on Regions of Interest. 2469-