9Non-termination conditions could also be propagated backwards to provide an over-approximation of the conditions under which an application never terminates, i.e. conditions for liveness.
Personal tools
|
|
|
|
|
9Non-termination conditions could also be propagated backwards to provide an over-approximation of the conditions under which an application never terminates, i.e. conditions for liveness. Document Actions |
|
February 14, 2012 - Wild Cruncher UV : accelerez vos simulations Scilab
June 15, 2013 - HPCC 2013 (15th IEEE International Conference on High Performance Computing and Communications)