Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleSeptember 2016
Probabilistic Model Checking for Uncertain Scenario-Aware Data Flow
ACM Transactions on Design Automation of Electronic Systems (TODAES), Volume 22, Issue 1Article No.: 15, Pages 1–27https://doi.org/10.1145/2914788The Scenario-Aware Dataflow (SADF) model is based on concurrent actors that interact via channels. It combines streaming data and control to capture scenarios while incorporating hard and soft real-time aspects. To model data-flow computations that are ...
- articleFebruary 2007
System-level performance/power analysis for platform-based design of multimedia applications
ACM Transactions on Design Automation of Electronic Systems (TODAES), Volume 12, Issue 1Article No.: 2, Pages 1–29https://doi.org/10.1145/1188275.1188277The objective of this article is to introduce the use of Stochastic Automata Networks (SANs) as an effective formalism for application-architecture modeling in system-level average-case analysis for platform-based design. By platform, we mean a family ...
- articleJuly 2004
Annealing placement by thermodynamic combinatorial optimization
ACM Transactions on Design Automation of Electronic Systems (TODAES), Volume 9, Issue 3Pages 310–332https://doi.org/10.1145/1013948.1013951Placement is key issue of integrated circuit physical design. There exist some techniques inspired in thermodynamics coping with this problem as Simulated Annealing. In this article, we present a combinatorial optimization method directly derived from ...
