Search Results for Optimization.

57 sonuç bulundu

Tümünü Seç

1 2 3 4 5

000000000000DEFAULTTR

Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors

Yazar

Melikyan, Vazgen. author.

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

Format:

Electronic Resources

Alıntı:

Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors /

Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers

Yazar

Battiti, Roberto. editor. (orcid)0000-0002-0259-8603

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

Format:

Electronic Resources

Alıntı:

Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod

Nano-CMOS and Post-CMOS Electronics Circuits and Design

Yazar

Mohanty, Saraju, ed.

http://dx.doi.org/10.1049/PBCS030E

Format:

Electronic Resources

Alıntı:

SPICEless RTL design optimization

Computer Engineering and Technology 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 – August 1, 2014, Revised Selected Papers

Yazar

Xu, Weixia. editor.

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

Format:

Electronic Resources

Alıntı:

on processor architecture; computer application and software optimization; technology on the horizon.

Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings

Yazar

Yamashita, Shigeru. editor.

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

Format:

Electronic Resources

Alıntı:

-- Synthesis and optimization for reversible circuits -- Validation and representation of quantum logic.

Reliable and Energy Efficient Streaming Multiprocessor Systems

Yazar

Das, Anup Kumar. author.

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

Format:

Electronic Resources

Alıntı:

design flow described in this book extends to thermal and energy optimization with multiple applications

Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

Yazar

Podelski, Andreas. editor.

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

Format:

Electronic Resources

Alıntı:

topics in abstract domains: program verication, bug detection, compiler optimization, program

Reversible Computation 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings

Yazar

Phillips, Iain. editor.

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

Format:

Electronic Resources

Alıntı:

; reversible circuit optimization; testing and fault tolerance; and quantum circuits.

Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

Yazar

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834

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

Format:

Electronic Resources

Alıntı:

Functional programming -- Constraint programming and business rules -- Prolog and optimization

10.

Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings

Yazar

Fomin, Fedor V. editor.

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

Format:

Electronic Resources

Alıntı:

of topics such as algorithms and data structures; combinatorial optimization; constraint solving

11.

New Data Structures and Algorithms for Logic Synthesis and Verification

Yazar

Amaru, Luca Gaetano. author.

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

Format:

Electronic Resources

Alıntı:

and optimization tasks by taking advantage of majority and biconditional logic primitives. Readers

12.

Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings

Yazar

Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937

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

Format:

Electronic Resources

Alıntı:

; Internet of things; power applications; simulation systems; optimization. .

Tümünü Seç

1 2 3 4 5

57 sonuç bulundu

	{displayName}	{count}
{error}