Parts a partitioning transformation system-Reference-Cited by-同舟云学术

Parts a partitioning transformation system

Published:1999 Issue: Volume: Page:1400-1419
ISSN:0302-9743
Container-title:FM’99 — Formal Methods
language:
Short-container-title:

Author:

Iyoda Juliano,Sampaio Augusto,Silva Leila

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48118-4_24

Reference19 articles.

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 Co-design, (1996) 62–69.

2. PhD thesis;E. Barros,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.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An Optimal Approach to Hardware/Software Partitioning for Synchronous Model;Lecture Notes in Computer Science;2004

2. Numeric Types in Formal Synthesis;Lecture Notes in Computer Science;2004

3. An Algebraic Approach to the VERILOG Programming;Formal Methods at the Crossroads. From Panacea to Foundational Support;2003

4. Semantics and Transformations in Formal Synthesis at System Level;Lecture Notes in Computer Science;2001

5. Serialising Parallel Processes in a Hardware/Software Partitioning Context;Lecture Notes in Computer Science;2001