Yazar
Rensink, Arend. editor. (orcid)0000-0002-1714-6319
Format:
Electronic Resources
Alıntı:
Transformation in Coq -- A Formal Framework for Prototyping Executable Semantics in ATL -- Scalable Model
Yazar
Rayadurgam, Sanjai. editor.
Format:
Electronic Resources
Alıntı:
Machines -- Hierarchical Verification of Quantum Circuits -- Correctness and Certification -- Semantics for
View Other Search Results
Yazar
O'Regan, Gerard. author.
Format:
Electronic Resources
Alıntı:
language (UML) Discusses Dijkstra’s calculus of weakest preconditions, Hoare’s axiomatic semantics of
Yazar
Träff, Jesper Larsson. editor.
Format:
Electronic Resources
Alıntı:
Task Parallelism with Library-Semantics-Aware Compilation -- Data Layout Optimization for Portable
Yazar
Mencagli, Gabriele. editor.
Format:
Electronic Resources
Alıntı:
Semantics in HPC Codes -- Refactoring Loops with Nested IFs for SIMD Extensions without Masked Instructions
Arama Sonuçlarını Sınırlandır
Daraltılmış: