SCOPUS 정보 검색 플랫폼

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2855, Issue , 2003, Pages 241-256

Schedule-carrying code

(3) Henzinger, Thomas A a Kirsch, Christoph M a Matic, Slobodan a

a UNIVERSITY OF CALIFORNIA (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); REAL TIME SYSTEMS; SCHEDULING;

COMPLEX ARCHITECTURES; DISTRIBUTED SCHEDULING; EXECUTABLE CODES; FEASIBLE SCHEDULE; REAL TIME PROGRAMS; REAL-TIME TASKS; SCHEDULING STRATEGIES; THEORY AND PRACTICE;

PROGRAM COMPILERS;

EID: 0142156697 PISSN: 03029743 EISSN: 16113349 Source Type: Book Series
DOI: 10.1007/978-3-540-45212-6_16 Document Type: Article

Times cited : (17)

References (10)

1
- 0042436130
- Nonpreemptive scheduling of periodic tasks in uni- And multiprocessor systems
- Y. Cai and M.C. Kong. Nonpreemptive scheduling of periodic tasks in uni- and multiprocessor systems. Algorithmic 15:572-599, 1996.
- (1996) Algorithmic , vol.15 , pp. 572-599
- Cai, Y.¹ Kong, M.C.²

2
- 84947261898
- Reliable and precise WCET determination for a real-life processor
- LNCS 2211. Springer
- C. Ferdinand, R. Heckmann, M. Langenbach, F. Martin, M. Schmidt, H. Theiling, S. Thesing, R. Wilhelm. Reliable and precise WCET determination for a real-life processor. In Embedded Software, LNCS 2211, pp. 469-485. Springer, 2001.
- (2001) Embedded Software , pp. 469-485
- Ferdinand, C.¹ Heckmann, R.² Langenbach, M.³ Martin, F.⁴ Schmidt, M.⁵ Theiling, H.⁶ Thesing, S.⁷ Wilhelm, R.⁸

3
- 0003603813
- Freeman
- M.R. Garey and D.S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. Freeman, 1979.
- (1979) Computers and Intractability: A Guide to the Theory of NP-Completeness
- Garey, M.R.¹ Johnson, D.S.²

4
- 0242527741
- Giotto: A time-triggered language for embedded programming
- T.A. Henzinger, B. Horowitz, C.M. Kirsch. Giotto: a time-triggered language for embedded programming. Proc. IEEE 91:84-99, 2003.
- (2003) Proc. IEEE , vol.91 , pp. 84-99
- Henzinger, T.A.¹ Horowitz, B.² Kirsch, C.M.³

5
- 0036036137
- The Embedded Machine: Predictable, portable real-time code
- ACM
- T.A. Henzinger and C.M. Kirsch. The Embedded Machine: predictable, portable real-time code. In Proc. Programming Language Design and Implementation, pp. 315-326. ACM, 2002.
- (2002) Proc. Programming Language Design and Implementation , pp. 315-326
- Henzinger, T.A.¹ Kirsch, C.M.²

6
- 84948972626
- Time-safety checking for embedded programs
- LNCS 2491. Springer
- T.A. Henzinger, C.M. Kirsch, R. Majumdar, S. Matic. Time-safety checking for embedded programs. In Embedded Software, LNCS 2491, pp. 76-92. Springer, 2002.
- (2002) Embedded Software , pp. 76-92
- Henzinger, T.A.¹ Kirsch, C.M.² Majumdar, R.³ Matic, S.⁴

7
- 35048841810
- Technical Report CSD-03-1250, UC Berkeley
- C.M. Kirsch, T.A. Henzinger, M.A.A. Sanvido. A Programmable Microkernel for Real-Time Systems. Technical Report CSD-03-1250, UC Berkeley, 2003.
- (2003) A Programmable Microkernel for Real-Time Systems
- Kirsch, C.M.¹ Henzinger, T.A.² Sanvido, M.A.A.³

8
- 84948965428
- A Giotto-based helicopter control system
- LNCS 2491. Springer
- C.M. Kirsch, M.A.A. Sanvido, T.A. Henzinger, W. Pree. A Giotto-based helicopter control system. In Embedded Software, LNCS 2491, pp. 46-60. Springer, 2002.
- (2002) Embedded Software , pp. 46-60
- Kirsch, C.M.¹ Sanvido, M.A.A.² Henzinger, T.A.³ Pree, W.⁴

9
- 0003701217
- Kluwer
- H. Kopetz. Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer, 1997.
- (1997) Real-Time Systems: Design Principles for Distributed Embedded Applications
- Kopetz, H.¹

10
- 0030685617
- Proof-carrying code
- ACM
- G.C. Necula. Proof-carrying code. In Proc. Principles of Programming Languages, pp. 106-119. ACM, 1997.
- (1997) Proc. Principles of Programming Languages , pp. 106-119
- Necula, G.C.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.