SAT-based Abstraction Refinement for Real-time Systems

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2006.09.034 ◽

2007 ◽

Vol 182 ◽

pp. 107-122 ◽

Cited By ~ 7

Author(s):

Stephanie Kemper ◽

André Platzer

Keyword(s):

Real Time ◽

Real Time Systems ◽

Abstraction Refinement ◽

Time Systems

Download Full-text

An Abstraction-Refinement Theory for the Analysis and Design of Real-Time Systems

ACM Transactions on Embedded Computing Systems ◽

10.1145/3126507 ◽

2017 ◽

Vol 16 (5s) ◽

pp. 1-20 ◽

Cited By ~ 2

Author(s):

Philip S. Kurtin ◽

Marco J. G. Bekooij

Keyword(s):

Real Time ◽

Real Time Systems ◽

Abstraction Refinement ◽

Analysis And Design ◽

Time Systems

Download Full-text

An abstraction-refinement theory for the analysis and design of concurrent real-time systems

10.3990/1.9789036546461 ◽

2018 ◽

Author(s):

Philip-Sebastian Kurtin

Keyword(s):

Real Time ◽

Real Time Systems ◽

Abstraction Refinement ◽

Analysis And Design ◽

Time Systems

Download Full-text

Software Engineering for Real Time Systems

IEE Review ◽

10.1049/ir:19920047 ◽

1992 ◽

Vol 38 (3) ◽

pp. 112

Author(s):

Stuart Bennett

Keyword(s):

Software Engineering ◽

Real Time ◽

Real Time Systems ◽

Time Systems

Download Full-text

An adaptive scheduling algorithm for fault-tolerant real-time systems

Software Engineering Journal ◽

10.1049/sej.1991.0013 ◽

1991 ◽

Vol 6 (3) ◽

pp. 93 ◽

Cited By ~ 13

Author(s):

Houssine Chetto ◽

Maryline Chetto

Keyword(s):

Real Time ◽

Fault Tolerant ◽

Scheduling Algorithm ◽

Adaptive Scheduling ◽

Real Time Systems ◽

Time Systems

Download Full-text

Generic Round Robin Scheduling for Real Time Systems

International Journal of Advanced Research in Computer Science and Software Engineering ◽

10.23956/ijarcsse/sv7i5/0125 ◽

2017 ◽

Vol 7 (5) ◽

pp. 148-155

Author(s):

Pallab Banerjee ◽

◽

Riya Shree ◽

Richa Kumari Verma ◽

◽

...

Keyword(s):

Real Time ◽

Round Robin ◽

Real Time Systems ◽

Time Systems

Download Full-text

Low Power Scheduling for Embedded Real-Time Systems with Quality of Service Constraint

Advanced Materials and Information Technology Processing ◽

10.2495/amitp130461 ◽

2014 ◽

Author(s):

Linwei Niu

Keyword(s):

Quality Of Service ◽

Low Power ◽

Real Time ◽

Real Time Systems ◽

Power Scheduling ◽

Time Systems

Download Full-text

Enhancing functionality of real time systems through machine learning

10.2514/6.1993-4662 ◽

1993 ◽

Author(s):

Z. Chen

Keyword(s):

Machine Learning ◽

Real Time ◽

Real Time Systems ◽

Time Systems

Download Full-text

Two Improved EDF Dynamic Scheduling Algorithms in Soft Real-Time Systems

Chinese Journal of Computers ◽

10.3724/sp.j.1016.2011.00943 ◽

2011 ◽

Vol 34 (5) ◽

pp. 943-950 ◽

Cited By ~ 2

Author(s):

Qi LI ◽

Wei BA

Keyword(s):

Real Time ◽

Dynamic Scheduling ◽

Scheduling Algorithms ◽

Real Time Systems ◽

Time Systems

Download Full-text

Elastic scheduling in real-time systems

Journal of Computer Applications ◽

10.3724/sp.j.1087.2012.00573 ◽

2013 ◽

Vol 32 (2) ◽

pp. 573-577

Author(s):

Zhi-bang YANG ◽

Cheng XU ◽

Xu ZHOU ◽

Xue-qing ZHU

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems ◽

Elastic Scheduling

Download Full-text

Software Design Methods for Real-Time Systems

10.21236/ada235701 ◽

1989 ◽

Cited By ~ 1

Author(s):

Hassan Gomaa

Keyword(s):

Real Time ◽

Software Design ◽

Design Methods ◽

Real Time Systems ◽

Time Systems

Download Full-text