Online efficient predictive safety analysis of multithreaded programs

Author： Sen Koushik Roşu Grigore Agha Gul

ISSN： 1433-2779

Source： International Journal on Software Tools for Technology Transfer, Vol.8, Iss.3, 2006-06, pp. : 248-260

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

Related content

Performance Optimization Using Extended Critical Path Analysis in Multithreaded Programs on Multiprocessors

By Broberg M. Lundberg L. Grahn H.

Journal of Parallel and Distributed Computing, Vol. 61, Iss. 1, 2001-01 ,pp. : 115-136

Academic Press

Access to resources Recommend Favorite

Confinement Properties for Multi-Threaded Programs

By Smith G. Volpano D.

Electronic Notes in Theoretical Computer Science, Vol. 20, Iss. 1, 2004-01 ,pp. : 1-11

Elsevier

Access to resources Recommend Favorite

Predicting potential deadlocks in multithreaded programs

CONCURRENCY AND COMPUTATION: PRACTICE & EXPERIENCE (ELECTRONIC), Vol. 27, Iss. 17, 2015-12 ,pp. : 5261-5287

John Wiley & Sons Inc

Access to resources Recommend Favorite

Cilk: An Efficient Multithreaded Runtime System

By Blumofe R.D. Joerg C.F. Kuszmaul B.C. Leiserson C.E. Randall K.H. Zhou Y.

Journal of Parallel and Distributed Computing, Vol. 37, Iss. 1, 1996-08 ,pp. : 55-69

Academic Press

Access to resources Recommend Favorite

A model, design, and implementation of an efficient multithreaded workflow execution engine with data streaming, caching, and storage constraints

By Czarnul Pawel

The Journal of Supercomputing, Vol. 63, Iss. 3, 2013-03 ,pp. : 919-945

Springer Publishing Company

Access to resources Recommend Favorite