Browsing by author "Kodamballi, Shashi"
Now showing items 1-7 of 7
-
Automatic verification of algebraic transformations
Kodamballi, Shashi; Bruynooghe, M.; Catthoor, Francky; Janssens, G. (2004) -
Dynamic single assignment in action
Vanbroekhoven, P.; Kodamballi, Shashi; Palkovic, Martin; Janssens, G.; Bruynhooghe, M.; Catthoor, Francky (2005) -
Efficient automatic verification of loop and data-flow transformations by functional equivalence checking
Kodamballi, Shashi (2008-05) -
Functional equivalence checking for verification of algebraic transformations on array-intensive source code
Kodamballi, Shashi; Bruynooghe, Maurice; Catthoor, Francky; Janssens, Gerda (2005-03) -
Functional equivalence checking for verification of transformations on array-intensive programs
Kodamballi, Shashi (2005) -
Low-power design of turbo decoder with exploration of energy-throughput trade-off
Vandecappelle, Arnout; Bougard, Bruno; Kodamballi, Shashi; Catthoor, Francky (2003-08) -
Verification of source code transformations by program equivalence checking
Kodamballi, Shashi; Bruynooghe, Maurice; Catthoor, Francky; Janssens, Gerda (2005-04)