|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 4 van 6 gevonden artikelen
| Titel: |
Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings |
| Auteur: |
Khomenko, Victor Madalinski, Agnes Yakovlev, Alex |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 86 (2008) nr. 3 pagina's 299-323 |
| Jaar: |
2008-12-16 |
| Inhoud: |
A combined framework for the resolution of encoding conflicts in STG unfoldings is presented, which extends previouswork by incorporating concurrency reduction in addition to signal insertion. Furthermore, a novel validity condition is proposed to justify these transformations. The method has been implemented in the CONFRES tool and applied to a number of case studies. The experimental results show that the combined framework enlarges the design space and allows for better exploration of the speed/area tradeoff. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 4 van 6 gevonden artikelen
| << vorige | volgende >> |