首页> 外文OA文献 >Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs

【2h】

Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs

机译：回答集合与整数线性编程，用于从实时并行程序自动合成多处理器系统

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Harold Ishebabi; Philipp Mahr; Christophe Bobda; Martin Gebser; Torsten Schaub;
展开▼
作者单位

展开▼
年度 2009
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs [J] . Harold Ishebabi, Philipp Mahr, Christophe Bobda, International journal of reconfigurable computing . 2009,第suppla1期

机译：从实时并行程序自动综合多处理器系统的答案集与整数线性编程
2. Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs [J] . HaroldIshebabi, PhilippMahr, ChristopheBobda, International journal of reconfigurable computing . 2009,第4期

机译：从实时并行程序自动综合多处理器系统的答案集与整数线性编程
3. High-level synthesis of on-chip multiprocessor architectures based on answer set programming [J] . Christophe Bobda, Franck Yonga, Martin Gebser, Journal of Parallel and Distributed Computing . 2018,第jula期

机译：基于答案集编程的片上多处理器体系结构的高级综合
4. An integer linear programming based approach for parallelizing applications in On-chip multiprocessors [C] . I. Kadayif, M. Kandemir, U. Sezer Conference on Design automation . 2002

机译：基于整数线性编程的方法，用于并行处理片上多处理器中的应用
5. OPTIMAL SYNTHESIS OF INTEGRATED REFRIGERATION SYSTEMS (MIXED-INTEGER, LINEAR, PROGRAMMING, IMPLICIT, ENUMERATION). [D] . SHELTON, MARK ROBERT. 1985

机译：集成制冷系统的最佳综合（混合整数，线性，程序设计，隐式，枚举）。
6. Automatic Design of Synthetic Gene Circuits through Mixed Integer Non-linear Programming [O] . Linh Huynh, John Kececioglu, Matthias Köppe, 2009

机译：通过混合整数非线性规划自动设计合成基因电路
7. Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs ⋆ [O] . Harold Ishebabi, Christophe Bobda, Martin Gebser, 2010

机译：asp在并行程序中自动合成柔性多处理器系统中的应用⋆

Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs

著录项

引文网络

相似文献

相关主题

期刊订阅