通用BELLOW过程网络验证和标注的线性规划方法
A linear programming approach to general dataflow process network verification and dimensioning
摘要：
在本文中，我们提出了基于线性规划的充分条件，其中一些多项式时间，建立一般的非线性过程网络的活性和记忆有界性。此外，这种方法可以用来获得这样的网络的信道缓冲区的大小的安全上限。
英文摘要：
In this paper, we present linear programming-based sufficient conditions, some of them polynomial-time, to establish the liveness and memory boundedness of general dataflow process networks. Furthermore, this approach can be used to obtain safe upper bounds on the size of the channel buffers of such a network.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
