selected publications academic article Efficient Mapping and Functional Verification of Parallel Algorithms on a MultiüContext Reconfigurable Architecture 2007