Search Results for Machines.

23 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

Yazar

Butler, Michael. editor.

https://doi.org/10.1007/978-3-319-91271-4

Format:

Electronic Resources

Alıntı:

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Yazar

Butler, Michael. editor.

http://dx.doi.org/10.1007/978-3-319-33600-8

Format:

Electronic Resources

Alıntı:

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz

Machine Learning with R

Yazar

Ghatak, Abhijit. author.

https://doi.org/10.1007/978-981-10-6808-9

Format:

Electronic Resources

Alıntı:

Machine Learning with R Ghatak, Abhijit. author.

Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

Yazar

Garrigue, Jacques. editor.

http://dx.doi.org/10.1007/978-3-319-12736-1

Format:

Electronic Resources

Alıntı:

languages; compilers, interpreters, abstract machines; program derivation, synthesis and transformation

Automatic Tuning of Compilers Using Machine Learning

Yazar

Ashouri, Amir H. author.

https://doi.org/10.1007/978-3-319-71489-9

Format:

Electronic Resources

Alıntı:

Automatic Tuning of Compilers Using Machine Learning Ashouri, Amir H. author.

Programming Languages and Operational Semantics A Concise Overview

Yazar

Fernández, Maribel. author.

http://dx.doi.org/10.1007/978-1-4471-6368-8

Format:

Electronic Resources

Alıntı:

machines and structural operational semantics. Programming Languages and Operational Semantics gives an

Programming Language Concepts

Yazar

Sestoft, Peter. author.

https://doi.org/10.1007/978-3-319-60789-4

Format:

Electronic Resources

Alıntı:

, including compilers for a small but usable subset of C, abstract machines, a garbage collector, and ML-style

Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

Yazar

Braga, Christiano. editor.

http://dx.doi.org/10.1007/978-3-319-15075-8

Format:

Electronic Resources

Alıntı:

animation of Turing Machines -- Towards completeness in Bounded Model Checking through Automatic Recursion

Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Yazar

Chang, Bor-Yuh Evan. editor.

https://doi.org/10.1007/978-3-030-32304-2

Format:

Electronic Resources

Alıntı:

pointers and dataflow; languages and decidability; numerical; trends: assuring machine learning; synthesis

10.

Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

Yazar

Lachiche, Nicolas. editor.

https://doi.org/10.1007/978-3-319-78090-0

Format:

Electronic Resources

Alıntı:

Programming (ILP) is a subfield of machine learning, which originally relied on logic programming as a uniform

11.

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof

Yazar

Kovalev, Mikhail. author.

http://dx.doi.org/10.1007/978-3-319-13906-7

Format:

Electronic Resources

Alıntı:

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof / Kovalev

12.

Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

Yazar

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

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

Format:

Electronic Resources

Alıntı:

Communicating State Machines -- Repairing Timed Automata Clock Guards through Abstraction and Testing -- Proving

	{displayName}	{count}
{error}