Sciweavers

21 search results - page 5 / 5
» The Coding-Optimal Transform
Sort
View
ECBS
2006
IEEE
158views Hardware» more  ECBS 2006»
13 years 11 months ago
Automated Translation of C/C++ Models into a Synchronous Formalism
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
Hamoudi Kalla, Jean-Pierre Talpin, David Berner, L...