Proceedings of the third International Workshop on Hardware, Software Codesign: September 22 - 24, 1994, Grenoble, France
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Los Alamitos, Calif. u.a.
IEEE Computer Soc. Press
1994
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | IX, 225 S. Ill., graph. Darst. |
| ISBN: | 0818663154 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV009931599 | ||
| 003 | DE-604 | ||
| 005 | 19961126 | ||
| 007 | t | ||
| 008 | 941202s1994 ad|| |||| 10||| eng d | ||
| 020 | |a 0818663154 |9 0-8186-6315-4 | ||
| 035 | |a (OCoLC)31352670 | ||
| 035 | |a (DE-599)BVBBV009931599 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-91 |a DE-706 |a DE-83 | ||
| 050 | 0 | |a QA76.9.S88 | |
| 050 | 0 | |a TA174 | |
| 082 | 0 | |a 004.2/1 |2 20 | |
| 084 | |a ST 150 |0 (DE-625)143594: |2 rvk | ||
| 084 | |a DAT 100f |2 stub | ||
| 111 | 2 | |a International Workshop on Hardware, Software Codesign |n 3 |d 1994 |c Grenoble |j Verfasser |0 (DE-588)5161852-7 |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the third International Workshop on Hardware, Software Codesign |b September 22 - 24, 1994, Grenoble, France |
| 246 | 1 | 3 | |a Hardware, software codesign |
| 264 | 1 | |a Los Alamitos, Calif. u.a. |b IEEE Computer Soc. Press |c 1994 | |
| 300 | |a IX, 225 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Conception assistée par ordinateur - Congrès |2 ram | |
| 650 | 7 | |a Logiciels - Développement - Congrès |2 ram | |
| 650 | 4 | |a Computer-aided design |v Congresses | |
| 650 | 4 | |a System design |v Congresses | |
| 650 | 4 | |a Systems engineering |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006579342&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006579342 | ||
Record in the Search Index
| _version_ | 1804124297765060608 |
|---|---|
| adam_text | 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
The IEEE Computer Society Technical Committee on Software Engineering
ACM Special Interest Group on Design Automation
ACM Special Interest Group on Software Engineering
IFIP WG 10 5 in cooperation with WG 10 2
IEEE Computer Society Press
Los Alamitos, California
Washington • Brussels • Tokyo
lnv -Nr S-OSH B- 2 - t
Table of Contents
Message from the Program Chair viii
Organizing Committee and Technical Program Committee ix
Methods and Tools
Moderator: R Hartenstein
A Methodology for Control-Dominated Systems Codesign 2
S Antoniazzi, A Balboni, W Fornaciari, and D Sciuto
A Prototyping Environment for Hardware/Software Codesign in
the COBRA Project 10
G Koch, U Kehschull, and W Rosenstiel
COSMOS: A CoDesign Approach for Communicating Systems 17
T B Ismail, M Abid, and A Jerraya
Towards a Multi-Formalism Framework for Architectural Synthesis:
The ASAR Project 25
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
Hardware-Software Partitioning
Moderator: R Ernst
Configuration-Level Hardware/Software Partitioning for Real-Time
Embedded Systems 34
J G DAmbrosio and X Hu
A Global Criticality/Local Phase Driven Algorithm for the Constrained
Hardware/Software Partitioning Problem 42
A Kalavade and E A Lee
VHDL System-Level Specification and Partitioning in a Hardware/Software
Co-Synthesis Environment 49
P Eies, Z Peng, and A Doboli
Constrained Software Generation for Hardware-Software Systems 56
R K Gupta and G De Micheli
Case Studies 1
Moderator: J Stanstrup
An Example of Applying the Codesign Method MOOSE 65
P Green, P Rushton, and R Beggs
Design Flow for Hardware/Software Cosynthesis of a Video Compression System 73
J Wilberg, R Camposano, and W Rosenstiel
The Priority Queue as an Example of Hardware/Software Codesign 81
F H0eg, N Mellergaard, and J Staunstrup
TigerSwitch: A Case Study in Embedded Computing System Design 89
W Wolf, A Wolfe, S Chinatti, R Koshy, G Slater, and S Sun
Poster Session
Analysis and Synthesis
Moderator: G Borriello
An Approach to the Adaptation of Estimated Cost Parameters in
the COSYMA System 100
D Herrmann, J Henkel, and R Ernst
Automatic Exploration of VLIW Processor Architectures
from a Designer’s Experience Based Specification 108
M Auguin, F Boeri, and C Carriere
Redesigning Hardware-Software Systems 116
C N Coelho, Jr , C -Y J Yang, V Mooney, and G De Micheli
Flexible Modeling Environment for Embedded Systems Design 124
S Sutarwala and P Paulin
Case Studies 2
Moderator: W Rosenstiel
A Codesign Case Study in Computer Graphics 132
J P Brage and J Madsen
A CoDesign Experience with the MCSE Methodology 140
J P Calvez and D Isidoro
New Architectures for Smart Cards: The OCEAN Approach 148
O Caron, V Cordonnier, P Durif, and G Grimonprez
A Case Study in Computer-Aided CoDesign of Embedded Control 220
L Lavagno, M Chiodo, P Giusto, A Jurecska, H Hsieh,
S Yee, A Sangiovanni-Vincentelli, and Ken Suzuki
Models
Moderator: R Gupta
Interface Models 157
A P Ravn and J Staunstrup
A Dynamic Dataflow Model Suitable for Efficient Mixed Hardware and
Software Implementations of DSP Applications 165
J T Buck
Towards a Theory for Hardware/Software Codesign 173
M Voss, T B Ismail, A A Jerraya, and K -H Kapp
Towards a Declarative Framework for Hardware-Software Codesign 181
W Luk and T Wu
Verification
Moderator: E A Lee
Hardware/Software Selected Cycle Solution 190
J Wilson
Software/Hardware Co-Design in the MuSE Environment 195
M Deegener and S A Huss
vi
4
Castle: An Interactive Environment for HW-SW Co-Design 203
M Theissinger, P Stravers, and H Veit
Towards Provably Correct Hardware/Software Partitioning Using Occam 210
E Barros and A Sampaio
Author Index 218
|
| any_adam_object | 1 |
| author_corporate | International Workshop on Hardware, Software Codesign Grenoble |
| author_corporate_role | aut |
| author_facet | International Workshop on Hardware, Software Codesign Grenoble |
| author_sort | International Workshop on Hardware, Software Codesign Grenoble |
| building | Verbundindex |
| bvnumber | BV009931599 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.S88 TA174 |
| callnumber-search | QA76.9.S88 TA174 |
| callnumber-sort | QA 276.9 S88 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 150 |
| classification_tum | DAT 100f |
| ctrlnum | (OCoLC)31352670 (DE-599)BVBBV009931599 |
| dewey-full | 004.2/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.2/1 |
| dewey-search | 004.2/1 |
| dewey-sort | 14.2 11 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01684nam a2200409 c 4500</leader><controlfield tag="001">BV009931599</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19961126 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">941202s1994 ad|| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818663154</subfield><subfield code="9">0-8186-6315-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31352670</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009931599</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.S88</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">TA174</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.2/1</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 150</subfield><subfield code="0">(DE-625)143594:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 100f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Workshop on Hardware, Software Codesign</subfield><subfield code="n">3</subfield><subfield code="d">1994</subfield><subfield code="c">Grenoble</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5161852-7</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the third International Workshop on Hardware, Software Codesign</subfield><subfield code="b">September 22 - 24, 1994, Grenoble, France</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Hardware, software codesign</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Los Alamitos, Calif. u.a.</subfield><subfield code="b">IEEE Computer Soc. Press</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 225 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Conception assistée par ordinateur - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logiciels - Développement - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer-aided design</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System design</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systems engineering</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006579342&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006579342</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV009931599 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:43:26Z |
| institution | BVB |
| institution_GND | (DE-588)5161852-7 |
| isbn | 0818663154 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006579342 |
| oclc_num | 31352670 |
| open_access_boolean | |
| owner | DE-739 DE-91 DE-BY-TUM DE-706 DE-83 |
| owner_facet | DE-739 DE-91 DE-BY-TUM DE-706 DE-83 |
| physical | IX, 225 S. Ill., graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | IEEE Computer Soc. Press |
| record_format | marc |
| spelling | International Workshop on Hardware, Software Codesign 3 1994 Grenoble Verfasser (DE-588)5161852-7 aut Proceedings of the third International Workshop on Hardware, Software Codesign September 22 - 24, 1994, Grenoble, France Hardware, software codesign Los Alamitos, Calif. u.a. IEEE Computer Soc. Press 1994 IX, 225 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Conception assistée par ordinateur - Congrès ram Logiciels - Développement - Congrès ram Computer-aided design Congresses System design Congresses Systems engineering Congresses (DE-588)1071861417 Konferenzschrift gnd-content HEBIS Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006579342&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Proceedings of the third International Workshop on Hardware, Software Codesign September 22 - 24, 1994, Grenoble, France Conception assistée par ordinateur - Congrès ram Logiciels - Développement - Congrès ram Computer-aided design Congresses System design Congresses Systems engineering Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Proceedings of the third International Workshop on Hardware, Software Codesign September 22 - 24, 1994, Grenoble, France |
| title_alt | Hardware, software codesign |
| title_auth | Proceedings of the third International Workshop on Hardware, Software Codesign September 22 - 24, 1994, Grenoble, France |
| title_exact_search | Proceedings of the third International Workshop on Hardware, Software Codesign September 22 - 24, 1994, Grenoble, France |
| title_full | Proceedings of the third International Workshop on Hardware, Software Codesign September 22 - 24, 1994, Grenoble, France |
| title_fullStr | Proceedings of the third International Workshop on Hardware, Software Codesign September 22 - 24, 1994, Grenoble, France |
| title_full_unstemmed | Proceedings of the third International Workshop on Hardware, Software Codesign September 22 - 24, 1994, Grenoble, France |
| title_short | Proceedings of the third International Workshop on Hardware, Software Codesign |
| title_sort | proceedings of the third international workshop on hardware software codesign september 22 24 1994 grenoble france |
| title_sub | September 22 - 24, 1994, Grenoble, France |
| topic | Conception assistée par ordinateur - Congrès ram Logiciels - Développement - Congrès ram Computer-aided design Congresses System design Congresses Systems engineering Congresses |
| topic_facet | Conception assistée par ordinateur - Congrès Logiciels - Développement - Congrès Computer-aided design Congresses System design Congresses Systems engineering Congresses Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006579342&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT internationalworkshoponhardwaresoftwarecodesigngrenoble proceedingsofthethirdinternationalworkshoponhardwaresoftwarecodesignseptember22241994grenoblefrance AT internationalworkshoponhardwaresoftwarecodesigngrenoble hardwaresoftwarecodesign |