Al Zain, A., Vanderbauwhede, W. and Michaelson, G. (2010) Hume on FPGA. In: 10th International Symposium on Trends in Functional Programming (TFP10), University of Oklahoma, OK, USA, 17-19 May 2010, pp. 151-164.
Full text not currently available from Enlighten.
Abstract
Hume is a novel language in the functional tradition, strongly oriented to systems requiring strong guarantees that resource bounds are met. To facilitate resource assurance, Hume enforces a separation of co- ordination and computation concerns, and deploys an abstract machine intermediary between implementations and analyses. These core design decisions also enable a high degree of portability across architectures and suit Hume well to multi-processor implementations. This papers considers how Hume may be implemented on FPGAs via concurrent ab- stract machines. Initial results from experimental implementations are discussed and the design of a novel FPGA architecture tailored to Hume coordination is presented.
Item Type: | Conference Proceedings |
---|---|
Status: | Published |
Refereed: | Yes |
Glasgow Author(s) Enlighten ID: | Vanderbauwhede, Professor Wim |
Authors: | Al Zain, A., Vanderbauwhede, W., and Michaelson, G. |
College/School: | College of Science and Engineering > School of Computing Science |
University Staff: Request a correction | Enlighten Editors: Update this record