ISSS 1997: Antwerp, Belgium

Formal Specification and Validation

• Ellen Sentovich:
  Quick Conservative Causality Analysis. 2-8
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Christian Blumenröhr, Dirk Eisenbiegler:
  An Efficient Representation for Formal Synthesis. 9-15
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Steven Vercauteren, Diederik Verkest, Gjalt G. de Jong, Bill Lin:
  Derivation of Formal Representations from Process-Based Specification and Implementation Models. 16-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Fast Prototyping and Code Generation

• A. Hein, J. Dalcolmo, P. Le Corre, Rudy Lauwereins, Marleen Adé:
  Prototyping of the Receiver Unit for a Broadband Access Network. 26-32
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Bart Mesman, Marino T. J. Strik, Adwin H. Timmer, Jef L. van Meerbergen, Jochen A. G. Jess:
  Constraint Analysis for DSP Code Generation. 33-40
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Catherine H. Gebotys:
  An Efficient Model for DSP Code Generation: Performance, Code Size, Estimated Energy. 41-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Novel Compilation and Optimization Issues

• Krzysztof Kuchcinski:
  Embedded System Synthesis by Timing Constraints Solving. 50-57
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Anne Mignotte, Olivier Peyran:
  Reducing the Complexity of ILP Formulations for Synthesis. 58-64
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Birger Landwehr, Peter Marwedel:
  A New Optimization Technique for Improving Resource Exploitation and Critical Path Minimization. 65-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Memory Management Issues

• Peter Slock, Sven Wuytack, Francky Catthoor, Gjalt G. de Jong:
  Fast and Extensive System-Level Memory Exploration for ATM Applications. 74-81
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Uwe Eckhardt, Renate Merker:
  Optimization of the Background Memory Utilization by Partitioning. 82-89
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Preeti Ranjan Panda, Nikil D. Dutt, Alexandru Nicolau:
  Architectural Exploration and Optimization of Local Memory in Embedded Systems. 90-
  Electronic Edition (IEEE Computer Society DL) BibTeX

System-Level Synthesis and Design

• Robert Pasko, Patrick Schaumont, Veerle Derudder, Daniela Durackova:
  Optimization Method for Broadband Modem FIR Filter Design using Common Subexpression Elimination. 100-106
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Frank Vahid:
  Port Calling: A Transformation for Reducing I/O during Multi-Package Functional Partitioning. 107-112
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Smita Bakshi, Daniel Gajski:
  A Scheduling and Pipelining Algorithm for Hardware/Software Systems. 113-
  Electronic Edition (IEEE Computer Society DL) BibTeX

HW/SW Specification and Debugging

• Gernot Koch, Udo Kebschull, Wolfgang Rosenstiel:
  Co-Emulation and Debugging of HW/SW-Systems. 120-125
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Henning Dierks:
  Synthesising Controllers from Real-Time Specifications. 126-133
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Chih-Tung Chen, Kayhan Küçükçakar:
  A Source-Level Dynamic Analysis Methodology and Tool for High-Level Synthesis. 134-140
  Electronic Edition (IEEE Computer Society DL) BibTeX