首页> 外文OA文献 >A logic for complex computing systems: Properties preservation along integration and abstraction

【2h】

A logic for complex computing systems: Properties preservation along integration and abstraction

机译：复杂计算系统的逻辑：沿着集成和抽象的属性保留

代理获取

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

页面导航

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

摘要

International audience

机译：国际观众

著录项

作者
Aiguier, Marc; Kanso, Bilal;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. The Open Computing Abstraction Layer for Parallel Complex Systems Modeling on Many-Core Systems [J] . DAmbrosio Donato, De Rango Alessio, Oliverio Marco, Journal of Parallel and Distributed Computing . 2018,第NOVa期

机译：多核系统上并行复杂系统建模的开放计算抽象层
2. Solving abduction by computing joint explanations Logic programming formalization, applications to P2P data integration, and complexity results [J] . Gianluigi Greco Annals of Mathematics and Artificial Intelligence . 2007,第1a2期

机译：通过计算联合解释来解决绑架问题逻辑编程形式化，对P2P数据集成的应用以及复杂性结果
3. Preservation of stability properties near fixed points of linear Hamiltonian systems by symplectic integrators [J] . Ding X., Liu H., Shang Z., Applied mathematics and computation . 2011,第13期

机译：辛积分保持线性哈密顿系统不动点附近的稳定性。
4. ABSTRACTIONS FOR SCALING ESCIENCE APPLICATIONS TO DISTRIBUTED COMPUTING ENVIRONMENTS: A StratUm Integration Case Study in Molecular Systems Biology [C] . Per-Olov Ostberg, Andreas Hellander, Brian Drawert, International Conference on Bioinformatics Models, Methods and Algorithms . 2012

机译：缩放级联应用于分布式计算环境的抽象：分子系统生物学中的地层整合案例研究
5. Integrating Computing Systems from the Gates Up: Breaking the Clock Abstraction [D] . ?Ravi, Gokul Subramanian 2020

机译：将计算系统与大门集成：打破时钟抽象
6. Propelling DNA Computing with Materials’ Power: Recent Advancements in Innovative DNA Logic Computing Systems and Smart Bio‐Applications [O] . Daoqing Fan, Juan Wang, Erkang Wang, 2020

机译：推进DNA计算材料的力量：创新DNA逻辑计算系统和智能生物应用的最新进展
7. A logic for complex computing systems: Properties preservation along integration and abstraction [O] . Aiguier, Marc, Kanso, Bilal 2014

机译：复杂计算系统的逻辑：沿着集成和抽象的属性保留

A logic for complex computing systems: Properties preservation along integration and abstraction

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅