机译:使用模型预测控制技术的数据流程序分析和优化
Politecn Torino, Dipartimento Automat & Informat, Turin, Italy;
Ecole Polytech Fed Lausanne, EPFL SCI STI MM, Lausanne, Switzerland;
Ecole Polytech Fed Lausanne, EPFL SCI STI MM, Lausanne, Switzerland;
Ecole Polytech Fed Lausanne, EPFL SCI STI MM, Lausanne, Switzerland;
Lund Univ, Dept Comp Sci, Lund, Sweden;
Petri net; Event driven system; Design space exploration; Causation trace graph; Model predictive control; Buffer minimization;
机译:显式非线性模型预测控制的组合模型逼近技术和多参数编程
机译:程序数据流模型的分析问题的可判定性
机译:TacoFlow:使用数据流分析优化SAT程序验证
机译:使用模型预测控制技术进行数据流程序分析和优化:有限缓冲区调度的示例
机译:使用OpenMP科学代码的程序员控制的存储器一致性建模进行分析和优化。
机译:使用确定性和随机优化技术的中频变频器中SHE控制的三相CHB 11级逆变器的谐波分析和FPGA实现
机译:使用模型预测控制技术进行数据流程序分析和优化:有界缓冲区调度的一个例子
机译:结构化分析工具与战略防御计划架构数据流建模技术的接口。