HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:real-time systems

Papers
Monitoring Employees Entering and Leaving the Office with Deep Learning Algorithms
Viet Tran Hoang, Khoi Tran Minh, Nghia Dang Hieu and Viet Nguyen Hoang
EasyChair Preprint no. 6880
Bus-Contention Aware Schedulability Analysis for the 3-Phase Task Model with Partitioned Scheduling
Jatin Arora, Cláudio Maia, Syed Aftab Rashid, Geoffrey Nelissen and Eduardo Tovar
EasyChair Preprint no. 5200
Analysis of Real-Time Control Systems using First-Order Continuization
Maximilian Gaukler
In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
Designing of Automatic Control System for Camera Crane Based on PID controller and Inertial Measurement Unit
Hanna Saryboha and Yulia Yamnenko
EasyChair Preprint no. 3226
Automated Invariant Generation for the Verification of Real-Time Systems
Bahareh Badban, Stefan Leue and Jan-Georg Smaus
In:WING 2010. Workshop on Invariant Generation 2010
Copyright © 2012-2023 easychair.org. All rights reserved.