Formal behavioural synthesis of Handel-C parallel hardware implementations from functional specifications

Proceedings of the 36th Annual Hawaii International Conference on System Sciences, HICSS 2003

Volumn , Issue , 2003, Pages

  Abdallah, A E ^a   Hawkins, J ^a  

^a LONDON SOUTH BANK UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; FORMAL METHODS; FORMAL SPECIFICATION; HARDWARE; RECONFIGURABLE HARDWARE; SPECIFICATIONS;

BEHAVIOURAL SYNTHESIS; CONVENTIONAL METHODS; FUNCTIONAL SPECIFICATION; HARDWARE IMPLEMENTATIONS; HIGHER ORDER FUNCTIONS; IMPLICIT PARALLELISMS; PARALLEL IMPLEMENTATIONS; TECHNOLOGICAL ADVANCES;

C (PROGRAMMING LANGUAGE);

EID: 84969505013     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HICSS.2003.1174808     Document Type: Conference Paper

References (15)

1. A.E. Abdallah, Derivation of Parallel Algorithms from Functional Specifications to CSP Processes, in: Bernhard Möller, ed., Mathematlcs of Program Construction, LNCS 947, (Springer Verlag, 1995) 67-96
2. A. E. Abdallah , Synthesis of Massively Pipelined Algorithms for List Manipulation , in L. Bouge and P. Fraigniaud and A. Mignotte and Y. Robert (eds), Proceedings of the European Conference on Parallel Processing, EuroPar'96, LNCS 1024, (Springer Verlag, 1996), pp 911-920.
3. A. E. Abdallah , Functional Process Modelling. In K Hammond and G. Michealson (eds ), Research Directions in Parallel Functional Programming, (Springer Verlag, October 1999). pp339-360.
4. R. S. Bird, An Introduction to The Theory of Lists, in:M. Broy, ed. , Logic of Programming and Calculi of Discreet Design, (Springer, Berlin, 1987) 3-42.
5. R. S. Bird and P. Wadler, Introduction to Functional Programming, (Prentice-Hall, 1988).
6. R. S. Bird Introduction to Functional Programming Using Haskell, (Prentice-Hall, 1998).
7. Silvia Breitinger, Rita Loogen, Yolanda Ortega Mallen, and Ricardo Pena. Eden - Language Definition and Operational Semantics, Technical Report 96-10, Phillips Universität Marburg, 1996.
8. M. I. Cole, Algorithmic Skeletons: Structured Management of Parallel Computation, in: Research Monographs in Parallel and Distributed Computing, (Pitman 1989).
9. J. Darlington, A. Field and P.G. Harrison, Parallel Programming Using Skeleton Functions, in: A. Bode, M. Reeve and G. Wolf, eds., Parallel Architectures and Languages Europe (PARLE'93), LNCS 694.
10. S. Gorlatch and C. Lengauer, Parallelization of Divide-and-Conquer in the Bird-Meertens Formalism, Formal Aspects of Computing 7 (6) (1995) 663-682.
11. Handel-C Documentation, Available from Celoxica (http://www.celoxica.com/).
12. C. A. R. Hoare, Communicating Sequential Processes. (Prentice-Hall, 1985).
13. F. Rabhi, Exploiting Parallelism in Functional Languages: A Paradigm Oriented Approach. In J.R. Davy and P.M.Dew (eds), Abstract Machine Models for Highly Parallel Computers, (Addison-Wesley,1999).
14. C. Runciman, and D. Wakeling, Functional Programming Applications, (UCL press,1995).
15. D. B. Skillicorn, Foundations of Parallel Programming, (Cambridge University Press, 1994).