ParTS A partitioning transformation system

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1709, Issue , 1999, Pages 1400-1419

  Iyoda, Juliano ^a   Sampaio, Augusto ^a   Silva, Leila ^a  

^a FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; FORMAL METHODS; SEMANTICS;

ALGEBRAIC LAWS; ALGEBRAIC TRANSFORMATIONS; CONCURRENT PROGRAMMING LANGUAGES; HARDWARE/SOFTWARE PARTITIONING; INTERACTIVE WAY; OXFORD UNIVERSITY; TRANSFORMATION RULES; TRANSFORMATION SYSTEMS;

COMPUTER SYSTEMS PROGRAMMING;

EID: 84949491719     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48118-4_24     Document Type: Conference Paper

References (19)

1. A. Balsoni, W. Fornaccari, D. Sciuto. Partitioning and Exploration Strategies in the TOSCA Co-Design Flow. In Proceedings of Fourth International Workshop on HW/SW Codesign, (1996) 62-69.
2. E. Barros. Hardware/Software Partitioning using UNITY. PhD thesis, Universitat Tübingen, Germany, 1993.
3. E. Barros and A. Sampaio. Towards Probably Correct Hardware/Software Partitioning Using Occam. In Proceedings of the Third International Workshop on HW/SW Codesign (CODES'94), Grenoble, France. IEEE Press, (1994) 210-217.
4. E. Barros et al. The PISH Methodology for Hardware/Software Codesign. In Workshop of ProTem-CC, CNPq, (1998) 65-98.
5. M. Campione and K. Walrath. The Java Tutorial: Object-Oriented Programming for the Internet. Addison Wesley Pub Co., 1998.
6. C. Carreras, J. C. López, M.L. López, C. Delgado-Kloos, N. Martinez, L. Sánchez. A Co-Design Methodology Based on Formal Specification and High-level Estimation. In Proceedings of Fourth International Workshop on HW/SW Codesign (1996) 28-35.
7. T. Cheung, G. Hellestrand and P. Kanthamanon. A Multi-level Transformation Approach to HW/SW Co-Design: A Case Study. In Proceedings of Fourth International Workshop on HW/SW Codesign, (1996) 10-17.
8. R. Ernst and J. Henkel. Hardware-Software Codesign of Embedded Controllers Based on Hardware Extraction. In Handouts of the International Workshop on Hardware-Software Co-Design, October 1992.
9. D. Gajski and F. Vahid. Specification and Design of Embedded Hardware-Software Systems. In IEEE Design and Test of Computers, Spring 1995, 53-67.
10. M. Goldsmith. The Oxford occam Transformation System. Technical report, Oxford University Computing Laboratory, January 1988.
11. R. Gupta, C. N. Coelho and G. De Micheli. Synthesis and Simulation of Digital Systems Containing Interacting Hardware and Software Components. In Proceedings of 29th Design Automation Conference,1992.
12. R. Gupta and G. De Micheli. System-level Synthesis Using Re-programmable Components. In Proceedings of ED AC, (1992) 2-7, IEEE Press.
13. P. V. Knudsen and J. Madsen. PACE: A Dynamic Programming Algorithm for Hardware/Software Partitioning. In Proceedings of Fourth International Workshop on HW/SW Codesign, (1996) 85-92.
14. J. Madsen, J. Groge, P. V. Knudsen, M. E. Petersen and A. Haxthausen. Lycos: The Lyngby Co-synthesis System. In Design Automation of Embedded Systems, 1997,2(2):195-235.
15. L. Paulson. ML for the working programmer. Cambridge University Press, 1991.
16. D. Pountain and D. May. A tutorial introduction to occam programming. INMOS, BSP Professional Books, 1987.
17. A. Roscoe and C. A. R. Hoare. The laws of occam programming. In Theoretical Computer Science, 60, (1988) 177-229.
18. L. Silva, A. Sampaio and E. Barros. A Normal Form Reduction Strategy for Hardware/Software Partitioning. In Formal Methods Europe (FME) 97. Lecture Notes in Computer Science 1313, (1997) 624-643.
19. L. Silva, A. Sampaio, E. Barros and J. Iyoda. An Algebraic Approach for Combining Processes in a Hardware/Software Partitioning Environment. In Proceedings of the Seventh International Conference on Algebraic Methodology and Software Technology (AMAST), (1998) 308-324