中文版 | English

在结果中检索

Arid

浏览/检索结果: 共5条，第1-5条 帮助

已选(0)清除 条数/页：   排序方式：
META-X Design Flow Tools. 科技报告
报告编号: ADA589389. 出版年: 2013
作者:  Bapty, T;  Neema, S;  Sztipanovits, J.
收藏  |  浏览/下载：20/0  |  提交时间：2019/11/30
Computer aided design  Information systems  Military vehicles  Programming languages  Cad synthesis  Cyber physical systems  Design space analysis  Formal analysis  Model based design tools  System simulation  
Constraint-based design-space exploration and model synthesis 期刊论文
发表期刊: EMBEDDED SOFTWARE, PROCEEDINGS. 出版年: 2003, 卷号: 2855, 页码: 290-305
作者:  Neema, S;  Sztipanovits, J;  Karsai, G;  Butts, K
收藏  |  浏览/下载：6/0  |  提交时间：2019/11/28
Constraint-based design-space exploration and model synthesis 会议论文
会议名称: 3rd International Conference on Embedded Software. 会议地点: PHILADELPHIA, PA. 会议日期: OCT 13-15, 2003
作者:  Neema, S;  Sztipanovits, J;  Karsai, G;  Butts, K
收藏  |  浏览/下载：9/0  |  提交时间：2019/12/07
Rapid design space exploration of heterogeneous embedded systems using symbolic search and multi-granular simulation 期刊论文
发表期刊: ACM SIGPLAN NOTICES. 出版年: 2002, 卷号: 37, 期号: 7, 页码: 18-27
作者:  Mohanty, S;  Prasanna, VK;  Neema, S;  Davis, J
收藏  |  浏览/下载：17/0  |  提交时间：2019/11/28
design space  performance estimation  binary decision diagram  symbolic search  modeling  model integrated computing  multi-granular simulation  
Rapid design space exploration of heterogeneous embedded systems using symbolic search and multi-granular simulation 会议论文
会议名称: Joint Conference on Languages, Compilers and Tools for Embeddded Systems/Software and Compilers for Embedded Systems (LCTES 02-SCOPES 02). 会议地点: BERLIN, GERMANY. 会议日期: JUN 19-21, 2002
作者:  Mohanty, S;  Prasanna, VK;  Neema, S;  Davis, J
收藏  |  浏览/下载：15/0  |  提交时间：2019/12/07
design space  performance estimation  binary decision diagram  symbolic search  modeling  model integrated computing  multi-granular simulation