Abstract
This paper describes a system (ParTS) for automatic hardware/software partitioning of applications described in the concurrent programming language occam. Based on algebraic transformations of occam programs, the strategy guarantees, by construction, that the partitioning process preserves the semantics of the original description. ParTS has been developed as an extension of OTS — a tool implemented at Oxford University which allows one to apply basic algebraic laws to an occam program in an interactive way. ParTS extends OTS with elaborate transformation rules which are necessary for carrying out partitioning automatically. To illustrate the partitioning methodology and our system, a convolution program is used as a case study.
Cite
CITATION STYLE
Iyoda, J., Sampaio, A., & Silva, L. (1999). ParTS A partitioning transformation system. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1709, pp. 1400–1419). Springer Verlag. https://doi.org/10.1007/3-540-48118-4_24
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
