Memory Management for Synthesis of DSP Software

Efficient simulation of critical synchronous dataflow graphs

ACM Transactions on Design Automation of Electronic Systems (TODAES)

SystemCoDesigner: automatic design space exploration and rapid prototyping from behavioral models

Proceedings of the 45th annual Design Automation Conference

SystemCoDesigner—an automatic ESL synthesis approach by design space exploration and behavioral synthesis for streaming applications

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs

Proceedings of the 2009 Asia and South Pacific Design Automation Conference

An efficient technique for analysis of minimal buffer requirements of synchronous dataflow graphs with model checking

CODES+ISSS '09 Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis

Buffer sharing in CSP-like programs

MEMOCODE'09 Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign

Buffer sharing in rendezvous programs

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems - Special section on the ACM IEEE international conference on formal methods and models for codesign (MEMOCODE) 2009

Multithreaded Simulation for Synchronous Dataflow Graphs

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Methods to explore design space for MPEG RMC codec specifications

Image Communication