Automating System Configuration
Automating System Configuration
复制标题
自动化系统配置
DOI：
10.34727/2021/isbn.978-3-85448-046-4_19
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Barrett, Clark
中科院分区：
文献类型：
--
作者：
Tsiskaridze, Nestan;Strange, Maxwell;Mann, Makai;Sreedhar, Kavya;Liu, Qiaoyi;Horowitz, Mark;Barrett, Clark
登录
查看更多内容
WeCoTin - 实用的基于逻辑的销售配置器
DOI：
10.3233/aic-2012-0547
发表时间：
2013
期刊：
AI Commun.
影响因子：
--
作者：
J. Tiihonen;Mikko Heiskala;A. Anderson;T. Soininen
通讯作者：
T. Soininen
通过模型查找进行网络配置管理
DOI：
--
发表时间：
2005
期刊：
LiSA
影响因子：
--
作者：
S. Narain
通讯作者：
S. Narain
DOI：
10.1145/3297858.3304025
发表时间：
2019-04
期刊：
Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems
影响因子：
--
作者：
Michael Pellauer;Y. Shao;Jason Clemons;N. Crago;Kartik Hegde;Rangharajan Venkatesan;S. Keckler;Christopher W. Fletcher;J. Emer
通讯作者：
Michael Pellauer;Y. Shao;Jason Clemons;N. Crago;Kartik Hegde;Rangharajan Venkatesan;S. Keckler;Christopher W. Fletcher;J. Emer
使用可满足性模理论进行基于组件的嵌入式系统综合
DOI：
10.1145/2746235
发表时间：
2015
期刊：
ACM Transactions on Design Automation of Electronic Systems (TODAES)
影响因子：
--
作者：
Steffen Peter;T. Givargis
通讯作者：
T. Givargis
Yosys-A 免费 Verilog 综合套件
DOI：
--
发表时间：
2013
期刊：
影响因子：
--
作者：
C. Wolf;J. Glaser;J. Kepler
通讯作者：
J. Kepler