Questions and Answers About Categorical Data Types (1994)

Cached

Download Links

by D. B. Skillicorn
Venue:in Proceedings on the BCS Workshop on Bulk Data Types for Architecture Independence, London (20
Citations:7 - 0 self

Documents Related by Co-Citation

3 Characterizing parallel and distributed applications – Nayeem Islam - 1996
3 Automated modeling of message-passing systems – P Mehra, M Gower, M Bass - 1994
4 Automatic testing of nondeterministic programs in message passing systems – Christian Schaubschlager - 2000
12 Realistic Communication Model for Parallel Computing on Cluster – Anthony T C Tam, Cho-Li Wang - 1999
12 Precise MPI Performance Measurement Using MPIBench – Duncan Grove, Paul Coddington - 2001
58 Automatic loop interchange – J R Allen, K Kennedy - 1984
62 Parallel Performance Prediction using Lost Cycles Analysis – Mark E. Crovella, Thomas J. LeBlanc - 1994
8 A Probabilistic Approach to the Analysis of Program Execution Time – Hasyim Gautama, Organisatie Toegepast, Technisch Physische Dienst - 1998
16 Performance Fortran Forum HPFF. High Performance Fortran Language Speci cation – High - 1993
67 The art of computer programming, vol. I, Fundamental algorithms – D E Knuth - 1973
644 Data Structures and Algorithms – A Aho, J Hopcroft, J D Ullman - 1983
2172 The Design and Analysis of Computer Algorithms – A V Aho, J E Hopcroft, J D Ullman - 1974
51 Big Omicron and big Omega and big Theta – D E Knuth - 1976
3116 Communicating Sequential Processes – C. A. R. Hoare - 2004
57 A cost calculus for parallel functional programming – D. B. Skillicorn - 1995
4 Compiling Performance Models from Parallel Programs – Arjan J.C. van Gemund - 1994
12 Performance modelling of message-passing parallel programs – D Grove - 2003
2 Flat Arrays as a Categorical Data Type – Banger Skillicorn, D. B. Skillicorn
95 Algorithmics: Towards programming as a mathematical activity – L G L T Meertens - 1986