scholarly journals Strengthening Property Preservation in Concurrent Real-Time Systems

2006 ◽  
Author(s):  
O. Florescu ◽  
Jinfeng Huang ◽  
J. Voeten ◽  
H. Corporaal
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Property Preservation ◽  
Time Systems

Branching-Time Property Preservation Between Real-Time Systems

2006 ◽  
pp. 260-275 ◽  
Author(s):  
Jinfeng Huang ◽  
Marc Geilen ◽  
Jeroen Voeten ◽  
Henk Corporaal
Keyword(s):  
Real Time ◽  
Branching Time ◽  
Real Time Systems ◽  
Time Property ◽  
Property Preservation ◽  
Time Systems

Software Engineering for Real Time Systems

IEE Review ◽  
1992 ◽  
Vol 38 (3) ◽  
pp. 112
Author(s):  
Stuart Bennett
Keyword(s):  
Software Engineering ◽  
Real Time ◽  
Real Time Systems ◽  
Time Systems

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

1991 ◽  
Vol 6 (3) ◽  
pp. 93 ◽  
Author(s):  
Houssine Chetto ◽  
Maryline Chetto
Keyword(s):  
Real Time ◽  
Fault Tolerant ◽  
Scheduling Algorithm ◽  
Adaptive Scheduling ◽  
Real Time Systems ◽  
Time Systems

Generic Round Robin Scheduling for Real Time Systems

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

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

2011 ◽  
Vol 34 (5) ◽  
pp. 943-950 ◽  
Author(s):  
Qi LI ◽  
Wei BA
Keyword(s):  
Real Time ◽  
Dynamic Scheduling ◽  
Scheduling Algorithms ◽  
Real Time Systems ◽  
Time Systems

Elastic scheduling in real-time systems

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

Software Design Methods for Real-Time Systems

1989 ◽  
Author(s):  
Hassan Gomaa
Keyword(s):  
Real Time ◽  
Software Design ◽  
Design Methods ◽  
Real Time Systems ◽  
Time Systems

Utilizing Imprecise Results in Real-Time Systems

1990 ◽  
Author(s):  
Kwei-Jay Lin ◽  
Jane W. Liu
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Time Systems
Sign in / Sign up

Export Citation Format

Share Document