-
3
-
-
35348839839
-
Sustainable scheduling analysis
-
DOI 10.1109/RTSS.2006.47, 4032345, Proceedings of 27th IEEE International Real-Time Systems Symposium, RTSS 2006
-
Baruah SK, Burns A (2006) Sustainable scheduling analysis. In: Proceedings of the 27th IEEE international real-time systems symposium (RTSS'06). IEEE Computer Society, pp 159-168 (Pubitemid 351209727)
-
(2006)
Proceedings - Real-Time Systems Symposium
, pp. 159-168
-
-
Baruah, S.1
Burns, A.2
-
4
-
-
0026223069
-
Synchronous programming with events and relations. The SIGNAL language and its semantics
-
DOI 10.1016/0167-6423(91)90001-E
-
A Benveniste P Le Guernic C Jacquemot 1991 Synchronous programming with events and relations: the signal language and its semantics Sci Comput Program 16 2 103 149 0745.68031 10.1016/0167-6423(91)90001-E (Pubitemid 21721822)
-
(1991)
Science of Computer Programming
, vol.16
, Issue.2
, pp. 103-149
-
-
Benveniste Albert1
Le Guernic Paul2
Jacquemot Christian3
-
7
-
-
0344794029
-
-
PhD thesis, Department of Automatic Control, Lund University, Sweden
-
Cervin A (2003) Integrated control and real-time scheduling. PhD thesis, Department of Automatic Control, Lund University, Sweden
-
(2003)
Integrated Control and Real-time Scheduling
-
-
Cervin, A.1
-
8
-
-
0001552016
-
Dynamic scheduling of real-time tasks under precedence constraints
-
10.1007/BF00365326
-
H Chetto M Silly T Bouchentouf 1990 Dynamic scheduling of real-time tasks under precedence constraints Real-Time Syst 2 3 181 194 10.1007/BF00365326
-
(1990)
Real-Time Syst
, vol.2
, Issue.3
, pp. 181-194
-
-
Chetto, H.1
Silly, M.2
Bouchentouf, T.3
-
9
-
-
33745219196
-
N-synchronous Kahn networks: A relaxed model of synchrony for real-time systems
-
Charleston, USA
-
Cohen A, Duranton M, Eisenbeis C, Pagetti C, Plateau F, Pouzet M (2006) N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems. In: ACM international conference on principles of programming languages (POPL'06), Charleston, USA
-
(2006)
ACM International Conference on Principles of Programming Languages (POPL'06)
-
-
Cohen, A.1
Duranton, M.2
Eisenbeis, C.3
Pagetti, C.4
Plateau, F.5
Pouzet, M.6
-
10
-
-
0142156701
-
Clocks as first class abstract types
-
Colaço JL, Pouzet M (2003) Clocks as first class abstract types. In: Proceedings of the 3rd International Conference on Embedded Software (EMSOFT'03), Philadelphia, USA. Lecture Notes in Computer Science, vol 2855, pp 134-155
-
(2003)
Proceedings of the 3rd International Conference on Embedded Software (EMSOFT'03), Philadelphia, USA. Lecture Notes in Computer Science
, vol.2855
, pp. 134-155
-
-
Colaço Jl, P.1
-
14
-
-
34548836760
-
The architecture analysis & design language (AADL): An introduction
-
Carnegie Mellon University
-
Feiler PH, Gluch DP, Hudak JJ (2006) The architecture analysis & design language (AADL): an introduction. Tech. Rep. CMU/SEI-2006-TN-011, Carnegie Mellon University
-
(2006)
Tech. Rep. CMU/SEI-2006-TN-011
-
-
Feiler, P.H.1
Gluch, D.P.2
Hudak, J.J.3
-
16
-
-
58449100763
-
A multi-periodic synchronous data-flow language
-
IEEE Computer Society Nanjing, China. 10.1109/HASE.2008.47
-
Forget J, Boniol F, Lesens D, Pagetti C (2008) A multi-periodic synchronous data-flow language. In: Proceedings of the 11th IEEE high assurance systems engineering symposium (HASE'08). IEEE Computer Society, Nanjing, China, pp 251-260
-
(2008)
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium (HASE'08)
, pp. 251-260
-
-
Forget, J.1
Boniol, F.2
Lesens, D.3
Pagetti, C.4
-
17
-
-
77953859582
-
Scheduling dependent periodic tasks without synchronization mechanisms (submitted)
-
Stockholm, Sweden
-
Forget J, Boniol F, Grolleau E, Lesens D, Pagetti C (2010) Scheduling dependent periodic tasks without synchronization mechanisms (submitted). In: Proceedings of the 16th IEEE real-time and embedded technology and applications symposium (RTAS'10), Stockholm, Sweden, pp 301-310
-
(2010)
Proceedings of the 16th IEEE Real-time and Embedded Technology and Applications Symposium (RTAS'10)
, pp. 301-310
-
-
Forget, J.1
Boniol, F.2
Grolleau, E.3
Lesens, D.4
Pagetti, C.5
-
18
-
-
0142156698
-
Clock-driven automatic distribution of Lustre programs
-
Girault A, Nicollin X (2003) Clock-driven automatic distribution of Lustre programs. In: Proceedings of the 3rd international conference on embedded software (EMSOFT'03), Philadelphia, USA. Lecture notes in computer science, vol 2855, pp 206-222
-
(2003)
Proceedings of the 3rd International Conference on Embedded Software (EMSOFT'03), Philadelphia, USA. Lecture Notes in Computer Science
, vol.2855
, pp. 206-222
-
-
Girault, A.1
Nicollin, X.2
-
19
-
-
49749153182
-
Automatic rate desynchronization of embedded reactive programs
-
10.1145/1165780.1165786
-
A Girault X Nicollin M Pouzet 2006 Automatic rate desynchronization of embedded reactive programs ACM Trans Embedded Comput Syst 5 3 687 717 10.1145/1165780.1165786
-
(2006)
ACM Trans Embedded Comput Syst
, vol.5
, Issue.3
, pp. 687-717
-
-
Girault, A.1
Nicollin, X.2
Pouzet, M.3
-
20
-
-
0014477093
-
Bounds on multiprocessing timing anomalies
-
0188.23101 10.1137/0117039
-
RL Graham 1969 Bounds on multiprocessing timing anomalies SIAM J Appl Math 17 2 416 429 0188.23101 10.1137/0117039
-
(1969)
SIAM J Appl Math
, vol.17
, Issue.2
, pp. 416-429
-
-
Graham, R.L.1
-
23
-
-
85031295381
-
Generating efficient code from data-flow programs
-
Passau, Germany
-
Halbwachs N, Raymond P, Ratel C (1991b) Generating efficient code from data-flow programs. In: Proceedings of the 3rd international symposium on programming language implementation and logic programming (PLILP '91), Passau, Germany, pp 207-218
-
(1991)
Proceedings of the 3rd International Symposium on Programming Language Implementation and Logic Programming (PLILP '91)
, pp. 207-218
-
-
Halbwachs, N.1
Raymond, P.2
Ratel, C.3
-
24
-
-
0242527741
-
Giotto: A time-triggered language for embedded programming
-
10.1109/JPROC.2002.805825
-
TA Henzinger B Horowitz CM Kirsch 2003 Giotto: a time-triggered language for embedded programming Proc IEEE 91 1 84 99 10.1109/JPROC.2002.805825
-
(2003)
Proc IEEE
, vol.91
, Issue.1
, pp. 84-99
-
-
Henzinger, T.A.1
Horowitz, B.2
Kirsch, C.M.3
-
27
-
-
79960032041
-
The objective Caml system release 3.09, documentation and user's manual
-
Leroy X (2006) The objective Caml system release 3.09, documentation and user's manual. INRIA
-
(2006)
INRIA
-
-
Leroy, X.1
-
28
-
-
84974687699
-
Scheduling algorithms for multiprogramming in a hard-real-time environment
-
0265.68013 10.1145/321738.321743
-
CL Liu JW Layland 1973 Scheduling algorithms for multiprogramming in a hard-real-time environment J ACM 20 1 46 61 0265.68013 10.1145/321738.321743
-
(1973)
J ACM
, vol.20
, Issue.1
, pp. 46-61
-
-
Liu, C.L.1
Layland, J.W.2
-
35
-
-
62949173834
-
A LPV approach to control and real-time scheduling codesign: Application to a robot-arm control
-
Cancun Mexique
-
Sename O, Simon D, Ben Gaïd MEM (2008) A LPV approach to control and real-time scheduling codesign: application to a robot-arm control. In: Proceedings of the 47th IEEE conference on decision and control (CDC'08), Cancun Mexique, pp 4891-4897
-
(2008)
Proceedings of the 47th IEEE Conference on Decision and Control (CDC'08)
, pp. 4891-4897
-
-
Sename, O.S.1
-
38
-
-
34547453769
-
A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling
-
DOI 10.1145/1176887.1176892, Proceedings of the 6th ACM and IEEE International Conference on Embedded Software, EMSOFT 2006
-
Sofronis C, Tripakis S, Caspi P (2006) A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling. In: Proceedings of the 6th international conference on embedded software (EMSOFT'06), Seoul, South Korea, pp 21-33 (Pubitemid 47168572)
-
(2006)
IEEE International Conference on Embedded Software, EMSOFT 2006
, pp. 21-33
-
-
Sofronis, C.1
Tripakis, S.2
Caspi, P.3
-
39
-
-
0004241245
-
-
The Mathworks The Mathworks
-
The Mathworks (2009) Simulink: user's guide. The Mathworks
-
(2009)
Simulink: User's Guide
-
-
|