Log in

Relevant bibliographies by topics / Parallel programs / Journal articles

To see the other types of publications on this topic, follow the link: Parallel programs.

Journal articles on the topic 'Parallel programs'

Author: Grafiati

Published: 4 June 2021

Last updated: 26 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Parallel programs.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Rubin, Robert, Larry Rudolph, and Dror Zernik. "Debugging parallel programs in parallel." ACM SIGPLAN Notices 24, no. 1 (1989): 216–25. http://dx.doi.org/10.1145/69215.69236.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Prakash, S., E. Deelman, and R. Bagrodia. "Asynchronous parallel simulation of parallel programs." IEEE Transactions on Software Engineering 26, no. 5 (2000): 385–400. http://dx.doi.org/10.1109/32.846297.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Sridharan, Srinath, Gagan Gupta, and Gurindar S. Sohi. "Adaptive, efficient, parallel execution of parallel programs." ACM SIGPLAN Notices 49, no. 6 (2014): 169–80. http://dx.doi.org/10.1145/2666356.2594292.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Hoey, James, Irek Ulidowski, and Shoji Yuen. "Reversing Imperative Parallel Programs." Electronic Proceedings in Theoretical Computer Science 255 (August 31, 2017): 51–66. http://dx.doi.org/10.4204/eptcs.255.4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Albright, Larry, Jay Alan Jackson, and Joan Francioni. "AURALIZATION OF PARALLEL PROGRAMS." ACM SIGCHI Bulletin 23, no. 4 (1991): 86–87. http://dx.doi.org/10.1145/126729.1056083.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Saman, MD Yazid, and David J. Evans. "Verification of parallel programs." International Journal of Computer Mathematics 56, no. 1-2 (1995): 23–37. http://dx.doi.org/10.1080/00207169508804385.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Terekhov, Andrey N., Alexandr A. Golovan, and Mikhail A. Terekhov. "Parallel Programs in RuC Project." Computer Tools in Education, no. 2 (April 27, 2018): 25–30. http://dx.doi.org/10.32603/2071-2340-2018-2-25-30.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Martins, Francisco, Vasco Thudichum Vasconcelos, and Hans Hüttel. "Inferring Types for Parallel Programs." Electronic Proceedings in Theoretical Computer Science 246 (April 8, 2017): 28–36. http://dx.doi.org/10.4204/eptcs.246.6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Aschieri, Federico, Agata Ciabattoni, and Francesco Antonio Genco. "Classical Proofs as Parallel Programs." Electronic Proceedings in Theoretical Computer Science 277 (September 7, 2018): 43–57. http://dx.doi.org/10.4204/eptcs.277.4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Philippsen, Michael, Ernst A. Heinz, and Paul Lukowicz. "Compiling machine-independent parallel programs." ACM SIGPLAN Notices 28, no. 8 (1993): 99–108. http://dx.doi.org/10.1145/163114.163127.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Bouajjani, Ahmed, and Michael Emmi. "Analysis of Recursively Parallel Programs." ACM Transactions on Programming Languages and Systems 35, no. 3 (2013): 1–49. http://dx.doi.org/10.1145/2518188.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Magee, Jeff, Naranker Dulay, and Jeff Kramer. "Structuring parallel and distributed programs." Software Engineering Journal 8, no. 2 (1993): 73. http://dx.doi.org/10.1049/sej.1993.0011.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Veanes, Margus, Todd Mytkowicz, David Molnar, and Benjamin Livshits. "Data-Parallel String-Manipulating Programs." ACM SIGPLAN Notices 50, no. 1 (2015): 139–52. http://dx.doi.org/10.1145/2775051.2677014.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Francioni, Joan M., Larry Albright, and Jay Alan Jackson. "Debugging parallel programs using sound." ACM SIGPLAN Notices 26, no. 12 (1991): 68–75. http://dx.doi.org/10.1145/127695.122765.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Schwan, K., and J. Matthews. "Graphical views of parallel programs." ACM SIGSOFT Software Engineering Notes 11, no. 3 (1986): 51–64. http://dx.doi.org/10.1145/12923.12926.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Bach, M., M. Charney, R. Cohn, et al. "Analyzing Parallel Programs with Pin." Computer 43, no. 3 (2010): 34–41. http://dx.doi.org/10.1109/mc.2010.60.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Gupta, Gopal, Enrico Pontelli, Khayri A. M. Ali, Mats Carlsson, and Manuel V. Hermenegildo. "Parallel execution of prolog programs." ACM Transactions on Programming Languages and Systems 23, no. 4 (2001): 472–602. http://dx.doi.org/10.1145/504083.504085.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Paprzycki, M. "Structured development of parallel programs." IEEE Concurrency 7, no. 4 (1999): 88–89. http://dx.doi.org/10.1109/mcc.1999.806989.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Warren Burton, F., and David J. Simpson. "Memory requirements for parallel programs." Parallel Computing 26, no. 13-14 (2000): 1739–63. http://dx.doi.org/10.1016/s0167-8191(00)00053-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Lusk, Ewing. "Performance visualization for parallel programs." Theoretica Chimica Acta 84, no. 4-5 (1993): 377–84. http://dx.doi.org/10.1007/bf01113276.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Emrath, P. A., S. Ghosh, and D. A. Padua. "Detecting nondeterminacy in parallel programs." IEEE Software 9, no. 1 (1992): 69–77. http://dx.doi.org/10.1109/52.108783.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Bouajjani, Ahmed, and Michael Emmi. "Analysis of recursively parallel programs." ACM SIGPLAN Notices 47, no. 1 (2012): 203–14. http://dx.doi.org/10.1145/2103621.2103681.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Westrick, Sam, Rohan Yadav, Matthew Fluet, and Umut A. Acar. "Disentanglement in nested-parallel programs." Proceedings of the ACM on Programming Languages 4, POPL (2020): 1–32. http://dx.doi.org/10.1145/3371115.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Hackstadt, S. T., and A. D. Malony. "Visualizing parallel programs and performance." IEEE Computer Graphics and Applications 15, no. 4 (1995): 12–14. http://dx.doi.org/10.1109/38.391482.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Rao, Josyula R. "Reasoning about probabilistic parallel programs." ACM Transactions on Programming Languages and Systems 16, no. 3 (1994): 798–842. http://dx.doi.org/10.1145/177492.177724.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Deng, X., E. Koutsoupias, and P. MacKenzie. "Competitive Implementation of Parallel Programs." Algorithmica 23, no. 1 (1999): 14–30. http://dx.doi.org/10.1007/pl00009248.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Wu, Rongteng, Jizhou Sun, and Jinyan Chen. "Parallel execution time prediction of the multitask parallel programs." Performance Evaluation 65, no. 10 (2008): 701–13. http://dx.doi.org/10.1016/j.peva.2008.04.001.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Vasilev, V. S., A. I. Legalov, and S. V. Zykov. "Transformation of Functional Dataflow Parallel Programs into Imperative Programs." Automatic Control and Computer Sciences 56, no. 7 (2022): 815–27. http://dx.doi.org/10.3103/s0146411622070239.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

LOULERGUE, F. "DISTRIBUTED EVALUATION OF FUNCTIONAL BSP PROGRAMS." Parallel Processing Letters 11, no. 04 (2001): 423–37. http://dx.doi.org/10.1142/s0129626401000701.

Full text

Abstract:

The BS λp-calculus is a calculus of functional bulk synchronous parallel (BSP) programs. It is the basis for the design of a bulk synchronous parallel ML language. For data-parallel languages, there are two points of view: the programming model where a program is seen as a sequence of operations on parallel vectors, and the execution model where the program is a parallel composition of programs run on each processor of the parallel machine. BSP algorithms are defined by data-parallel algorithms with explicit (physical) processes in order to allow their parallel execution time to be estimated.

APA, Harvard, Vancouver, ISO, and other styles

30

Susungi, Adilla, and Claude Tadonki. "Intermediate Representations for Explicitly Parallel Programs." ACM Computing Surveys 54, no. 5 (2021): 1–24. http://dx.doi.org/10.1145/3452299.

Full text

Abstract:

While compilers generally support parallel programming languages and APIs, their internal program representations are mostly designed from the sequential programs standpoint (exceptions include source-to-source parallel compilers, for instance). This makes the integration of compilation techniques dedicated to parallel programs more challenging. In addition, parallelism has various levels and different targets, each of them with specific characteristics and constraints. With the advent of multi-core processors and general purpose accelerators, parallel computing is now a common and pervasive c

APA, Harvard, Vancouver, ISO, and other styles

31

Zibarov, Alexey. "VISUALIZATION OF PARALLEL AND DISTRIBUTED PROGRAMS." Journal of Flow Visualization and Image Processing 21, no. 1-04 (2014): 1–11. http://dx.doi.org/10.1615/jflowvisimageproc.v21.i1-04.20.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Zibarov, Alexey. "VISUALIZATION OF PARALLEL AND DISTRIBUTED PROGRAMS." Journal of Flow Visualization and Image Processing 21, no. 1-04 (2014): 1–11. http://dx.doi.org/10.1615/jflowvisimageproc.v21.i1-4.20.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Bakhtin, Vladimir Aleksandrovich, Dmitry Aleksandrovich Zakharov, Aleksandr Aleksandrovich Ermichev, and Victor Alekseevich Krukov. "Debugging Parallel Programs in DVM-System." Russian Digital Libraries Journal 23, no. 4 (2020): 866–86. http://dx.doi.org/10.26907/1562-5419-2020-23-4-866-886.

Full text

Abstract:

DVM-system is designed for the development of parallel programs of scientific and technical calculations in the C-DVMH and Fortran-DVMH languages. These languages use a single DVMH-model of parallel programming model and are an extension of the standard C and Fortran languages with parallelism specifications in the form of compiler directives. The DVMH model makes it possible to create efficient parallel programs for heterogeneous computing clusters, in the nodes of which accelerators, graphic processors or Intel Xeon Phi coprocessors can be used as computing devices along with universal multi

APA, Harvard, Vancouver, ISO, and other styles

34

Garanina, Natalia Olegovna, and Sergei Petrovich Gorlatch. "Autotuning Parallel Programs by Model Checking." Modeling and Analysis of Information Systems 28, no. 4 (2021): 338–55. http://dx.doi.org/10.18255/1818-1015-2021-4-338-355.

Full text

Abstract:

The paper presents a new approach to autotuning data-parallel programs. Autotuning is a search for optimal program settings which maximize its performance. The novelty of the approach lies in the use of the model checking method to find the optimal tuning parameters by the method of counterexamples. In our work, we abstract from specific programs and specific processors by defining their representative abstract patterns. Our method of counterexamples implements the following four steps. At the first step, an execution model of an abstract program on an abstract processor is described in the la

APA, Harvard, Vancouver, ISO, and other styles

35

Raghunathan, Ram, Stefan K. Muller, Umut A. Acar, and Guy Blelloch. "Hierarchical memory management for parallel programs." ACM SIGPLAN Notices 51, no. 9 (2016): 392–406. http://dx.doi.org/10.1145/3022670.2951935.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Acar, Umut A., Vitaly Aksenov, Arthur Charguéraud, and Mike Rainey. "Performance challenges in modular parallel programs." ACM SIGPLAN Notices 53, no. 1 (2018): 381–82. http://dx.doi.org/10.1145/3200691.3178516.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

JIANXIN, XIONG, WANG DINGXING, SHEN MEIMING, and ZHENG WEIMIN. "ON-LINE DEBUGGING OF PARALLEL PROGRAMS." Parallel Algorithms and Applications 9, no. 3-4 (1996): 227–36. http://dx.doi.org/10.1080/10637199608915578.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Haque, W. "Concurrent Deadlock Detection In Parallel Programs." International Journal of Computers and Applications 28, no. 1 (2006): 19–25. http://dx.doi.org/10.1080/1206212x.2006.11441784.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Yingchun Zhu and L. J. Hendren. "Locality analysis for parallel C programs." IEEE Transactions on Parallel and Distributed Systems 10, no. 2 (1999): 99–114. http://dx.doi.org/10.1109/71.752778.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Heath, M. T., and J. A. Etheridge. "Visualizing the performance of parallel programs." IEEE Software 8, no. 5 (1991): 29–39. http://dx.doi.org/10.1109/52.84214.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Szelenyi, F., and V. Zecca. "Visualizing parallel execution of FORTRAN programs." IBM Journal of Research and Development 35, no. 1.2 (1991): 270–82. http://dx.doi.org/10.1147/rd.351.0270.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Zhu, Yingchun, and Laurie J. Hendren. "Communication optimizations for parallel C programs." ACM SIGPLAN Notices 33, no. 5 (1998): 199–211. http://dx.doi.org/10.1145/277652.277723.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Helmbold, David P., and Charles E. McDowell. "Computing reachable states of parallel programs." ACM SIGPLAN Notices 26, no. 12 (1991): 76–84. http://dx.doi.org/10.1145/127695.122766.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Hickey, Timothy J., Jacques Cohen, Hirofumi Hotta, and Thierry PetitJean. "Computer-assisted microanalysis of parallel programs." ACM Transactions on Programming Languages and Systems 14, no. 1 (1992): 54–106. http://dx.doi.org/10.1145/111186.126699.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Spoonhower, Daniel, Guy E. Blelloch, Robert Harper, and Phillip B. Gibbons. "Space profiling for parallel functional programs." ACM SIGPLAN Notices 43, no. 9 (2008): 253–64. http://dx.doi.org/10.1145/1411203.1411240.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Leblanc and Mellor-Crummey. "Debugging Parallel Programs with Instant Replay." IEEE Transactions on Computers C-36, no. 4 (1987): 471–82. http://dx.doi.org/10.1109/tc.1987.1676929.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

KOUCHNARENKO, O., and P. SCHNOEBELEN. "A model for recursive-parallel programs." Electronic Notes in Theoretical Computer Science 5 (April 2000): 1. http://dx.doi.org/10.1016/s1571-0661(05)01235-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Kouchnarenko, Olga, and Ph Schnoebelen. "A model for recursive-parallel programs." Electronic Notes in Theoretical Computer Science 5 (1997): 30. http://dx.doi.org/10.1016/s1571-0661(05)82512-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Chabbi, Milind, Wim Lavrijsen, Wibe de Jong, Koushik Sen, John Mellor-Crummey, and Costin Iancu. "Barrier elision for production parallel programs." ACM SIGPLAN Notices 50, no. 8 (2015): 109–19. http://dx.doi.org/10.1145/2858788.2688502.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Blanco, V., J. A. González, C. León, C. Rodrı́guez, G. Rodrı́guez, and M. Printista. "Predicting the performance of parallel programs." Parallel Computing 30, no. 3 (2004): 337–56. http://dx.doi.org/10.1016/j.parco.2003.11.004.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!