Zobrazeno 1 - 10 of 87 pro vyhledávání: '"Constant Propagation"'
1
Akademický článek
ALGEBRAIC MODELS OF STRIP LINES IN A MULTILAYER DIELECTRIC MEDIUM
Autor: A. N. Kovalenko, A. N. Zhukov
Publikováno v: Российский технологический журнал, Vol 6, Iss 3, Pp 54-71 (2018)
The electrodynamic problem is reduced to an integral equation with respect to the current density on the strip conductor. It is solved by the projection method using the Chebyshev basis. A homogeneous system of linear algebraic equations (SLAE) is de
Externí odkaz: https://doaj.org/article/f23e54ba8c1b448c95c907d958c8e5f9
Zobrazit plný text záznamu
2
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
3
Artifact for Quantum Constant Propagation
Autor: anonymous
Artifact for the submission of "Quantum Constant Propagation" to SAS 23
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::95573407811b089ba33015342a92f380
Zobrazit plný text záznamu
5
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
6
Automatic Optimizations for Stream-Based Monitoring Languages
Autor: Bernd Finkbeiner, Matthis Kruse, Jan Baumeister, Maximilian Schwenger
Publikováno v: Runtime Verification-20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings
Runtime Verification ISBN: 9783030605070
RV
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Runtime Verification
Runtime monitors that are specified in a stream-based monitoring language tend to be easier to understand, maintain, and reuse than those written in a standard programming language. Because of their formal semantics, such specification languages are
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::897de805e761cf4c3f36cb831f8a9cc1
Zobrazit plný text záznamu
7
Runtime Verification
Autor: Bernd Finkbeiner, Maximilian Schwenger, Jan Baumeister, Matthis Kruse
Publikováno v: Lecture Notes in Computer Science ISBN: 9783030605070
Runtime monitors that are specified in a stream-based monitoring language tend to be easier to understand, maintain, and reuse than those written in a standard programming language. Because of their formal semantics, such specification languages are
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::a39c83858ac0c08c26d0cfafbc778fca
https://doi.org/10.1007/978-3-030-60508-7
Zobrazit plný text záznamu
8
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
9
Modelos para la representación de las propiedades de propagación de ondas electromagnéticas en líneas de transmisión en los diferentes niveles de un sistema electrónico
Autor: Gabriela Méndez-Jerónimo
Publikováno v: Instituto Nacional de Astrofísica, Óptica y Electrónica
INAOE
Repositorio Institucional del INAOE
Interconnects are structures which are in all the integration levels of an electronic system: from the transistor-transistor connections (locals) to those that are used to link two or more printed circuit boards. The main effects which affect the pro
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::a0913a4263704fd0128023e1d3783417
http://inaoe.repositorioinstitucional.mx/jspui/handle/1009/1678
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje