2018

• Formal Parameter Synthesis for Energy-Utility-Optimal Fault ToleranceHerrmann, L., Baier, C., Fetzer, C., Klüppelholz, S. & Napierkowski, M., 2018, Computer Performance Engineering : 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings. Bakhshi, R., Ballarini, P., Barbot, B., Castel-Taleb, H. & Remke, A. (Hrsg.). Springer, Berlin [u. a.], S. 78-93, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, ProceedingsBaier, C. & Caires, L., 2018, Springer, Berlin [u. a.], 197 S.Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• Forschen für die Baustelle 4.0 – Wie geht es in den nächsten Jahren weiter?Will, F., 2018, TASPO Garten-Design. S. 56-58Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. ProceedingsBaier, C. & Dal Lago, U., 2018, Springer, ChamElektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• FPGA vs. SIMD: Comparison for Main Memory-Based Fast Column Scan.Lisa, N. J., Ungethüm, A., Habich, D., Lehner, W., Nguyen, T. D. A. & Kumar, A., 2018, DATA (Revised Selected Papers). S. 116-140, 25 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Frequency-Domain Investigation on the Neutron Noise in KWU PWRsViebach, M., Bernt, N., Lange, C., Hennig, D. & Hurtado Gutierrez, A., 2018Publikation: Beitrag zu Konferenzen > Paper
• From Display to Labelled Proofs for Tense LogicsCiabattoni, A., Lyon, T. & Ramanayake, R., 2018, Logical Foundations of Computer Science. Artemov, S. & Nerode, A. (Hrsg.). Cham: Springer International Publishing AG, S. 120-139, 20 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• From Kratzenstein to the Soviet Vocoder: Some Results of a Historic Research Project in Speech TechnologyHoffmann, R., Birkholz, P., Gabriel, F. & Jäckel, R., 2018, Speech and Computer: 20th International Conference, SPECOM 2018, Leipzig, Germany, September 18–22, 2018, Proceedings. S. 215–225Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Fulcrum: Flexible network coding for heterogeneous devicesLucani, D. E., Pedersen, M. V., Ruano, D., Sorensen, C. W., Fitzek, F. H., Heide, J., Geil, O. & 2 weitere, 2018, in: IEEE access. 6, S. 77890-77910, 21 S., 8554264Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Full-HD Accelerated and Embedded Feature Detection Video System with 63fps using ORB for FREAKKalms, L., Ibrahim, H. & Göhringer, D., 2018, S. 1-6, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper