投影:并发系统的一种综合技术

Proceedings. Fifth International Symposium on Advanced Research in Asynchronous Circuits and Systems Pub Date : 1999-04-19 DOI:10.1109/ASYNC.1999.761528

R. Manohar, Tak-Kwan Lee, Alain J. Martin

{"title":"投影:并发系统的一种综合技术","authors":"R. Manohar, Tak-Kwan Lee, Alain J. Martin","doi":"10.1109/ASYNC.1999.761528","DOIUrl":null,"url":null,"abstract":"We present a process decomposition technique for the design of pipelined asynchronous circuits. The technique is simple to use, and is based on projecting a program on different sets of variables. We provide conditions under which the technique can be applied, and show how it can be used to decompose complex concurrent programs.","PeriodicalId":285714,"journal":{"name":"Proceedings. Fifth International Symposium on Advanced Research in Asynchronous Circuits and Systems","volume":"62 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1999-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"32","resultStr":"{\"title\":\"Projection: a synthesis technique for concurrent systems\",\"authors\":\"R. Manohar, Tak-Kwan Lee, Alain J. Martin\",\"doi\":\"10.1109/ASYNC.1999.761528\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We present a process decomposition technique for the design of pipelined asynchronous circuits. The technique is simple to use, and is based on projecting a program on different sets of variables. We provide conditions under which the technique can be applied, and show how it can be used to decompose complex concurrent programs.\",\"PeriodicalId\":285714,\"journal\":{\"name\":\"Proceedings. Fifth International Symposium on Advanced Research in Asynchronous Circuits and Systems\",\"volume\":\"62 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1999-04-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"32\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings. Fifth International Symposium on Advanced Research in Asynchronous Circuits and Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ASYNC.1999.761528\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings. Fifth International Symposium on Advanced Research in Asynchronous Circuits and Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ASYNC.1999.761528","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 32

摘要

提出了一种用于流水线异步电路设计的过程分解技术。该技术使用简单，基于将程序投影到不同的变量集上。我们提供了可以应用该技术的条件，并展示了如何使用它来分解复杂的并发程序。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Projection: a synthesis technique for concurrent systems

We present a process decomposition technique for the design of pipelined asynchronous circuits. The technique is simple to use, and is based on projecting a program on different sets of variables. We provide conditions under which the technique can be applied, and show how it can be used to decompose complex concurrent programs.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings. Fifth International Symposium on Advanced Research in Asynchronous Circuits and Systems

自引率

0.00%

发文量