Modeling concurrency with partial orders. Zbl 0622.68034
Pratt, Vaughan |
|
1986
|
Some efficient solutions to the affine scheduling problem. I: One- dimensional time. Zbl 0783.90050
Feautrier, Paul |
|
1992
|
Dataflow analysis of array and scalar references. Zbl 0741.68075
Feautrier, Paul |
|
1991
|
Some efficient solutions to the affine scheduling problem. II: Multidimensional time. Zbl 0808.90081
Feautrier, Paul |
|
1992
|
Parallel depth first search. II: Analysis. Zbl 0665.68049
Kumar, Vipin; Rao, V. Nageshwara |
|
1987
|
On mapping processes to processors in distributed systems. Zbl 0632.68029
Pinter, Shlomit S.; Wolfstahl, Yaron |
|
1987
|
A parallel graph partitioning algorithm for a message-passing multiprocessor. Zbl 0657.68073
Gilbert, John R.; Zmijewski, Earl |
|
1987
|
Parallel depth first search. I: Implementation. Zbl 0665.68048
Rao, V. Nageshwara; Kumar, Vipin |
|
1987
|
MATLAB\(^{\circledR}\): A language for parallel computing. Zbl 1191.68892
Sharma, Gaurav; Martin, Jos |
|
2009
|
Initial failures in distributed computations. Zbl 0702.68029
Taubenfeld, Gadi; Katz, Shmuel; Moran, Shlomo |
|
1989
|
Two algorithms for barrier synchronization. Zbl 0662.68008
Hensgen, Debra; Finkel, Raphael; Manber, Udi |
|
1988
|
Parallel consistent labeling algorithms. Zbl 0646.68104
Samal, Ashok; Henderson, Tom |
|
1987
|
Optimal computation of prefix sums on a binary tree of processors. Zbl 0639.68032
Meijer, Henk; Akl, Selim G. |
|
1987
|
A parallel implementation of flat concurrent Prolog. Zbl 0614.68007
Taylor, Stephen; Safra, Shmuel; Shapiro, Ehud |
|
1986
|
Task scheduling for parallel sparse Cholesky factorization. Zbl 0702.68031
Geist, G. A.; Ng, E. |
|
1989
|
Modeling multithreaded applications using Petri nets. Zbl 1083.68578
Kavi, Krishna M.; Moshtaghi, Alireza; Chen, Deng-jyi |
|
2002
|
Snow: A parallel computing framework for the R system. Zbl 1191.68146
Tierney, Luke; Rossini, A. J.; Li, Na |
|
2009
|
Type theory and concurrency. Zbl 0678.68017
Cleaveland, Rance; Panangaden, Prakash |
|
1988
|
Solution of sparse positive definite systems on a shared-memory multiprocessor. Zbl 0642.65019
George, Alan; Heath, Michael T.; Liu, Joseph; Ng, Esmond |
|
1986
|
Parallel state-space search for a first solution with consistent linear speedups. Zbl 0723.68043
Kalé, L. V.; Saletore, Vikram A. |
|
1990
|
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 |
|
2010
|
Dense linear system: A parallel self-verified solver. Zbl 1154.68361
Kolberg, Mariana Luderitz; Fernandes, Luiz Gustavo; Claudio, Dalcidio Moraes |
|
2008
|
Dense Gaussian networks: Suitable topologies for on-chip multiprocessors. Zbl 1103.68423
Martínez, Carmen; Vallejo, Enrique; Beivide, Ramón; Izu, Cruz; Moretó, Miquel |
|
2006
|
Trace, failure and testing equivalences for communicating processes. Zbl 0646.68033
Main, Michael G. |
|
1987
|
Verification of system level model transformations. Zbl 1100.68061
Abdi, Samar; Gajski, Daniel |
|
2006
|
A collaborative approach for multi-threaded SAT solving. Zbl 1191.68643
Vander-Swalmen, Pascal; Dequen, Gilles; Krajecki, Michaël |
|
2009
|
An operational semantics of occam. Zbl 0701.68072
Camilleri, Juanito |
|
1989
|
Systolic parsing of context-free languages. Zbl 0722.68073
Langlois, Laurent |
|
1990
|
Semi-automatic composition of loop transformations for deep parallelism and memory hierarchies. Zbl 1105.68019
Girbal, Sylvain; Vasilache, Nicolas; Bastoul, Cédric; Cohen, Albert; Parello, David; Sigler, Marc; Temam, Olivier |
|
2006
|
Pseudosimulation: an algorithm for distributed simulation with limited memory. Zbl 0618.68028
Grošelj, Bojan; Tropper, Carl |
|
1986
|
Loop skewing: the wavefront method revisited. Zbl 0617.68011
Wolfe, Michael |
|
1986
|
The butterfly barrier. Zbl 0641.68010
Brooks, Eugene D. |
|
1986
|
Nested parallelization with openMP. Zbl 1129.68417
an Mey, Dieter; Sarholz, Samuel; Terboven, Christian |
|
2007
|
Data flow analysis of distributed communicating processes. Zbl 0714.68003
Reif, John H.; Smolka, Scott A. |
|
1990
|
Improving memory hierarchy performance for irregular applications using data and computation reorderings. Zbl 0977.68008
Mellor-Crummey, John; Whalley, David; Kennedy, Ken |
|
2001
|
Synthesizing transformations for locality enhancement of imperfectly-nested loop nests. Zbl 1019.68026
Ahmed, Nawaaz; Mateev, Nikolay; Pingali, Keshav |
|
2001
|
Hybrid analysis: Static & dynamic memory reference analysis. Zbl 1067.68048
Rus, Silvius; Rauchwerger, Lawrence; Hoeflinger, Jay |
|
2003
|
An efficient all-parses systolic algorithm for general context-free parsing. Zbl 0723.68065
Ibarra, Oscar H.; Palis, Michael A. |
|
1990
|
High performance RDMA-based MPI implementation over InfiniBand. Zbl 1060.68571
Liu, Jiuxing; Wu, Jiesheng; Panda, Dhabaleswar K. |
|
2004
|
High-performance hardware of the sliding-window method for parallel computation of modular exponentiations. Zbl 1186.68072
Nedjah, Nadia; de Macedo Mourelle, Luiza |
|
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. |
|
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 |
|
2008
|
Analysis and optimisation of hierarchically scheduled multiprocessor embedded systems. Zbl 1135.68343
Pop, Traian; Pop, Paul; Eles, Petru; Peng, Zebo |
|
2008
|
OR-parallel execution of Prolog on a multi-sequential machine. Zbl 0614.68019
Ali, Khayri A. M. |
|
1986
|
Optimal parallel algorithms for constructing and maintaining a balanced m-way search tree. Zbl 0638.68059
Dekel, Eliezer; Peng, Shietung; Iyenga, S. Sitharma |
|
1986
|
Data dependence and its application to parallel processing. Zbl 0639.68019
Wolfe, Michael; Banerjee, Utpal |
|
1987
|
SAC – a functional array language for efficient multi-threaded execution. Zbl 1102.68438
Grelck, Clemens; Scholz, Sven-Bodo |
|
2006
|
An optimal parallel algorithm for triangulating a set of points in the plane. Zbl 0641.68068
Merks, Ed |
|
1986
|
An optimal speed-up parallel algorithm for triangulating simplicial point sets in space. Zbl 0641.68069
ElGindy, Hossam |
|
1986
|
Denotational semantics of a para-functional programming language. Zbl 0607.68003
Hudak, Paul |
|
1986
|
Parallel general prefix computations with geometric, algebraic, and other applications. Zbl 0703.68054
Springsteel, Frederick; Stojmenović, Ivan |
|
1990
|
Supporting openmp on cell. Zbl 1148.68338
O’brien, Kevin; O’brien, Kathryn; Sura, Zehra; Chen, Tong; Zhang, Tao |
|
2008
|
Case studies in asynchronous data parallelism. Zbl 0806.68015
Carriero, Nicholas; Gelernter, David |
|
1994
|
A singular loop transformation framework based on non-singular matrices. Zbl 0806.68024
Li, Wei; Pingali, Keshav |
|
1994
|
Automatic intra-register vectorization for the Intel\(^\circledR\) architecture. Zbl 1014.68048
Bik, Aart J. C.; Girkar, Milind; Grey, Paul M.; Tian, Xinmin |
|
2002
|
Parallel algorithms for separation of two sets of points and recognition of digital convex polygons. Zbl 0783.68135
Sarkar, Dilip; Stojmenović, Ivan |
|
1992
|
Optimal loop storage allocation for argument-fetching dataflow machines. Zbl 0804.68016
Ning, Qi; Gao, Guang R. |
|
1992
|
Achieving scalable locality with time skewing. Zbl 1019.68024
Wonnacott, David |
|
2002
|
Parallel merge sort with load balancing. Zbl 1026.68160
Jeon, Minsoo; Kim, Dongseung |
|
2003
|
Block red-black ordering: A new ordering strategy for parallelization of ICCG method. Zbl 1027.68149
Iwashita, Takeshi; Shimasaki, Masaaki |
|
2003
|
A pipeline technique for dynamic data transfer on a multiprocessor grid. Zbl 1079.68647
Souravlas, Stavros; Roumeliotis, Manos |
|
2004
|
On the performance of randomized embedding of reproduction trees in static networks. Zbl 1074.68005
Li, Keqin |
|
2003
|
Automatic application-specific instruction-set extensions under microarchitectural constraints. Zbl 1074.68533
Atasu, Kubilay; Pozzi, Laura; Ienne, Paolo |
|
2003
|
Parallel processing of biological sequence comparison algorithms. Zbl 0662.92013
Edmiston, Elizabeth W.; Core, Nolan G.; Saltz, Joel H.; Smith, Roger M. |
|
1988
|
FPGA based high performance double-precision matrix multiplication. Zbl 1206.68069
Kumar, Vinay B. Y.; Joshi, Siddharth; Patkar, Sachin B.; Narayanan, H. |
|
2010
|
An optimizing compiler for parallel chemistry simulations. Zbl 1191.68171
Cao, Jun; Goyal, Ayush; Novstrup, Krista A.; Midkiff, Samuel P.; Caruthers, James M. |
|
2009
|
Interconnection network simulation using traces of MPI applications. Zbl 1191.68813
Miguel-Alonso, J.; Navaridas, J.; Ridruejo, F. J. |
|
2009
|
The bottom-up implementation of one MILC lattice QCD application on the cell blade. Zbl 1183.68734
Shi, Guochun; Kindratenko, Volodymyr; Gottlieb, Steven |
|
2009
|
A bipartite genetic algorithm for multi-processor task scheduling. Zbl 1183.68104
Bonyadi, Mohammad Reza; Ebrahimi Moghaddam, Mohsen |
|
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 |
|
2009
|
Extending OpenMP to survive the heterogeneous multi-core era. Zbl 1211.68109
Ayguadé, Eduard; Badia, Rosa M.; Bellens, Pieter; Cabrera, Daniel; Duran, Alejandro; Ferrer, Roger; Gonzàlez, Marc; Igual, Francisco; Jiménez-González, Daniel; Labarta, Jesús; Martinell, Luis; Martorell, Xavier; Mayo, Rafael; Pérez, Josep M.; Planas, Judit; Quintana-Ortí, Enrique S. |
|
2010
|
ForestGOMP: An efficient openMP environment for NUMA architectures. Zbl 1213.68141
Broquedis, François; Furmento, Nathalie; Goglin, Brice; Wacrenier, Pierre-André; Namyst, Raymond |
|
2010
|
Performance evaluation of mixed-mode OpenMP/MPI implementations. Zbl 1213.68143
Bull, J. Mark; Enright, James; Guo, Xu; Maynard, Chris; Reid, Fiona |
|
2010
|
Comparison of OpenMP 3.0 and other task parallel frameworks on unbalanced task graphs. Zbl 1211.68076
Olivier, Stephen L.; Prins, Jan F. |
|
2010
|
Asynchronous stream processing with S-Net. Zbl 1185.68216
Grelck, Clemens; Scholz, Sven-Bodo; Shafarenko, Alex |
|
2010
|
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 |
|
2009
|
Efficient algorithms for parallel sorting on mesh multicomputers. Zbl 0761.68043
Singh, V.; Kumar, V.; Agha, G.; Tomlinson, C. |
|
1991
|
Dual-thread speculation: A simple approach to uncover thread-level parallelism on a simultaneous multithreaded processor. Zbl 1147.68420
Warg, Fredrik; Stenstrom, Per |
|
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 |
|
2008
|
The ArchC architecture description language and tools. Zbl 1100.68528
Azevedo, Rodolfo; Rigo, Sandro; Bartholomeu, Marcus; Araujo, Guido; Araujo, Cristiano; Barros, Edna |
|
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 |
|
2005
|
Hypercube embedding heuristics: An evaluation. Zbl 0703.68014
Chen, Woei-Kae; Stallmann, Matthias F. M.; Gehringer, Edward F. |
|
1990
|
Scalable and structured scheduling. Zbl 1109.68021
Feautrier, Paul |
|
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. |
|
2006
|
High-scalability parallelization of a molecular modeling application: Performance and productivity comparison between OpenMP and MPI implementations. Zbl 1130.68304
Brown, Russell; Sharapov, Ilya |
|
2007
|
Complete formal specification of the OpenMP memory model. Zbl 1124.68336
Bronevetsky, Greg; De Supinski, Bronis R. |
|
2007
|
Flat Parlog: A basis for comparison. Zbl 0639.68014
Foster, Ian; Taylor, Stephen |
|
1987
|
A shared memory algorithm and proof for the generalized alternative construct in CSP. Zbl 0641.68041
Fujimoto, Richard M.; Feng, Hwa-chung |
|
1987
|
A compositional framework for developing parallel programs on two-dimensional arrays. Zbl 1125.68036
Emoto, Kento; Hu, Zhenjiang; Kakehi, Kazuhiko; Takeichi, Masato |
|
2007
|
Asynchronous typed object groups for grid programming. Zbl 1125.68034
Baduel, Laurent; Baude, Françoise; Caromel, Denis |
|
2007
|
OpenMP implementation of SPICE3 circuit simulator. Zbl 1129.68561
Weng, Tien-Hsiung; Perng, Ruey-Kuen; Chapman, Barbara |
|
2007
|
Dynamic data migration for structured AMR solvers. Zbl 1129.68404
Nordén, Markus; Löf, Henrik; Rantakokko, Jarmo; Holmgren, Sverker |
|
2007
|
Derivation of efficient parallel programs: An example from genetic sequence analysis. Zbl 0703.68076
Singh, Ambuj K.; Overbeek, Ross |
|
1990
|
Verification approach of Metropolis design framework for embedded systems. Zbl 1100.68585
Chen, Xi; Hsieh, Harry; Balarin, Felice |
|
2006
|
Nebelung: Execution environment for transactional openmp. Zbl 1147.68438
Milovanović, Miloš; Ferrer, Roger; Gajinov, Vladimir; Unsal, Osman S.; Cristal, Adrian; Ayguadé, Eduard; Valero, Mateo |
|
2008
|
Bandwidth efficient all-to-all broadcast on switched clusters. Zbl 1154.68323
Faraj, Ahmad; Patarasuk, Pitch; Yuan, Xin |
|
2008
|
Specification and design of shared resource arbitration. Zbl 0741.68034
Broy, Manfred; Streicher, Thomas |
|
1991
|
Parallel processing of graph reachability in databases. Zbl 0784.68030
Wolfson, Ouri; Zhang, Weining; Butani, Harish; Kawaguchi, Akira; Mok, Kui |
|
1992
|
A parallel algorithm to construct a dominance graph on nonoverlapping rectangles. Zbl 0784.68036
Sprague, Alan P. |
|
1992
|
Randomized parallel list ranking for distributed memory multiprocessors. Zbl 1067.68792
Dehne, Frank; Song, Siang W. |
|
1997
|
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 |
|
2010
|
FPGA based high performance double-precision matrix multiplication. Zbl 1206.68069
Kumar, Vinay B. Y.; Joshi, Siddharth; Patkar, Sachin B.; Narayanan, H. |
|
2010
|
Extending OpenMP to survive the heterogeneous multi-core era. Zbl 1211.68109
Ayguadé, Eduard; Badia, Rosa M.; Bellens, Pieter; Cabrera, Daniel; Duran, Alejandro; Ferrer, Roger; Gonzàlez, Marc; Igual, Francisco; Jiménez-González, Daniel; Labarta, Jesús; Martinell, Luis; Martorell, Xavier; Mayo, Rafael; Pérez, Josep M.; Planas, Judit; Quintana-Ortí, Enrique S. |
|
2010
|
ForestGOMP: An efficient openMP environment for NUMA architectures. Zbl 1213.68141
Broquedis, François; Furmento, Nathalie; Goglin, Brice; Wacrenier, Pierre-André; Namyst, Raymond |
|
2010
|
Performance evaluation of mixed-mode OpenMP/MPI implementations. Zbl 1213.68143
Bull, J. Mark; Enright, James; Guo, Xu; Maynard, Chris; Reid, Fiona |
|
2010
|
Comparison of OpenMP 3.0 and other task parallel frameworks on unbalanced task graphs. Zbl 1211.68076
Olivier, Stephen L.; Prins, Jan F. |
|
2010
|
Asynchronous stream processing with S-Net. Zbl 1185.68216
Grelck, Clemens; Scholz, Sven-Bodo; Shafarenko, Alex |
|
2010
|
MATLAB\(^{\circledR}\): A language for parallel computing. Zbl 1191.68892
Sharma, Gaurav; Martin, Jos |
|
2009
|
Snow: A parallel computing framework for the R system. Zbl 1191.68146
Tierney, Luke; Rossini, A. J.; Li, Na |
|
2009
|
A collaborative approach for multi-threaded SAT solving. Zbl 1191.68643
Vander-Swalmen, Pascal; Dequen, Gilles; Krajecki, Michaël |
|
2009
|
High-performance hardware of the sliding-window method for parallel computation of modular exponentiations. Zbl 1186.68072
Nedjah, Nadia; de Macedo Mourelle, Luiza |
|
2009
|
An optimizing compiler for parallel chemistry simulations. Zbl 1191.68171
Cao, Jun; Goyal, Ayush; Novstrup, Krista A.; Midkiff, Samuel P.; Caruthers, James M. |
|
2009
|
Interconnection network simulation using traces of MPI applications. Zbl 1191.68813
Miguel-Alonso, J.; Navaridas, J.; Ridruejo, F. J. |
|
2009
|
The bottom-up implementation of one MILC lattice QCD application on the cell blade. Zbl 1183.68734
Shi, Guochun; Kindratenko, Volodymyr; Gottlieb, Steven |
|
2009
|
A bipartite genetic algorithm for multi-processor task scheduling. Zbl 1183.68104
Bonyadi, Mohammad Reza; Ebrahimi Moghaddam, Mohsen |
|
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 |
|
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 |
|
2009
|
Dense linear system: A parallel self-verified solver. Zbl 1154.68361
Kolberg, Mariana Luderitz; Fernandes, Luiz Gustavo; Claudio, Dalcidio Moraes |
|
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. |
|
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 |
|
2008
|
Analysis and optimisation of hierarchically scheduled multiprocessor embedded systems. Zbl 1135.68343
Pop, Traian; Pop, Paul; Eles, Petru; Peng, Zebo |
|
2008
|
Supporting openmp on cell. Zbl 1148.68338
O’brien, Kevin; O’brien, Kathryn; Sura, Zehra; Chen, Tong; Zhang, Tao |
|
2008
|
Dual-thread speculation: A simple approach to uncover thread-level parallelism on a simultaneous multithreaded processor. Zbl 1147.68420
Warg, Fredrik; Stenstrom, Per |
|
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 |
|
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 |
|
2008
|
Bandwidth efficient all-to-all broadcast on switched clusters. Zbl 1154.68323
Faraj, Ahmad; Patarasuk, Pitch; Yuan, Xin |
|
2008
|
Nested parallelization with openMP. Zbl 1129.68417
an Mey, Dieter; Sarholz, Samuel; Terboven, Christian |
|
2007
|
High-scalability parallelization of a molecular modeling application: Performance and productivity comparison between OpenMP and MPI implementations. Zbl 1130.68304
Brown, Russell; Sharapov, Ilya |
|
2007
|
Complete formal specification of the OpenMP memory model. Zbl 1124.68336
Bronevetsky, Greg; De Supinski, Bronis R. |
|
2007
|
A compositional framework for developing parallel programs on two-dimensional arrays. Zbl 1125.68036
Emoto, Kento; Hu, Zhenjiang; Kakehi, Kazuhiko; Takeichi, Masato |
|
2007
|
Asynchronous typed object groups for grid programming. Zbl 1125.68034
Baduel, Laurent; Baude, Françoise; Caromel, Denis |
|
2007
|
OpenMP implementation of SPICE3 circuit simulator. Zbl 1129.68561
Weng, Tien-Hsiung; Perng, Ruey-Kuen; Chapman, Barbara |
|
2007
|
Dynamic data migration for structured AMR solvers. Zbl 1129.68404
Nordén, Markus; Löf, Henrik; Rantakokko, Jarmo; Holmgren, Sverker |
|
2007
|
Dense Gaussian networks: Suitable topologies for on-chip multiprocessors. Zbl 1103.68423
Martínez, Carmen; Vallejo, Enrique; Beivide, Ramón; Izu, Cruz; Moretó, Miquel |
|
2006
|
Verification of system level model transformations. Zbl 1100.68061
Abdi, Samar; Gajski, Daniel |
|
2006
|
Semi-automatic composition of loop transformations for deep parallelism and memory hierarchies. Zbl 1105.68019
Girbal, Sylvain; Vasilache, Nicolas; Bastoul, Cédric; Cohen, Albert; Parello, David; Sigler, Marc; Temam, Olivier |
|
2006
|
SAC – a functional array language for efficient multi-threaded execution. Zbl 1102.68438
Grelck, Clemens; Scholz, Sven-Bodo |
|
2006
|
Scalable and structured scheduling. Zbl 1109.68021
Feautrier, Paul |
|
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. |
|
2006
|
Verification approach of Metropolis design framework for embedded systems. Zbl 1100.68585
Chen, Xi; Hsieh, Harry; Balarin, Felice |
|
2006
|
A case for chip multiprocessors based on the data-driven multithreading model. Zbl 1103.68427
Trancoso, Pedro; Evripidou, Paraskevas; Stavrou, Kyriakos; Kyriacou, Costas |
|
2006
|
The ArchC architecture description language and tools. Zbl 1100.68528
Azevedo, Rodolfo; Rigo, Sandro; Bartholomeu, Marcus; Araujo, Guido; Araujo, Cristiano; Barros, Edna |
|
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 |
|
2005
|
High performance RDMA-based MPI implementation over InfiniBand. Zbl 1060.68571
Liu, Jiuxing; Wu, Jiesheng; Panda, Dhabaleswar K. |
|
2004
|
A pipeline technique for dynamic data transfer on a multiprocessor grid. Zbl 1079.68647
Souravlas, Stavros; Roumeliotis, Manos |
|
2004
|
Data dependence analysis techniques for increased accuracy and extracted parallelism. Zbl 1074.68545
Kyriakopoulos, Konstantinos; Psarris, Kleanthis |
|
2004
|
Distributed parallel computing using navigational programming. Zbl 1074.68004
Pan, Lei; Lai, Ming Kin; Noguchi, Koji; Huseynov, Javid J.; Bic, Lubomir F.; Dillencourt, Michael B. |
|
2004
|
Alias analysis in Java with reference-set representation for high-performance computing. Zbl 1074.68540
Woo, Jongwook; Gaudiot, Jean-Luc; Wendelborn, Andrew L. |
|
2004
|
Hybrid analysis: Static & dynamic memory reference analysis. Zbl 1067.68048
Rus, Silvius; Rauchwerger, Lawrence; Hoeflinger, Jay |
|
2003
|
Parallel merge sort with load balancing. Zbl 1026.68160
Jeon, Minsoo; Kim, Dongseung |
|
2003
|
Block red-black ordering: A new ordering strategy for parallelization of ICCG method. Zbl 1027.68149
Iwashita, Takeshi; Shimasaki, Masaaki |
|
2003
|
On the performance of randomized embedding of reproduction trees in static networks. Zbl 1074.68005
Li, Keqin |
|
2003
|
Automatic application-specific instruction-set extensions under microarchitectural constraints. Zbl 1074.68533
Atasu, Kubilay; Pozzi, Laura; Ienne, Paolo |
|
2003
|
An extended ANSI C for processors with a multimedia extension. Zbl 1021.68018
Bulić, Patricio; Guštin, Veselko |
|
2003
|
Optimizing OpenMP programs on software distributed shared memory systems. Zbl 1056.68045
Min, Seung-Jai; Basumallik, Ayon; Eigenmann, Rudolf |
|
2003
|
Modeling multithreaded applications using Petri nets. Zbl 1083.68578
Kavi, Krishna M.; Moshtaghi, Alireza; Chen, Deng-jyi |
|
2002
|
Automatic intra-register vectorization for the Intel\(^\circledR\) architecture. Zbl 1014.68048
Bik, Aart J. C.; Girkar, Milind; Grey, Paul M.; Tian, Xinmin |
|
2002
|
Achieving scalable locality with time skewing. Zbl 1019.68024
Wonnacott, David |
|
2002
|
Improving memory hierarchy performance for irregular applications using data and computation reorderings. Zbl 0977.68008
Mellor-Crummey, John; Whalley, David; Kennedy, Ken |
|
2001
|
Synthesizing transformations for locality enhancement of imperfectly-nested loop nests. Zbl 1019.68026
Ahmed, Nawaaz; Mateev, Nikolay; Pingali, Keshav |
|
2001
|
Data-centric transformations for locality enhancement. Zbl 0977.68016
Kodukula, Induprakas; Pingali, Keshav |
|
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. |
|
2001
|
Optimized unrolling of nested loops. Zbl 1019.68029
Sarkar, Vivek |
|
2001
|
An exploration of instruction fetch requirement in out-of-order superscalar processors. Zbl 1006.68675
Michaud, Pierre; Seznec, André; Jourdan, Stéphan |
|
2001
|
Randomized parallel list ranking for distributed memory multiprocessors. Zbl 1067.68792
Dehne, Frank; Song, Siang W. |
|
1997
|
Case studies in asynchronous data parallelism. Zbl 0806.68015
Carriero, Nicholas; Gelernter, David |
|
1994
|
A singular loop transformation framework based on non-singular matrices. Zbl 0806.68024
Li, Wei; Pingali, Keshav |
|
1994
|
Some efficient solutions to the affine scheduling problem. I: One- dimensional time. Zbl 0783.90050
Feautrier, Paul |
|
1992
|
Some efficient solutions to the affine scheduling problem. II: Multidimensional time. Zbl 0808.90081
Feautrier, Paul |
|
1992
|
Parallel algorithms for separation of two sets of points and recognition of digital convex polygons. Zbl 0783.68135
Sarkar, Dilip; Stojmenović, Ivan |
|
1992
|
Optimal loop storage allocation for argument-fetching dataflow machines. Zbl 0804.68016
Ning, Qi; Gao, Guang R. |
|
1992
|
Parallel processing of graph reachability in databases. Zbl 0784.68030
Wolfson, Ouri; Zhang, Weining; Butani, Harish; Kawaguchi, Akira; Mok, Kui |
|
1992
|
A parallel algorithm to construct a dominance graph on nonoverlapping rectangles. Zbl 0784.68036
Sprague, Alan P. |
|
1992
|
Extended parallelism in the Gröbner basis algorithm. Zbl 0788.68078
Schwab, Stephen A. |
|
1992
|
Scheduling speculative work in MUSE and performance results. Zbl 0804.68017
Ali, Khayri A. M.; Karlsson, Roland |
|
1992
|
Dataflow analysis of array and scalar references. Zbl 0741.68075
Feautrier, Paul |
|
1991
|
Efficient algorithms for parallel sorting on mesh multicomputers. Zbl 0761.68043
Singh, V.; Kumar, V.; Agha, G.; Tomlinson, C. |
|
1991
|
Specification and design of shared resource arbitration. Zbl 0741.68034
Broy, Manfred; Streicher, Thomas |
|
1991
|
Parallel state-space search for a first solution with consistent linear speedups. Zbl 0723.68043
Kalé, L. V.; Saletore, Vikram A. |
|
1990
|
Systolic parsing of context-free languages. Zbl 0722.68073
Langlois, Laurent |
|
1990
|
Data flow analysis of distributed communicating processes. Zbl 0714.68003
Reif, John H.; Smolka, Scott A. |
|
1990
|
An efficient all-parses systolic algorithm for general context-free parsing. Zbl 0723.68065
Ibarra, Oscar H.; Palis, Michael A. |
|
1990
|
Parallel general prefix computations with geometric, algebraic, and other applications. Zbl 0703.68054
Springsteel, Frederick; Stojmenović, Ivan |
|
1990
|
Hypercube embedding heuristics: An evaluation. Zbl 0703.68014
Chen, Woei-Kae; Stallmann, Matthias F. M.; Gehringer, Edward F. |
|
1990
|
Derivation of efficient parallel programs: An example from genetic sequence analysis. Zbl 0703.68076
Singh, Ambuj K.; Overbeek, Ross |
|
1990
|
Initial failures in distributed computations. Zbl 0702.68029
Taubenfeld, Gadi; Katz, Shmuel; Moran, Shlomo |
|
1989
|
Task scheduling for parallel sparse Cholesky factorization. Zbl 0702.68031
Geist, G. A.; Ng, E. |
|
1989
|
An operational semantics of occam. Zbl 0701.68072
Camilleri, Juanito |
|
1989
|
Two algorithms for barrier synchronization. Zbl 0662.68008
Hensgen, Debra; Finkel, Raphael; Manber, Udi |
|
1988
|
Type theory and concurrency. Zbl 0678.68017
Cleaveland, Rance; Panangaden, Prakash |
|
1988
|
Parallel processing of biological sequence comparison algorithms. Zbl 0662.92013
Edmiston, Elizabeth W.; Core, Nolan G.; Saltz, Joel H.; Smith, Roger M. |
|
1988
|
Parallel depth first search. II: Analysis. Zbl 0665.68049
Kumar, Vipin; Rao, V. Nageshwara |
|
1987
|
On mapping processes to processors in distributed systems. Zbl 0632.68029
Pinter, Shlomit S.; Wolfstahl, Yaron |
|
1987
|
A parallel graph partitioning algorithm for a message-passing multiprocessor. Zbl 0657.68073
Gilbert, John R.; Zmijewski, Earl |
|
1987
|
Parallel depth first search. I: Implementation. Zbl 0665.68048
Rao, V. Nageshwara; Kumar, Vipin |
|
1987
|
Parallel consistent labeling algorithms. Zbl 0646.68104
Samal, Ashok; Henderson, Tom |
|
1987
|
Optimal computation of prefix sums on a binary tree of processors. Zbl 0639.68032
Meijer, Henk; Akl, Selim G. |
|
1987
|
Trace, failure and testing equivalences for communicating processes. Zbl 0646.68033
Main, Michael G. |
|
1987
|
Data dependence and its application to parallel processing. Zbl 0639.68019
Wolfe, Michael; Banerjee, Utpal |
|
1987
|
Flat Parlog: A basis for comparison. Zbl 0639.68014
Foster, Ian; Taylor, Stephen |
|
1987
|
...and 12 more Documents |