-
1
-
-
0004255836
-
-
second ed. Prentice-Hall
-
ARMSTRONG, J., VIRDINO, R., WIKSTRÖM, C., AND WILLIAMS, M. Concurrent Programming in Erlang, second ed. Prentice-Hall, 1996.
-
(1996)
Concurrent Programming in Erlang
-
-
ARMSTRONG, J.1
VIRDINO, R.2
WIKSTRÖM, C.3
WILLIAMS, M.4
-
2
-
-
27644567432
-
Garbage collection for embedded systems
-
Pisa, Italy, Sept
-
BACON, D. F., CHENG, P., AND GROVE, D. Garbage collection for embedded systems. In Proc. EMSOFT (Pisa, Italy, Sept. 2004), pp. 125-136.
-
(2004)
Proc. EMSOFT
, pp. 125-136
-
-
BACON, D.F.1
CHENG, P.2
GROVE, D.3
-
3
-
-
1442339018
-
A real-time garbage collector with low overhead and consistent utilization
-
Proc. POPL New Orleans, Louisiana, Jan., 1
-
BACON, D. F., CHENG, P., AND RAJAN, V. T. A real-time garbage collector with low overhead and consistent utilization. In Proc. POPL (New Orleans, Louisiana, Jan. 2003). SIGPLAN Notices, 38, 1, 285-298.
-
(2003)
SIGPLAN Notices
, vol.38
, pp. 285-298
-
-
BACON, D.F.1
CHENG, P.2
RAJAN, V.T.3
-
4
-
-
0030260329
-
Fast static analysis of C++ virtual function calls
-
Proc. OOPSLA San Jose, California, Oct., 10
-
BACON, D. F., AND SWEENEY, P. F. Fast static analysis of C++ virtual function calls. In Proc. OOPSLA (San Jose, California, Oct. 1996). SIGPLAN Notices, 31, 10, 324-341.
-
(1996)
SIGPLAN Notices
, vol.31
, pp. 324-341
-
-
BACON, D.F.1
SWEENEY, P.F.2
-
5
-
-
0003644553
-
The Real-Time Specification for Java
-
Addison-Wesley
-
BOLLELLA, G., GOSLING, J., BROSGOL, B., DIBBLE, P., FURR, S., HARDIN, D., AND TURNBULL, M. The Real-Time Specification for Java. The Java Series. Addison-Wesley, 2000.
-
(2000)
The Java Series
-
-
BOLLELLA, G.1
GOSLING, J.2
BROSGOL, B.3
DIBBLE, P.4
FURR, S.5
HARDIN, D.6
TURNBULL, M.7
-
8
-
-
78650541203
-
A hierarchical coordination language for interacting real-time tasks
-
Seoul, South Korea
-
GHOSAL, A., HENZINGER, T., IERCAN, D., KIRSCH, C., AND SANGIOVANNI-VINCENTELLI, A. A hierarchical coordination language for interacting real-time tasks. In Proc. EMSOFT (Seoul, South Korea, 2006).
-
(2006)
Proc. EMSOFT
-
-
GHOSAL, A.1
HENZINGER, T.2
IERCAN, D.3
KIRSCH, C.4
SANGIOVANNI-VINCENTELLI, A.5
-
10
-
-
0036036137
-
The Embedded Machine: Predictable, portable real-time code
-
Berlin, Germany
-
HENZINGER, T., AND KIRSCH, C. The Embedded Machine: predictable, portable real-time code. In Proc. PLDI (Berlin, Germany, 2002), pp. 315-326.
-
(2002)
Proc. PLDI
, pp. 315-326
-
-
HENZINGER, T.1
KIRSCH, C.2
-
11
-
-
0242527741
-
Giotto: A time-triggered language for embedded programming
-
January
-
HENZINGER, T., KIRSCH, C., AND HOROWITZ, B. Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE 91, 1 (January 2003), 84-99.
-
(2003)
Proceedings of the IEEE
, vol.91
, Issue.1
, pp. 84-99
-
-
HENZINGER, T.1
KIRSCH, C.2
HOROWITZ, B.3
-
12
-
-
34547974910
-
TuningFork Visualization
-
IBM CORP
-
IBM CORP. TuningFork Visualization. Tool for Real-Time Systems. www.alphaworks.ibm.com/tech/tuningfork.
-
Tool for Real-Time Systems
-
-
-
14
-
-
34547965269
-
-
JAVA COMMUNITY PROCESS. JSR-121 application isolation API. jcp.org/aboutJava/communityprocess/final/jsr121.
-
JAVA COMMUNITY PROCESS. JSR-121 application isolation API. jcp.org/aboutJava/communityprocess/final/jsr121.
-
-
-
-
15
-
-
34547969812
-
-
LEE, E. Overview of the Ptolemy project. Tech. Rep. UCB/ERL M03/25, EECS Department, University of California, Berkeley, 2003.
-
LEE, E. Overview of the Ptolemy project. Tech. Rep. UCB/ERL M03/25, EECS Department, University of California, Berkeley, 2003.
-
-
-
-
17
-
-
0036036849
-
Real-time dynamic voltage scaling for low-power embedded operating systems
-
Banff, Alberta, Canada
-
PILLAI, P., AND SHIN, K. G. Real-time dynamic voltage scaling for low-power embedded operating systems. In Proc. SOSP (Banff, Alberta, Canada, 2001), pp. 89-102.
-
(2001)
Proc. SOSP
, pp. 89-102
-
-
PILLAI, P.1
SHIN, K.G.2
-
18
-
-
34547972248
-
-
REAL-TIME-WORKSHOP, www.mathworks.com/ products/rtw.
-
REAL-TIME-WORKSHOP, www.mathworks.com/ products/rtw.
-
-
-
-
19
-
-
34547964727
-
-
SIMULINK. www.mathworks.com/products/simulink.
-
SIMULINK. www.mathworks.com/products/simulink.
-
-
-
-
20
-
-
33746061679
-
Eventrons: A safe programming construct for high-frequency hard real-time applications
-
Ottawa, Ontario, Canada
-
SPOONHOWER, D., AUERBACH, J., BACON, D. F., CHENG, P., AND GROVE, D. Eventrons: a safe programming construct for high-frequency hard real-time applications. In Proc. PLDI (Ottawa, Ontario, Canada, 2006), pp. 283-294.
-
(2006)
Proc. PLDI
, pp. 283-294
-
-
SPOONHOWER, D.1
AUERBACH, J.2
BACON, D.F.3
CHENG, P.4
GROVE, D.5
-
21
-
-
34547984986
-
Programming abstractions for highly responsive systems
-
San Diego, California
-
SPRING, J. H., PIZLO, F., GUERRAOUI, R., AND VITEK, J. Programming abstractions for highly responsive systems. In Proc. VEE (San Diego, California, 2007).
-
(2007)
Proc. VEE
-
-
SPRING, J.H.1
PIZLO, F.2
GUERRAOUI, R.3
VITEK, J.4
-
22
-
-
0000474691
-
Design of dynamically reconfigurable real-time software using port-based objects
-
STEWART, D. B., VOLPE, R. A., AND KHOSLA, P. K. Design of dynamically reconfigurable real-time software using port-based objects. IEEE Trans. Softw. Eng. 23, 12 (1997), 759-776.
-
(1997)
IEEE Trans. Softw. Eng
, vol.23
, Issue.12
, pp. 759-776
-
-
STEWART, D.B.1
VOLPE, R.A.2
KHOSLA, P.K.3
|