Automatic Verification and Synthesis of Finite-State Hard Real-Time Systems.

Mapping Intimacies ◽

10.21236/ada291279 ◽

1994 ◽

Author(s):

David Dill

Keyword(s):

Real Time ◽

Automatic Verification ◽

Real Time Systems ◽

Finite State ◽

Hard Real Time ◽

Time Systems

Download Full-text

On the Uses of Synchronization in Hard-real-time Systems

10.1109/milcom.1983.4794801 ◽

1983 ◽

Cited By ~ 1

Author(s):

Stuart R. Faulk ◽

David L. Parnas

Keyword(s):

Real Time ◽

Real Time Systems ◽

Hard Real Time ◽

Time Systems

Download Full-text

A comparison of temporal Petri net techniques in the specification and design of hard real-time systems

Microprocessing and Microprogramming ◽

10.1016/0165-6074(91)90332-n ◽

1991 ◽

Vol 32 (1-5) ◽

pp. 111-118 ◽

Cited By ~ 8

Author(s):

J.S. Sagoo ◽

D.J. Holding

Keyword(s):

Real Time ◽

Petri Net ◽

Real Time Systems ◽

Hard Real Time ◽

Time Systems

Download Full-text

Energy efficient scheduling for hard real-time systems with fixed-priority assignment

International Performance Computing and Communications Conference ◽

10.1109/pccc.2010.5682315 ◽

2010 ◽

Cited By ~ 1

Author(s):

Linwei Niu

Keyword(s):

Real Time ◽

Energy Efficient ◽

Real Time Systems ◽

Priority Assignment ◽

Fixed Priority ◽

Hard Real Time ◽

Time Systems ◽

Energy Efficient Scheduling

Download Full-text

Multi-Criteria Function Inlining for Hard Real-Time Systems

Proceedings of the 28th International Conference on Real-Time Networks and Systems ◽

10.1145/3394810.3394819 ◽

2020 ◽

Author(s):

Kateryna Muts ◽

Heiko Falk

Keyword(s):

Real Time ◽

Real Time Systems ◽

Hard Real Time ◽

Time Systems

Download Full-text

Extending Windows/NT and /CE for embedded and hard real-time systems

10.1049/ic:19980414 ◽

1998 ◽

Author(s):

M. Rogosin ◽

M. Zimmerman ◽

N. Nachiappan

Keyword(s):

Real Time ◽

Real Time Systems ◽

Windows Nt ◽

Hard Real Time ◽

Time Systems

Download Full-text

Hardware-software co-synthesis of hard real-time systems with reconfigurable FPGAs

Computers & Electrical Engineering ◽

10.1016/j.compeleceng.2004.09.001 ◽

2004 ◽

Vol 30 (7) ◽

pp. 471-489 ◽

Cited By ~ 5

Author(s):

Faridah M. Ali ◽

A. Shoba Das

Keyword(s):

Real Time ◽

Real Time Systems ◽

Hard Real Time ◽

Time Systems

Download Full-text

Workload correlations in multi-processor hard real-time systems

Journal of Computer and System Sciences ◽

10.1016/j.jcss.2006.04.005 ◽

2007 ◽

Vol 73 (2) ◽

pp. 207-224 ◽

Cited By ~ 4

Author(s):

Ernesto Wandeler ◽

Lothar Thiele

Keyword(s):

Real Time ◽

Real Time Systems ◽

Hard Real Time ◽

Time Systems

Download Full-text

A Parallelization Approach for Hard Real-Time Systems and Its Application on Two Industrial Programs

International Journal of Parallel Programming ◽

10.1007/s10766-016-0432-7 ◽

2016 ◽

Vol 44 (6) ◽

pp. 1296-1336 ◽

Cited By ~ 2

Author(s):

Martin Frieb ◽

Ralf Jahr ◽

Haluk Ozaktas ◽

Andreas Hugl ◽

Hans Regler ◽

...

Keyword(s):

Real Time ◽

Real Time Systems ◽

Hard Real Time ◽

Time Systems

Download Full-text

Global emergency-based job-level scheduling for weakly-hard real-time systems

Journal of Systems Architecture ◽

10.1016/j.sysarc.2021.102150 ◽

2021 ◽

pp. 102150

Author(s):

Sunlu Gong ◽

Jian-Jun Han

Keyword(s):

Real Time ◽

Real Time Systems ◽

Job Level ◽

Level Scheduling ◽

Hard Real Time ◽

Time Systems

Download Full-text

An Investigation of Dynamic Partial Reconfiguration Offloading in Hard Real-Time Systems

10.1109/dsd53832.2021.00039 ◽

2021 ◽

Author(s):

Gabriella D'Andrea ◽

Giacomo Valente ◽

Luigi Pomante ◽

Tania Di Mascio

Keyword(s):

Real Time ◽

Partial Reconfiguration ◽

Real Time Systems ◽

Dynamic Partial Reconfiguration ◽

Hard Real Time ◽

Time Systems

Download Full-text