scholarly journals Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing

2018 ◽  
pp. 43-63 ◽  
Author(s):  
Lukas Convent ◽  
Sebastian Hungerecker ◽  
Torben Scheffel ◽  
Malte Schmitz ◽  
Daniel Thoma ◽  
...  
Keyword(s):  
Stream Processing ◽  
Runtime Verification

scholarly journals Event Stream Processing with BeepBeep 3

10.29007/4cth ◽  
2018 ◽  
Author(s):  
Sylvain Hallé ◽  
Raphael Khoury
Keyword(s):  
Stream Processing ◽  
Runtime Verification ◽  
Short Introduction ◽  
Design Decisions ◽  
Main Design ◽  
Stream Processor ◽  
Event Stream ◽  
Verification Tools

This paper is a short introduction to the BeepBeep 3 event stream processor. It highlights the main design decisions that informed its development, and the features that distinguish it from other Runtime Verification tools.

scholarly journals Towards Runtime Verification via Event Stream Processing in Cloud Computing Infrastructures

2021 ◽  
pp. 162-175
Author(s):  
Domenico Cotroneo ◽  
Luigi De Simone ◽  
Pietro Liguori ◽  
Roberto Natella ◽  
Angela Scibelli
Keyword(s):  
Cloud Computing ◽  
Stream Processing ◽  
Runtime Verification ◽  
Event Stream

Runtime Verification for Stream Processing Applications

2016 ◽  
pp. 400-406 ◽  
Author(s):  
Christian Colombo ◽  
Gordon J. Pace ◽  
Luke Camilleri ◽  
Claire Dimech ◽  
Reuben Farrugia ◽  
...  
Keyword(s):  
Stream Processing ◽  
Runtime Verification

Smart Community Edge: Stream Processing Edge Computing Node for Smart Community Services

2020 ◽  
Vol 140 (9) ◽  
pp. 1030-1039
Author(s):  
W.A. Shanaka P. Abeysiriwardhana ◽  
Janaka L. Wijekoon ◽  
Hiroaki Nishi
Keyword(s):  
Stream Processing ◽  
Community Services ◽  
Edge Computing ◽  
Computing Node ◽  
Smart Community

RFID data stream processing technology based on CEP

2009 ◽  
Vol 29 (10) ◽  
pp. 2786-2790 ◽  
Author(s):  
Xiao-jia YIN ◽  
Shi-guang JU ◽  
Ying-jie WANG
Keyword(s):  
Data Stream ◽  
Stream Processing ◽  
Processing Technology ◽  
Data Stream Processing ◽  
Rfid Data

Video-rate, spatially variant filtering technique using stream processing architecture

1988 ◽  
Vol 24 (25) ◽  
pp. 1580
Author(s):  
D.J. Allerton ◽  
J.D. Evemy ◽  
E.J. Zaluska
Keyword(s):  
Stream Processing ◽  
Variant Filtering ◽  
Filtering Technique ◽  
Spatially Variant ◽  
Processing Architecture

Stream Processing Languages and Abstractions

2019 ◽  
pp. 1600-1607
Author(s):  
Martin Hirzel ◽  
Guillaume Baudart
Keyword(s):  
Stream Processing
Sign in / Sign up

Export Citation Format

Share Document