Výsledky vyhledávání - (((automatic OR automatizace) OR automatizacia) OR automation) programming—program transformation*

Dynamics of Industrial Revolution 4.0: Digital Technology Transformation and Cultural Evolution : Proceedings of the 7th Bandung Creative Movement International Conference on Creative Industries (7th BCM 2020), Bandung, Indonesia, 12th November 2020 Autor Bandung Creative Movement International Conference on Creative Industries, Wulandari, Ratri

“… Digital transformation is revolutionizing how businesses and workers interconnect to be more productive and efficient…”
Získat plný text

SCADE Model Checking Based on Program Transformation Autor Ran, Dan, Chen, Zhe, Sun, Yi, Yang, Zhi-bin

“…SCADE synchronization language is a common programming language for embedded system.It is often used to realize real-time embedded automatic control system…”
Získat plný text

Matrix Multiplication Vector Code Generation Based on Polyhedron Model Autor Wang, Bo-Yang, Pang, Jian-Min, Xu, Jin-Long, Zhao, Jie, Tao, Xiao-Han, Zhu, Yu

“…Matrix multiplication is the core of many scientific calculations, and vectorized programming is one of the main means to improve its…”
Získat plný text

Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings Autor Hähnle, Reiner, van der Aalst, Wil

Získat plný text

Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings Autor Russo, Alessandra, Schürr, Andy

“…computer software maintenance; computer software selection and evaluation; formal logic; formal methods; formal specification; programming languages;…”
Získat plný text

Camellia 和CLEFIA 的自动化中间相遇攻击 Autor Qing-Liang, HOU, Kun-Tong, LI, Xiao-Yang, DONG, Guo-Yan, ZHANG, Yan-Zhao, SHEN, 侯庆良, 李坤桐, 董晓阳, 张国艳, 申延召

“…中间相遇 (MitM) 是一种高效构造哈希函数原像和碰撞攻击的策略. 近年来, 基于混合整数线性规划 (MILP) 的 MitM 原像、碰撞和密钥恢复攻击被广泛应用于 AES-like 密码学原…”
Získat plný text

Multidimensional programming Autor Ashcroft, Edward A.

“…This book describes a powerful language for multidimensional declarative programming called Lucid.Lucid has evolved considerably in the past ten years.The main…”
Získat plný text

Computer Graphics: Theory and Practice Autor Gomes, Jonas, Velho, Luiz, Costa Sousa, Mario

“…A complete and integrated introduction to computer graphics, this book focuses on conceptual aspects of computer graphics, covering fundamental mathematical…”
Získat plný text

Computer algebra and symbolic computation : elementary algorithms Autor Cohen, Joel S.

“…This book provides a systematic approach for the algorithmic formulation and implementation of mathematical operations in computer algebra programming languages…”
Získat plný text

SOFTWARE CONSTRUCTION USING COMPONENTS Autor NEIGHBORS, JAMES MILNE

“…It is the thesis of this work than many computer software systems being built today are similar and should be built out of reusable software components. The…”
Získat plný text