-
1
-
-
0032630999
-
A general interprocedural framework for placement of split-phase large latency operations
-
April
-
G. Agrawal. A general interprocedural framework for placement of split-phase large latency operations. IEEE Transactions on Parallel and Distributed Systems, 10(4):394-413, April 1999.
-
(1999)
IEEE Transactions on Parallel and Distributed Systems
, vol.10
, Issue.4
, pp. 394-413
-
-
Agrawal, G.1
-
2
-
-
0034251218
-
A calculus of program adaptation and its applications
-
R. B. Ayed, J. Desharnais, M. Frappier, and A. Mili. A calculus of program adaptation and its applications. Science of Computer Programming, 38:73-123, 2000.
-
(2000)
Science of Computer Programming
, vol.38
, pp. 73-123
-
-
Ayed, R.B.1
Desharnais, J.2
Frappier, M.3
Mili, A.4
-
3
-
-
0024129970
-
A calculus of refinements for program derivations
-
R. J. R. Back. A calculus of refinements for program derivations. Acta Informatica, 25:593-624, 1988.
-
(1988)
Acta Informatica
, vol.25
, pp. 593-624
-
-
Back, R.J.R.1
-
4
-
-
84887595401
-
-
Technical Report CACR-115, Scalable I/O Initiative, Center of Advanced Computing Research, California Insititute of Technology, December
-
R. Bordawekar and A. Choudhary. Extending I/O capabilities of High Performance Fortran: Initial experiences. Technical Report CACR-115, Scalable I/O Initiative, Center of Advanced Computing Research, California Insititute of Technology, December 1995.
-
(1995)
Extending I/O Capabilities of High Performance Fortran: Initial Experiences
-
-
Bordawekar, R.1
Choudhary, A.2
-
6
-
-
85031691405
-
Concurrent file operations in a High Performance FORTRAN
-
P. Brezany, M. Gernt, P. Mehotra, and H. Zima. Concurrent file operations in a High Performance FORTRAN. In Proceedings of Supercomputing '92, pages 230-237, 1992.
-
(1992)
Proceedings of Supercomputing '92
, pp. 230-237
-
-
Brezany, P.1
Gernt, M.2
Mehotra, P.3
Zima, H.4
-
7
-
-
4243598062
-
Structured presentation of refinements and proofs
-
The University of Queensland, Brisbane 4072. Australia, Nov. Technical report 95-46
-
D. Carrington, I. Hayes, R. Nickson, G. Watson, and J. Welsh. Structured presentation of refinements and proofs. Technical report 95-46, Software Verification Research Centre, School of Information Technology, The University of Queensland, Brisbane 4072. Australia, Nov. 1995.
-
(1995)
Software Verification Research Centre, School of Information Technology
-
-
Carrington, D.1
Hayes, I.2
Nickson, R.3
Watson, G.4
Welsh, J.5
-
8
-
-
0003713551
-
-
Technical Report PCS-TR97-323, Dartmouth College, Computer Science, Hanover, NH, November
-
A. Colvin and T. H. Cormen. ViC: A Compiler for Virtual-Memory C. Technical Report PCS-TR97-323, Dartmouth College, Computer Science, Hanover, NH, November 1997.
-
(1997)
ViC: A Compiler for Virtual-Memory C.
-
-
Colvin, A.1
Cormen, T.H.2
-
9
-
-
84887589298
-
Object-relational queries into multidimensional databases with the active data repository
-
R. Ferreira, T. Kurc, M. Beynon, C. Chang, A. Sussman, and J. Saltz. Object-relational queries into Multidimensional Databases with the Active Data Repository. The International Journal of High Performance Computing Applications, 1999.
-
(1999)
The International Journal of High Performance Computing Applications
-
-
Ferreira, R.1
Kurc, T.2
Beynon, M.3
Chang, C.4
Sussman, A.5
Saltz, J.6
-
10
-
-
0001984552
-
Efficient run-time support for irregular block-structured applications
-
April-May
-
S. J. Fink, S. R. Kohn, and S. B. Baden. Efficient run-time support for irregular block-structured applications. Journal of Parallel and Distributed Computing, 50(1-2):61-82, April-May 1998.
-
(1998)
Journal of Parallel and Distributed Computing
, vol.50
, Issue.1-2
, pp. 61-82
-
-
Fink, S.J.1
Kohn, S.R.2
Baden, S.B.3
-
12
-
-
0003734214
-
-
Technical Report COMPTR90-141, Rice University
-
G. Fox, S. Hiranandani, K. Kennedy, C. Koelbel, U. Kre-mer, and C. Tseng. Fortran D language specifications. Technical Report COMPTR90-141, Rice University, 1990.
-
(1990)
Fortran D Language Specifications
-
-
Fox, G.1
Hiranandani, S.2
Kennedy, K.3
Koelbel, C.4
Kre-Mer, U.5
Tseng, C.6
-
13
-
-
0033906425
-
Telescoping languages: A compiler strategy for implementation of high-level domain-specific programming systems
-
Cancun, Mexico. May
-
K. Kennedy. Telescoping languages: A compiler strategy for implementation of high-level domain-specific programming systems. In Proceedings of International Parallel and Distributed Processing Symposium 2000, Cancun, Mexico. May 2000.
-
(2000)
Proceedings of International Parallel and Distributed Processing Symposium 2000
-
-
Kennedy, K.1
-
14
-
-
84887577129
-
Telescoping languages: A strategy for automatic generation of scientific problem-solving systems from annotated libraries
-
to Appear April
-
K. Kennedy, B. Broom, K. Cooper, J. Dongarra, R. Fowler, D. Gannon, L. Johnsson, J. Mellor-Crummey, and L. Torc-zon. Telescoping languages: A strategy for automatic generation of scientific problem-solving systems from annotated libraries. Journal of Parallel and Distributed Computing. To appear.
-
Journal of Parallel and Distributed Computing
-
-
Kennedy, K.1
Broom, B.2
Cooper, K.3
Dongarra, J.4
Fowler, R.5
Gannon, D.6
Johnsson, L.7
Mellor-Crummey, J.8
Torc-Zon, L.9
-
15
-
-
84887603730
-
MPI-IO: A parallel file I/O interface for MPI
-
MPI-IO: a parallel file I/O interface for MPI. The MPI-IO Committee, April 1996. Version 0. 5.
-
(1996)
The MPI-IO Committee Version 0. 5
-
-
-
16
-
-
0029205966
-
Compiler support for out-of-core arrays on data parallel machines
-
McLean, VA, February
-
M. Paleczny, K. Kennedy, and C. Koelbel. Compiler support for out-of-core arrays on data parallel machines. In Proceedings of the Fifth Symposium on the Frontiers of Massively Parallel Computation, pages 110-118, McLean, VA, February 1995.
-
(1995)
Proceedings of the Fifth Symposium on the Frontiers of Massively Parallel Computation
, pp. 110-118
-
-
Paleczny, M.1
Kennedy, K.2
Koelbel, C.3
-
17
-
-
0003566434
-
-
Prentice Hall International Series in Computer Science, 2nd edition
-
J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992.
-
(1992)
The Z Notation: A Reference Manual
-
-
Spivey, J.M.1
-
18
-
-
0030165547
-
Passion: Optimized I/O for parallel applications
-
June
-
R. Thakur, A. Choudhary, R. Bordawekar, S. More, and S. Kuditipudi. Passion: Optimized I/O for parallel applications. IEEE Computer, 29(6):7()-78, June 1996.
-
(1996)
IEEE Computer
, vol.29
, Issue.6
, pp. 7-78
-
-
Thakur, R.1
Choudhary, A.2
Bordawekar, R.3
More, S.4
Kuditipudi, S.5
|