CODES 1994: Grenoble, France

@proceedings{DBLP:conf/codes/1994,
  title     = {Proceedings of the Third International Workshop on Hardware/Software
               Codesign, CODES 1994, Grenoble, France, September 22-24, 1994},
  booktitle = {CODES},
  publisher = {IEEE Computer Society},
  year      = {1994},
  isbn      = {0-8186-6315-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Methods and tools

• Stefano Antoniazzi, Alessandro Balboni, William Fornaciari, Donatella Sciuto:
  A methodology for control-dominated systems codesign. 2-9
  Electronic Edition (ACM DL) BibTeX
• Gernot Koch, Udo Kebschull, Wolfgang Rosenstiel:
  A prototyping environment for hardware/software codesign in the COBRA project. 10-16
  Electronic Edition (ACM DL) BibTeX
• Tarek Ben Ismail, Mohamed Abid, Ahmed Amine Jerraya:
  COSMOS: a codesign approach for communicating systems. 17-24
  Electronic Edition (ACM DL) BibTeX
• Michel Auguin, Mohamed Belhadj, Judith Benzakki, C. Carrière, Guy Durrieu, Thierry Gautier, Michel Israël, Paul Le Guernic, Michel Lemaître, E. Martin, P. Quinton, Laurence Rideau, François Rousseau, Olivier Sentieys:
  Towards a multi-formalism framework for architectural synthesis: the ASAR project. 25-32
  Electronic Edition (ACM DL) BibTeX

Hardware-software partitioning

• Joseph G. D'Ambrosio, Xiaobo Sharon Hu:
  Configuration-level hardware/software partitioning for real-time embedded systems. 34-41
  Electronic Edition (ACM DL) BibTeX
• Asawaree Kalavade, Edward A. Lee:
  A global criticality/local phase driven algorithm for the constrained hardware/software partitioning problem. 42-48
  Electronic Edition (ACM DL) BibTeX
• Petru Eles, Zebo Peng, Alexa Doboli:
  VHDL system-level specification and partitioning in a hardware/software co-synthesis environment. 49-55
  Electronic Edition (ACM DL) BibTeX
• Rajesh K. Gupta, Giovanni De Micheli:
  Constrained software generation for hardware-software systems. 56-63
  Electronic Edition (ACM DL) BibTeX

Case studies 1

• Peter Green, Paul Rushton, Ronnie Beggs:
  An example of applying the codesign method MOOSE. 65-72
  Electronic Edition (ACM DL) BibTeX
• Jörg Wilberg, Raul Camposano, Wolfgang Rosenstiel:
  Design flow for hardware/software cosynthesis of a video compression system. 73-80
  Electronic Edition (ACM DL) BibTeX
• Flemming Høeg, Niels Mellergaard, Jørgen Staunstrup:
  The priority queue as an example of hardware/software codesign. 81-88
  Electronic Edition (ACM DL) BibTeX
• Wayne Wolf, Andrew Wolfe, Steve Chinatti, Ravi Koshy, Gary Slater, Spencer Sun:
  TigerSwitch: a case study in embedded computing system design. 89-96
  Electronic Edition (ACM DL) BibTeX

Analysis and synthesis

• Dirk Herrmann, Jörg Henkel, Rolf Ernst:
  An approach to the adaptation of estimated cost parameters in the COSYMA system. 100-107
  Electronic Edition (ACM DL) BibTeX
• Michel Auguin, Fernand Boéri, C. Carrière:
  Automatic exploration of VLIW processor architectures from a designer's experience based specification. 108-115
  Electronic Edition (ACM DL) BibTeX
• Claudionor José Nunes Coelho Jr., Jerry Chih-Yuan Yang, Vincent John Mooney III, Giovanni De Micheli:
  Redesigning hardware-software systems. 116-123
  Electronic Edition (ACM DL) BibTeX
• Shailesh Sutarwala, Pierre G. Paulin:
  Flexible modeling environment for embedded systems design. 124-130
  Electronic Edition (ACM DL) BibTeX

Case studies 2

• Jens P. Brage, Jan Madsen:
  A codesign case study in computer graphics. 132-139
  Electronic Edition (ACM DL) BibTeX
• J. P. Calvez, D. Isidoro:
  A CoDesign experience with the MCSE methodology. 140-147
  Electronic Edition (ACM DL) BibTeX
• Olivier Caron, Vincent Cordonnier, Philippe Durif, Georges Grimonprez:
  New architectures for smart cards: the OCEAN approach. 148-155
  Electronic Edition (ACM DL) BibTeX

Models

• Anders P. Ravn, Jørgen Staunstrup:
  Interface models. 157-164
  Electronic Edition (ACM DL) BibTeX
• Joseph T. Buck:
  A dynamic dataflow model suitable for efficient mixed hardware and software implementations of DSP applications. 165-172
  Electronic Edition (ACM DL) BibTeX
• Markus Voss, Tarek Ben Ismail, Ahmed Amine Jerraya, Karl-Heinz Kapp:
  Towards a theory for hardware/software codesign. 173-180
  Electronic Edition (ACM DL) BibTeX
• Wayne Luk, Teddy Wu:
  Towards a declarative framework for hardware-software codesign. 181-188
  Electronic Edition (ACM DL) BibTeX

Verification

• John Wilson:
  Hardware/software selected cycle solution. 190-194
  Electronic Edition (ACM DL) BibTeX
• Matthias Deegener, Sorin A. Huss:
  Software/hardware Co-Design in the MuSE environment. 195-202
  Electronic Edition (ACM DL) BibTeX
• Markus Theißinger, Paul Stravers, Holger Veit:
  CASTLE: an interactive environment for HW-SW Co-Design. 203-209
  Electronic Edition (ACM DL) BibTeX
• Edna Barros, Augusto Sampaio:
  Towards provably correct hardware/software partitioning using occam. 210-217
  Electronic Edition (ACM DL) BibTeX
• Luciano Lavagno, Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Harry Hsieh, S. Yee, Alberto L. Sangiovanni-Vincentelli, Kei Suzuki:
  A case study in computer-aided codesign of embedded controllers. 220-224
  Electronic Edition (ACM DL) BibTeX