The Community for Technology Leaders
Third International Workshop on Hardware/Software Codesign (1994)
Grenoble, France
Sept. 22, 1994 to Sept. 24, 1994
ISBN: 0-8186-6315-4
TABLE OF CONTENTS

Constrained software generation for hardware-software systems (PDF)

R.K. Gupta , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
pp. 56-63

Towards provably correct hardware/software partitioning using OCCAM (PDF)

E. Barros , Dept. de Inf., UFPE, Recife, Brazil
A. Sampaio , Dept. de Inf., UFPE, Recife, Brazil
pp. 210-217

CASTLE: an interactive environment for HW-SW co-design (PDF)

M. Theissinger , GMD, St. Augustin, Germany
P. Stravers , GMD, St. Augustin, Germany
H. Veit , GMD, St. Augustin, Germany
pp. 203-209

Software/hardware co-design in the MuSE environment (PDF)

M. Deegener , Dept. of Comput. Sci., Tech. Univ. Darmstadt, Germany
S.A. Huss , Dept. of Comput. Sci., Tech. Univ. Darmstadt, Germany
pp. 195-202

Towards a declarative framework for hardware-software codesign (PDF)

W. Luk , Programming Res. Group, Oxford Univ., UK
T. Wu , Programming Res. Group, Oxford Univ., UK
pp. 181-188

Interface models (PDF)

A.P. Ravn , Dept. of Comput. Sci., Tech. Univ. Denmark, Lyngby, Denmark
J. Staunstrup , Dept. of Comput. Sci., Tech. Univ. Denmark, Lyngby, Denmark
pp. 157-164

New architectures for smart cards: the OCEAN approach (PDF)

O. Caron , RD2P, Hopital Calmette, Lille, France
V. Cordonnier , RD2P, Hopital Calmette, Lille, France
P. Durif , RD2P, Hopital Calmette, Lille, France
C. Grimonprez , RD2P, Hopital Calmette, Lille, France
pp. 148-155

A CoDesign experience with the MCSE methodology (PDF)

J.P. Calvez , IRESTE, Nantes, France
D. Isidoro , IRESTE, Nantes, France
pp. 140-147

A codesign case study in computer graphics (PDF)

J.P. Brage , Dept. of Comput. Sci., Tech. Univ. Denmark, Lyngby, Denmark
J. Madsen , Dept. of Comput. Sci., Tech. Univ. Denmark, Lyngby, Denmark
pp. 132-139

Flexible modeling environment for embedded systems design (PDF)

S. Sutarwala , Bell-Northern Res., Ottawa, Ont., Canada
P. Paulin , Bell-Northern Res., Ottawa, Ont., Canada
pp. 124-130

Redesigning hardware-software systems (PDF)

C.N. Coelho , Center for Integrated Syst., Stanford Univ., CA, USA
Chi-Yuan , Center for Integrated Syst., Stanford Univ., CA, USA
V. Mooney , Center for Integrated Syst., Stanford Univ., CA, USA
G. De Micheli , Center for Integrated Syst., Stanford Univ., CA, USA
pp. 116-123

Automatic exploration of VLIW processor architectures from a designer's experience based specification (PDF)

M. Auguin , Lab. Inf. Signaux Systemes, Nice, France
F. Boeri , Lab. Inf. Signaux Systemes, Nice, France
E. Carriere , Lab. Inf. Signaux Systemes, Nice, France
pp. 108-115

An approach to the adaptation of estimated cost parameters in the COSYMA system (PDF)

D. Herrmann , Inst. fur Datenverarbeitungsanlagen, Tech. Univ. Braunschweig, Germany
J. Henkel , Inst. fur Datenverarbeitungsanlagen, Tech. Univ. Braunschweig, Germany
R. Ernst , Inst. fur Datenverarbeitungsanlagen, Tech. Univ. Braunschweig, Germany
pp. 100-107

The priority queue as an example of hardware/software codesign (PDF)

F. Hoeg , Dept. of Comput. Sci., Tech. Univ. Denmark, Lyngby, Denmark
N. Mellergaard , Dept. of Comput. Sci., Tech. Univ. Denmark, Lyngby, Denmark
J. Staunstrup , Dept. of Comput. Sci., Tech. Univ. Denmark, Lyngby, Denmark
pp. 81-88

An example of applying the codesign method MOOSE (PDF)

P. Green , Syst. Eng. Group, Univ. of Manchester Inst. of Sci. & Technol., UK
P. Rushton , Syst. Eng. Group, Univ. of Manchester Inst. of Sci. & Technol., UK
R. Beggs , Syst. Eng. Group, Univ. of Manchester Inst. of Sci. & Technol., UK
pp. 65-72

A global criticality/local phase driven algorithm for the constrained hardware/software partitioning problem (PDF)

A. Kalavade , Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
E.A. Lee , Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
pp. 42-48

COSMOS: a codesign approach for communicating systems (PDF)

T.B. Ismail , TIMA, Inst. Nat. Polytech. de Grenoble, France
M. Abid , TIMA, Inst. Nat. Polytech. de Grenoble, France
A. Jerraya , TIMA, Inst. Nat. Polytech. de Grenoble, France
pp. 17-24

A prototyping environment for hardware/software codesign in the COBRA project (PDF)

G. Koch , Forschungszentrum Informatik, Karlsruhe, Germany
U. Kebschull , Forschungszentrum Informatik, Karlsruhe, Germany
pp. 10-16
81 ms
(Ver 3.3 (11022016))