Publications
281 Einträge
2015
-
Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments , 1 Feb. 2015Elektronische (Volltext-)VersionPublikation: Vorabdruck/Dokumentation/Bericht > Arbeitspapier
-
A controller safety concept based on software-implemented fault tolerance for fail-operational automotive applications , 2015, International Workshop on Formal Techniques for Safety-Critical Systems. S. 189-205, 17 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
DEBS Grand Challenge: Real Time Data Analysis of Taxi Rides using StreamMine3G , 2015, Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems. New York, NY, USA: ACM Press, S. 269-276, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
EHadoop: network I/O aware scheduler for elastic MapReduce cluster , 2015, 8th IEEE International Conference on Cloud Computing (CLOUD'15). IEEE Computer Society, Washington Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
FUGU: Elastic Data Stream Processing with Latency Constraints. , 2015, in: IEEE Data Engineering Bulletin. 38, 4, S. 73-81, 9 S.Publikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Online Parameter Optimization for Elastic Data Stream Processing , 2015, SoCC '15: Proceedings of the Sixth ACM Symposium on Cloud Computing. Association for Computing Machinery (ACM), New York, S. 276-287, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Optimization of Continuous Queries in Federated Database and Stream Processing Systems , 2015, BTWPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
ParaDIME: Parallel Distributed Infrastructure for Minimization of Energy for data centers , 2015, in: Microprocessors and Microsystems. 2014, S. 191-198, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Parallel Symbolic Execution: Merging In-Flight Requests , 2015, Hardware and Software: Verification and Testing. Piterman, N. (Hrsg.). Springer International Publishing, Band 9434. S. 120-135, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Resiliency-aware Data Compression for In-memory Database Systems , 2015, Proceedings of 4th International Conference on Data Management Technologies and Applications. S. 326-331, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband