Table of Contents Author Guidelines Submit a Manuscript
International Journal of Reconfigurable Computing
Volume 2012, Article ID 504815, 17 pages
http://dx.doi.org/10.1155/2012/504815
Research Article

Occam-pi for Programming of Massively Parallel Reconfigurable Architectures

Centre for Research on Embedded Systems (CERES), Halmstad University, 301 18 Halmstad, Sweden

Received 29 April 2011; Revised 7 August 2011; Accepted 31 August 2011

Academic Editor: João Cardoso

Copyright © 2012 Zain-ul-Abdin and Bertil Svensson. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. P. H. Welch and F. R. M. Barnes, β€œCommunicating mobile processes introducing occam-pi,” in Proceedings of the Symposium on the Occasion of 25 Years of CSP—Communicating Sequential Processes, Lecture Notes in Computer Science, pp. 175–210, Springer, July 2004. View at Scopus
  2. C. A. R Hoare, Communicating Sequential Processes, Prentice-Hall, 1985.
  3. R. Milner, J. Parrow, and D. Walker, β€œA calculus of mobile processes, I,” Information and Computation, vol. 100, no. 1, pp. 1–40, 1992. View at Google Scholar Β· View at Scopus
  4. Zain-ul-Abdin and B. Svensson, β€œUsing a CSP based programming model for reconfigurable processor arrays,” in Proceedings of the International Conference on Reconfigurable Computing and FPGAs (ReConFig '08), pp. 343–348, December 2008. View at Publisher Β· View at Google Scholar Β· View at Scopus
  5. Zain-ul-Abdin and B. Svensson, β€œOccam-pi as a high-level language for coarsegrained reconfigurable architectures,” in Proceedings of the 18th International Reconfigurable Architectures Workshop held in Conjunction with International Parallel and Distributed Processing Symposium (IPDPS/RAW '11), Anchorage, Alaska, USA, May 2011.
  6. A. Åhlander, H. Hellsten, K. Lind, J. Lindgren, and B. Svensson, β€œArchitectural challenges in memory-intensive, real-time image forming,” in Proceedings of the 36th International Conference on Parallel Processing in Xi'an (ICPP '07), September 2007. View at Publisher Β· View at Google Scholar Β· View at Scopus
  7. β€œHandel-C language reference manual,” Version 3.1, Celoxica, 2002.
  8. J. Frigo, M. Gokhale, and D. Lavenier, β€œEvaluation of the streams-C C-to-FPGA compiler: an applications perspective,” in Proceedings of the ACM/SIGDA 9th International Sysmposium on Field Programmable Gate Arrays (FPGA '01), pp. 134–140, February 2001.
  9. β€œMobius Language Manual,” Codetronix LLC, 2006.
  10. W. Luk and S. Mckeever, β€œPebble: a language for parametrised and reconfigurable hardware design,” in Proceedings of the 8th International Workshop on Field-Programmable Logic and Applications, vol. 1482 of Lecture Notes in Computer Science, pp. 9–18, Springer, 1998.
  11. M. J. Wirthlin and B. L. Hutchings, β€œDynamic instruction set computer,” in Proceedings of the IEEE Symposium on FPGAs for Custom Computing Machines, pp. 99–107, April 1995.
  12. J. Burns, A. Donlin, J. Hogg, S. Singh, and M. D. Wit, β€œA dynamic reconfiguration run-time system,” in Proceedings of the Annual IEEE Symposium on Field-Programmable Custom Computing Machines, 1997.
  13. J. Villarreal, A. Park, W. Najjar, and R. Halstead, β€œDesigning modular hardware accelerators in C with ROCCC 2.0,” in Proceedings of the 18th IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM '10), pp. 127–134, May 2010. View at Publisher Β· View at Google Scholar
  14. M. Bingfeng, S. Vernalde, D. Verkest, H. De Man, and R. Lauwereins, β€œDRESC: a retargetable compiler for coarse-grained reconfigurable architectures,” in Proceedings of the IEEE International Conference on Field-Programmable Technology, 2002.
  15. A. M. Jones and M. Butts, β€œTeraOPS hardware: a new massively-parallel MIMD computing fabric IC,” in Proceedings of IEEE Hot Chips Symposium, 2006.
  16. M. Butts, A. M. Jones, and P. Wasson, β€œA structural object programming model, architecture, chip and tools for reconfigurable computing,” in Proceedings of the 15th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '07), pp. 55–64, April 2007. View at Publisher Β· View at Google Scholar
  17. β€œOccam® 2.1 reference manual, SGS-Thomson Microelectronics Limited,” 1995.
  18. P. H. Welch and F. R. M. Barnes, β€œPrioritised dynamic communicating processes: part I,” in Communicating Process Architectures, pp. 321–352, IOS Press, 2002. View at Google Scholar
  19. P. H. Welch and F. R. M. Barnes, β€œPrioritised dynamic communicating processes—part II,” in Communicating Process Architectures, pp. 353–370, IOS Press, 2002. View at Google Scholar
  20. Tock, β€œTranslator from Occam to C by Kent,” http://projects.cs.kent.ac.uk/projects/tock/trac, 2011.
  21. M. Butts, B. Budlong, P. Wasson, and E. White, β€œReconfigurable work farms on a massively parallel processor array,” in Proceedings of the 16th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '08), pp. 206–215, April 2008. View at Publisher Β· View at Google Scholar Β· View at Scopus
  22. N. Shirazi, W. Luk, and P. Cheung, β€œRun-time management of dynamically reconfigurable designs,” in Proceedings of the 8th International Workshop on Field Programmable Logic and Applications (FPL '98), vol. 1482 of Lecture Notes in Computer Science, Springer, 1998.
  23. Xilinx, β€œVideo compression using DCT,” http://direct.xilinx.com/bvdocs/appnotes/xapp610.pdf, 2006.
  24. L. M. H. Ulander, H. Hellsten, and G. Stenström, β€œSynthetic-aperture radar processing using fast factorized back-projection,” IEEE Transactions on Aerospace and Electronic Systems, vol. 39, no. 3, pp. 760–776, 2003. View at Publisher Β· View at Google Scholar Β· View at Scopus
  25. H. Hellsten, P. Dammert, and A. Åhlander, β€œAutofocus in fast factorized backprojection for processing of SAR images when geometry parameters are unknown,” in Proceedings of the IEEE International Radar Conference (RADAR '10), pp. 603–608, May 2010. View at Publisher Β· View at Google Scholar Β· View at Scopus
  26. β€œKRoC: Kent Retargetable Occam Compiler,” http://www.cs.kent.ac.uk/projects/ofa/kroc/, 2010.
  27. E. H. Neville, β€œIterative interpolation,” Journal of Indian Mathematical Society, vol. 20, pp. 87–120, 1934. View at Google Scholar
  28. Am2045 Data Book, Ambric, 2007.
  29. Intel® CoreTM i7-600, i5-500, i5-400, and i3-300 Mobile processor series datasheet, Intel Corporation, 2010.