Abdoulaye Gamatié, Laure Gonnord. Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems. In Jan Vitek, Bjorn De Sutter, editors, Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Chicago, IL, USA, April 11-14, 2011. pages 71-80, ACM, 2011. [doi]
Abstract is missing.