×

zbMATH — the first resource for mathematics

International Journal of Parallel Programming

Short Title: Int. J. Parallel Program.
Publisher: Springer, New York, NY
ISSN: 0885-7458; 1573-7640/e
Online: http://link.springer.com/journal/volumesAndIssues/10766
Predecessor: International Journal of Computer & Information Sciences
Comments: No longer indexed
Documents Indexed: 276 Publications (1986–2011)
References Indexed: 199 Publications with 4,886 References.
all top 5

Authors

10 Ayguadé, Eduard
8 Gaudiot, Jean-Luc
4 Feautrier, Paul
4 Ferrer, Roger
4 Müller, Matthias S.
4 Pingali, Keshav K.
3 Ali, Khayri A. M.
3 an Mey, Dieter
3 Duran, Alejandro
3 Gupta, Rajiv M.
3 Kennedy, Ken
3 Labarta, Jesús
3 Palis, Michael A.
3 Valero, Mateo
2 Akl, Selim G.
2 Al-Mouhamed, Mayez A.
2 Badia, Rosa Maria
2 Banerjee, Utpal
2 Caromel, Denis
2 Carriero, Nicholas J.
2 Chapman, Barbara M.
2 De Souza, Alberto F.
2 Dehne, Frank
2 Dutt, Nikil D.
2 Eigenmann, Rudolf
2 Eles, Petru
2 Evripidou, Paraskevas
2 Gao, GuangRong
2 Gehringer, Edward F.
2 Gonzalez, Marc
2 Grelck, Clemens
2 Henkel, Jörg
2 Hoeflinger, Jay P.
2 Hu, Zhenjiang
2 Hwu, Wen-mei W.
2 Katz, Shmuel
2 Kumar, Vipin
2 Mahlke, Scott A.
2 Malony, Allen D.
2 Martorell, Xavier
2 Meira, Wagner jun.
2 Midkiff, Samuel P.
2 Nikolopoulos, Dimitrios S.
2 Orailoglu, Alex
2 Peng, Zebo
2 Polychronopoulos, Constantine D.
2 Rao, V. Nageshwara
2 Saltz, Joel H.
2 Sato, Mitsuhisa
2 Scholz, Sven-Bodo
2 Shende, Sameer S.
2 Stojmenović, Ivan
2 Torrellas, Josep
2 Wendelborn, Andrew L.
1 Abdi, Samar
1 Abraham, Santosh G.
1 Abu-Haimed, Hussam
1 Afsahi, Ahmad
1 Aggarwal, Aneesh
1 Agha, Gul A.
1 Agrawal, Dharma P.
1 Ahmed, Nawaaz
1 Aiello, Aldo
1 Ajjanagadde, Venkatramana G.
1 Almasi, George S.
1 Almeida, Vírgilio Augusto Fernandes
1 Anfossi, Domenico
1 Anik, Sadun
1 Araujo, Cristiano
1 Araujo, Guido
1 Armstrong, David N.
1 Arnold, Matthew
1 Ascheid, Gerd
1 Asenjo, Rafael
1 Atasu, Kubilay
1 Attali, Isabelle
1 Azevedo, Rodolfo
1 Baduel, Laurent
1 Baev, Ivan D.
1 Bainbridge, Tim
1 Bakker, Erwin M.
1 Balakrishnan, Varsha
1 Balarin, Felice
1 Banerjee, Prithviraj
1 Banerji, Dilip K.
1 Bansal, Arvind
1 Barros, Edna
1 Bartholomeu, Marcus
1 Bastoul, Cédric
1 Basumallik, Ayon
1 Baude, Françoise
1 Becker, Bernd
1 Beivide, Ramón
1 Bell, Ian
1 Bellens, Pieter
1 Ben-Asher, Yosi
1 Benini, Luca
1 Benkner, Siegfried
1 Benoit, Anne
1 Bertozzi, Davide
...and 597 more Authors

Publications by Year

Citations contained in zbMATH Open

101 Publications have been cited 346 times in 322 Documents Cited by Year
Modeling concurrency with partial orders. Zbl 0622.68034
Pratt, Vaughan
91
1986
Some efficient solutions to the affine scheduling problem. I: One- dimensional time. Zbl 0783.90050
Feautrier, Paul
14
1992
Dataflow analysis of array and scalar references. Zbl 0741.68075
Feautrier, Paul
13
1991
Parallel depth first search. II: Analysis. Zbl 0665.68049
Kumar, Vipin; Rao, V. Nageshwara
12
1987
On mapping processes to processors in distributed systems. Zbl 0632.68029
Pinter, Shlomit S.; Wolfstahl, Yaron
10
1987
A parallel graph partitioning algorithm for a message-passing multiprocessor. Zbl 0657.68073
Gilbert, John R.; Zmijewski, Earl
9
1987
Some efficient solutions to the affine scheduling problem. II: Multidimensional time. Zbl 0808.90081
Feautrier, Paul
9
1992
Optimal computation of prefix sums on a binary tree of processors. Zbl 0639.68032
Meijer, Henk; Akl, Selim G.
7
1987
Parallel consistent labeling algorithms. Zbl 0646.68104
Samal, Ashok; Henderson, Tom
7
1987
Parallel depth first search. I: Implementation. Zbl 0665.68048
Rao, V. Nageshwara; Kumar, Vipin
7
1987
Task scheduling for parallel sparse Cholesky factorization. Zbl 0702.68031
Geist, G. A.; Ng, E.
6
1989
Solution of sparse positive definite systems on a shared-memory multiprocessor. Zbl 0642.65019
George, Alan; Heath, Michael T.; Liu, Joseph; Ng, Esmond
5
1986
Type theory and concurrency. Zbl 0678.68017
Cleaveland, Rance; Panangaden, Prakash
5
1988
Snow: A parallel computing framework for the R system. Zbl 1191.68146
Tierney, Luke; Rossini, A. J.; Li, Na
5
2009
A parallel implementation of flat concurrent Prolog. Zbl 0614.68007
Taylor, Stephen; Safra, Shmuel; Shapiro, Ehud
4
1986
Two algorithms for barrier synchronization. Zbl 0662.68008
Hensgen, Debra; Finkel, Raphael; Manber, Udi
4
1988
Dense linear system: A parallel self-verified solver. Zbl 1154.68361
Kolberg, Mariana Luderitz; Fernandes, Luiz Gustavo; Claudio, Dalcidio Moraes
4
2008
Initial failures in distributed computations. Zbl 0702.68029
Taubenfeld, Gadi; Katz, Shmuel; Moran, Shlomo
4
1989
Parallel state-space search for a first solution with consistent linear speedups. Zbl 0723.68043
Kalé, L. V.; Saletore, Vikram A.
4
1990
Pseudosimulation: an algorithm for distributed simulation with limited memory. Zbl 0618.68028
Grošelj, Bojan; Tropper, Carl
3
1986
The butterfly barrier. Zbl 0641.68010
Brooks, Eugene D.
3
1986
Trace, failure and testing equivalences for communicating processes. Zbl 0646.68033
Main, Michael G.
3
1987
Modeling multithreaded applications using Petri nets. Zbl 1083.68578
Kavi, Krishna M.; Moshtaghi, Alireza; Chen, Deng-jyi
3
2002
MATLAB\(^{\circledR}\): A language for parallel computing. Zbl 1191.68892
Sharma, Gaurav; Martin, Jos
3
2009
Synthesizing transformations for locality enhancement of imperfectly-nested loop nests. Zbl 1019.68026
Ahmed, Nawaaz; Mateev, Nikolay; Pingali, Keshav
3
2001
Systolic parsing of context-free languages. Zbl 0722.68073
Langlois, Laurent
3
1990
An efficient all-parses systolic algorithm for general context-free parsing. Zbl 0723.68065
Ibarra, Oscar H.; Palis, Michael A.
3
1990
Denotational semantics of a para-functional programming language. Zbl 0607.68003
Hudak, Paul
2
1986
OR-parallel execution of Prolog on a multi-sequential machine. Zbl 0614.68019
Ali, Khayri A. M.
2
1986
Loop skewing: the wavefront method revisited. Zbl 0617.68011
Wolfe, Michael
2
1986
Optimal parallel algorithms for constructing and maintaining a balanced m-way search tree. Zbl 0638.68059
Dekel, Eliezer; Peng, Shietung; Iyenga, S. Sitharma
2
1986
Data dependence and its application to parallel processing. Zbl 0639.68019
Wolfe, Michael; Banerjee, Utpal
2
1987
An optimal parallel algorithm for triangulating a set of points in the plane. Zbl 0641.68068
Merks, Ed
2
1986
A pipeline technique for dynamic data transfer on a multiprocessor grid. Zbl 1079.68647
Souravlas, Stavros; Roumeliotis, Manos
2
2004
Parallel merge sort with load balancing. Zbl 1026.68160
Jeon, Minsoo; Kim, Dongseung
2
2003
Block red-black ordering: A new ordering strategy for parallelization of ICCG method. Zbl 1027.68149
Iwashita, Takeshi; Shimasaki, Masaaki
2
2003
Improving memory hierarchy performance for irregular applications using data and computation reorderings. Zbl 0977.68008
Mellor-Crummey, John; Whalley, David; Kennedy, Ken
2
2001
Automatic intra-register vectorization for the Intel\(^\circledR\) architecture. Zbl 1014.68048
Bik, Aart J. C.; Girkar, Milind; Grey, Paul M.; Tian, Xinmin
2
2002
Hybrid analysis: Static & dynamic memory reference analysis. Zbl 1067.68048
Rus, Silvius; Rauchwerger, Lawrence; Hoeflinger, Jay
2
2003
On the performance of randomized embedding of reproduction trees in static networks. Zbl 1074.68005
Li, Keqin
2
2003
Automatic application-specific instruction-set extensions under microarchitectural constraints. Zbl 1074.68533
Atasu, Kubilay; Pozzi, Laura; Ienne, Paolo
2
2003
Thread-parallel integrated test pattern generator utilizing satisfiability analysis. Zbl 1197.68026
Czutro, Alexander; Polian, Ilia; Lewis, Matthew; Engelke, Piet; Reddy, Sudhakar M.; Becker, Bernd
2
2010
Analysis and optimisation of hierarchically scheduled multiprocessor embedded systems. Zbl 1135.68343
Pop, Traian; Pop, Paul; Eles, Petru; Peng, Zebo
2
2008
Verification of system level model transformations. Zbl 1100.68061
Abdi, Samar; Gajski, Daniel
2
2006
SAC – a functional array language for efficient multi-threaded execution. Zbl 1102.68438
Grelck, Clemens; Scholz, Sven-Bodo
2
2006
Dense Gaussian networks: Suitable topologies for on-chip multiprocessors. Zbl 1103.68423
Martínez, Carmen; Vallejo, Enrique; Beivide, Ramón; Izu, Cruz; Moretó, Miquel
2
2006
High-performance hardware of the sliding-window method for parallel computation of modular exponentiations. Zbl 1186.68072
Nedjah, Nadia; de Macedo Mourelle, Luiza
2
2009
An operational semantics of occam. Zbl 0701.68072
Camilleri, Juanito
2
1989
Parallel general prefix computations with geometric, algebraic, and other applications. Zbl 0703.68054
Springsteel, Frederick; Stojmenović, Ivan
2
1990
Parallel algorithms for separation of two sets of points and recognition of digital convex polygons. Zbl 0783.68135
Sarkar, Dilip; Stojmenović, Ivan
2
1992
Optimal loop storage allocation for argument-fetching dataflow machines. Zbl 0804.68016
Ning, Qi; Gao, Guang R.
2
1992
Case studies in asynchronous data parallelism. Zbl 0806.68015
Carriero, Nicholas; Gelernter, David
2
1994
A singular loop transformation framework based on non-singular matrices. Zbl 0806.68024
Li, Wei; Pingali, Keshav
2
1994
High performance RDMA-based MPI implementation over InfiniBand. Zbl 1060.68571
Liu, Jiuxing; Wu, Jiesheng; Panda, Dhabaleswar K.
2
2004
A collaborative approach for multi-threaded SAT solving. Zbl 1191.68643
Vander-Swalmen, Pascal; Dequen, Gilles; Krajecki, Michaël
2
2009
Flat Parlog: A basis for comparison. Zbl 0639.68014
Foster, Ian; Taylor, Stephen
1
1987
A shared memory algorithm and proof for the generalized alternative construct in CSP. Zbl 0641.68041
Fujimoto, Richard M.; Feng, Hwa-chung
1
1987
An optimal speed-up parallel algorithm for triangulating simplicial point sets in space. Zbl 0641.68069
ElGindy, Hossam
1
1986
Parallel processing of biological sequence comparison algorithms. Zbl 0662.92013
Edmiston, Elizabeth W.; Core, Nolan G.; Saltz, Joel H.; Smith, Roger M.
1
1988
An extended ANSI C for processors with a multimedia extension. Zbl 1021.68018
Bulić, Patricio; Guštin, Veselko
1
2003
Data-centric transformations for locality enhancement. Zbl 0977.68016
Kodukula, Induprakas; Pingali, Keshav
1
2001
Enhancing functional and irregular parallelism: Stateful functions and their semantics. Zbl 0989.68085
Attali, Isabelle; Caromel, Denis; Chen, Yung-Syau; Gaudiot, Jean-Luc; Wendelborn, Andrew L.
1
2001
Data dependence analysis techniques for increased accuracy and extracted parallelism. Zbl 1074.68545
Kyriakopoulos, Konstantinos; Psarris, Kleanthis
1
2004
Alias analysis in Java with reference-set representation for high-performance computing. Zbl 1074.68540
Woo, Jongwook; Gaudiot, Jean-Luc; Wendelborn, Andrew L.
1
2004
Dual-thread speculation: A simple approach to uncover thread-level parallelism on a simultaneous multithreaded processor. Zbl 1147.68420
Warg, Fredrik; Stenstrom, Per
1
2008
The ParTriCluster algorithm for gene expression analysis. Zbl 1147.68672
Braga Araújo, Renata; Trielli Ferreira, Guilherme Henrique; Orair, Gustavo Henrique; Meira, Wagner; Celso Ferreira, Renato Antônio; Olavo Guedes Neto, Dorgival; Zaki, Mohammed Javeed
1
2008
Nebelung: Execution environment for transactional openmp. Zbl 1147.68438
Milovanović, Miloš; Ferrer, Roger; Gajinov, Vladimir; Unsal, Osman S.; Cristal, Adrian; Ayguadé, Eduard; Valero, Mateo
1
2008
Bandwidth efficient all-to-all broadcast on switched clusters. Zbl 1154.68323
Faraj, Ahmad; Patarasuk, Pitch; Yuan, Xin
1
2008
An experimental ontology server for an information grid environment. Zbl 1113.68430
Aiello, A.; Furnari, M. Mango; Massarotti, A.; Brandi, S.; Caputo, V.; Barone, V.
1
2006
FPGA based high performance double-precision matrix multiplication. Zbl 1206.68069
Kumar, Vinay B. Y.; Joshi, Siddharth; Patkar, Sachin B.; Narayanan, H.
1
2010
ForestGOMP: An efficient openMP environment for NUMA architectures. Zbl 1213.68141
Broquedis, François; Furmento, Nathalie; Goglin, Brice; Wacrenier, Pierre-André; Namyst, Raymond
1
2010
Comparison of OpenMP 3.0 and other task parallel frameworks on unbalanced task graphs. Zbl 1211.68076
Olivier, Stephen L.; Prins, Jan F.
1
2010
Complete formal specification of the OpenMP memory model. Zbl 1124.68336
Bronevetsky, Greg; De Supinski, Bronis R.
1
2007
A compositional framework for developing parallel programs on two-dimensional arrays. Zbl 1125.68036
Emoto, Kento; Hu, Zhenjiang; Kakehi, Kazuhiko; Takeichi, Masato
1
2007
Asynchronous typed object groups for grid programming. Zbl 1125.68034
Baduel, Laurent; Baude, Françoise; Caromel, Denis
1
2007
Nested parallelization with openMP. Zbl 1129.68417
an Mey, Dieter; Sarholz, Samuel; Terboven, Christian
1
2007
Dynamic data migration for structured AMR solvers. Zbl 1129.68404
Nordén, Markus; Löf, Henrik; Rantakokko, Jarmo; Holmgren, Sverker
1
2007
A fast and accurate technique for mapping parallel applications on stream-oriented MPSoC platforms with communication awareness. Zbl 1138.68335
Ruggiero, Martino; Guerri, Alessio; Bertozzi, Davide; Milano, Michela; Benini, Luca
1
2008
The ArchC architecture description language and tools. Zbl 1100.68528
Azevedo, Rodolfo; Rigo, Sandro; Bartholomeu, Marcus; Araujo, Guido; Araujo, Cristiano; Barros, Edna
1
2005
PEMPIs: A new methodology for modeling and prediction of MPI programs performance. Zbl 1100.68525
Midorikawa, Edson Toshimi; de Oliveira, Helio Marci; Laine, Jean Marcos
1
2005
Verification approach of Metropolis design framework for embedded systems. Zbl 1100.68585
Chen, Xi; Hsieh, Harry; Balarin, Felice
1
2006
A case for chip multiprocessors based on the data-driven multithreading model. Zbl 1103.68427
Trancoso, Pedro; Evripidou, Paraskevas; Stavrou, Kyriakos; Kyriacou, Costas
1
2006
The bottom-up implementation of one MILC lattice QCD application on the cell blade. Zbl 1183.68734
Shi, Guochun; Kindratenko, Volodymyr; Gottlieb, Steven
1
2009
A bipartite genetic algorithm for multi-processor task scheduling. Zbl 1183.68104
Bonyadi, Mohammad Reza; Ebrahimi Moghaddam, Mohsen
1
2009
A compile/Run-time environment for the automatic transformation of linked list data structures. Zbl 1191.68175
van der Spek, H. L. A.; Groot, S.; Bakker, E. M.; Wijshoff, H. A. G.
1
2008
A computational science IDE for HPC systems: design and applications. Zbl 1191.68142
Hudak, David E.; Ludban, Neil; Krishnamurthy, Ashok; Gadepally, Vijay; Samsi, Siddharth; Nehrbass, John
1
2009
Achieving scalable locality with time skewing. Zbl 1019.68024
Wonnacott, David
1
2002
Optimized unrolling of nested loops. Zbl 1019.68029
Sarkar, Vivek
1
2001
Hypercube embedding heuristics: An evaluation. Zbl 0703.68014
Chen, Woei-Kae; Stallmann, Matthias F. M.; Gehringer, Edward F.
1
1990
Derivation of efficient parallel programs: An example from genetic sequence analysis. Zbl 0703.68076
Singh, Ambuj K.; Overbeek, Ross
1
1990
Data flow analysis of distributed communicating processes. Zbl 0714.68003
Reif, John H.; Smolka, Scott A.
1
1990
Specification and design of shared resource arbitration. Zbl 0741.68034
Broy, Manfred; Streicher, Thomas
1
1991
Efficient algorithms for parallel sorting on mesh multicomputers. Zbl 0761.68043
Singh, V.; Kumar, V.; Agha, G.; Tomlinson, C.
1
1991
Extended parallelism in the Gröbner basis algorithm. Zbl 0788.68078
Schwab, Stephen A.
1
1992
Parallel processing of graph reachability in databases. Zbl 0784.68030
Wolfson, Ouri; Zhang, Weining; Butani, Harish; Kawaguchi, Akira; Mok, Kui
1
1992
A parallel algorithm to construct a dominance graph on nonoverlapping rectangles. Zbl 0784.68036
Sprague, Alan P.
1
1992
Randomized parallel list ranking for distributed memory multiprocessors. Zbl 1067.68792
Dehne, Frank; Song, Siang W.
1
1997
An exploration of instruction fetch requirement in out-of-order superscalar processors. Zbl 1006.68675
Michaud, Pierre; Seznec, André; Jourdan, Stéphan
1
2001
Brain derived vision algorithm on high performance architectures. Zbl 1192.68012
Moorkanikara Nageswaran, Jayram; Felch, Andrew; Chandrasekhar, Ashok; Dutt, Nikil; Granger, Richard; Nicolau, Alex; Veidenbaum, Alex
1
2009
An optimizing compiler for parallel chemistry simulations. Zbl 1191.68171
Cao, Jun; Goyal, Ayush; Novstrup, Krista A.; Midkiff, Samuel P.; Caruthers, James M.
1
2009
Thread-parallel integrated test pattern generator utilizing satisfiability analysis. Zbl 1197.68026
Czutro, Alexander; Polian, Ilia; Lewis, Matthew; Engelke, Piet; Reddy, Sudhakar M.; Becker, Bernd
2
2010
FPGA based high performance double-precision matrix multiplication. Zbl 1206.68069
Kumar, Vinay B. Y.; Joshi, Siddharth; Patkar, Sachin B.; Narayanan, H.
1
2010
ForestGOMP: An efficient openMP environment for NUMA architectures. Zbl 1213.68141
Broquedis, François; Furmento, Nathalie; Goglin, Brice; Wacrenier, Pierre-André; Namyst, Raymond
1
2010
Comparison of OpenMP 3.0 and other task parallel frameworks on unbalanced task graphs. Zbl 1211.68076
Olivier, Stephen L.; Prins, Jan F.
1
2010
Snow: A parallel computing framework for the R system. Zbl 1191.68146
Tierney, Luke; Rossini, A. J.; Li, Na
5
2009
MATLAB\(^{\circledR}\): A language for parallel computing. Zbl 1191.68892
Sharma, Gaurav; Martin, Jos
3
2009
High-performance hardware of the sliding-window method for parallel computation of modular exponentiations. Zbl 1186.68072
Nedjah, Nadia; de Macedo Mourelle, Luiza
2
2009
A collaborative approach for multi-threaded SAT solving. Zbl 1191.68643
Vander-Swalmen, Pascal; Dequen, Gilles; Krajecki, Michaël
2
2009
The bottom-up implementation of one MILC lattice QCD application on the cell blade. Zbl 1183.68734
Shi, Guochun; Kindratenko, Volodymyr; Gottlieb, Steven
1
2009
A bipartite genetic algorithm for multi-processor task scheduling. Zbl 1183.68104
Bonyadi, Mohammad Reza; Ebrahimi Moghaddam, Mohsen
1
2009
A computational science IDE for HPC systems: design and applications. Zbl 1191.68142
Hudak, David E.; Ludban, Neil; Krishnamurthy, Ashok; Gadepally, Vijay; Samsi, Siddharth; Nehrbass, John
1
2009
Brain derived vision algorithm on high performance architectures. Zbl 1192.68012
Moorkanikara Nageswaran, Jayram; Felch, Andrew; Chandrasekhar, Ashok; Dutt, Nikil; Granger, Richard; Nicolau, Alex; Veidenbaum, Alex
1
2009
An optimizing compiler for parallel chemistry simulations. Zbl 1191.68171
Cao, Jun; Goyal, Ayush; Novstrup, Krista A.; Midkiff, Samuel P.; Caruthers, James M.
1
2009
Interconnection network simulation using traces of MPI applications. Zbl 1191.68813
Miguel-Alonso, J.; Navaridas, J.; Ridruejo, F. J.
1
2009
Dense linear system: A parallel self-verified solver. Zbl 1154.68361
Kolberg, Mariana Luderitz; Fernandes, Luiz Gustavo; Claudio, Dalcidio Moraes
4
2008
Analysis and optimisation of hierarchically scheduled multiprocessor embedded systems. Zbl 1135.68343
Pop, Traian; Pop, Paul; Eles, Petru; Peng, Zebo
2
2008
Dual-thread speculation: A simple approach to uncover thread-level parallelism on a simultaneous multithreaded processor. Zbl 1147.68420
Warg, Fredrik; Stenstrom, Per
1
2008
The ParTriCluster algorithm for gene expression analysis. Zbl 1147.68672
Braga Araújo, Renata; Trielli Ferreira, Guilherme Henrique; Orair, Gustavo Henrique; Meira, Wagner; Celso Ferreira, Renato Antônio; Olavo Guedes Neto, Dorgival; Zaki, Mohammed Javeed
1
2008
Nebelung: Execution environment for transactional openmp. Zbl 1147.68438
Milovanović, Miloš; Ferrer, Roger; Gajinov, Vladimir; Unsal, Osman S.; Cristal, Adrian; Ayguadé, Eduard; Valero, Mateo
1
2008
Bandwidth efficient all-to-all broadcast on switched clusters. Zbl 1154.68323
Faraj, Ahmad; Patarasuk, Pitch; Yuan, Xin
1
2008
A fast and accurate technique for mapping parallel applications on stream-oriented MPSoC platforms with communication awareness. Zbl 1138.68335
Ruggiero, Martino; Guerri, Alessio; Bertozzi, Davide; Milano, Michela; Benini, Luca
1
2008
A compile/Run-time environment for the automatic transformation of linked list data structures. Zbl 1191.68175
van der Spek, H. L. A.; Groot, S.; Bakker, E. M.; Wijshoff, H. A. G.
1
2008
Complete formal specification of the OpenMP memory model. Zbl 1124.68336
Bronevetsky, Greg; De Supinski, Bronis R.
1
2007
A compositional framework for developing parallel programs on two-dimensional arrays. Zbl 1125.68036
Emoto, Kento; Hu, Zhenjiang; Kakehi, Kazuhiko; Takeichi, Masato
1
2007
Asynchronous typed object groups for grid programming. Zbl 1125.68034
Baduel, Laurent; Baude, Françoise; Caromel, Denis
1
2007
Nested parallelization with openMP. Zbl 1129.68417
an Mey, Dieter; Sarholz, Samuel; Terboven, Christian
1
2007
Dynamic data migration for structured AMR solvers. Zbl 1129.68404
Nordén, Markus; Löf, Henrik; Rantakokko, Jarmo; Holmgren, Sverker
1
2007
Verification of system level model transformations. Zbl 1100.68061
Abdi, Samar; Gajski, Daniel
2
2006
SAC – a functional array language for efficient multi-threaded execution. Zbl 1102.68438
Grelck, Clemens; Scholz, Sven-Bodo
2
2006
Dense Gaussian networks: Suitable topologies for on-chip multiprocessors. Zbl 1103.68423
Martínez, Carmen; Vallejo, Enrique; Beivide, Ramón; Izu, Cruz; Moretó, Miquel
2
2006
An experimental ontology server for an information grid environment. Zbl 1113.68430
Aiello, A.; Furnari, M. Mango; Massarotti, A.; Brandi, S.; Caputo, V.; Barone, V.
1
2006
Verification approach of Metropolis design framework for embedded systems. Zbl 1100.68585
Chen, Xi; Hsieh, Harry; Balarin, Felice
1
2006
A case for chip multiprocessors based on the data-driven multithreading model. Zbl 1103.68427
Trancoso, Pedro; Evripidou, Paraskevas; Stavrou, Kyriakos; Kyriacou, Costas
1
2006
The ArchC architecture description language and tools. Zbl 1100.68528
Azevedo, Rodolfo; Rigo, Sandro; Bartholomeu, Marcus; Araujo, Guido; Araujo, Cristiano; Barros, Edna
1
2005
PEMPIs: A new methodology for modeling and prediction of MPI programs performance. Zbl 1100.68525
Midorikawa, Edson Toshimi; de Oliveira, Helio Marci; Laine, Jean Marcos
1
2005
A pipeline technique for dynamic data transfer on a multiprocessor grid. Zbl 1079.68647
Souravlas, Stavros; Roumeliotis, Manos
2
2004
High performance RDMA-based MPI implementation over InfiniBand. Zbl 1060.68571
Liu, Jiuxing; Wu, Jiesheng; Panda, Dhabaleswar K.
2
2004
Data dependence analysis techniques for increased accuracy and extracted parallelism. Zbl 1074.68545
Kyriakopoulos, Konstantinos; Psarris, Kleanthis
1
2004
Alias analysis in Java with reference-set representation for high-performance computing. Zbl 1074.68540
Woo, Jongwook; Gaudiot, Jean-Luc; Wendelborn, Andrew L.
1
2004
Parallel merge sort with load balancing. Zbl 1026.68160
Jeon, Minsoo; Kim, Dongseung
2
2003
Block red-black ordering: A new ordering strategy for parallelization of ICCG method. Zbl 1027.68149
Iwashita, Takeshi; Shimasaki, Masaaki
2
2003
Hybrid analysis: Static & dynamic memory reference analysis. Zbl 1067.68048
Rus, Silvius; Rauchwerger, Lawrence; Hoeflinger, Jay
2
2003
On the performance of randomized embedding of reproduction trees in static networks. Zbl 1074.68005
Li, Keqin
2
2003
Automatic application-specific instruction-set extensions under microarchitectural constraints. Zbl 1074.68533
Atasu, Kubilay; Pozzi, Laura; Ienne, Paolo
2
2003
An extended ANSI C for processors with a multimedia extension. Zbl 1021.68018
Bulić, Patricio; Guštin, Veselko
1
2003
Modeling multithreaded applications using Petri nets. Zbl 1083.68578
Kavi, Krishna M.; Moshtaghi, Alireza; Chen, Deng-jyi
3
2002
Automatic intra-register vectorization for the Intel\(^\circledR\) architecture. Zbl 1014.68048
Bik, Aart J. C.; Girkar, Milind; Grey, Paul M.; Tian, Xinmin
2
2002
Achieving scalable locality with time skewing. Zbl 1019.68024
Wonnacott, David
1
2002
Synthesizing transformations for locality enhancement of imperfectly-nested loop nests. Zbl 1019.68026
Ahmed, Nawaaz; Mateev, Nikolay; Pingali, Keshav
3
2001
Improving memory hierarchy performance for irregular applications using data and computation reorderings. Zbl 0977.68008
Mellor-Crummey, John; Whalley, David; Kennedy, Ken
2
2001
Data-centric transformations for locality enhancement. Zbl 0977.68016
Kodukula, Induprakas; Pingali, Keshav
1
2001
Enhancing functional and irregular parallelism: Stateful functions and their semantics. Zbl 0989.68085
Attali, Isabelle; Caromel, Denis; Chen, Yung-Syau; Gaudiot, Jean-Luc; Wendelborn, Andrew L.
1
2001
Optimized unrolling of nested loops. Zbl 1019.68029
Sarkar, Vivek
1
2001
An exploration of instruction fetch requirement in out-of-order superscalar processors. Zbl 1006.68675
Michaud, Pierre; Seznec, André; Jourdan, Stéphan
1
2001
Randomized parallel list ranking for distributed memory multiprocessors. Zbl 1067.68792
Dehne, Frank; Song, Siang W.
1
1997
Case studies in asynchronous data parallelism. Zbl 0806.68015
Carriero, Nicholas; Gelernter, David
2
1994
A singular loop transformation framework based on non-singular matrices. Zbl 0806.68024
Li, Wei; Pingali, Keshav
2
1994
Some efficient solutions to the affine scheduling problem. I: One- dimensional time. Zbl 0783.90050
Feautrier, Paul
14
1992
Some efficient solutions to the affine scheduling problem. II: Multidimensional time. Zbl 0808.90081
Feautrier, Paul
9
1992
Parallel algorithms for separation of two sets of points and recognition of digital convex polygons. Zbl 0783.68135
Sarkar, Dilip; Stojmenović, Ivan
2
1992
Optimal loop storage allocation for argument-fetching dataflow machines. Zbl 0804.68016
Ning, Qi; Gao, Guang R.
2
1992
Extended parallelism in the Gröbner basis algorithm. Zbl 0788.68078
Schwab, Stephen A.
1
1992
Parallel processing of graph reachability in databases. Zbl 0784.68030
Wolfson, Ouri; Zhang, Weining; Butani, Harish; Kawaguchi, Akira; Mok, Kui
1
1992
A parallel algorithm to construct a dominance graph on nonoverlapping rectangles. Zbl 0784.68036
Sprague, Alan P.
1
1992
Dataflow analysis of array and scalar references. Zbl 0741.68075
Feautrier, Paul
13
1991
Specification and design of shared resource arbitration. Zbl 0741.68034
Broy, Manfred; Streicher, Thomas
1
1991
Efficient algorithms for parallel sorting on mesh multicomputers. Zbl 0761.68043
Singh, V.; Kumar, V.; Agha, G.; Tomlinson, C.
1
1991
Parallel state-space search for a first solution with consistent linear speedups. Zbl 0723.68043
Kalé, L. V.; Saletore, Vikram A.
4
1990
Systolic parsing of context-free languages. Zbl 0722.68073
Langlois, Laurent
3
1990
An efficient all-parses systolic algorithm for general context-free parsing. Zbl 0723.68065
Ibarra, Oscar H.; Palis, Michael A.
3
1990
Parallel general prefix computations with geometric, algebraic, and other applications. Zbl 0703.68054
Springsteel, Frederick; Stojmenović, Ivan
2
1990
Hypercube embedding heuristics: An evaluation. Zbl 0703.68014
Chen, Woei-Kae; Stallmann, Matthias F. M.; Gehringer, Edward F.
1
1990
Derivation of efficient parallel programs: An example from genetic sequence analysis. Zbl 0703.68076
Singh, Ambuj K.; Overbeek, Ross
1
1990
Data flow analysis of distributed communicating processes. Zbl 0714.68003
Reif, John H.; Smolka, Scott A.
1
1990
Task scheduling for parallel sparse Cholesky factorization. Zbl 0702.68031
Geist, G. A.; Ng, E.
6
1989
Initial failures in distributed computations. Zbl 0702.68029
Taubenfeld, Gadi; Katz, Shmuel; Moran, Shlomo
4
1989
An operational semantics of occam. Zbl 0701.68072
Camilleri, Juanito
2
1989
Type theory and concurrency. Zbl 0678.68017
Cleaveland, Rance; Panangaden, Prakash
5
1988
Two algorithms for barrier synchronization. Zbl 0662.68008
Hensgen, Debra; Finkel, Raphael; Manber, Udi
4
1988
Parallel processing of biological sequence comparison algorithms. Zbl 0662.92013
Edmiston, Elizabeth W.; Core, Nolan G.; Saltz, Joel H.; Smith, Roger M.
1
1988
Parallel depth first search. II: Analysis. Zbl 0665.68049
Kumar, Vipin; Rao, V. Nageshwara
12
1987
On mapping processes to processors in distributed systems. Zbl 0632.68029
Pinter, Shlomit S.; Wolfstahl, Yaron
10
1987
A parallel graph partitioning algorithm for a message-passing multiprocessor. Zbl 0657.68073
Gilbert, John R.; Zmijewski, Earl
9
1987
Optimal computation of prefix sums on a binary tree of processors. Zbl 0639.68032
Meijer, Henk; Akl, Selim G.
7
1987
Parallel consistent labeling algorithms. Zbl 0646.68104
Samal, Ashok; Henderson, Tom
7
1987
Parallel depth first search. I: Implementation. Zbl 0665.68048
Rao, V. Nageshwara; Kumar, Vipin
7
1987
Trace, failure and testing equivalences for communicating processes. Zbl 0646.68033
Main, Michael G.
3
1987
Data dependence and its application to parallel processing. Zbl 0639.68019
Wolfe, Michael; Banerjee, Utpal
2
1987
Flat Parlog: A basis for comparison. Zbl 0639.68014
Foster, Ian; Taylor, Stephen
1
1987
A shared memory algorithm and proof for the generalized alternative construct in CSP. Zbl 0641.68041
Fujimoto, Richard M.; Feng, Hwa-chung
1
1987
Modeling concurrency with partial orders. Zbl 0622.68034
Pratt, Vaughan
91
1986
Solution of sparse positive definite systems on a shared-memory multiprocessor. Zbl 0642.65019
George, Alan; Heath, Michael T.; Liu, Joseph; Ng, Esmond
5
1986
A parallel implementation of flat concurrent Prolog. Zbl 0614.68007
Taylor, Stephen; Safra, Shmuel; Shapiro, Ehud
4
1986
Pseudosimulation: an algorithm for distributed simulation with limited memory. Zbl 0618.68028
Grošelj, Bojan; Tropper, Carl
3
1986
The butterfly barrier. Zbl 0641.68010
Brooks, Eugene D.
3
1986
Denotational semantics of a para-functional programming language. Zbl 0607.68003
Hudak, Paul
2
1986
OR-parallel execution of Prolog on a multi-sequential machine. Zbl 0614.68019
Ali, Khayri A. M.
2
1986
Loop skewing: the wavefront method revisited. Zbl 0617.68011
Wolfe, Michael
2
1986
Optimal parallel algorithms for constructing and maintaining a balanced m-way search tree. Zbl 0638.68059
Dekel, Eliezer; Peng, Shietung; Iyenga, S. Sitharma
2
1986
An optimal parallel algorithm for triangulating a set of points in the plane. Zbl 0641.68068
Merks, Ed
2
1986
...and 1 more Documents
all top 5

Cited by 653 Authors

6 Feautrier, Paul
5 Degano, Pierpaolo
5 Peled, Doron A.
4 Abraham, Uri
4 De Nicola, Rocco
4 Ésik, Zoltán
4 Janicki, Ryszard
4 Koutny, Maciej
4 Moran, Shlomo
4 Shyamalkumar, Nariankadu D.
3 Ahn, Jae Youn
3 Chang, Maw-Shang
3 Desel, Jörg
3 Duff, Iain S.
3 Hung, Ruowei
3 Kalé, Laxmikant V.
3 Kleijn, Jetty H. C. M.
3 Lorenz, Robert G.
3 Mikulski, Łukasz
3 Priami, Corrado
3 Shapiro, Ehud Y.
3 Struth, Georg
3 Vaandrager, Frits W.
3 Vogler, Walter
3 Winskel, Glynn
2 Aceto, Luca
2 Adutskevich, E. V.
2 Alur, Rajeev
2 Amestoy, Patrick R.
2 Barsan, Corneliu
2 Becker, Bernd
2 Berkholz, Christoph
2 Bielecki, Włodzimierz
2 Boreale, Michele
2 Brookes, Stephen D.
2 Casado, Leocadio G.
2 Darte, Alain
2 Darve, Eric
2 Dutt, Shantanu
2 Egecioglu, Omer
2 Eles, Petru
2 ElGindy, Hossam A.
2 Evans, David John
2 Fernandes, Luiz Gustavo
2 Foster, Ian T.
2 Gastin, Paul
2 Gazagnaire, Thomas
2 Grelck, Clemens
2 Heinzl, René
2 Hélouët, Loïc
2 Jain, Bijendra N.
2 Jha, Pranava K.
2 Juhás, Gabriel
2 Kasif, Simon
2 Kirousis, Lefteris Miltiades
2 Kolberg, Mariana Luderitz
2 Kumar, Devendra
2 Kumar, Vipin
2 Kuske, Dietrich
2 Lehtonen, Erkko
2 L’Excellent, Jean-Yves
2 Li, Keqin
2 Li, Song
2 Lodaya, Kamal
2 Lopez, Florent
2 Madan, Bharat B.
2 McIver, Annabelle K.
2 Montanari, Ugo G.
2 Morin, Rémi
2 Nielsen, Mogens
2 Padmini, M. V.
2 Palkowski, Marek
2 Peng, Zebo
2 Pop, Paul
2 Pop, Traian
2 Pratt, Vaughan R.
2 Praveen, M.
2 Pugliese, Rosario
2 Rabehaja, Tahiry M.
2 Rajamanickam, Sivasankaran
2 Ramanujam, Jagannathan
2 Rao, V. Nageshwara
2 Roucairol, Catherine
2 Roumeliotis, Manos
2 Scholl, Christoph
2 Schwaha, Philipp
2 Selberherr, Siegfried
2 Souravlas, Stavros
2 Stimpfl, Franz
2 Street, Ross H.
2 Thiagarajan, Pazhamaneri Subramaniam
2 van Glabbeek, Robert Jan
2 Verbitsky, Oleg
2 Vivien, Frédéric
2 Wang, Tian
2 Wang, Xingyuan
2 Wimmer, Ralf D.
1 Aarts, Emile Hubertus Leonardus
1 Abdi, Samar
1 Adhianto, L.
...and 553 more Authors
all top 5

Cited in 101 Journals

49 International Journal of Parallel Programming
48 Theoretical Computer Science
11 Information Processing Letters
10 Discrete Applied Mathematics
6 Information and Computation
6 Formal Aspects of Computing
6 International Journal of Foundations of Computer Science
6 International Journal of Computer Mathematics
6 Distributed Computing
6 Parallel Algorithms and Applications
5 Information Sciences
5 Journal of Computer and System Sciences
5 New Generation Computing
4 Acta Informatica
4 Artificial Intelligence
4 Programming and Computer Software
3 Journal of Computational Physics
3 Journal of Parallel and Distributed Computing
3 Mathematical Problems in Engineering
3 Concurrency and Computation: Practice & Experience
3 International Journal of Parallel, Emergent and Distributed Systems
3 Journal of Logical and Algebraic Methods in Programming
2 International Journal of Modern Physics B
2 Computers & Mathematics with Applications
2 International Journal of Systems Science
2 ACM Transactions on Mathematical Software
2 Computing
2 Science of Computer Programming
2 Journal of Computer Science and Technology
2 Computers & Operations Research
2 Journal of Automated Reasoning
2 Journal of Scientific Computing
2 Real-Time Systems
2 MSCS. Mathematical Structures in Computer Science
2 Formal Methods in System Design
2 SIAM Journal on Scientific Computing
2 Computational and Applied Mathematics
2 The Journal of Logic and Algebraic Programming
2 North American Actuarial Journal
2 Logical Methods in Computer Science
1 Computer Methods in Applied Mechanics and Engineering
1 Computer Physics Communications
1 International Journal of Engineering Science
1 Journal of the Franklin Institute
1 Applied Mathematics and Computation
1 Automatica
1 Cahiers de Topologie et Géométrie Différentielle Catégoriques
1 International Journal for Numerical Methods in Engineering
1 Journal of Computational and Applied Mathematics
1 Notre Dame Journal of Formal Logic
1 European Journal of Combinatorics
1 Insurance Mathematics & Economics
1 Parallel Computing
1 Order
1 Journal of Symbolic Computation
1 Algorithmica
1 Applied Mathematics Letters
1 Annals of Operations Research
1 Multidimensional Systems and Signal Processing
1 Neural Computation
1 Concurrency: Practice and Experience
1 Journal of Global Optimization
1 Discrete Event Dynamic Systems
1 The Journal of Supercomputing
1 Communications in Statistics. Simulation and Computation
1 European Journal of Operational Research
1 Advances in Engineering Software
1 Cybernetics and Systems Analysis
1 Computational Optimization and Applications
1 Applied Categorical Structures
1 Journal of Mathematical Sciences (New York)
1 Numerical Linear Algebra with Applications
1 Journal of Functional Programming
1 Journal of Computational Neuroscience
1 Annals of Mathematics and Artificial Intelligence
1 International Transactions in Operational Research
1 Constraints
1 Mathematical Methods of Operations Research
1 Journal of the ACM
1 Wuhan University Journal of Natural Sciences (WUJNS)
1 Communications in Nonlinear Science and Numerical Simulation
1 International Journal of Applied Mathematics and Computer Science
1 Computational Geosciences
1 Lobachevskii Journal of Mathematics
1 RAIRO. Operations Research
1 The ANZIAM Journal
1 Theory and Practice of Logic Programming
1 Sādhanā
1 Natural Computing
1 ASTIN Bulletin
1 Multiscale Modeling & Simulation
1 ACM Transactions on Computational Logic
1 Journal of Discrete Algorithms
1 Acta Numerica
1 Parallel Processing Letters
1
1 Journal of Zhejiang University. Science A
1 Computational & Mathematical Methods in Medicine
1 Mathematical Programming Computation
1 Formalized Mathematics
...and 1 more Journals

Citations by Year