![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
26th EUROMICRO 2000: Maastricht, The Netherlands
- 26th EUROMICRO 2000 Conference, Informatics: Inventing the Future, 5-7 September 2000, Maastricht, The Netherlands. IEEE Computer Society 2000, ISBN 0-7695-0780-8
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-1029
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, Vladimir V. Saposhnikov, Valerij 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-Josef 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 - Francisco J. Gómez, Manuel Cervera, Javier 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, Dirk 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 F. 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 E. 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 - Francesca Saglietti:
Evaluation of Pre-Developed Software for Usage in Safety-Critical Systems. 2193-2199 - Igor 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, Miodrag R. 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-2319
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 Edwin 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
, Nikiforos 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-
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.