АНАЛИЗ И ТРАНСФОРМАЦИЯ ПРОГРАММ
| Шығарылым | Атауы | Файл | |
| № 4 (2025) | Automatic inference of synchronous regular invariants |
 (Rus) |
|
| Vasenina A., Kostyukov Y., Mordvinov D. | |||
| Нәтижелер 1 - 1/1 | |||
Пайдаланушы
Жазылу
Жазылымды тексеру үшін жүйеге кіріңіз
Кілтсөздер
C++
GPU
cloud computing
computer algebra
convolutional neural networks
deep learning
differentiable rendering
formal verification
guided modes
histology
image segmentation
model checking
neural networks
point cloud
ray tracing
real time
rendering
security policy language
smoothly irregular waveguide
symbolic solution of differential equations
symbolic solution of linear equations
Ағымдағы шығарылым
№ 4 (2025)
×
Пайдаланушы
Жазылу
Жазылымды тексеру үшін жүйеге кіріңіз
Кілтсөздер
C++
GPU
cloud computing
computer algebra
convolutional neural networks
deep learning
differentiable rendering
formal verification
guided modes
histology
image segmentation
model checking
neural networks
point cloud
ray tracing
real time
rendering
security policy language
smoothly irregular waveguide
symbolic solution of differential equations
symbolic solution of linear equations
Ағымдағы шығарылым