53 citations · 87 across the 10 of their papers we have counts for
Showing 2007Show all
2 papers · 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…
cs.PL2007★ 2 cited
A Delta Debugger for ILP Query Execution
Remko Troncon, Gerda Janssens
Because query execution is the most crucial part of Inductive Logic Programming (ILP) algorithms, a lot of effort is invested in developing faster execution mechanisms. These execu…