Modeling and prototyping dynamically reconfigurable systems for efficient computation of dynamic programming methods by rewriting-logic | IEEE Conference Publication | IEEE Xplore