查看最新文献
订阅
分享
3111发文信息
历年影响因子
历年发表
投稿信息
同类期刊
Proceedings of the Estonian Academy of Sciences. Chemistry
Proceedings of the 2nd International Conference of Essential Oils
Proceedings of the 40th Annual International Symposium on Computer Architecture
Proceedings of the 2nd International Workshop on Advanced Interconnect Solutions and Technologies for Emerging Computing Systems
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation - 最新文献
Frequent background polling on a shared thread, using light-weight compiler interrupts
Pub Date : 2021-06-19 DOI: 10.1145/3453483.3454107 Nilanjana Basu, C. Montanari, Jakob ErikssonPhased synthesis of divide and conquer programs
Pub Date : 2021-06-19 DOI: 10.1145/3453483.3454089 Azadeh Farzan, Victor NicoletSpecification synthesis with constrained Horn clauses
Pub Date : 2021-06-19 DOI: 10.1145/3453483.3454104 Sumanth Prabhu, Grigory Fedyukovich, Kumar Madhukar, D. D'Souza
免责声明：
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。
京公网安备 11010802042870号
