-
公开(公告)号：US08473895B2
公开(公告)日：2013-06-25
申请号：US12795669
申请日：2010-06-08
IPC分类号： G06F9/44
CPC分类号： G06F17/5045 , G06F2217/08
摘要： A design space exploration (DSE) system automatically discovers viable solutions within a design space. The DSE system operates by creating or receiving a design specification that is described using a design language. The design specification contains a collection of constraints that an acceptable architecture is expected to satisfy. The DSE system then symbolically executes the design specification to provide a logical formula. The DSE system then interacts with a theorem prover module to identify one or more solutions to the formula. Finally, the DSE system converts the solutions into a user-interpretable form (e.g., expressed in the format of the modeling language) for viewing by a user. Each solution pertains to an architecture that satisfies the collection of constraints. The DSE system ensures that the solutions are diverse by disfavoring any solution that is deemed similar to any solution that has been previously encountered.
摘要翻译： 设计空间探索（DSE）系统在设计空间内自动发现可行的解决方案。 DSE系统通过创建或接收使用设计语言描述的设计规范进行操作。 设计规范包含可接受架构预期满足的约束集合。 DSE系统然后象征性地执行设计规范以提供逻辑公式。 然后，DSE系统与定理证明器模块进行交互，以识别公式的一个或多个解决方案。 最后，DSE系统将解决方案转换成用户可解释的形式（例如，以建模语言的格式表示），以供用户观看。 每个解决方案都涉及满足约束集合的体系结构。 DSE系统确保解决方案是多样的，因为不满意任何与以前遇到过的解决方案相似的解决方案。
-
公开(公告)号：US20110302550A1
公开(公告)日：2011-12-08
申请号：US12795669
申请日：2010-06-08
IPC分类号： G06F9/44
CPC分类号： G06F17/5045 , G06F2217/08
摘要： A design space exploration (DSE) system automatically discovers viable solutions within a design space. The DSE system operates by creating or receiving a design specification that is described using a design language. The design specification contains a collection of constraints that an acceptable architecture is expected to satisfy. The DSE system then symbolically executes the design specification to provide a logical formula. The DSE system then interacts with a theorem prover module to identify one or more solutions to the formula. Finally, the DSE system converts the solutions into a user-interpretable form (e.g., expressed in the format of the modeling language) for viewing by a user. Each solution pertains to an architecture that satisfies the collection of constraints. The DSE system ensures that the solutions are diverse by disfavoring any solution that is deemed similar to any solution that has been previously encountered.
摘要翻译： 设计空间探索（DSE）系统在设计空间内自动发现可行的解决方案。 DSE系统通过创建或接收使用设计语言描述的设计规范进行操作。 设计规范包含可接受架构预期满足的约束集合。 DSE系统然后象征性地执行设计规范以提供逻辑公式。 然后，DSE系统与定理证明器模块进行交互，以识别公式的一个或多个解决方案。 最后，DSE系统将解决方案转换成用户可解释的形式（例如，以建模语言的格式表示），以供用户观看。 每个解决方案都涉及满足约束集合的体系结构。 DSE系统确保解决方案是多样的，因为不满意任何与以前遇到过的解决方案相似的解决方案。
-
公开(公告)号：US20100082802A1
公开(公告)日：2010-04-01
申请号：US12242742
申请日：2008-09-30
申请人： Wolfram Schulte , Ethan K. Jackson
发明人： Wolfram Schulte , Ethan K. Jackson
IPC分类号： G06F15/173
CPC分类号： G06F17/30575
摘要： One or more embodiments, described herein, are directed towards a technology for analyzing a distributed system in order to determine one or more inconsistencies placing the distributed system in an unstable state. Once the one or more inconsistencies are determined, one or more operations reconciling the inconsistencies are defined in order to stabilize the distributed system.
-
公开(公告)号：US07822853B2
公开(公告)日：2010-10-26
申请号：US12242742
申请日：2008-09-30
申请人： Wolfram Schulte , Ethan K. Jackson
发明人： Wolfram Schulte , Ethan K. Jackson
IPC分类号： G06F15/173
CPC分类号： G06F17/30575
摘要： One or more embodiments, described herein, are directed towards a technology for analyzing a distributed system in order to determine one or more inconsistencies placing the distributed system in an unstable state. Once the one or more inconsistencies are determined, one or more operations reconciling the inconsistencies are defined in order to stabilize the distributed system.
摘要翻译： 本文描述的一个或多个实施例涉及用于分析分布式系统的技术，以便确定将分布式系统置于不稳定状态的一个或多个不一致。 一旦确定了一个或多个不一致之处，就定义了一个或多个协调不一致的操作，以稳定分布式系统。
-
-
-
搜索结果
4 条记录 (耗时 0.048 秒)
