ON SATISFYING TIMING CONSTRAINTS IN HARD-REAL-TIME SYSTEMS (VOL 19, PG 70, 1993)

被引：0

|

作者：

XU, J

PARNAS, DL

机构：

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1993年 / 19卷 / 03期

关键词：

D O I：

10.1109/32.221141

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：310 / 310

页数：1

相关论文

共 50 条

[31] DERIVATION AND APPLICATION OF HARD DEADLINES FOR REAL-TIME CONTROL-SYSTEM - (VOL 23, PG 1403, 1993)
SHIN, KG
KIM, H
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1993, 23 (03): : 928 - 928
[32] Fault-tolerant rate-monotonic first-fit scheduling in hard-real-time systems
Bertossi, AA
Mancini, LV
Rossini, F
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1999, 10 (09) : 934 - 945
[33] Work in Progress: Guaranteeing weakly-hard timing constraints in server-based real-time systems
Samimi, Nasim
Nasri, Mitra
Basten, Twan
Geilen, Marc
2024 IEEE 30TH REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM, RTAS 2024, 2023, : 402 - 405
[34] FRAME REPRESENTATION FOR SPECIFICATION OF TIMING CONSTRAINTS IN REAL-TIME SYSTEMS
LIEN, CC
YANG, CC
INFORMATION AND SOFTWARE TECHNOLOGY, 1992, 34 (07) : 467 - 477
[35] RUNTIME MONITORING OF TIMING CONSTRAINTS IN DISTRIBUTED REAL-TIME SYSTEMS
JAHANIAN, F
RAJKUMAR, R
RAJU, SCV
REAL-TIME SYSTEMS, 1994, 7 (03) : 247 - 273
[36] Compositional verification of timing constraints for embedded real-time systems
Guo, Hui
Lee, Woo Jin
PROCEEDINGS OF THE 6TH WSEAS INTERNATIONAL CONFERENCE ON APPLIED COMPUTER SCIENCE, 2007, : 571 - +
[37] Scheduling of manufacturing systems under hard real-time constraints
Salaheddine, DAEK
2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE, 2002, : 1817 - 1822
[38] RYDBERG ATOMS IN CURVED SPACE-TIME (VOL 70, PG 3839, 1993)
PINTO, F
PHYSICAL REVIEW LETTERS, 1993, 71 (07) : 1116 - 1116
[39] Scheduling aperiodic requests in the presence of hard real-time tasks with linear timing constraints
Kavalerov M.V.
Matushkin N.N.
Russian Electrical Engineering, 2013, 84 (11) : 638 - 642
[40] Testing of Timing Properties in Real-Time Systems: Verifying Clock Constraints
Saadatmand, Mehrdad
Sjodin, Mikael
2013 20TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2013), VOL 2, 2013, : 152 - 158

← 1 2 3 4 5 →