Abstract is missing.
- How Internet and Intranets are Challenging All Educational SystemHermann A. Maurer. 1014 [doi]
- Higher and Higher Performance Microprocessors: Are The Problems Just Too Hard To Solve?Yale N. Patt. 1015 [doi]
- Rethinking Engineering Research and Education for Post-PC Systems-on-a-ChipHugo De Man. 1018 [doi]
- On the Use of Reminder Systems in HealthcareArie Hasman, R. Bindels, Paul A. de Clercq. 1020 [doi]
- Towards Application-Specific Architecture Platforms: Embedded Systems Design Automation TechnologiesPierre G. Paulin. 1028 [doi]
- How to Implement the Future?Chris Verhoef. 1032 [doi]
- A New State Assignment Method Targeting FPGA ImplementationsLech Józwiak, Aleksander Slusarczyk. 1050-1059 [doi]
- Performance Oriented Partitioning for Time-Multiplexed FPGA sPer Andersson, Krzysztof Kuchcinski. 1060-1066 [doi]
- An Improved Column Compatibility Approach for Partition Based Functional DecompositionMuthukumar Venkatesan, Robert J. Bignall, Henry Selvaraj. 1067 [doi]
- A Simulink(c)-Based Approach to System Level Design and Architecture SelectionLuciano Lavagno, Begoña Pino, Leonardo Maria Reyneri, A. Serra. 1076-1083 [doi]
- Task Assignment and Scheduling under Memory ConstraintsRadoslaw Szymanek, Krzysztof Kuchcinski. 1084-1090 [doi]
- Behavioral Specification of a Circuit Using SyncCharts: A Case StudyCharles André, Marie-Agnès Peraldi-Frati. 1091 [doi]
- Verification of Designs Containing Black BoxesWolfgang Günther, Nicole Drechsler, Rolf Drechsler, Bernd Becker. 1100-1105 [doi]
- Formal Coverification of Embedded Systems Using Model CheckingLuis Alejandro Cortés, Petru Eles, Zebo Peng. 1106-1113 [doi]
- Can Automatic Design Error Correction be Applied to Large Circuits?Dirk W. Hoffmann, Thomas Kropf. 1114-1121 [doi]
- IC Design Validation Using Message Sequence ChartsHarald P. E. Vranken, Tomás Garciá Garciá, Sjouke Mauw, Loe M. G. Feijs. 1122 [doi]
- ACTion: Combining Logic Synthesis and Technology Mapping for MUX Based FPGAsWolfgang Günther, Rolf Drechsler. 1130-1137 [doi]
- Decomposition-Based Synthesis and its Application in PAL-Oriented Technology MappingDariusz Kania. 1138-1145 [doi]
- A Technology Mapping Algorithm for PAL-Based Devices Using Multi-Output Function GraphsDariusz Kania. 1146 [doi]
- Application of Design Style in Evolutionary Multi-Level Networks SynthesisTadeusz Luba, Claudio Moraga, Svetlana N. Yanushkevich, Vlad P. Shmerko, Joanna Kolodziejczyk. 1156-1163 [doi]
- A Novel Approach to Minimizing the Logic of Combinatorial Multiplexing Circuits in Product-Term-Based HardwareBernardo Kastrup, Orlando Moreira. 1164-1171 [doi]
- A New Method of Redundancy Addition for Circuit OptimizationVitalij Ocheretnij, Michael Gössel, Vl. V. Saposhnikov, V. V. Saposhnikov. 1172 [doi]
- Extensive Testing of Floating Point UnitJanusz Sosnowski, Tomasz Bech. 1180-1187 [doi]
- Testability of Circuits Derived from Lattice DiagramsRolf Drechsler, Wolfgang Günther, Bernd Becker. 1188-1192 [doi]
- Behavior-Preserving Transformations for Design-for-TestJeroen Voeten, Harald P. E. Vranken. 1193 [doi]
- Partitioning and Placement for Multi-FPGA Systems Using Genetic AlgorithmsJosé Ignacio Hidalgo, Juan Lanchares, Román Hermida. 1204-1211 [doi]
- A Parameter to Measure the Efficiency of FPGA Based Logic Synthesis ToolsHenry Selvaraj, B. Li. 1212 [doi]
- Efficient Scheduling of Conditional Behaviors Using Hierarchical Conditional Dependency Graphs in the CODESIS SystemApostolos A. Kountouris, Christophe Wolinski. 1222-1229 [doi]
- Concurrent Control Systems: From Grafcet to VHDLFrédéric Mallet, Daniel Gaffé, Fernand Boéri. 1230-1234 [doi]
- Validation Platform for a P1394a OHCI-Link Layer Synthesizable Core (With a PCI Bus Interface)A. V. Hariharakrishnan, Simon Johney. 1235 [doi]
- FPGA Implementation of Wavelet Packet Transform with Reconfigurable Tree StructureMaría A. Trenas, Juan López, Emilio L. Zapata. 1244-1251 [doi]
- Constant Coefficient Multiplication in FPGA StructuresKazimierz Wiatr, Ernest Jamro. 1252-1259 [doi]
- FPGA Based Systems with Linear and Non-Linear Signal Processing CapabilitiesLuigi Carro, Denis Teixeira Franco. 1260 [doi]
- Memory Architecture for Parallel Line Drawing Based on Non Incremental AlgorithmPere Marès Martí, Antonio B. Martínez Velasco. 1266-1273 [doi]
- Scalable Hardware-Algorithm for Mark-Sweep Garbage CollectionWitawas Srisa-an, Chia-Tien Dan Lo, J. Morris Chang. 1274-1281 [doi]
- The Impact of Recent DRAM Architectures on Embedded Systems PerformanceMatthias Gries. 1282 [doi]
- Power-Efficient Value Speculation for High-Performance MicroprocessorsRafael A. Moreno, Luis Piñuel, Silvia Del Pino, Francisco Tirado. 1292-1299 [doi]
- Techniques for Improving Timing Convergence of Advanced MicroprocessorsShervin Hojat, Paul Kartschoke. 1300-1306 [doi]
- Counter Based Superscalar Instruction IssuingSorin Cotofana, Ben H. H. Juurlink, Stamatis Vassiliadis. 1307-1315 [doi]
- Influence of High-Level Program Structures on Branch Prediction AccuracyAfshin Ganjoo, Nian-Feng Tzeng. 1316 [doi]
- Parallel Architecture for Conversion of NURBS Curves to Bézier CurvesPaula N. Mallón, Montserrat Bóo, Javier D. Bruguera. 1324-1331 [doi]
- Advanced POC Model-Based Java Instruction Folding MechanismAustin Kim, J. Morris Chang. 1332-1338 [doi]
- Multi-Objective Genetic Scheduling Algorithm with Respect to Allocation in High-Level SynthesisGregor Papa, Jurij Silc. 1339 [doi]
- The ManArray( Embedded Processor ArchitectureGerald G. Pechanek, Stamatis Vassiliadis. 1348-1355 [doi]
- Reliability Analysis of a Self-Repairing Embryonic MachineCesar Ortega-Sanchez, Andrew M. Tyrrell, Daniel Mange, André Stauffer, Gianluca Tempesti. 1356-1361 [doi]
- Development of Programmable Architecture for Base-Band ProcessingSimon Leung, Adam Postula, Ahmed Hemani. 1362-1367 [doi]
- Achieving Minimal and Deterministic Interrupt Execution in Stack-Based Processor ArchitecturesChris Bailey. 1368 [doi]
- Designing Competitive Coherence Protocols Taking Advantage of Reuse InformationJulio Sahuquillo, Ana Pont. 1378-1385 [doi]
- Improving Binary Compatibility in VLIW Machines through Compiler Assisted Dynamic ReschedulingMorteza Biglari-Abhari, Kamran Eshraghian, Michael J. Liebelt. 1386-1393 [doi]
- Designing High-Speed Asynchronous PipelinesStefania Perri, Pasquale Corsonello, Giuseppe Cocorullo. 1394-1399 [doi]
- Complex Streamed Instructions: Introduction and Initial EvaluatioStamatis Vassiliadis, Ben H. H. Juurlink, Edwin A. Hakkennes. 1400 [doi]
- Parameterized Reusable Component Library MethodologyRupesh S. Shelar, Sacheendra Nath, Jagmohan S. Nanaware. 1410-1415 [doi]
- IP Reuse VLSI Architecture for Low Complexity Fast Motion Estimation in Multimedia ApplicationsLuca Fanucci, Sergio Saponara, Andrea Cenciotti. 1417-1424 [doi]
- Design Reuse by Modularity: A Scalable Dynamical (Re)Configurable Multiprocessor SystemRolf Drechsler, Nicole Drechsler, Elke Mackensen, Tobias Schubert, Bernd Becker. 1425 [doi]
- SystemC based Hardware Synthesis Becomes RealityHeinz-Joseph Schlebusch. 1434 [doi]
- Simulation Meets Verification: Checking Temporal Properties in SystemCDirk W. Hoffmann, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel. 1435 [doi]
- A Fast Method to Optimize Network Resources for Video on Demand TransmissionEnrique Hernández-Orallo, Joan Vila i Carbó. 1440-1447 [doi]
- On the Use and Calculation of the Hurst Parameter with MPEG Videos Data TrafficJuan-Carlos Cano, Pietro Manzoni. 1448-1455 [doi]
- A Multimedia Synchronization Protocol for Multicast GroupAbderrahim Benslimane. 1456 [doi]
- Continuous Discrete-Event Simulation of a Continuous-Media Server I/O SubsystemMichael Weeks, Chris Bailey, Reza Sotudeh. 2002-2009 [doi]
- On ATM Cell Batching and Its Effects on Bus Arbitration in a Conventional Multimedia ServerMartin Maierhofer, Christopher Bailey 0002. 2010 [doi]
- Supporting Cooperative Learning of Process Knowledge on the World Wide WebWeigang Wang, Jörg M. Haake, Jessica Rubart, Daniel A. Tietze. 2020-2027 [doi]
- Quality of Service Issues in Distributed Learning EnvironmentsColin Allison, Hamish Lawson, David McKechan, Alan Ruddle. 2028-2034 [doi]
- An OO Model to Generate Knowledge Structures for Authoring Instructional HypermediaH. Ainsley, Claude Ghaoui, K. Whiteley. 2035-2042 [doi]
- Digital Teaching, Learning and Program Supports - An Examination of Developments for Students in Higher EducationBob McClelland. 2043-2049 [doi]
- Distributed Virtual Learning Environment: A Web-Based ApproachChristos Bouras, Alexandros Philopoulos. 2050-2055 [doi]
- A World Wide Web Based Architecture for the Implementation of a Virtual LaboratoryF. Gómez, M. Cervera, J. Martínez. 2056 [doi]
- Supporting Tele-Teaching: Visualization AspectsOliver Brand, Leo Petrak, D. Sturzebecher, Martina Zitterbart. 2064-2071 [doi]
- Web Page Reuse Techniques: A Dynamic Referential Navigational GuideEng Huat Ng, Stu Wade, Claude Ghaoui. 2072-2177 [doi]
- Dynamic Reference to Support Authoring of Web Based MaterialVassilis Konstandinidis, Eng Huat Ng, Claude Ghaoui. 2078-2085 [doi]
- Experience with the GESTALT On-Line Learning Support SystemAlmerindo Graziano, Paolo Maresca, Stefano Russo. 2086 [doi]
- A Universal Framework for Managing Metadata in the Distributed Dragon Slayer SystemHorst Wedde, Jens-Oliver P. Siepmann. 2096-2101 [doi]
- Agent-Based Adaptive Selection and Interaction to Z39.50 ServersCamino Fernández, Ignacio Aedo, Paloma Díaz, Vicente Matellán. 2102-2109 [doi]
- Visualizing Queries in a Distributed Digital Library SystemLászló Kovács, András Micsik, Balázs Pataki. 2110 [doi]
- Verifying Sequence and Content for Safety Critical Hypermedia SystemsR. M. Newman. 2120-2125 [doi]
- Surfing the Web Using a Telephone SetChung-Ming Huang, Ming-Yuhe Jang. 2126-2133 [doi]
- TITANS: A Component based Authoring Environment using XML to Facilitate Low Cost, High Quality Entry of the SME to E-CommerceColin C. Charlton, Janet Little, Ian Finch, Irene Neilson. 2134-2139 [doi]
- Designing Electronic Shops, Persuading Consumers to BuyClaire Dormann. 2140 [doi]
- An Architecture for Virtual Reality, Audio, Video, Text & Document Handling in Applications Supporting Multi-Person InteractionsSamuli Pekkola, Mike Robinson, Jonni Korhonen, Saku Hujala, Tero Toivonen, Markku-Juhani Olavi Saarinen. 2150-2157 [doi]
- A Multi-Paradigm Layered Architecture for Synchronous Distance LearningKhalil Drira, Thierry Villemur, Véronique Baudin, Michel Diaz. 2158-2165 [doi]
- An Object-Oriented Modelling of Co-operative Multimedia SystemsGladys Diaz, Jean-Pierre Thomesse, Zoubir Mammeri. 2166 [doi]
- Configuration of Network Architectures for Co-operative SystemsHoussein Adoud, Eric Rondeau, Thierry Divoux. 2176-2182 [doi]
- A Coordination Architecture for Internet GroupworkHans-Peter Dommel, J. J. Garcia-Luna-Aceves. 2183 [doi]
- Workshop Chairman s IntroductionKarl-Erwin Großpietsch. 2192-2192 [doi]
- Evaluation of Pre-Developed Software for Usage in Safety-Critical SystemsFrancesca Saglietti. 2193-2199 [doi]
- Deriving the Optimal Structure of N-Version Software under Resource Requirements and Cost/Timing ConstraintsI. V. Kovalev, Karl-Erwin Großpietsch. 2200-2207 [doi]
- Alternative Transportation Systems: Telematics Solutions? A Historical Overview and Present/Future Solutions for Dependable and Competitive EnvironmentsErwin Schoitsch. 2208 [doi]
- Logic Representation of Programs to Detect Arithmetic AnomaliesFevzi Belli, Thomas Illgen. 2216 [doi]
- Software Testing Concept Used for MAS/C-CompilerMiroslav Popovic, Vladimir Kovacevic, M. Temerinac. 2224 [doi]
- Integrating Groupware and CASE Capabilities for Improving Stakeholder Involvement in Requirements EngineeringPaul Grünbacher. 2232-2239 [doi]
- Process View on the Software Contracting In the Internet BusinessJuhani Warsta, Veikko Seppänen. 2240-2245 [doi]
- Is Management Commitment a Necessity After All in Software Process Improvement?Pekka Abrahamsson. 2246-2253 [doi]
- Computer Models for Strategic Business Process OptimizationVolkmar H. Haase. 2254 [doi]
- Software Product Improvement with InspectionStefan Biffl, Michael Halling. 2262-2269 [doi]
- A New Perspective on Formal Testing Method for Real-Time SoftwareJin-Cherng Lin, Ian Ho. 2270-2276 [doi]
- Real-Time Visualisation of Object Structures for Semantic ValidationPeter R. Dietmüller, Markus Jöbstl, Jörg R. Mühlbacher, W. Zwicknagl. 2277 [doi]
- Using Cost of Software Quality for a Process Improvement InitiativeOnur Demirörs, Özkan Yildiz, A. Selçuk Güceglioglu. 2286-2291 [doi]
- Obstacles in Software Process Technology Evolution: Analysis of the Code Generation CaseVeikko Seppänen. 2292-2299 [doi]
- Tailoring ISO/IEC 12207 for Instructional Software DevelopmentOnur Demirörs, Elif Demirörs, Ayça Tarhan, Ali Yildiz. 2300-2307 [doi]
- From VSC Attributes and Characteristics to SCM ChallengesTua Rahikkala, Veikko Seppänen. 2308 [doi]
- Chair s Introduction: European Software DayGerhard Chroust. 2318 [doi]
- Using Rising Pitch as a Communication Metaphor: An Empirical InvestigationDimitrios I. Rigas, James L. Alty. 2322-2331 [doi]
- On the Computation Time of Three-Dimensional Digital Waveguide Mesh Acoustic ModelsGuilherme Campos, David M. Howard. 2332-2339 [doi]
- Music Tagging Type Definitions: Systems for Music Representation and RetrievalCarola Boehm, Donald MacLellan. 2340 [doi]
- The Art of Rendering Sounds from Emergent Behaviour: Cellular Automata Granular SynthesisEduardo Reck Miranda. 2350-2355 [doi]
- Real-Time Interfaces for Speech and SingingAndy Hunt, David M. Howard, Jim Worsdall. 2356 [doi]
- Music Therapy and Electronic TechnologyAndy Hunt, Ross Kirk, Mary Abbotson, Raymond Abbottson. 2362 [doi]
- Developing ICU-Talk - A Computer based Communication Aid for Patients in Intensive CareAndrew Judson, Ian W. Ricketts, Annalu Waller, Norman Alm, Brian Gordon, Fiona MacAulay, Jan K. Brodie, Maria Etchels, Audrey Warden, Alfred J. Shearer. 2370-2376 [doi]
- The Role of Gesture in Environmental ControlRoss Kirk, Andy Hunt, Mark Hildred, Adrian Verity. 2377-2383 [doi]
- Java Interface to Human Anatomy KnowledgePietro Cerveri, Marco Masseroli, Francesco Pinciroli. 2384 [doi]
- The Real Value of Statistics in Health Informatics. An Introduction to Bayesian MethodsPhilip Young. 2392-2399 [doi]
- HOMER-D: A European Funded Project - From Conception to ImplementationC. A. Skouras. 2400 [doi]
- Automated Scoring of a Neuropsychological Test: The Rey Osterrieth Complex FigureRichard Canham, Stephen L. Smith, Andrew M. Tyrrell. 2406-2413 [doi]
- Computer Analysis of Handwriting Dynamics during Dopamimetic Tests in Parkinson s DiseaseW. G. K. Cobbah, Michael C. Fairhurst. 2414-2418 [doi]
- The Development of a Portable Real-Time Display of Voice Source CharacteristicsS. V. Batty, Paul E. Garner, David M. Howard, P. Turner, A. D. White. 2419-2422 [doi]
- Tumor Recognition in Endoscopic Video Images Using Artificial Neural Network ArchitecturesS. A. Karkanis, Dimitrios K. Iakovidis, Dimitrios E. Maroulis, N. G. Theofanous, George D. Magoulas. 2423 [doi]
- Quantative 3D Modelling of the Left Ventrical from Ultrasound ImagesB. C. Scowen, Stephen L. Smith, M. A. Vannan. 2432-2439 [doi]
- Automated Extraction of Image Segments from Clinically Diagnostic Hand-Drawn Geometric ShapesRichard M. Guest, Michael C. Fairhurst, Jonathan M. Potter. 2440 [doi]
- Bio-Inspired Systems: The Future for Medical Informatics?Andrew M. Tyrrell. 2448 [doi]
- Parallel Multiplier Designs Utilizing A Non-Binary Logic SchemeRong Lin. 2456-2463 [doi]
- A Novel Suite of Tests for Evaluating One-Way Hash Functions for Electronic Commerce ApplicationsDimitris A. Karras, Vasilios Zorkadis. 2464-2468 [doi]
- Efficient Image Compression of Medical Images Using the Wavelet Transform and Fuzzy c-means Clustering on Regions of InterestDimitris A. Karras, S. A. Karkanis, Dimitrios E. Maroulis. 2469 [doi]