Zobrazeno 1 - 10
of 228
pro vyhledávání: '"Langer, Jan"'
Ein stetig wachsender Anteil des Aufwands zum Entwurf digitaler Schaltungen entfällt auf die funktionale Verifikation. Der Verifikationsraum als Menge aller möglichen Kombinationen von Attributen einer Komponente, d. h. der Parameter und Eingangsda
Autor:
Chroustová, Daniela, Trnka, Jiří, Langer, Jan, Urbanová, Ivana, Lambert, Lukáš, Kočvara, Radim
Publikováno v:
In Journal of Pediatric Urology August 2023 19(4):456-462
In the automotive industry, thermoplastic polymers are used for a significant number of interior and exterior parts. These components have to pass all underlying crash and safety relevant tests, where a proper performance is desired in the range of l
Externí odkaz:
http://arxiv.org/abs/1906.10348
Autor:
Langer, Jan
The history of Strachotín, as we know it today, started yet before the year of 1300. Its urbanist structure remained relatively the same untill the 2nd third of the 18th century, nor did the number of houses change. The structure of the main square
Externí odkaz:
http://www.nusl.cz/ntk/nusl-316329
Autor:
Langer, Jan
This work documents the author's interest in drawing and is based on the mental background of his artistic creation. The work is guided by the interest in the physical conditions of the drawing itself (materiality of the drawing), but also in the stu
Externí odkaz:
http://www.nusl.cz/ntk/nusl-295739
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.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Langer, Jan
In der formalen Verifikation digitaler Schaltkreise hat sich die Methodik der vollständigen Verifikation anhand spezieller Operationseigenschaften bewährt. Operationseigenschaften beschreiben das Verhalten einer Schaltung in einem festen Zeitinterv
Autor:
Jiménez-González, Daniel, Álvarez, Carlos, Filgueras, Antonio, Martorell, Xavier, Langer, Jan, Noguera, Juanjo, Vissers, Kees
Heterogeneous computing is emerging as a mandatory requirement for power-efficient system design. With this aim, modern heterogeneous platforms like Zynq All-Programmable SoC, that integrates ARM-based SMP and programmable logic, have been designed.
Externí odkaz:
http://arxiv.org/abs/1508.06830
Autor:
Neelsen, Lea C., Riel, Elena B., Rinné, Susanne, Schmid, Freya-Rebecca, Jürs, Björn C., Bedoya, Mauricio, Langer, Jan P., Eymsh, Bisher, Kiper, Aytug K., Cordeiro, Sönke, Decher, Niels, Baukrowitz, Thomas, Schewe, Marcus
Publikováno v:
Nature Communications; 8/30/2024, Vol. 15 Issue 1, p1-14, 14p