Posters

 

42: programmable models of computation for a component-based approach to heterogeneous embedded systems

 
Presented at FETCH08 [ file]

Formal and Executable Contracts for Transaction-Level Modeling in SystemC

 

Presented at EMSOFT09 [file]