Project Team Pop art

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
PDF e-pub XML


Section: Application Domains

Current Industrial Cooperations

Regarding applications and case studies with industrial end-users of our techniques, we cooperate with STM icroelectronics on two topics: (i) compositional analysis and abstract interpretation for the TLM-based System-on-Chip design flow, and (ii) dynamic data-flow models of computation for streaming applications.