Translation and Run-Time Validation of Loop Transformations

Author： Zuck Lenore   Pnueli Amir   Goldberg Benjamin   Barrett Clark   Fang Yi   Hu Ying  

Publisher： Springer Publishing Company

ISSN： 0925-9856

Source： Formal Methods in System Design, Vol.27, Iss.3, 2005-11, pp. : 335-360

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Debugging and Run-time Monitoring of Active Rules

By Baralis E.  

Journal of Systems Integration, Vol. 7, Iss. 3-4, 1997-09 ,pp. : 327-347

Springer Publishing Company

Access to resources Recommend Favorite

Run-Time Support for the Automatic Parallelization of Java Programs

By Chan Bryan   Abdelrahman Tarek S.  

The Journal of Supercomputing, Vol. 28, Iss. 1, 2004-04 ,pp. : 91-117

Springer Publishing Company

Access to resources Recommend Favorite

Interprocedural Compiler Optimization for Partial Run-Time Reconfiguration

By Panainte Elena   Bertels Koen   Vassiliadis Stamatis  

Journal of VLSI Signal Processing, Vol. 43, Iss. 2-3, 2006-06 ,pp. : 161-172

Springer Publishing Company

Access to resources Recommend Favorite

Run-time interpretation of STEP-NC: implementation and performance

By Kramer T.  

International Journal of Computer Integrated Manufacturing, Vol. 19, Iss. 6, 2006-09 ,pp. : 495-507

Taylor & Francis Ltd

Access to resources Recommend Favorite

Certifying Compilation and Run-Time Code Generation

By Hornof L.  

LISP and Symbolic Computation, Vol. 12, Iss. 4, 1999-12 ,pp. : 337-375

Springer Publishing Company

Access to resources Recommend Favorite