Search Results for Semantics.

5 sonuç bulundu

Arama sonuçlarına abone ol

Tümünü Seç

1

Liste görünümüne geç

Küçük resim görünümüne geç

00000DEFAULTTR

Yazdır

1.

Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings için kapak resmi

Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

Yazar

Rensink, Arend. editor. (orcid)0000-0002-1714-6319

https://doi.org/10.1007/978-3-319-93317-7

Format:

Electronic Resources

Alıntı:

Transformation in Coq -- A Formal Framework for Prototyping Executable Semantics in ATL -- Scalable Model

2.

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings için kapak resmi

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

Yazar

Rayadurgam, Sanjai. editor.

http://dx.doi.org/10.1007/978-3-319-40648-0

Format:

Electronic Resources

Alıntı:

Machines -- Hierarchical Verification of Quantum Circuits -- Correctness and Certification -- Semantics for

3.

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications için kapak resmi

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

Yazar

O'Regan, Gerard. author.

https://doi.org/10.1007/978-3-319-64021-1

Format:

Electronic Resources

Alıntı:

language (UML) Discusses Dijkstra’s calculus of weakest preconditions, Hoare’s axiomatic semantics of

4.

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings için kapak resmi

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings

Yazar

Träff, Jesper Larsson. editor.

http://dx.doi.org/10.1007/978-3-662-48096-0

Format:

Electronic Resources

Alıntı:

Task Parallelism with Library-Semantics-Aware Compilation -- Data Layout Optimization for Portable

5.

Euro-Par 2018: Parallel Processing Workshops Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers için kapak resmi

Euro-Par 2018: Parallel Processing Workshops Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers

Euro-Par 2018: Parallel Processing Workshops Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers

Yazar

Mencagli, Gabriele. editor.

https://doi.org/10.1007/978-3-030-10549-5

Format:

Electronic Resources

Alıntı:

Semantics in HPC Codes -- Refactoring Loops with Nested IFs for SIMD Extensions without Masked Instructions

Tümünü Seç

1

5 sonuç bulundu

Arama sonuçlarına abone ol

Arama Sonuçlarını Sınırlandır

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope

Copyright 2023 Sirsi Corporation - Enterprise Version 5.2.1.2