HEAT: a combined approach for thread escape analysis

ISSN： 0975-6809

Source： International Journal of Systems Assurance Engineering and Management, Vol.2, Iss.2, 2011-06, pp. : 135-143

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

An automatic thread decomposition approach for pipelined multithreading

By Zhang Yuanming Ootsu Kanemitsu Yokota Takashi Baba Takanobu

International Journal of High Performance Computing and Networking, Vol. 7, Iss. 3, 2013-09 ,pp. : 227-237

Inderscience Publishers

Access to resources Recommend Favorite

Deriving escape analysis by abstract interpretation

By Hill Patricia

LISP and Symbolic Computation, Vol. 19, Iss. 4, 2006-12 ,pp. : 415-463

Springer Publishing Company

Access to resources Recommend Favorite

Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability Analysis

By Czutro Alexander Polian Ilia Lewis Matthew Engelke Piet Reddy Sudhakar Becker Bernd

International Journal of Parallel Programming, Vol. 38, Iss. 3-4, 2010-06 ,pp. : 185-202

Springer Publishing Company

Access to resources Recommend Favorite

Control system design and analysis of FRP pipe thread-grinding machine

By Xu Jiazhong Qiao Ming Wang Xinying

International Journal of Computer Applications in Technology, Vol. 39, Iss. 4, 2010-10 ,pp. : 177-186

Inderscience Publishers

Access to resources Recommend Favorite

Performance Optimization of a Combined Heat Pump Cycle

By Chen Lingen Bi Yuehong Sun Fengrui Wu Chih

Open Systems and Information Dynamics, Vol. 10, Iss. 4, 2003-12 ,pp. : 377-389

Springer Publishing Company

Access to resources Recommend Favorite