E-LIB Suche - Ergebnisse für: Stefan, Jiri

1

IO-SEA: Storage I/O and Data Management for Exascale Archit..:

, In: Proceedings of the 21st ACM International Conference on Computing Frontiers: Workshops and Special Sessions,

Medeiros, Daniel ; Gregory, Eric B. ; Couvee, Philippe... - p. 94-100 , 2024

Link: https://dl.acm.org/doi/1..

2

List of contributors:

, In: Molten Salt Reactors and Thorium Energy,

Andreades, Charalampos ; Bernt, Nico ; Böhm, Dominik... - p. xxi-xxiv , 2024

Link: https://doi.org/10.1016/..

3

LifeCLEF 2024 Teaser: Challenges on Species Distribution Pr..:

, In: Lecture Notes in Computer Science; Advances in Information Retrieval,

Joly, Alexis ; Picek, Lukáš ; Kahl, Stefan... - p. 19-27 , 2024

Link: https://doi.org/10.1007/..

4

Addressing Privacy Concerns in Joint Communication and Sens..:

, In: Lecture Notes in Computer Science; Privacy Technologies and Policy,

Dass, Prajnamaya ; Ujjwal, Sonika ; Novotny, Jiri... - p. 87-111 , 2024

Link: https://doi.org/10.1007/..

5

SyPer: Synthesis of Perfectly Resilient Local Fast Re-Routi..:

, In: IEEE INFOCOM 2024 - IEEE Conference on Computer Communications,

Gyorgyi, Csaba ; Larsen, Kim G. ; Schmid, Stefan. - p. 2398-2407 , 2024

Link: https://doi.org/10.1109/..

6

SyRep: Efficient Synthesis and Repair of Fast Re-Route Forw..:

, In: 2024 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN),

Gyorgyi, Csaba ; Larsen, Kim G. ; Schmid, Stefan. - p. 483-494 , 2024

Link: https://doi.org/10.1109/..

7

Kapitel 5: Sakralisierung:

, In: Theorie und Systematik materialer Textkulturen,

Frese, Tobias ; Zöller, Wolf ; Ardeleanu, Stefan... - p. 207-256 , 2023

Link: https://doi.org/10.1515/..

8

LQR-Trees with Sampling Based Exploration of the State Spac:

, In: 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS),

Fejlek, Jiri ; Ratschan, Stefan - p. 4777-4782 , 2023

Link: https://doi.org/10.1109/..

9

The First Visual Object Tracking Segmentation VOTS2023 Chal..:

, In: 2023 IEEE/CVF International Conference on Computer Vision Workshops (ICCVW),

Kristan, Matej ; Matas, Jiri ; Danelljan, Martin... - p. 1788-1810 , 2023

Link: https://doi.org/10.1109/..

10

PDAAAL: A Library for Reachability Analysis of Weighted Pus..:

, In: Lecture Notes in Computer Science; Automated Technology for Verification and Analysis,

Jensen, Peter G. ; Schmid, Stefan ; Schou, Morten K.. - p. 225-230 , 2022

Link: https://doi.org/10.1007/..

11

The Hazard Value: A Quantitative Network Connectivity Measu..:

, In: 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN),

Cuijpers, Pieter ; Schmid, Stefan ; Schnepf, Nicolas. - p. 239-250 , 2022

Link: https://doi.org/10.1109/..

12

FBR: Dynamic Memory-Aware Fast Rerouting:

, In: 2022 IEEE 11th International Conference on Cloud Networking (CloudNet),

Johansen, Nicklas S. ; Kar, Lasse B. ; Madsen, Andreas L.... - p. 55-60 , 2022

Link: https://doi.org/10.1109/..

13

AllSynth: Transiently Correct Network Update Synthesis Acco..:

, In: Lecture Notes in Computer Science; Theoretical Aspects of Software Engineering,

Larsen, Kim Guldstrand ; Mariegaard, Anders ; Schmid, Stefan. - p. 344-362 , 2022

Link: https://doi.org/10.1007/..

14

Computing Funnels Using Numerical Optimization Based Falsif..:

, In: 2022 International Conference on Robotics and Automation (ICRA),

Fejlek, Jiri ; Ratschan, Stefan - p. 4318-4324 , 2022

Link: https://doi.org/10.1109/..

15

The Effect of High Concentrations of MgO on Space Charge Ac..:

, In: 2022 International Conference on Diagnostics in Electrical Engineering (Diagnostika),

Kopriva, Jiri ; Hornak, Jaroslav ; Trnka, Pavel.. - p. 1-4 , 2022

Link: https://doi.org/10.1109/..