Generating Multi-Threaded code from Polychronous Specifications

机译：从多时规范生成多线程代码

代理获取

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

页面导航

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

著录项

作者
Jose Bijoy A.; Patel Hiren D.; Shukla Sandeep K.; Talpin Jean-Pierre;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Generating Correct, Compact, and Efficient PLC Code from Scenario-based Assume-Guarantee Specifications [J] . Daniel Gritzner, Joel Greenyer Procedia Manufacturing . 2018,第3期

机译：从基于方案的假定保证规范中生成正确，紧凑而高效的PLC代码
2. Generating Python Code from Object-Z Specifications [J] . A.F. Al Azzawi, M. Bettaz, H. M. Al-Refai International Journal of Software Engineering & Applications (IJSEA) . 2017,第4期

机译：从Object-Z规范生成Python代码
3. High-level specifications for automatically generating parallel code [J] . Alejandro Acosta, Francisco Almeida, Ignacio Pelaez Concurrency, practice and experience . 2013,第7期

机译：自动生成并行代码的高级规范
4. A New Multi-threaded Code Synthesis Methodology and Tool for Correct-by-Construction Synthesis from Polychronous Specifications [C] . Nanjundappa Mahesh, Kracht Matthew, Ouy Julien, International Conference on Application of Concurrency to System Design . 2013

机译：一种基于多时规范从结构正确综合的新多线程代码综合方法和工具
5. Fast algorithms to generate Beckett-Gray codes and coil-in-the-box codes [D] . Wong, Dennis Chi-Him 2007

机译：快速算法生成Beckett-Gray代码和盒装代码
6. PNAS Plus: Molecular codes for cell type specification in Brn3 retinal ganglion cells [O] . Szilard Sajgo, Miruna Georgiana Ghinia, Matthew Brooks, 2017

机译：PNAS Plus：Brn3视网膜神经节细胞中细胞类型规范的分子代码
7. Generating Multi-Threaded code from Polychronous Specifications [O] . Bijoy A. Jose, Hiren D. Patel, Sandeep K. Shukla, 2009

机译：从多重规范生成多线程代码

Generating Multi-Threaded code from Polychronous Specifications

著录项

引文网络

相似文献

相关主题

期刊订阅