the proceedings contain 27 papers. the topics discussed include: CougaR: fast and eclipse-resilient dissemination for blockchain networks;optimizing complex event forecasting;predicate-based push-pull communication fo...
ISBN:
(纸本)9781450393089
the proceedings contain 27 papers. the topics discussed include: CougaR: fast and eclipse-resilient dissemination for blockchain networks;optimizing complex event forecasting;predicate-based push-pull communication for distributed CEP;toward reducing cross-shard transaction overhead in sharded blockchains;substream management in distributed streaming dataflows;a multi-level caching architecture for stateful stream computation;travel light - state shedding for efficient operator migration;zero-shot cost models for distributed stream processing;window-based parallel operator execution with in-network computing;event-based data-centric semantics for consistent data management in microservices;knowledge graph stream processing at the edge;and deriving a realistic workload model to simulate high-volume financial data feeds for performance benchmarking.
the proceedings contain 28 papers. the topics discussed include: Triggerflow: trigger-based orchestration of serverless workflows;leaving stragglers at the window: low-latency stream sampling with accuracy guarantees;...
ISBN:
(纸本)9781450380287
the proceedings contain 28 papers. the topics discussed include: Triggerflow: trigger-based orchestration of serverless workflows;leaving stragglers at the window: low-latency stream sampling with accuracy guarantees;EdgeScaler: effective elastic scaling for graph stream processing systems;mechanisms for outsourcing computation via a decentralized market;FaaSdom: a benchmark suite for serverless computing;ByzGame: Byzantine generals game;the Kaiju project: enabling event-driven observability;DeepMatch: deep matching for in-vehicle presence detection in transportation;Hermes: enabling energy-efficient IoT networks with generalized deduplication;and doctoral symposium: trade-off analysis of thermal-constrained scheduling strategies in multi-core systems.
the proceedings contain 26 papers. the topics discussed include: a selective and biased choice of techniques for building a distributed data store;accelerating the performance of distributed stream processing systems ...
ISBN:
(纸本)9798400701221
the proceedings contain 26 papers. the topics discussed include: a selective and biased choice of techniques for building a distributed data store;accelerating the performance of distributed stream processing systems with in-network computing;secure distributed data and event processing at scale: where are we now?;adaptive distributed streaming similarity joins;I will survive: an event-driven conformance checking approach over process streams;on improving streaming system Autoscaler behavior using windowing and weighting methods;practical forecasting of cryptocoins timeseries using correlation patterns;an exploratory analysis of methods for real-time data deduplication in streaming processes;considerations for integrating virtual threads in a Java framework: a Quarkus example in a resource-constrained environment;and discovery of breakout patterns in financial tick data via parallel stream processing with in-order guarantees.
the proceedings contain 30 papers. the topics discussed include: Challenger 2.0: a step towards automated deployments and resilient solutions for the DEBS grand challenge;safe shared state in dataflow systems;AquaLang...
ISBN:
(纸本)9798400704437
the proceedings contain 30 papers. the topics discussed include: Challenger 2.0: a step towards automated deployments and resilient solutions for the DEBS grand challenge;safe shared state in dataflow systems;AquaLang: a dataflow programming language;aggregates are all you need (to bridge stream processing and complex event recognition);StreamBed: capacity planning for stream processing;last night in Sweden: a vision for resource-intelligent stream reasoning;evaluating stream processing Autoscalers;color-based lightweight utility-aware load shedding for real-time video analytics at the edge;job scheduling for HPC clusters: constraint programming vs. backfilling approaches;and a comprehensive benchmarking analysis of fault recovery in stream processing frameworks.
the proceedings contain 61 papers. the topics discussed include: quality-driven disorder handling for concurrent-windowed stream queries with shared operators;Enorm: efficient Window-based computation in large-scale d...
ISBN:
(纸本)9781450340212
the proceedings contain 61 papers. the topics discussed include: quality-driven disorder handling for concurrent-windowed stream queries with shared operators;Enorm: efficient Window-based computation in large-scale distributed stream processing systems;spreadsheets for stream processing with unbounded-windows and partitions;optimal operator placement for distributed stream processing applications;highly-available content-based publish/subscribe via gossiping;OMen: overlay mending for topic-based publish/subscribe systems under churn;shared dictionary compression in publish/subscribe systems;bandwidth-efficient content-based routing on software-defined networks;routing and scheduling of spatio-temporal tasks for optimizing airborne sensor system utilization;smooth and crispy - integrating continuous event proximity calculation and discrete event detection;reducing expenses of top-k monitoring in sensor cloud services;lessons learned using a process mining approach to analyze events from distributed applications;continuous analytics on graph data streams using WSO2 complex event processor;SPASS: scalable event stream processing leveraging sharing opportunities;complex event processing over streaming multi-cloud platforms - the FERARI approach;and RxSpatial: a framework for real-time spatiotemporal operations.
In this keynote I give a subjective but systematic overview of the landscape of distributedevent-basedsystems, with an emphasis on two areas I have worked on over the last decade: large-scale stream processing with ...
详细信息
the proceedings contain 20 papers. the special focus in this conference is on Invited talk, Formal UML modeling, Components and architecture, Joint discotec session, Timed process algebra, Timed and hybrid automata, P...
ISBN:
(纸本)3642134637
the proceedings contain 20 papers. the special focus in this conference is on Invited talk, Formal UML modeling, Components and architecture, Joint discotec session, Timed process algebra, Timed and hybrid automata, Program logics and analysis and Reasoning about distributedsystems. the topics include: Formal software verification;exploiting the hierarchical structure of rule-based specifications for decision planning;reactive semantics for distributed UML activities;statistical abstraction and model-checking of large heterogeneous systems;formal semantics and analysis of behavioral AADL models in real-time maude;testing probabilistic distributedsystems;specification and testing of e-commerce agents described by using UIOLTSs;testing attribute-based transactions in SOC;grouping nodes in wireless sensor networks using coalitional game theory;forgetting the time in timed process algebra;theory and implementation of a real-time extension to the π-calculus;fuzzy-timed automata;model checking of hybrid systems using shallow synchronization;heap-dependent expressions in separation logic;on-the-fly trace generation and textual trace analysis and their pplications to the analysis of cryptographic protocols;on efficient models for model checking message-passing distributed protocols and logics for contravariant simulations
暂无评论