model-driven embedded software


COMPUTER COURSE ONLINE

An alternative polychronous model and synthesis methodology for model-driven embedded software

FREE-DOWNLOAD [PDF] BA Jose… – Proceedings of the 2010 Asia and South …, 2010
Abstract— Multi-clocked synchronous (aka Polychronous) specification languages do not assume
that execution proceeds by sampling inputs at predetermined global synchronization points.
The software synthesized from such specifications are paced by arrival of certain inputs,




IEEE PAPER UNITED STATES