11 search results - page 3 / 3 » Semantic Minimization of 3-Valued Propositional Formulae |
POPL
2009
ACM
14 years 5 months ago
2009
ACM
We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools in the emb...