Research Catalog

Title

Proceedings of the third International Workshop on Hardware/Software Codesign : September 22-24, 1994, Grenoble, France / sponsored by the IEEE Computer Society Technical Committee on Design Automation [and others].

Author

International Workshop on Hardware/Software Codesign (3rd : 1994 : Grenoble, France)

Publication

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

Items in the Library & Off-site

Holdings

Details

Additional Authors

IEEE Computer Society. Design Automation Technical Committee.

Description

ix, 225 pages : illustrations; 28 cm

Alternative Title

• Hardware/software design.
• Hardware software design.

Subject

Computer-aided design > Congresses

Note

• Includes bibliographical references and index.

Contents

• A Methodology for Control-Dominated Systems Codesign / S. Antoniazzi, A. Balboni, W. Fornaciari and D. Sciuto -- A Prototyping Environment for Hardware/Software Codesign in the COBRA Project / G. Koch, U. Kebschull and W. Rosenstiel -- COSMOS: A CoDesign Approach for Communicating Systems / T. B. Ismail, M. Abid and A. Jerraya -- Towards a Multi-Formalism Framework for Architectural Synthesis: The ASAR Project / M. Auguin, M. Belhadj, J. Benzakki, C. Carriere, G. Durrieu, T. Gautier, M. Israel, P. Le Guernic, M. Lemaitre, E. Martin, P. Quinton, L. Rideau, F. Rousseau and P. Sentieys -- Configuration-Level Hardware/Software Partitioning for Real-Time Embedded Systems / J. G. D'Ambrosio and X. Hu -- A Global Criticality/Local Phase Driven Algorithm for the Constrained Hardware/Software Partitioning Problem / A. Kalavade and E. A. Lee -- VHDL System-Level Specification and Partitioning in a Hardware/Software Co-Synthesis Environment / P. Eles, Z. Peng and A. Doboli.
• Constrained Software Generation for Hardware-Software Systems / R. K. Gupta and G. De Micheli -- An Example of Applying the Codesign Method MOOSE / P. Green, P. Rushton and R. Beggs -- Design Flow for Hardware/Software Cosynthesis of a Video Compression System / J. Wilberg, R. Camposano and W. Rosenstiel -- The Priority Queue as an Example of Hardware/Software Codesign / F. Hoeg, N. Mellergaard and J. Staunstrup -- TigerSwitch: A Case Study in Embedded Computing System Design / W. Wolf, A. Wolfe, S. Chinatti, R. Koshy, G. Slater and S. Sun -- An Approach to the Adaptation of Estimated Cost Parameters in the COSYMA System / D. Herrmann, J. Henkel and R. Ernst -- Automatic Exploration of VLIW Processor Architectures from a Designer's Experience Based Specification / M. Auguin, F. Boeri and C. Carriere -- Redesigning Hardware-Software Systems / C. N. Coelho, Jr., C.-Y. J. Yang, V. Mooney and G. De Micheli -- Flexible Modeling Environment for Embedded Systems Design / S. Sutarwala and P. Paulin.
• A Codesign Case Study in Computer Graphics / J. P. Brage and J. Madsen -- A CoDesign Experience with the MCSE Methodology / J. P. Calvez and D. Isidoro -- New Architectures for Smart Cards: The OCEAN Approach / O. Caron, V. Cordonnier, P. Durif and G. Grimonprez -- A Case Study in Computer-Aided CoDesign of Embedded Control / L. Lavagno, M. Chiodo, P. Giusto, A. Jurecska, H. Hsieh, S. Yee, A. Sangiovanni-Vincentelli and Ken Suzuki -- Interface Models / A. P. Ravn and J. Staunstrup -- A Dynamic Dataflow Model Suitable for Efficient Mixed Hardware and Software Implementations of DSP Applications / J. T. Buck -- Towards a Theory for Hardware/Software Codesign / M. Voss, T. B. Ismail, A. A. Jerraya and K.-H. Kapp -- Towards a Declarative Framework for Hardware-Software Codesign / W. Luk and T. Wu -- Hardware/Software Selected Cycle Solution / J. Wilson -- Software/Hardware Co-Design in the MuSE Environment / M. Deegener and S. A. Huss.
• Castle: An Interactive Environment for HW-SW Co-Design / M. Theissinger, P. Stravers and H. Veit -- Towards Provably Correct Hardware/Software Partitioning Using Occam / E. Barros and A. Sampaio.

ISBN

• 0818663154 (paper)
• 0818663162 (microfiche)

OCLC

ocm31352670

Owning Institutions

Columbia University Libraries