activity
20072026
most citedWorst-case Throughput Analysis for Parametric Rate and Parametric Actor Execution Time Scenario-Aware Dataflow Graphs

12 citations · 15 across the 9 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2007

Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code

K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor +1

Development of energy and performance-efficient embedded software is increasingly relying on application of complex transformations on the critical parts of the source code. Design…