Distributed Computing / Parallel Programming / Computer Hardware / Model Driven Engineering / Computer Software / Embedded System Design / System on Chip / Design Space Exploration / Formal Verification / High performance / Chip / Design framework / Real time and Embedded Systems / Multimedia Application / Embedded System / Structural model / Modeling and Analysis / Embedded System Design / System on Chip / Design Space Exploration / Formal Verification / High performance / Chip / Design framework / Real time and Embedded Systems / Multimedia Application / Embedded System / Structural model / Modeling and Analysis