-
1
-
-
35048840709
-
Constraints specification at higher levels of abstraction
-
F. Balarin, J. Burch, L. Lavagno, R. Passerone, A. Sangiovanni-Vincentelli, and Y. Watanabe. Constraints specification at higher levels of abstraction. In Proceedings of HLDVT 2001, 2001.
-
(2001)
Proceedings of HLDVT 2001
-
-
Balarin, F.1
Burch, J.2
Lavagno, L.3
Passerone, R.4
Sangiovanni-Vincentelli, A.5
Watanabe, Y.6
-
2
-
-
0037269099
-
Dynamic- And static-priority scheduling of recurring real-time tasks
-
S. K. Baruah. Dynamic- and static-priority scheduling of recurring real-time tasks. Real-Time Systems, 24(1):93-128, 2003.
-
(2003)
Real-time Systems
, vol.24
, Issue.1
, pp. 93-128
-
-
Baruah, S.K.1
-
4
-
-
84893763875
-
A general framework for analysing system properties in platform-based em bedded system designs
-
Munich, Germany, March
-
S. Chakraborty, S. Künzli, and L. Thiele. A general framework for analysing system properties in platform-based em bedded system designs. In Proc. 6th Design, Automation and Test in Europe (DATE), pages 190-195, Munich, Germany, March 2003.
-
(2003)
Proc. 6th Design, Automation and Test in Europe (DATE)
, pp. 190-195
-
-
Chakraborty, S.1
Künzli, S.2
Thiele, L.3
-
5
-
-
0022026963
-
A linear-system-theoretic view of discrete-event processes and its use for performance avaluation in manufacturing
-
March
-
G. Cohen, D. Dubois, J. P. Quadrat, and M. Voit. A linear-system-theoretic view of discrete-event processes and its use for performance avaluation in manufacturing. IEEE Transactions on Automatic Control, AC-30(3):210-220, March 1985.
-
(1985)
IEEE Transactions on Automatic Control
, vol.AC-30
, Issue.3
, pp. 210-220
-
-
Cohen, G.1
Dubois, D.2
Quadrat, J.P.3
Voit, M.4
-
6
-
-
0026000660
-
A calculus for network delay
-
R. Cruz. A calculus for network delay. IEEE Trans. Information Theory, 37(1):114-141, 1991.
-
(1991)
IEEE Trans. Information Theory
, vol.37
, Issue.1
, pp. 114-141
-
-
Cruz, R.1
-
7
-
-
0034845925
-
Variability in the execution of multimedia applications and implications for architecture
-
June
-
C. J. Hughes, P. Kaul, S. V. Adve, R. Jain, C. Park, and J. Srinivasan. Variability in the execution of multimedia applications and implications for architecture. In Proceedings of the 28th International Symposium on Computer Architecture, pages 254-265, June 2001.
-
(2001)
Proceedings of the 28th International Symposium on Computer Architecture
, pp. 254-265
-
-
Hughes, C.J.1
Kaul, P.2
Adve, S.V.3
Jain, R.4
Park, C.5
Srinivasan, J.6
-
9
-
-
0001391363
-
A characterization of the minimum cycle mean in a digraph
-
R. M. Karp. A characterization of the minimum cycle mean in a digraph. Discrete Mathematics, (23):309-311, 1978.
-
(1978)
Discrete Mathematics
, Issue.23
, pp. 309-311
-
-
Karp, R.M.1
-
10
-
-
0013370225
-
Network calculus - A theory of deterministic queuing systems for the internet
-
Springer Verlag
-
J. Le Boudec and P. Thiran. Network Calculus - A Theory of Deterministic Queuing Systems for the Internet. LNCS 2050, Springer Verlag, 2001.
-
(2001)
LNCS
, vol.2050
-
-
Le Boudec, J.1
Thiran, P.2
-
12
-
-
84974687699
-
Scheduling algorithms for multiprogramming in hard real-time environment
-
C. Liu and J. Layland. Scheduling algorithms for multiprogramming in hard real-time environment. Journal of the ACM, 20(1):46-61, 1973.
-
(1973)
Journal of the ACM
, vol.20
, Issue.1
, pp. 46-61
-
-
Liu, C.1
Layland, J.2
-
15
-
-
0029211481
-
Probabilistic performance guarantee for real-time tasks with varying computation times
-
IEEE Computer Society
-
T.-S. Tia, Z. Deng, M. Shankar, M. Storch, J. Sun, L.-C. Wu, and J. W.-S. Liu. Probabilistic performance guarantee for real-time tasks with varying computation times. In Proceedings of the IEEE Real Time Technology and Applications Symposium, pages 164 - 173. IEEE Computer Society, 1995.
-
(1995)
Proceedings of the IEEE Real Time Technology and Applications Symposium
, pp. 164-173
-
-
Tia, T.-S.1
Deng, Z.2
Shankar, M.3
Storch, M.4
Sun, J.5
Wu, L.-C.6
Liu, J.W.-S.7
|