Search Results for Logic design.

Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings

Yazar

Gallina, Barbara. editor. (orcid)0000-0002-6952-1053

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

Format:

Electronic Resources

Alıntı:

Logic design.

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Yazar

Cerone, Antonio. editor. (orcid)0000-0003-2691-5279

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

Format:

Electronic Resources

Alıntı:

Logic design.

Reliable Software Technologies – Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings

Yazar

Casimiro, António. editor. (orcid)0000-0002-5522-5739

https://doi.org/10.1007/978-3-319-92432-8

Format:

Electronic Resources

Alıntı:

Logic design.

Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers

Yazar

Chamberlain, Roger. editor.

https://doi.org/10.1007/978-3-030-17910-6

Format:

Electronic Resources

Alıntı:

Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017

VLSI Design and Test 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papers

Yazar

Sengupta, Anirban. editor.

https://doi.org/10.1007/978-981-32-9767-8

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product

Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives

Yazar

Anderson, Neal G. editor.

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

Format:

Electronic Resources

Alıntı:

-- Modelling Techniques for Simulating Large QCA Circuits -- ToPoliNano: NanoMagnet Logic Circuits Design and

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ı:

-- Basic Pipelined Processor Design -- Transforming the Sequential Design -- Scheduling Functions -- Use of

Applied Reconfigurable Computing. Architectures, Tools, and Applications 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings

Yazar

Voros, Nikolaos. editor.

https://doi.org/10.1007/978-3-319-78890-6

Format:

Electronic Resources

Alıntı:

Accelerator Design for Deep Convolutional Neural Networks -- Efficient hardware acceleration of recommendation

	{displayName}	{count}
{error}