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
4 Automatic testing of nondeterministic programs in message passing systems – Christian Schaubschlager - 2000
14 Precise MPI Performance Measurement Using MPIBench – Duncan Grove, Paul Coddington - 2001
66 Parallel Performance Prediction using Lost Cycles Analysis – Mark E. Crovella, Thomas J. LeBlanc - 1994
3388 Communicating Sequential Processes – C. A. R. Hoare - 1985
701 Data Structures and Algorithms – A V Aho, J E Hopcroft, J D Ullman - 1983
66 Big omicron and big omega and big theta – D E Knuth - 1976
3 Automated modeling of message-passing systems – P Mehra, M Gower, M Bass - 1994
13 Realistic communication model for parallel computing on cluster – Anthony Tam Tat Chun, Cho-Li Wang - 1999
16 Performance Fortran Forum (HPFF), \High Performance Fortran Language Speci cation – High - 1993
63 Automatic loop interchange – J Allen, K Kennedy - 1984
9 A Probabilistic Approach to the Analysis of Program Execution Time – Hasyim Gautama, Organisatie Toegepast, Technisch Physische Dienst - 1998
2431 The Design and Analysis of Computer Algorithms – A V Aho, J E Hopcroft, J D Ullman - 1974
79 The Art of Computer Programming, Vol I: Fundamental Algorithms – D E Knuth - 1985
58 A cost calculus for parallel functional programming – D. B. Skillicorn - 1995
4 Compiling Performance Models from Parallel Programs – Arjan J.C. van Gemund - 1994
15 Performance Modelling of Message-Passing Parallel Programs – Duncan Grove - 2003
2 Flat Arrays as a Categorical Data Type – Banger Skillicorn, D. B. Skillicorn
96 Algorithmics: Towards programming as a mathematical activity – L Meertens - 1986