article

A practical algorithm for static analysis of parallel programs

Author:

Charles E. McDowellAuthors Info & Claims

Journal of Parallel and Distributed Computing, Volume 6, Issue 3

Pages 515 - 536

https://doi.org/10.1016/0743-7315(89)90004-X

Published: 01 June 1989 Publication History

Abstract

No abstract available.

Cited By

View all

Kim YSong SJun Y(2014)VORDInternational Journal of Parallel Programming10.1007/s10766-013-0257-642:6(900-930)Online publication date: 1-Dec-2014
https://dl.acm.org/doi/10.1007/s10766-013-0257-6
Hwang GChang SChu H(2004)Technology for Testing Nondeterministic Client/Server Database ApplicationsIEEE Transactions on Software Engineering10.1109/TSE.2004.126573630:1(59-77)Online publication date: 1-Jan-2004
https://dl.acm.org/doi/10.1109/TSE.2004.1265736
Iyer SRamesh S(2001)ApportioningIEEE Transactions on Software Engineering10.1109/32.96534327:11(1037-1056)Online publication date: 1-Nov-2001
https://dl.acm.org/doi/10.1109/32.965343
Show More Cited By

Index Terms

A practical algorithm for static analysis of parallel programs

Recommendations

Practical aspects of reliability analysis for IC designs
DAC '06: Proceedings of the 43rd annual Design Automation Conference

Voltage analysis is a major part of design-in reliability as voltage is the driver for electric degradation in dielectrics and MOS devices. Particularly, voltage has the largest influence on gate oxide reliability. An important trend designers should be ...
Compiling data-parallel programs for clusters of SMPs: Research Articles
Compilers for Parallel Computers

Clusters of shared-memory multiprocessors (SMPs) have become the most promising parallel computing platforms for scientific computing. However, SMP clusters significantly increase the complexity of user application development when using the low-level ...
Parallel speedup estimates for serial programs

Comments

Information & Contributors

Information

Published In

cover image Journal of Parallel and Distributed Computing

Journal of Parallel and Distributed Computing Volume 6, Issue 3

June 1989

264 pages

ISSN:0743-7315

Editors:
Kai Hwang
Univ. of Southern California, Los Angeles
,
Howard Jay Siegel
Purdue Univ., Lafayette, IN

Issue’s Table of Contents

Publisher

Academic Press, Inc.

United States

Publication History

Published: 01 June 1989

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

18
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Kim YSong SJun Y(2014)VORDInternational Journal of Parallel Programming10.1007/s10766-013-0257-642:6(900-930)Online publication date: 1-Dec-2014
https://dl.acm.org/doi/10.1007/s10766-013-0257-6
Hwang GChang SChu H(2004)Technology for Testing Nondeterministic Client/Server Database ApplicationsIEEE Transactions on Software Engineering10.1109/TSE.2004.126573630:1(59-77)Online publication date: 1-Jan-2004
https://dl.acm.org/doi/10.1109/TSE.2004.1265736
Iyer SRamesh S(2001)ApportioningIEEE Transactions on Software Engineering10.1109/32.96534327:11(1037-1056)Online publication date: 1-Nov-2001
https://dl.acm.org/doi/10.1109/32.965343
Aiken AGay DMacQueen DCardelli L(1998)Barrier inferenceProceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/268946.268974(342-354)Online publication date: 21-Jan-1998
https://dl.acm.org/doi/10.1145/268946.268974
Knoop JSteffen BVollmer J(1996)Parallelism for freeACM Transactions on Programming Languages and Systems10.1145/229542.22954518:3(268-299)Online publication date: 1-May-1996
https://dl.acm.org/doi/10.1145/229542.229545
Corbett J(1996)Evaluating Deadlock Detection Methods for Concurrent SoftwareIEEE Transactions on Software Engineering10.1109/32.48907822:3(161-180)Online publication date: 1-Mar-1996
https://dl.acm.org/doi/10.1109/32.489078
Jeremiassen TEggers S(1994)Static Analysis of Barrier Synchronization in Explicitly Parallel ProgramsProceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques10.5555/647042.713809(171-180)Online publication date: 24-Aug-1994
https://dl.acm.org/doi/10.5555/647042.713809
Agrawala MJain D(1993)Comments on 'Temporal Logic-Based Deadlock Analysis for Ada' by G.M. Karam and R.J.A. BurhIEEE Transactions on Software Engineering10.1109/32.21483619:2(198-199)Online publication date: 1-Feb-1993
https://dl.acm.org/doi/10.1109/32.214836
Chow JHarrison WSethi R(1992)Compile-time analysis of parallel programs that share memoryProceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/143165.143194(130-141)Online publication date: 1-Feb-1992
https://dl.acm.org/doi/10.1145/143165.143194
Masticola SRyder B(1991)A model of Ada programs for static deadlock detection in polynomial timesACM SIGPLAN Notices10.1145/127695.12276826:12(97-107)Online publication date: 1-Dec-1991
https://dl.acm.org/doi/10.1145/127695.122768
Show More Cited By

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Index Terms

Recommendations

Practical aspects of reliability analysis for IC designs

Compiling data-parallel programs for clusters of SMPs: Research Articles

Parallel speedup estimates for serial programs

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations