Publikationen

2020

• Enabling low tail latency on multicore key-value storesLersch, L., Schreter, I., Oukid, I. & Lehner, W., 2020, in: Proceedings of the VLDB Endowment. 13, 7, S. 1091-1104, 14 S., 7Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• Energy Efficient Synchronous- Asynchronous Circuit-Switched NoCWasif, S. A., Hesham, S., Göhringer, D., Hofmann, K. & Abd El Ghany, M., 2020, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Experimental Analysis of High Resolution Indoor THz SAR ImagingBatra, A., Zantah, Y., Vu, V. T., Wiemeler, M., Pettersson, M., Göhringer, D. & Kaiser, T., 2020, S. 1-5, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Exploring user profiles based on their explainability requirements in interactive systems.Louzada, H., Chaves, G. & Ponciano, L., 2020, XIX Brazilian Symposium on Human Factors in Computing Systems. Association for Computing Machinery (ACM), New York, S. 48:1-48:6, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Extensions of Unification Modulo ACUIBaader, F., Marantidis, P., Mottet, A. & Okhotin, A., 2020, in: Mathematical Structures in Computer Science. 30, 6, S. 597-626, 30 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• FANTOM: Fault Tolerant Task-Drop Aware Scheduling for Mixed-Criticality Systems.Ranjbar, B., Safaei, B., Ejlali, A. & Kumar, A., 2020, in: IEEE access. 8, S. 187232-187248, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Farkas Certificates and Minimal Witnesses for Probabilistic Reachability ConstraintsFunke, F., Jantsch, S. & Baier, C., 2020, Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I. Biere, A. & Parker, D. (Hrsg.). Springer, Berlin [u. a.], S. 324–345Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Faszination sprechende Maschinen: Technologischer Wandel der Sprachsynthese über zwei JahrhunderteEngeln, L., Groh, R., Gabriel, F., Birkholz, P., Jäckel, R., Hoffmann, R., Felten, J. & 6 weitere, 2020Publikation: Beitrag zu Konferenzen > Paper
• FFMK: A Fast and Fault-Tolerant Microkernel-Based System for Exascale ComputingWeinhold, C., Lackorzynski, A., Bierbaum, J., Küttler, M., Planeta, M., Weisbach, H., Hille, M. & 12 weitere, 2020, Software for Exascale Computing - SPPEXA 2016-2019. Springer Verlag, S. 483-516, 34 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes (Extended Abstract)Borgwardt, S., Forkel, W. & Kovtunova, A., 2020, Proceedings of the 33rd International Workshop on Description Logics (DL 2020)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Finding Proofs for Description Logic Entailments in Practice (Extended Abstract)Alrabbaa, C., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2020, Informal Proceedings of the 1st Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2020)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Finding Small Proofs for Description Logic Entailments: Theory and PracticeAlrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2020, LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. S. 32-67, 36 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• First Results on How to Certify Subsumptions Computed by the 𝓔𝓛 Reasoner ELK Using the Logical Framework with Side ConditionsBaader, F., Koopmann, P. & Tinelli, C., 2020, Proceedings of the 33rd International Workshop on Description Logics (DL 2020). CEUR-WSElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• From Features to RolesChrszon, P., Dubslaff, C., Klüppelholz, S. & Baier, C., 2020, SPLC '20: Proceedings of the 24th ACM Conference on Systems and Software Product Line. Ali, S., Assunção, W. K. G., Berger, T., Cetina, C., Collet, P., Galindo, J., Gazzillo, P., Linsbauer, L., Lopez-Herrejon, R. E., Nadi, S., Schulze, S. & Trujillo, S. (Hrsg.). Association for Computing Machinery (ACM), New York, Band A. 19Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Full Approximation of Deep Neural Networks through Efficient Optimization.Parra, C. D. L., Guntoro, A. & Kumar, A., 2020, 2020 IEEE International Symposium on Circuits and Systems (ISCAS). IEEE Xplore, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Give Inconsistency a Chance: Semantics for Ontology-Mediated VerificationDubslaff, C., Koopmann, P. & Turhan, A., 2020, Proceedings of the 33rd International Workshop on Description Logics (DL 2020). CEUR-WSElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Hardness of Network Satisfaction for Relation Algebras with Normal Representations.Bodirsky, M. & Knäuer, S., 2020, RAMiCS. S. 31-46, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Hardware-Oblivious SIMD Parallelism for In-Memory Column-Stores.Ungethüm, A., Pietrzyk, J., Damme, P., Krause, A., Habich, D., Lehner, W. & Focht, E., 2020Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Hardware/Software Co-design for the Signal Processing of Dielectric Materials CharacterizationKamaleldin, A., Wagner, J., Rolfes, I., Barowski, J. & Göhringer, D., 2020, S. 1-6, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Improving approximate neural networks for perception tasks through specialized optimization.Parra, C. D. L., Guntoro, A. & Kumar, A., 2020, in: Future generation computer systems. 113, S. 597-606, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Indoor THz SAR Trajectory Deviations Effects and Compensation With Passive Sub-mm Localization SystemBatra, A., El-Absi, M., Wiemeler, M., Göhringer, D. & Kaiser, T., 2020, in: IEEE Access. S. 177519-177533, 15 S.Publikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Inklusion benötigt verschiedene Prozesse: Aktivitäten und Strategien an der TU DresdenHähne, C., Marquardt, G., Rudolph, E., Schmidt, H. J., Weber, G. & Wegner, G., 2020, in: Zeitschrift für Hochschulentwicklung. 15, 3, S. 363-376, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Input & Output Standardization EffortsHuebl, A., Lehe, R., Vay, J. -., Thevenet, M., Grote, D. P., Sbalzarini, I. F., Kuschel, S. & 5 weitere, 2020Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Abstract
• In Situ Visualization of Performance-Related Data in Parallel CFD ApplicationsAlves, R. F. & Knüpfer, A., 2020, Euro-Par 2019: Parallel Processing Workshops - International Workshops, Revised Selected Papers. Schwardmann, U., Boehme, C., B. Heras, D., Cardellini, V., Jeannot, E., Salis, A., Schifanella, C., Manumachu, R. R., Schwamborn, D., Ricci, L., Sangyoon, O., Gruber, T., Antonelli, L. & Scott, S. L. (Hrsg.). Springer, S. 400-412, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Integrating Haptic Signals with V2X-based Safety Systems for Vulnerable Road UsersOczko, M., Stratmann, L., Franke, M., Heinovski, J., Buse, D. S., Klingler, F. & Dressler, F., 2020, IEEE International Conference on Computing, Networking and Communications (ICNC 2020). Big Island, HI: IEEE, S. 692-697, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband