-
1
-
-
0026389580
-
Real-Time Features for Ada 9X
-
IEEE Press, New York
-
T. Baker and O. Pazy, “Real-Time Features for Ada 9X,” Proc. Real-Time Systems Symp., IEEE Press, New York, 1991, 172–180.
-
(1991)
Proc. Real-Time Systems Symp.
, pp. 172-180
-
-
Baker, T.1
Pazy, O.2
-
2
-
-
34250837567
-
Real-Time Euclid: A Language for Reliable Real-Time Systems
-
Sept.
-
E. Kligerman and A. Stoyenko, “Real-Time Euclid: A Language for Reliable Real-Time Systems,” IEEE Trans. Software Eng., Sept. 1986, pp. 941–949.
-
(1986)
IEEE Trans. Software Eng.
, pp. 941-949
-
-
Kligerman, E.1
Stoyenko, A.2
-
3
-
-
0022313892
-
Language Constructs for Distributed Real-Time Programming
-
IEEE Press, New York
-
I. Lee and V. Gehlot, “Language Constructs for Distributed Real-Time Programming,” Proc. Real-Time Systems Symp., IEEE Press, New York, 1985, 57–66.
-
(1985)
Proc. Real-Time Systems Symp.
, pp. 57-66
-
-
Lee, I.1
Gehlot, V.2
-
4
-
-
0024167729
-
Expressing and Maintaining Timing Constraints in FLEX
-
IEEE Press, New York
-
K. Lin and S. Natarajan, “Expressing and Maintaining Timing Constraints in FLEX,” Proc. Real-Time Systems Symp., IEEE Press, New York, 1988, pp. 96–105.
-
(1988)
Proc. Real-Time Systems Symp.
, pp. 96-105
-
-
Lin, K.1
Natarajan, S.2
-
5
-
-
0003693036
-
Object-Oriented Real-Time Language Design: Constructs for Timing Constraints
-
Y. Ishikawa, H. Tokuda, and C. Mercer, “Object-Oriented Real-Time Language Design: Constructs for Timing Constraints,” Tech. Report CMU-CS-90-111, CS Dept., Carnegie Mellon University, Pittsburgh, 1990.
-
(1990)
Tech. Report CMU-CS-90-111, CS Dept., Carnegie Mellon University, Pittsburgh
-
-
Ishikawa, Y.1
Tokuda, H.2
Mercer, C.3
-
6
-
-
84946964919
-
High-Integrity PEARL and its Schedulability Analyzer: Transferring State-of-the-Art Real-Time Software Technology from University Laboratories to Industry
-
A. Stoyenko and W. Halang, “High-Integrity PEARL and its Schedulability Analyzer: Transferring State-of-the-Art Real-Time Software Technology from University Laboratories to Industry,” Tech. Report CIS-91-16, CIS Dept., New Jersey Institute of Technology, Newark, 1991.
-
(1991)
Tech. Report CIS-91-16, CIS Dept., New Jersey Institute of Technology, Newark
-
-
Stoyenko, A.1
Halang, W.2
-
7
-
-
0026205958
-
Schedulability Analysis of Hard-Real-Time Programs
-
Aug.
-
A. Stoyenko, V. Hamacher, and R. Holt, “Schedulability Analysis of Hard-Real-Time Programs,” IEEE Trans. Software Eng., Aug. 1991, pp. 737–750.
-
(1991)
IEEE Trans. Software Eng.
, pp. 737-750
-
-
Stoyenko, A.1
Hamacher, V.2
Holt, R.3
-
8
-
-
0027063973
-
Polynomial-Time Transformations and Schedulability Analysis of Parallel Real-Time Programs with Restricted Resource Contention
-
Fall
-
A. Stoyenko and T. Marlowe, “Polynomial-Time Transformations and Schedulability Analysis of Parallel Real-Time Programs with Restricted Resource Contention,” Real-Time Systems, Fall 1992, pp. 307–329.
-
(1992)
Real-Time Systems
, pp. 307-329
-
-
Stoyenko, A.1
Marlowe, T.2
-
9
-
-
0027539283
-
Enabling Efficient Schedulability Analysis through Conditional Linking and Program Transformations
-
Jan.
-
A Stoyenko et al., “Enabling Efficient Schedulability Analysis through Conditional Linking and Program Transformations,” Control Engineering Practice, Jan. 1993, pp. 85–105.
-
(1993)
Control Engineering Practice
, pp. 85-105
-
-
Stoyenko, A.1
|