Constrained software generation for hardware-software systems (PDF)
A case study in computer-aided codesign of embedded controllers (PDF)
Towards provably correct hardware/software partitioning using OCCAM (PDF)
CASTLE: an interactive environment for HW-SW co-design (PDF)
Software/hardware co-design in the MuSE environment (PDF)
Towards a declarative framework for hardware-software codesign (PDF)
Towards a theory for hardware/software codesign (PDF)
Interface models (PDF)
New architectures for smart cards: the OCEAN approach (PDF)
A CoDesign experience with the MCSE methodology (PDF)
A codesign case study in computer graphics (PDF)
Flexible modeling environment for embedded systems design (PDF)
Redesigning hardware-software systems (PDF)
An approach to the adaptation of estimated cost parameters in the COSYMA system (PDF)
TigerSwitch: a case study in embedded computing system design (PDF)
The priority queue as an example of hardware/software codesign (PDF)
Design flow for hardware/software cosynthesis of a video compression system (PDF)
An example of applying the codesign method MOOSE (PDF)
VHDL system-level specification and partitioning in a hardware/software co-synthesis environment (PDF)
Configuration-level hardware/software partitioning for real-time embedded systems (PDF)
Towards a multi-formalism framework for architectural synthesis: the ASAR project (PDF)
COSMOS: a codesign approach for communicating systems (PDF)
A prototyping environment for hardware/software codesign in the COBRA project (PDF)
A methodology for control-dominated systems codesign (PDF)
