Search Results for Machines.

Synthesizable VHDL Design for FPGAs

Yazar

Bezerra, Eduardo Augusto. author.

http://dx.doi.org/10.1007/978-3-319-02547-6

Format:

Electronic Resources

Alıntı:

of Finite State Machines -- Finite State Machines as Control Modules -- Processes in Details

Advanced Gear Engineering

Yazar

Goldfarb, Veniamin. editor.

https://doi.org/10.1007/978-3-319-60399-5

Format:

Electronic Resources

Alıntı:

Mechanisms and Machine Science,

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

Transactions on Computational Science XXXIV

Yazar

Gavrilova, Marina L. editor.

https://doi.org/10.1007/978-3-662-59958-7

Format:

Electronic Resources

Alıntı:

Machine Learning. https://scigraph.springernature.com/ontologies/product-market-codes/I21010

Services Computing – SCC 2018 15th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

Yazar

Ferreira, João Eduardo. editor. (orcid)0000-0001-9607-2014

https://doi.org/10.1007/978-3-319-94376-3

Format:

Electronic Resources

Alıntı:

-- Data Service API Design for Data Analytics -- Virtual Machine Profiling for Analyzing Resource Usage of

Distributed Applications and Interoperable Systems 16th IFIP WG 6.1 International Conference, DAIS 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Yazar

Jelasity, Márk. editor.

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

Format:

Electronic Resources

Alıntı:

Acceleration to KVM Virtual Machines in InfiniBand Clusters with rCUDA -- Benchmarking Wireless Protocols for

Electronic Voting Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings

Yazar

Krimmer, Robert. editor. (orcid)0000-0002-0873-539X

https://doi.org/10.1007/978-3-030-00419-4

Format:

Electronic Resources

Alıntı:

evidence produced from `e-voting machines' -- A New Method for Stratified Risk-Limiting Audits -- Rounding

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

Yazar

Alvim, Mário S. editor.

https://doi.org/10.1007/978-3-030-31175-9

Format:

Electronic Resources

Alıntı:

-- Axiomatizing Team Equivalence for Finite-State Machines -- Asynchronous pi-calculus at work: the call-by-need

	{displayName}	{count}
{error}