Synthesis of the hardware/software interface in microcontroller-based systems

Operating system sensitive device driver synthesis from implementation independent protocol specification

DATE '99 Proceedings of the conference on Design, automation and test in Europe

Generation of interconnect topologies for communication synthesis

Proceedings of the conference on Design, automation and test in Europe

Interface synthesis between software chip model and target board

Journal of Systems Architecture: the EUROMICRO Journal

Hardware-Software Codesign of Embedded Systems

IEEE Micro

Scheduling for Reactive Real-Time Systems

IEEE Micro

MORPH: a system architecture for robust high performance using customization (an NSF 100 TeraOps point design study)

FRONTIERS '96 Proceedings of the 6th Symposium on the Frontiers of Massively Parallel Computation

Analyzing Controllability of a Hardware Circuit for its Reuse

VLSID '97 Proceedings of the Tenth International Conference on VLSI Design: VLSI in Multimedia Applications

Automatic generation of hardware/software interfaces

ASPLOS XVII Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems