A vision for computer science - the system perspective

被引：17

作者：

Sifakis, Joseph ^{[1
]}

机构：

[1] Ctr Equat, Verimag Lab, 2 Ave Vignate, F-38610 Gieres, France

来源：

OPEN COMPUTER SCIENCE | 2011年 / 1卷 / 01期

关键词：

D O I：

10.2478/s13537-011-0008-y

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

[No abstract available]

引用

页码：108 / 116

页数：9

共 14 条

[1] THE ALGORITHMIC ANALYSIS OF HYBRID SYSTEMS [J].

ALUR, R ;

COURCOUBETIS, C ;

HALBWACHS, N ;

HENZINGER, TA ;

HO, PH ;

NICOLLIN, X ;

OLIVERO, A ;

SIFAKIS, J ;

YOVINE, S .

THEORETICAL COMPUTER SCIENCE, 1995, 138 (01) :3-34

[2]

Astrom K. J., 1994, ADAPTIVE CONTROL

[3]

Benveniste A., 2005, ACM T EMBED COMPUT S, V4, P587, DOI DOI 10.1145/1086519.1086526

[4]

Bliudze S, 2008, LECT NOTES COMPUT SC, V5201, P508, DOI 10.1007/978-3-540-85361-9_39

[5] What next? A dozen information-technology research goals [J].

Gray, J .

JOURNAL OF THE ACM, 2003, 50 (01) :41-57

[6]

Henzinger T.A., 2007, EMBEDDED MACHINE PRE, P29

[7] Discipline of embedded systems design [J].

Henzinger, Thomas A. ;

Sifakis, Joseph .

COMPUTER, 2007, 40 (10) :32-+

[8] The Rationale for Time-Triggered Ethernet [J].

Kopetz, Hermann .

RTSS: 2008 REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2008, :3-11

[9] Absolutely positively on time: What would it take? [J].

Lee, EA .

COMPUTER, 2005, 38 (07) :85-87

[10]

Lee EA, 2008, ISORC 2008: 11TH IEEE SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING - PROCEEDINGS, P363, DOI 10.1109/ISORC.2008.25

← 1 2 →