Formal Verification of Real-Time Data Processing of the LHC Beam Loss Monitoring System: A Case Study

2011 ◽  
pp. 212-227
Author(s):  
Naghmeh Ghafari ◽  
Ramana Kumar ◽  
Jeff Joyce ◽  
Bernd Dehning ◽  
Christos Zamantzas
Keyword(s):  
Data Processing ◽  
Formal Verification ◽  
Real Time ◽  
Monitoring System ◽  
Time Data ◽  
Beam Loss ◽  
System A ◽  
Real Time Data ◽  
Real Time Data Processing

scholarly journals A Personalized Healthcare Monitoring System for Diabetic Patients by Utilizing BLE-Based Sensors and Real-Time Data Processing

Sensors ◽  
2018 ◽  
Vol 18 (7) ◽  
pp. 2183 ◽  
Author(s):  
Ganjar Alfian ◽  
Muhammad Syafrudin ◽  
Muhammad Ijaz ◽  
M. Syaekhoni ◽  
Norma Fitriyani ◽  
...  
Keyword(s):  
Data Processing ◽  
Real Time ◽  
Monitoring System ◽  
Diabetic Patients ◽  
Time Data ◽  
Personalized Healthcare ◽  
Real Time Data ◽  
Healthcare Monitoring ◽  
Real Time Data Processing

Efficient and Accurate Monitoring of Rod Pump Well Performance Using Real Time Data Processing and Visualization.

2013 ◽  
Author(s):  
Orvel Lynn Rowlan ◽  
James N. McCoy ◽  
Dieter Joseph Becker ◽  
Kay Stefan Capps ◽  
A. L. Podio
Keyword(s):  
Data Processing ◽  
Real Time ◽  
Well Performance ◽  
Time Data ◽  
Real Time Data ◽  
Real Time Data Processing
Sign in / Sign up

Export Citation Format

Share Document