搜索结果: 1-3 共查到“计算机系统结构 Synthesis”相关记录3条 . 查询时间(0.153 秒)
We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a representation of the ...
A Framework for High Level Synthesis Using Taylor Decomosition System
Applied sciences High level synthesis Taylor decomposition systems Taylor expansion diagram Data-flow Arithmetic-intensive designs
2014/11/7
This thesis extends the work and application of Taylor Expansion Diagrams (TED) as a framework for high level synthesis and verification of data-flow and arithmetic-intensive designs. It shows that TE...
A New Petri-Net-Based Synthesis Technique for Supervisory Control of Discrete Event Systems
Supervisory Control Petri Nets Discrete Event Systems (DES)
2009/7/28
A new Petri-net-based top-down synthesis technique for supervisory control of Discrete Event Systems (DES) is proposed to solve the forbidden state problem. The supervisors obtained are compiled super...