What's Ahead in Computer Design?

• 
  Michael J. Flynn: What's ahead in computer design? 4-

Logic Synthesis

• 
  Lech Józwiak: Information Relationships and Measures An Analysis Apparatus for Efficient Information System Synthesis. 13-23
• 
  Mariusz Rawski: Non-Disjoint Decomposition of Boolean Functions and Its Application in FPGA-oriented Technology Mapping. 24-30
• 
  Sanof Mohamed, Marek A. Perkowski, Lech Józwiak: Fast Minimization Of Multi-Output Boolean Functions In Sum-Of-Condition-Decoders Structures. 31-

Data Modelling

• 
  Sonia Bergamaschi, Alessandra Garuti, Claudio Sartori, Alberto Venuta: Object Wrapper: An Object-Oriented Interface for Relational Databases. 41-46
• 
  Krzysztof Goczyla: The Partial-Order Tree: A New Structure for Indexing on Complex Attributes in Object Oriented Databases. 47-54
• 
  Wolfram Amme, Eberhard Zehendner: Efficient Calculation of Data Dependences in Programs with Pointers and Structures. 55-

User Interface Design in Multimedia Environment I

• 
  David J. Moore, Dave J. Hobbs, D. Mullier, C. Bell: Interaction paradigms with educational hypermedia. 65-71
• 
  Calum Smeaton, Irene Neilson: Adapting the infrastructure provided by the World Wide Web for educational purposes. 72-77
• 
  Dimitrios I. Rigas, James L. Alty, F. W. Long: Can music support interfaces to complex databases? 78-

Testing

• 
  Lech Józwiak: On the use of term trees for effective and efficient test pattern generation. 87-95
• 
  Janusz Sosnowski: Testing and Diagnostics of SIMD Arrays. 96-103
• 
  Zdenek Kotásek, F. Zboril: RT level testability analysis to reduce test application time. 104-

Software Quality Processes

• 
  Onur Demirörs: Assumptions and difficulties of software quality movement. 115-122
• 
  Paul Grünbacher: A software assessment process for small software enterprises. 123-128
• 
  Elif Demirörs, Gamze Sarmasik, Onur Demirörs: The role of teamwork in software development: Microsoft case study. 129-133
• 
  Zsolt Haag, Richard Foley, Julian Newman: Software Process Improvement in Geographically Distributed Software Engineering: An Initial Evaluation. 134-

User Interface Design in Multimedia Environment II

• 
  Konrad Klöckner, Peter Mambrey, Wolfgang Prinz, Markus Sohlenkamp: Multimedia groupware design for a distributed government. 144-149
• 
  Nomusa Dlodlo, Carl Bamford: The Common Interactions Abstractions Paradigm. 150-157
• 
  Dhiya Al-Jumeily, Paul Strickland: Designing an interface on the Web for an intelligent tutoring system. 158-162
• 
  David J. Moore: A framework for using multimedia for discussion-based education. 163-

Hardware/Software Co-design

• 
  Sien-An Ong, Kari Tiensyrjä, Lech Józwiak: Interactive codesign for real-time embedded control systems: task graph generation from SA/VHDL models. 172-181
• 
  Frédéric Pétrot, Denis Hommais, Alain Greiner: Cycle precise core based hardware/software system simulation with predictable event propagation. 182-187
• 
  Chie Dou: Integration of SDL and VHDL for HW/SW Codesign of Communication Systems. 188-

Formal Methods in Software Engineering

• 
  Xavier Franch, Josep M. Ribó Balust: Software Process Modelling as Relationships between Tasks. 199-206
• 
  Luca Pazzi: Extending statecharts for representing parts and wholes. 207-214
• 
  Perfecto Mariño, Francisco Poza, Miguel Angel Domínguez, Juan B. Nogueira: Formal specification applied to industrial LAN's design. 215-

Network and Security

• 
  Pertti Raatikainen, Juha Zidbeck: A bridging solution for delivering multimedia services in CATV networks. 223-230
• 
  Gerard J. M. Smit, Paul J. M. Havinga, Daniël van Os: The Harpoon security system for helper programs on a Pocket Companion. 231-238
• 
  Saloua Ben Yahia, Chantal Robach: Diagnosis and time-out based escalation strategies for ATM networks. 239-

Hardware Description Languages

• 
  Georgios K. Theodoropoulos, G. Tsakogiannis, J. V. Woods: Occam: An Asynchronous Hardware Description Language? 249-256
• 
  Péter Wolkensdorfer, József Harangozó: The Application of the Formal Description Language LOTOS for the Design of Process Control Systems. 257-264
• 
  Claudia I. Horta, José A. Lima: Slicing and non-slicing, unified and rotation independent, algebraic representation of floorplans. 265-

Performance Engineering

• 
  Andreas Unger, Eberhard Zehendner: Tuning the GNU Instruction Scheduler to Superscalar Microprocessors. 275-282
• 
  Paolo Cremonesi, Matteo Pugassi: Performance Characterization of Quadrics Machines Based on HighLevel Languages. 283-290
• 
  João Lourenço, José C. Cunha, Henryk Krawczyk, Piotr Kuzora, Marcin Neyman, Bogdan Wiszniewski: An integrated testing and debugging environment for parallel and distributed programs. 291-

Algorithms for Multimedia and Telecommunications

• 
  Roman Novak, Joze Rugelj: Rerouting of Multicast Connections with Quality-of-Service Constraints. 301-307
• 
  Carlos A. B. Mello, L. R. F. Neto, Rafael Dueire Lins: A new algorithm for monochromatic image compression. 308-313
• 
  Michel Raynal, Gérard Thia-Kime, Mustaque Ahamad: From serializable to causal transactions for collaborative applications. 314-

Design Methods

• 
  Manfred Koegst, Günter Franke, Steffen Rülke, Klaus Feske: Low Power Design of FSMs by State Assignment and Disabling Self-Loops. 323-330
• 
  Stefan Sjöholm, Lennart Lindh: The need for Co-simulation in ASIC-verification. 331-335
• 
  Karlheinz Agsteiner, Dieter Monjau, Sören Schulze: Automating system construction by domain based approaches. 336-

Parallel and Distributed Architectures

• 
  Vincent Habchi, Christoph Siegelin, Gérard Mouret, Ulrich Finger: The WARPmemory prototype: design and performance. 346-350
• 
  Fabio Ancona, Rodolfo Zunino: Optimal data allocation for processor-tree architectures. 351-358
• 
  Laurent George, Christophe Lizzi, Jacky Montiel: External/Internal Clock Synchronization in ATM-based Distributed Systems. 359-

Multimedia Systems

• 
  Hong Quang Nguyen, Christian Bac, Guy Bernard: Integrating QoS management in a micro-kernel based UNIX operating system. 371-378
• 
  R. Della Bella, L. Iovieno, M. Marcocci, C. Masciocchi, Frédéric Patricelli: An inter/intranet multimedia service for telemedicine. 379-386
• 
  Han Namgoong, Ki-Young Moon, In-Won Yoo: An integrated approach to legacy data for multimedia applications. 387-

Architecture Performance Measurements

• 
  Eberhard Zehendner: Simulating Systolic Arrays on MasPar Machines. 394-401
• 
  P. Bosch, A. Carloganu, Daniel Etiemble: Complete x86 instruction trace generation from hardware bus collect. 402-408
• 
  A. Pavlov, Jean-Luc Béchennec, Daniel Etiemble: Performance evaluation of the memory hierarchy of a desktop PC using commodity chips with specific traces. 409-

Parallel Systems Development

• 
  Antonio Corradi, Letizia Leonardi, Franco Zambonelli: HPO: a programming environment for object-oriented metacomputing. 418-425
• 
  Wolfram Amme, Peter Braun, Eberhard Zehendner: Scheduling Parallel Loops for Processing Linear Lists. 426-430
• 
  Jean Paul Stromboni: Partitioning regular computational graphs. 431-

Formal Techniques for Multimedia and Telecommunications

• 
  Tatjana Kapus, Zmago Brezocnik: TLA-style Specification of a Mobile Network. 440-447
• 
  Ludwik Kuzniarz, Maciej Piasecki: An abstract model for temporal composition of multimedia data. 448-455
• 
  Zdzislaw Splawski: Synchronization mechanisms for multimedia streams and their specification in timed LOTOS. 456-463
• 
  Monika Kapus-Kolar: Employing disruptions for more efficient functionality decomposition in LOTOS. 464-

Parallel Architectures

• 
  Fabio Ancona, Stefano Rovetta, Rodolfo Zunino: High performance in tree-based parallel architectures. 474-481
• 
  Unnikrishnan R. Nair, Donna J. Quammen, Daniel Tabak: Superscalar Extension for the Multris Processor. 482-486
• 
  F. Distante, Mariagiovanna Sami, Renato Stefanelli: Array partitioning to achieve defect tolerance. 487-491
• 
  Andrew M. Tyrrell, M. J. Freeman: Hardware support for backward error recovery. 492-498
• 
  Christian Mandl, Adolfo Fucci: A fast FPGA based coprocessor supporting hard real-time search. 499-

Dependable Computer Systems

• 
  John A. Zinky, Joshua Etkin: The Effects of Infrequent But Difficult Inputs Conditions on N-Version Programming. 510-515
• 
  Julian M. Bass, G. Latif-Shabgahi, Stuart Bennett: Experimental Comparison of Voting Algorithms in Cases of Disagreement. 516-523
• 
  Amor Bouzelat, Zoubir Mammeri: Simple reading, implicit rejection and average function for fault-tolerant physical clock synchronization. 524-531
• 
  Katerina Goseva-Popstojanova, Aksenti Grnarov: Performability and Reliability Modeling of N Version Fault Tolerant Software in Real Time Systems. 532-

Fuzzy Systems and Neural Networks

• 
  Valeriu Beiu: Enhanced lower entropy bounds with application to constructive learning. 541-548
• 
  Thomas Ragg, Steffen Gutjahr: Automatic determination of optimal network topologies based on information theory and evolution. 549-555
• 
  Santiago Rementeria, Xabier Olabe: A heuristic approach to structural and parametric change in artificial neural networks. 556-563
• 
  Tapio Rauma: Diagnosis information in meta-rule adaptive fuzzy systems. 564-

Computer Intelligence

• 
  Tibor Vamos: Computer intelligence. 571-

Digital Signal Processing Architectures

• 
  Vassilis Paliouras, Thanos Stouraitis: Area-time performance of VLSI FIR filter architectures based on residue arithmetic. 576-583
• 
  Marcos L. Mucheroni, Célio Estevan Morón, José Hiroki Saito: ArchMDSP: using DSPs for parallel image processing. 584-590
• 
  Mercedes Peón, Roberto R. Osorio, Javier D. Bruguera: A VLSI implementation of an arithmetic coder for image compression. 591-

Embedded Systems

• 
  Markus Krug, Anton V. Schedl: New demands for invehicle networks. 601-605
• 
  Francesco Calzolari, Stefano Crespi-Reghizzi, Luca Cicognani, Giorgio Bossi: The Evolution of MML/MME towards Real Time and Heterogeneous Systems. 606-613
• 
  Miroslav Svéda, Frantisek Zezulka: Interconnecting Low-Level Fieldbusses. 614-

Genetic Algorithms

• 
  Susanne Beiersdörfer, Jürgen Hesser, Jens Schmitt, Reinhard Männer, Andreas Schulz, Jürgen Wolfrum: Search for native conformations of organic molecules by genetic algorithms. 624-630
• 
  José Ignacio Hidalgo, Juan Lanchares: Functional Partitioning for Hardware-Software Codesign using Genetic Algorithms. 631-638
• 
  Michael O. Odetayo: Empirical study of the interdependencies of genetic algorithm parameters. 639-643
• 
  Jürgen Wakunda, Andreas Zell: EvA - A Tool for Optimization with Evolutionary Algorithms. 644-

Architectural Components

• 
  Mario Porrmann, Ulrich Rückert, Karl Michael Marks, Jörg Landmann: HiBRIC-MEM, a Memory Controller for PowerPC Based Systems. 653-657
• 
  Christian Cormier, Georges Grimonprez: A RISC Microprocessor for Contactless Smart Cards. 658-663
• 
  István Erényi, István Vassányi, T. Nemes, É. Nikodemusz, Z. Katona: FPGA-based Automated Datapath Design. 664-

Parallel Applications

• 
  Miguel Pedro Silva, Carlos Cardeira, Zoubir Mammeri: Solving Real-Time Scheduling Problems with Hopfield-type Neural Networks. 671-678
• 
  F. J. Valente, Ed Zaluska: An optimized NFS implementation for an SPMD parallel environment. 679-

Mutual Influences

• 
  Ronald Moore, Bernd Klauer, Klaus Waldschmidt: What computer architecture can learn from computational intelligence-and vice versa. 690-697
• 
  Lambert Spaanenburg, Walter J. Jansen, J. A. G. Nijhuis: Over Multiple Rule-blocks to Modular Nets. 698-

last updated on Sat May 18 04:53:05 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page