Search Results for high level synthesis.

10 sonuç bulundu

Tümünü Seç

0000000000DEFAULTTR

Separation Logic for High-level Synthesis

Yazar

Winterstein, Felix. author.

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

Format:

Electronic Resources

Alıntı:

Separation Logic for High-level Synthesis Winterstein, Felix. author.

Model-Implementation Fidelity in Cyber Physical System Design

Yazar

Molnos, Anca. editor.

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

Format:

Electronic Resources

Alıntı:

-- Throughput-Driven Parallel Embedded Software Synthesis from Synchronous Data-flow Models: Caveats and Remedies

Digital Systems From Logic Gates to Processors

Yazar

Deschamps, Jean-Pierre. author.

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

Format:

Electronic Resources

Alıntı:

using high level hardware description languages, and understand the operation of computers at their most

The Musical-Mathematical Mind Patterns and Transformations

Yazar

Pareyon, Gabriel. editor.

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

Format:

Electronic Resources

Alıntı:

Perspective on Music-Theoretical Conceptualization -- How Learned Patterns Allow Artist-Level Improvisers to

Emerging Technology and Architecture for Big-data Analytics

Yazar

Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983

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

Format:

Electronic Resources

Alıntı:

System-Level and High-Level Synthesis -- Chapter 6.Side Channel Attacks and Efficient Countermeasures on

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

-- Specification and Proof of High-Level Functional Properties of Bit-Level Programs -- Formal Verification of an

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

Yazar

Pires, Luís Ferreira. editor.

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

Format:

Electronic Resources

Alıntı:

Information Systems -- Formal and Virtual Multi-level Design Space Exploration -- Automated Synthesis of a

System Modeling and Optimization 26th IFIP TC 7 Conference, CSMO 2013, Klagenfurt, Austria, September 9-13, 2013, Revised Selected Papers

Yazar

Pötzsche, Christian. editor.

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

Format:

Electronic Resources

Alıntı:

equilibrium for nonlinear reaction-diffusion systems arising in reversible chemistry -- A high-order semi

Applied Reconfigurable Computing 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings

Yazar

Sano, Kentaro. editor.

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

Format:

Electronic Resources

Alıntı:

Efficient SR-Latch PUF -- Hardware Benchmarking of Cryptographic Algorithms Using High-Level Synthesis Tools

10.

Speech and Computer 18th International Conference, SPECOM 2016, Budapest, Hungary, August 23-27, 2016, Proceedings

Yazar

Ronzhin, Andrey. editor.

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

Format:

Electronic Resources

Alıntı:

calculation -- Phonetic Aspects of High Level of Naturalness in Speech Synthesis -- Polybasic Attribution of

	{displayName}	{count}
{error}