Copertina

TChecker VM

Fuente: Zenodo

Salvato in:

Dettagli Bibliografici
Autore principale:	Lieb, Alexander
Natura:	Recurso digital
Pubblicazione:	Zenodo 2026
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Witnesses and Counterexamples for Timed Bisimulation (AE)
di: Lieb, Alexander, et al.
Pubblicazione: (2026)

Construction and Decoding of Convolutional Codes with optimal Column Distances
di: Lieb, Julia, et al.
Pubblicazione: (2026)

Construction of LDPC convolutional codes with large girth from Latin squares
di: Junghans, Elisa, et al.
Pubblicazione: (2025)

Gesetz zur Einführung einer Gesellschaft mit gebundenem Vermögen
di: Sanders, Anne, et al.
Pubblicazione: (2024)

SkVM: Revisiting Language VM for Skills across Heterogenous LLMs and Harnesses
di: Chen, Le, et al.
Pubblicazione: (2026)

n-VM: A Multi-VM Layer-1 Architecture with Shared Identity and Token State
di: Wang, Jian Sheng
Pubblicazione: (2026)

Pseudo-MDP Convolutional Codes for Burst Erasure Correction
di: Abreu, Zita, et al.
Pubblicazione: (2026)

Easy repair via codes with simplex locality
di: Kuijper, Margreta, et al.
Pubblicazione: (2025)

A new method for erasure decoding of convolutional codes
di: Lieb, Julia, et al.
Pubblicazione: (2025)

Creating Targeted, Interpretable Topic Models with LLM-Generated Text Augmentation
di: Lieb, Anna, et al.
Pubblicazione: (2025)

An Improved Viterbi Algorithm for a Class of Optimal Binary Convolutional Codes
di: Abreu, Zita, et al.
Pubblicazione: (2024)

Length changes of Austrian glaciers in 2018/2019
di: Lieb, Gerhard Karl, et al.
Pubblicazione: (2021)

Length changes of Austrian glaciers in 2021/2022
di: Kellerer-Pirklbauer, Andreas, et al.
Pubblicazione: (2023)

Length changes of Austrian glaciers in 2017/2018
di: Lieb, Gerhard Karl, et al.
Pubblicazione: (2021)

Length changes of Austrian glaciers in 2016/2017
di: Lieb, Gerhard Karl, et al.
Pubblicazione: (2021)

Length changes of Austrian glaciers in 2022/2023
di: Kellerer-Pirklbauer, Andreas, et al.
Pubblicazione: (2024)

Length changes of Austrian glaciers in 2019/2020
di: Lieb, Gerhard Karl, et al.
Pubblicazione: (2021)

Length changes of Austrian glaciers in 2020/2021
di: Lieb, Gerhard Karl, et al.
Pubblicazione: (2022)

Checking Timed Bisimilarity with Virtual Clocks
di: Lieb, Alexander, et al.
Pubblicazione: (2024)

idlab-discover/2cVM-attestation-agent: 2cVM Attestation Agent - IEEE Access
di: Jordi Thijsman, et al.
Pubblicazione: (2026)

Thermodynamic Invariants of Coupled Channels: A Many-Channel Tolman-Ehrenfest Effect
di: Hamblin, Benjamin, et al.
Pubblicazione: (2026)

Improved Lieb-Oxford bound on the indirect and exchange energies
di: Lewin, Mathieu, et al.
Pubblicazione: (2022)

Soziale Kosten von Bauprojekten – systematische Literaturübersicht und Handlungsempfehlungen
di: Marcel Weissinger, et al.
Pubblicazione: (2024)

mRNA-Transkriptionsdaten-Masterarbeit-V.M.
di: Michaelis, Viktor
Pubblicazione: (2026)

NeuroVM: Dynamic Neuromorphic Hardware Virtualization
di: Isik, Murat, et al.
Pubblicazione: (2024)

Geochemistry of VM3-2 peat core
di: Packalen, Maara
Pubblicazione: (2021)

Geochemistry of VM2-5 peat core
di: Packalen, Maara
Pubblicazione: (2021)

Geochemistry of VM4-1 peat core
di: Packalen, Maara
Pubblicazione: (2021)

Design of MDP Convolutional Codes and Maximally Recoverable Codes Through the Lens of Matrix Completion
di: Dang, Sakshi, et al.
Pubblicazione: (2026)

Optimal Multidimensional Convolutional Codes
di: Abreu, Z., et al.
Pubblicazione: (2026)

Information-Set Decoding for Convolutional Codes
di: Gassner, Niklas, et al.
Pubblicazione: (2024)

Why Mental Health Literacy Can Improve STEM
di: Christian W. Pester, et al.
Pubblicazione: (2025)

Transmission Channel Analysis in Dynamic Models
di: Wegner, Enrico, et al.
Pubblicazione: (2024)

Second rock glacier inventory (RGI2) of Central and Eastern Austria, link to Shapefile
di: Lieb, Gerhard Karl, et al.
Pubblicazione: (2012)

A Formal Semantics of the GraalVM Intermediate Representation
di: Webb, Brae J., et al.
Pubblicazione: (2021)

Evaluating Compiler Optimization Impacts on zkVM Performance
di: Gassmann, Thomas, et al.
Pubblicazione: (2025)

VM14K: First Vietnamese Medical Benchmark
di: Nguyen, Thong, et al.
Pubblicazione: (2025)

Squeezy: Rapid VM Memory Reclamation for Serverless Functions
di: Nikolos, Orestis Lagkas, et al.
Pubblicazione: (2024)

Age determination of VM3-2 peat core
di: Packalen, Maara
Pubblicazione: (2021)

Calibrated ages of VM2-5 peat core
di: Packalen, Maara
Pubblicazione: (2021)