Erscheinungsjahr
Fach
Format
Lizenz
Sprache
TIB-Lesesaalbestand
LUH-Institutsbestand
-
SDN : Software-defined Networking : Netzarchitekturen für die Zukunft des Internets und performante Netze in Anschaffung
TIBKAT | 2024|Verlag: VDE VERLAG GmbH, Berlin, Offenbach -
Desynchronized Channel Access with Carrier Sensing for large-scale wireless IoT Networks
British Library Conference Proceedings | 2023|Verlag: VDE-Verlag -
Dynamic VLAN-tagging approach for IoT Network Segmentation and ad-hoc Connectivity
British Library Conference Proceedings | 2023|Verlag: VDE-Verlag -
A Context Management Architecture for Decoupled Acquisition and Distribution of Information in Next-Generation Mobile Networks
British Library Conference Proceedings | 2023|Verlag: VDE-Verlag -
Routing Optimization of QKD-Networks using Machine-Learning Based Prediction
British Library Conference Proceedings | 2023|Verlag: VDE-Verlag -
UPEC-PN: Exhaustive constant time verification of low-level software using property checking
British Library Conference Proceedings | 2023|Verlag: VDE-Verlag -
Formal Verification of Data-Obliviousness in Hardware
British Library Conference Proceedings | 2023|Verlag: VDE-Verlag -
Runtime Verification of Hybrid Systems with Affine Arithmetic Decision Diagrams
British Library Conference Proceedings | 2023|Verlag: VDE-Verlag -
Extended Abstract: Data-Driven Test Generation for Black-Box Systems From Learned Decision Tree Models
British Library Conference Proceedings | 2023|Verlag: VDE-Verlag -
Reusable 5G Campus Network Dataset: Configuration, Extraction, and Application
British Library Conference Proceedings | 2023|Verlag: VDE-Verlag -
Towards Comprehensive Verification of Hardware and Software for RISC-V based Embedded Systems
British Library Conference Proceedings | 2023|Verlag: VDE-Verlag -
Efficient Proof Checking with LRAT in CADICAL (Work in Progress)
VDE-Verlag | 2023|Verlag: VDE VERLAG GMBH -
Extended Abstract: Data-Driven Test Generation for Black-Box Systems From Learned Decision Tree Models
VDE-Verlag | 2023|Verlag: VDE VERLAG GMBH -
Runtime Verification of Hybrid Systems with Affine Arithmetic Decision Diagrams
VDE-Verlag | 2023|Verlag: VDE VERLAG GMBH -
Equivalence Checking of Majority-based Function Mapping on ReRAM Crossbars
VDE-Verlag | 2023|Verlag: VDE VERLAG GMBH -
Worst-Case Response Time Analysis of Earliest Deadline First in an Industrial Case Study
VDE-Verlag | 2023|Verlag: VDE VERLAG GMBH -
Towards Buffers as a Scalable Alternative to Registers for Processor-Local Memory
VDE-Verlag | 2023|Verlag: VDE VERLAG GMBH -
Towards a Rocket Chip Based Implementation of the RISC-V GPC Architecture
VDE-Verlag | 2023|Verlag: VDE VERLAG GMBH -
Energy-efficient Deployment of Deep Learning Applications on Cortex-M based Microcontrollers using Deep Compression
VDE-Verlag | 2023|Verlag: VDE VERLAG GMBH -
Security Validation of VP-based Heterogeneous Systems: A Completeness-driven Perspective
VDE-Verlag | 2023|Verlag: VDE VERLAG GMBH
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.