281 search results - page 57 / 57 » A formal framework for compositional compilation |
215
Voted
CASES
2011
ACM
14 years 12 days ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...