Research Catalog

Title

Proceedings, Tenth International Symposium on System Synthesis : September 17-19, 1997, Antwerp, Belgium / sponsored by IEEE Computer Society, ACM SIGDA ; in cooperation with IFIP WG 10.5.

Author

International Symposium on System Synthesis (10th : 1997 : Antwerp, Belgium)

Publication

Los Alamitos, Calif. : IEEE Computer Society Press, [1997], ©1997.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• IEEE Computer Society. Design Automation Technical Committee.
• ACM Special Interest Group on Design Automation.
• IFIP WG 10.5.

Description

x, 141 pages : illustrations; 28 cm

Alternative Title

• 10th International Symposium on System Synthesis
• System Synthesis
• Tenth International Symposium on System Synthesis
• ISSS'97

Subjects

• System design > Congresses
• Computer-aided software engineering > Congresses
• Systems software > Congresses
• Operating systems (Computers) > Congresses

Note

• "IEEE order number 97TB100114"--T.p. verso.
• "IEEE Computer Society order number PR07949"--T.p. verso.
• "ACM Order number 481970."

Bibliography (note)

• Includes bibliographical references and index.

Contents

• Quick Conservative Causality Analysis / E. M. Sentovich -- An Efficient Representation for Formal Synthesis / C. Blumenrohr and D. Eisenbiegler -- Derivation of Formal Representations from Process-Based Specification and Implementation Models / S. Vercauteren, D. Verkest and G. de Jong [et al.] -- Prototyping of the Receiver Unit for a Broadband Access Network / A. Hein, J. Dalcolmo and P. Le Corre [et al.] -- Constraint Analysis for DSP Code Generation / B. Mesman, M. T. J. Strik and A. H. Timmer [et al.] -- An Efficient Model for DSP Code Generation: Performance, Code Size, Estimated Energy / C. H. Gebotys -- Embedded System Synthesis by Timing Constraints Solving / K. Kuchcinski -- Reducing the Complexity of ILP Formulations for Synthesis / A. Mignotte and O. Peyran -- A New Optimization Technique for Improving Resource Exploitation and Critical Path Minimization / B. Landwehr and P. Marwedel --
• Fast and Extensive System-Level Memory Explorations for ATM Applications / P. Slock, S. Wuytack and F. Catthoor [et al.] -- Optimization of the Background Memory Utilization by Partitioning / U. Eckhardt and R. Merker -- Architectural Exploration and Optimization of Local Memory in Embedded Systems / P. R. Panda, N. D. Dutt and A. Nicolau -- Optimization Method for Broadband Modem FIR Filter Design using Common Subexpression Elimination / R. Pasko, P. Schaumont and V. Derudder [et al.] -- Port Calling: A Transformation for Reducing I/O during Multi-Package Functional Partitioning / F. Vahid -- A Scheduling and Pipelining Algorithm for Hardware/Software Systems / S. Bakshi and D. D. Gajski -- Co-Emulation and Debugging of HW/SW-Systems / G. Koch, U. Kebschull and W. Rosenstiel -- Synthesising Controllers from Real-Time Specifications / H. Dierks -- A Source-Level Dynamic Analysis Methodology and Tool for High-Level Synthesis / C.-T. Chen and K. Kucukcakar.

ISBN

• 0818679492 (paper)
• 0818679514 (microfiche)

OCLC

ocm37720369

Owning Institutions

Columbia University Libraries