-
1
-
-
0003644553
-
-
Addison-Wesley: Reading, MA, June
-
Bollella G, Gosling J, Brosgol B, Dibble P, Furr S, Turnbull M. The Real-time Specification for Java (Java Series). Addison-Wesley: Reading, MA, June 2000.
-
(2000)
The Real-time Specification for Java (Java Series)
-
-
Bollella, G.1
Gosling, J.2
Brosgol, B.3
Dibble, P.4
Furr, S.5
Turnbull, M.6
-
3
-
-
42949092270
-
A Java processor architecture for embedded real-time systems
-
Schoeberl M. A Java processor architecture for embedded real-time systems. Journal of Systems Architecture 2008; 54/1-2:265-286.
-
(2008)
Journal of Systems Architecture
, vol.54
, Issue.1-2
, pp. 265-286
-
-
Schoeberl, M.1
-
5
-
-
38949088266
-
Is Java augmented with the RTSJ a better real-time systems implementation technology than Ada 95?
-
Wellings A. Is Java augmented with the RTSJ a better real-time systems implementation technology than Ada 95?. Ada Letters 2003; XXIII(4):16-21.
-
(2003)
Ada Letters
, vol.23
, Issue.4
, pp. 16-21
-
-
Wellings, A.1
-
6
-
-
70350669913
-
Java for safety-critical applications
-
York, U.K., March 2009. Available at
-
Henties T, Hunt JJ, Locke D, Nilsen K, Schoeberl M, Vitek J. Java for safety-critical applications. Second International Workshop on the Certification of Safety-Critical Software Controlled Systems (Safecert 2009), York, U.K., March 2009. Available at: http://www.jopdesign.com/doc/safecert2009.pdf.
-
Second International Workshop on the Certification of Safety-Critical Software Controlled Systems (Safecert 2009)
-
-
Henties, T.1
Hunt, J.J.2
Locke, D.3
Nilsen, K.4
Schoeberl, M.5
Vitek, J.6
-
9
-
-
77952965823
-
-
Mälardalen Real-Time Research Center. WCET benchmarks. Available at, 11 February
-
Mälardalen Real-Time Research Center. WCET benchmarks. Available at: http://www.mrtc.mdh.se/projects/wcet/benchmarks.html [11 February 2009].
-
(2009)
-
-
-
10
-
-
51249107180
-
A modular worst-case execution time analysis tool for Java processors
-
St. Louis, MO, U.S.A., April
-
Harmon T, Schoeberl M, Kirner R, Klefstad R. A modular worst-case execution time analysis tool for Java processors. Proceedings of the 14th IEEE Real-time and Embedded Technology and Applications Symposium (RTAS 2008), St. Louis, MO, U.S.A., April 2008.
-
(2008)
Proceedings of the 14th IEEE Real-time and Embedded Technology and Applications Symposium (RTAS 2008)
-
-
Harmon, T.1
Schoeberl, M.2
Kirner, R.3
Klefstad, R.4
-
11
-
-
0031101153
-
Picojava-i: The java virtual machine in hardware
-
O'Connor JM, Tremblay M. picojava-i: The java virtual machine in hardware. IEEE Micro 1997; 17(2):45-53.
-
(1997)
IEEE Micro
, vol.17
, Issue.2
, pp. 45-53
-
-
O'Connor, J.M.1
Tremblay, M.2
-
12
-
-
51549115795
-
-
Master's Thesis, Vienna University of Technology
-
Puffitsch W. picoJava-II in an FPGA. Master's Thesis, Vienna University of Technology, 2007; 113.
-
(2007)
PicoJava-II in an FPGA
, vol.113
-
-
Puffitsch, W.1
-
14
-
-
34547379091
-
Imsys hedges bets on Java
-
August
-
Halfhill TR. Imsys hedges bets on Java. Microprocessor Report, August 2000; 1-4.
-
(2000)
Microprocessor Report
, pp. 1-4
-
-
Halfhill, T.R.1
-
15
-
-
77953015950
-
-
Imsys. Im1101c (the Cjip) technical reference manual/v0.25
-
Imsys. Im1101c (the Cjip) technical reference manual/v0.25, 2004.
-
(2004)
-
-
-
16
-
-
0037301909
-
Real-time event-handling and scheduling on a multithreaded java microcontroller
-
Kreuzinger J, Brinkschulte U, Pfeffer M, Uhrig S, Ungerer T. Real-time event-handling and scheduling on a multithreaded java microcontroller. Microprocessors and Microsystems 2003; 27(1):19-31.
-
(2003)
Microprocessors and Microsystems
, vol.27
, Issue.1
, pp. 19-31
-
-
Kreuzinger, J.1
Brinkschulte, U.2
Pfeffer, M.3
Uhrig, S.4
Ungerer, T.5
-
18
-
-
47749115706
-
Secure, real-time and multi-threaded general-purpose embedded Java microarchitecture
-
Lübeck, Germany, August
-
Zabel M, Preusser TB, Reichel P, Spallek RG. Secure, real-time and multi-threaded general-purpose embedded Java microarchitecture. Prceedings of the 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD 2007), Lübeck, Germany, August 2007; 59-62.
-
(2007)
Prceedings of the 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD 2007)
, pp. 59-62
-
-
Zabel, M.1
Preusser, T.B.2
Reichel, P.3
Spallek, R.G.4
-
19
-
-
38849084500
-
Bump-pointer method caching for embedded java processors
-
ACM: New York, NY, U.S.A.
-
Preusser TB, Zabel M, Spallek RG. Bump-pointer method caching for embedded java processors. Proceedings of the Fifth International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2007). ACM: New York, NY, U.S.A., 2007; 206-210.
-
(2007)
Proceedings of the Fifth International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2007)
, pp. 206-210
-
-
Preusser, T.B.1
Zabel, M.2
Spallek, R.G.3
-
20
-
-
34047134719
-
Evaluation of a Java processor
-
Vienna, Austria, October
-
Schoeberl M. Evaluation of a Java processor. Tagungsband Austrochip 2005, Vienna, Austria, October 2005; 127-134.
-
(2005)
Tagungsband Austrochip 2005
, pp. 127-134
-
-
Schoeberl, M.1
-
21
-
-
0024683086
-
Reasoning about time in higher-level language software
-
Shaw AC. Reasoning about time in higher-level language software. IEEE Transactions on Software Engineering 1989; 15(7):875-889.
-
(1989)
IEEE Transactions on Software Engineering
, vol.15
, Issue.7
, pp. 875-889
-
-
Shaw, A.C.1
-
22
-
-
0031186994
-
Computing maximum task execution times-a graph-based approach
-
Puschner P, Schedl A. Computing maximum task execution times-a graph-based approach. Journal of Real-time Systems 1997; 13(1):67-91.
-
(1997)
Journal of Real-time Systems
, vol.13
, Issue.1
, pp. 67-91
-
-
Puschner, P.1
Schedl, A.2
-
23
-
-
84976752841
-
Performance analysis of embedded software using implicit path enumeration
-
ACM Press: New York, NY, U.S.A.
-
Li Y-TS, Malik S. Performance analysis of embedded software using implicit path enumeration. LCTES '95: Proceedings of the ACM SIGPLAN 1995 Workshop on Languages, Compilers, and Tools for Real-time Systems. ACM Press: New York, NY, U.S.A., 1995; 88-98.
-
(1995)
LCTES '95: Proceedings of the ACM SIGPLAN 1995 Workshop on Languages, Compilers, and Tools for Real-time Systems
, pp. 88-98
-
-
Li, Y.-T.S.1
Malik, S.2
-
24
-
-
0029546911
-
Efficient microarchitecture modeling and path analysis for real-time software
-
IEEE Computer Society: Washington, DC, U.S.A.
-
Li Y-TS, Malik S, Wolfe A. Efficient microarchitecture modeling and path analysis for real-time software. RTSS '95: Proceedings of the 16th IEEE Real-time Systems Symposium (RTSS '95). IEEE Computer Society: Washington, DC, U.S.A., 1995; 298.
-
(1995)
RTSS '95: Proceedings of the 16th IEEE Real-time Systems Symposium (RTSS '95)
, pp. 298
-
-
Li, Y.-T.S.1
Malik, S.2
Wolfe, A.3
-
26
-
-
84896692941
-
Worst-case execution-time analysis for embedded real-time systems
-
Engblom J, Ermedahl A, Sjödin M, Gustafsson J, Hansson H. Worst-case execution-time analysis for embedded real-time systems. International Journal on Software Tools for Technology Transfer (STTT) 2003; 4(4):437-455.
-
(2003)
International Journal on Software Tools for Technology Transfer (STTT)
, vol.4
, Issue.4
, pp. 437-455
-
-
Engblom, J.1
Ermedahl, A.2
Sjödin, M.3
Gustafsson, J.4
Hansson, H.5
-
28
-
-
0029517739
-
Integrating the timing analysis of pipelining and instruction caching
-
Pisa, Italy
-
Healy CA, Whalley DB, Harmon MG. Integrating the timing analysis of pipelining and instruction caching. IEEE Real-time Systems Symposium, Pisa, Italy, 1995; 288-297.
-
(1995)
IEEE Real-time Systems Symposium
, pp. 288-297
-
-
Healy, C.A.1
Whalley, D.B.2
Harmon, M.G.3
-
29
-
-
0033334995
-
Efficient and precise cache behavior prediction for real-time systems
-
Ferdinand C, Wilhelm R. Efficient and precise cache behavior prediction for real-time systems. Real-time Systems 1999; 17(2-3):131-181.
-
(1999)
Real-time Systems
, vol.17
, Issue.2-3
, pp. 131-181
-
-
Ferdinand, C.1
Wilhelm, R.2
-
30
-
-
0000940792
-
Analysis of cache-related preemption delay in fixed-priority preemptive scheduling
-
Lee C-G, Hahn J, Seo Y-M, Min SL, Ha R, Hong S, Park CY, Lee M, Kim CS. Analysis of cache-related preemption delay in fixed-priority preemptive scheduling. IEEE Transactions on Computers 1998; 47(6):700-713.
-
(1998)
IEEE Transactions on Computers
, vol.47
, Issue.6
, pp. 700-713
-
-
Lee, C.-G.1
Hahn, J.2
Seo, Y.-M.3
Min, S.L.4
Ha, R.5
Hong, S.6
Park, C.Y.7
Lee, M.8
Kim, C.S.9
-
31
-
-
0029720109
-
Adding instruction cache effect to schedulability analysis of preemptive real-time systems
-
IEEE Computer Society Press: Washington, Brussels, Tokyo, June
-
Busquets-Mataix JV, Serrano JJ, Ors R, Gil PJ, Wellings AJ. Adding instruction cache effect to schedulability analysis of preemptive real-time systems. IEEE Real-time Technology and Applications Symposium (RTAS '96). IEEE Computer Society Press: Washington, Brussels, Tokyo, June 1996; 204-213.
-
(1996)
IEEE Real-time Technology and Applications Symposium (RTAS '96)
, pp. 204-213
-
-
Busquets-Mataix, J.V.1
Serrano, J.J.2
Ors, R.3
Gil, P.J.4
Wellings, A.J.5
-
32
-
-
0032713797
-
Bounding pipeline and instruction cache performance
-
Healy CA, Arnold RD, Mueller F, Whalley DB, Harmon MG. Bounding pipeline and instruction cache performance. IEEE Transactions on Computers 1999; 48(1):53-70.
-
(1999)
IEEE Transactions on Computers
, vol.48
, Issue.1
, pp. 53-70
-
-
Healy, C.A.1
Arnold, R.D.2
Mueller, F.3
Whalley, D.B.4
Harmon, M.G.5
-
33
-
-
6944231166
-
The influence of processor architecture on the design and results of WCET tools
-
Heckmann R, Langenbach M, Thesing S, Wilhelm R. The influence of processor architecture on the design and results of WCET tools. Proceedings of the IEEE 2003; 91(7):1038-1054.
-
(2003)
Proceedings of the IEEE
, vol.91
, Issue.7
, pp. 1038-1054
-
-
Heckmann, R.1
Langenbach, M.2
Thesing, S.3
Wilhelm, R.4
-
34
-
-
67650862807
-
Memory hierarchies, pipelines, and buses for future architectures in time-critical embedded systems
-
Wilhelm R, Grund D, Reineke J, Schlickling M, Pister M, Ferdinand C. Memory hierarchies, pipelines, and buses for future architectures in time-critical embedded systems. IEEE Transactions on CAD of Integrated Circuits and Systems 2009; 28(7):966-978.
-
(2009)
IEEE Transactions on CAD of Integrated Circuits and Systems
, vol.28
, Issue.7
, pp. 966-978
-
-
Wilhelm, R.1
Grund, D.2
Reineke, J.3
Schlickling, M.4
Pister, M.5
Ferdinand, C.6
-
35
-
-
0013225410
-
A review of worst-case execution-time analysis (editorial)
-
Puschner P, Burns A. A review of worst-case execution-time analysis (editorial). Real-time Systems 2000; 18(2/3):115-128.
-
(2000)
Real-time Systems
, vol.18
, Issue.2-3
, pp. 115-128
-
-
Puschner, P.1
Burns, A.2
-
36
-
-
43949126892
-
The worst-case execution time problem-overview of methods and survey of tools
-
Wilhelm R, Engblom J, Ermedahl A, Holsti N, Thesing S, Whalley D, Bernat G, Ferdinand C, Heckmann R, Mitra T, Mueller F, Puaut I, Puschner P, Staschulat J, Stenström P. The worst-case execution time problem-overview of methods and survey of tools. Transactions on Embedded Computing Systems 2008; 7(3):1-53.
-
(2008)
Transactions on Embedded Computing Systems
, vol.7
, Issue.3
, pp. 1-53
-
-
Wilhelm, R.1
Engblom, J.2
Ermedahl, A.3
Holsti, N.4
Thesing, S.5
Whalley, D.6
Bernat, G.7
Ferdinand, C.8
Heckmann, R.9
Mitra, T.10
Mueller, F.11
Puaut, I.12
Puschner, P.13
Staschulat, J.14
Stenström, P.15
-
39
-
-
0030260329
-
Fast static analysis of C++ virtual function calls
-
ACM: New York, NY, U.S.A.
-
Bacon DF, Sweeney PF. Fast static analysis of C++ virtual function calls. OOPSLA '96: Proceedings of the 11th ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications. ACM: New York, NY, U.S.A., 1996; 324-341.
-
(1996)
OOPSLA '96: Proceedings of the 11th ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications
, pp. 324-341
-
-
Bacon, D.F.1
Sweeney, P.F.2
-
40
-
-
0034448260
-
Practical virtual method call resolution for Java
-
Sundaresan V, Hendren L, Razafimahefa C, Vallée-Rai R, Lam P, Gagnon E, Godin C. Practical virtual method call resolution for Java. ACM SIGPLAN Notices 2000; 35(10):264-280.
-
(2000)
ACM SIGPLAN Notices
, vol.35
, Issue.10
, pp. 264-280
-
-
Sundaresan, V.1
Hendren, L.2
Razafimahefa, C.3
Vallée-Rai, R.4
Lam, P.5
Gagnon, E.6
Godin, C.7
-
41
-
-
35148820173
-
Automatic derivation of loop bounds and infeasible paths for WCET analysis using abstract execution
-
IEEE Computer Society: Washington, DC, U.S.A.
-
Gustafsson J, Ermedahl A, Sandberg C, Lisper B. Automatic derivation of loop bounds and infeasible paths for WCET analysis using abstract execution. RTSS '06: Proceedings of the 27th IEEE International Real-time Systems Symposium. IEEE Computer Society: Washington, DC, U.S.A., 2006; 57-66.
-
(2006)
RTSS '06: Proceedings of the 27th IEEE International Real-time Systems Symposium
, pp. 57-66
-
-
Gustafsson, J.1
Ermedahl, A.2
Sandberg, C.3
Lisper, B.4
-
42
-
-
0343341629
-
Supporting timing analysis by automatic bounding of loop iterations
-
Healy C, Sjodin M, Rustagi V, Whalley D, Engelen RV. Supporting timing analysis by automatic bounding of loop iterations. Journal of Real-time Systems 2000; 18:121-148.
-
(2000)
Journal of Real-time Systems
, vol.18
, pp. 121-148
-
-
Healy, C.1
Sjodin, M.2
Rustagi, V.3
Whalley, D.4
Engelen, R.V.5
-
43
-
-
84886676937
-
Constraint solving for high-level WCET analysis
-
Udine, Italy, December
-
Prantl A, Knoop J, Schordan M, Triska M. Constraint solving for high-level WCET analysis. The 18th Workshop on Logic-based methods in Programming Environments (WLPE 2008), Udine, Italy, December 2008; 77-89.
-
(2008)
The 18th Workshop on Logic-based Methods in Programming Environments (WLPE 2008)
, pp. 77-89
-
-
Prantl, A.1
Knoop, J.2
Schordan, M.3
Triska, M.4
-
45
-
-
84884691173
-
Portable worst-case execution time analysis using Java byte code
-
Stockholm, Sweden, June
-
Bernat G, Burns A, Wellings A. Portable worst-case execution time analysis using Java byte code. Proceedings of 12th EUROMICRO Conference on Real-time Systems, Stockholm, Sweden, June 2000; 81-88.
-
(2000)
Proceedings of 12th EUROMICRO Conference on Real-time Systems
, pp. 81-88
-
-
Bernat, G.1
Burns, A.2
Wellings, A.3
-
46
-
-
34547336413
-
Low-level analysis of a portable Java byte code WCET analysis framework
-
Cheju Island, South Korea, December
-
Bate I, Bernat G, Murphy G, Puschner P. Low-level analysis of a portable Java byte code WCET analysis framework. Proceedings of Seventh International Conference on Real-time Computing Systems and Applications, Cheju Island, South Korea, December 2000; 39-48.
-
(2000)
Proceedings of Seventh International Conference on Real-time Computing Systems and Applications
, pp. 39-48
-
-
Bate, I.1
Bernat, G.2
Murphy, G.3
Puschner, P.4
-
47
-
-
33744905269
-
Addressing dynamic dispatching issues in WCET analysis for object-oriented hard real-time systems
-
Crystal City, VA, U.S.A., April
-
Hu EY-S, Bernat G, Wellings A. Addressing dynamic dispatching issues in WCET analysis for object-oriented hard real-time systems. Proceedings of the Fifth IEEE International Symposium on Object-oriented Real-time Distributed Computing ISORC-2002, Crystal City, VA, U.S.A., April 2002; 109-116.
-
(2002)
Proceedings of the Fifth IEEE International Symposium on Object-oriented Real-time Distributed Computing ISORC-2002
, pp. 109-116
-
-
Hu, E.Y.-S.1
Bernat, G.2
Wellings, A.3
-
50
-
-
4544363940
-
Java virtual machine support for portable worst-case execution time analysis
-
Washington, U.S.A., January
-
Bate I, Bernat G, Puschner P. Java virtual machine support for portable worst-case execution time analysis. ISORC. IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, Washington, U.S.A., January 2002; 83-90.
-
(2002)
ISORC. IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
, pp. 83-90
-
-
Bate, I.1
Bernat, G.2
Puschner, P.3
-
54
-
-
62749122783
-
Model-based schedulability analysis of safety critical hard real-time Java programs
-
ACM: New York, NY, U.S.A.
-
Bogholm T, Kragh-Hansen H, Olsen P, Thomsen B, Larsen KG. Model-based schedulability analysis of safety critical hard real-time Java programs. Proceedings of the Sixth International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2008). ACM: New York, NY, U.S.A., 2008; 106-114.
-
(2008)
Proceedings of the Sixth International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2008)
, pp. 106-114
-
-
Bogholm, T.1
Kragh-Hansen, H.2
Olsen, P.3
Thomsen, B.4
Larsen, K.G.5
-
58
-
-
34548663356
-
Timing predictability of cache replacement policies
-
Reineke J, Grund D, Berg C, Wilhelm R. Timing predictability of cache replacement policies. Journal of Real-time Systems 2007; 37(2):99-122.
-
(2007)
Journal of Real-time Systems
, vol.37
, Issue.2
, pp. 99-122
-
-
Reineke, J.1
Grund, D.2
Berg, C.3
Wilhelm, R.4
-
61
-
-
0000039023
-
Calculating the maximum execution time of real-time programs
-
Puschner P, Koza C. Calculating the maximum execution time of real-time programs. Real-time Systems 1989; 1(2):159-176.
-
(1989)
Real-time Systems
, vol.1
, Issue.2
, pp. 159-176
-
-
Puschner, P.1
Koza, C.2
-
63
-
-
28144431810
-
Subroutine inlining and bytecode abstraction to simplify static and dynamic analysis
-
Artho C, Biere A. Subroutine inlining and bytecode abstraction to simplify static and dynamic analysis. Electronic Notes in Theoretical Computer Science 2005; 141(1):109-128.
-
(2005)
Electronic Notes in Theoretical Computer Science
, vol.141
, Issue.1
, pp. 109-128
-
-
Artho, C.1
Biere, A.2
-
64
-
-
35048862279
-
A tutorial on Uppaal
-
Bernardo M, Corradini F (eds.). Springer: Berlin, September
-
Behrmann G, David A, Larsen KG. A tutorial on Uppaal. Formal Methods for the Design of Real-time Systems: Fourth International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004 (Lecture Notes in Computer Science, vol.3185), Bernardo M, Corradini F (eds.). Springer: Berlin, September 2004; 200-236.
-
(2004)
Formal Methods for the Design of Real-time Systems: Fourth International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004 (Lecture Notes in Computer Science)
, vol.3185
, pp. 200-236
-
-
Behrmann, G.1
David, A.2
Larsen, K.G.3
-
65
-
-
77953014982
-
Verifying execution time using the TASM toolset and UPPAAL
-
Embedded Systems Laboratory, Massachusetts Institute of Technology
-
Ouimet M, Lundqvist K. Verifying execution time using the TASM toolset and UPPAAL. Technical Report ESL-TIK-00212, Embedded Systems Laboratory, Massachusetts Institute of Technology, 2007.
-
(2007)
Technical Report ESL-TIK-00212
-
-
Ouimet, M.1
Lundqvist, K.2
-
68
-
-
0012526366
-
Byte code engineering with the BCEL API
-
Freie Universitat, Berlin, April
-
Dahm M. Byte code engineering with the BCEL API. Technical Report, Freie Universitat, Berlin, April 2001; 11.
-
(2001)
Technical Report
, vol.11
-
-
Dahm, M.1
-
69
-
-
77955982422
-
WCET analysis: The annotation language challenge
-
Pisa, Italy, July
-
Kirner R, Knoop J, Prantl A, Schordan M, Wenzel I. WCET analysis: The annotation language challenge. Proceedings of the Seventh International Workshop on Worst-case Execution Time Analysis, Pisa, Italy, July 2007; 77-92.
-
(2007)
Proceedings of the Seventh International Workshop on Worst-case Execution Time Analysis
, pp. 77-92
-
-
Kirner, R.1
Knoop, J.2
Prantl, A.3
Schordan, M.4
Wenzel, I.5
-
70
-
-
34547290417
-
Provably correct loops bounds for realtime java programs
-
ACM Press: New York, NY, U.S.A.
-
Hunt JJ, Siebert FB, Schmitt PH, Tonin I. Provably correct loops bounds for realtime java programs. Proceedings of the Fourth International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2006). ACM Press: New York, NY, U.S.A., 2006; 162-169.
-
(2006)
Proceedings of the Fourth International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2006)
, pp. 162-169
-
-
Hunt, J.J.1
Siebert, F.B.2
Schmitt, P.H.3
Tonin, I.4
-
72
-
-
0001956132
-
Soot-A Java optimization framework
-
Raja Vallée-Rai VSPLEG, Hendren L, Co P., Mississauga, Ontario, Canada
-
Raja Vallée-Rai VSPLEG, Hendren L, Co P. Soot-A Java optimization framework. Proceedings of CASCON 1999, Mississauga, Ontario, Canada, 1999; 125-135.
-
Proceedings of CASCON 1999
, vol.1999
, pp. 125-135
-
-
-
73
-
-
0003818126
-
-
Springer-Verlag New York, Inc.: Secaucus, NJ, U.S.A.
-
Nielson F, Nielson HR, Hankin C. Principles of Program Analysis. Springer-Verlag New York, Inc.: Secaucus, NJ, U.S.A., 1999.
-
(1999)
Principles of Program Analysis
-
-
Nielson, F.1
Nielson, H.R.2
Hankin, C.3
-
79
-
-
62749108463
-
Time-predictable computer architecture
-
Schoeberl M. Time-predictable computer architecture. EURASIP Journal on Embedded Systems 2009; 2009:17, 758480.
-
(2009)
EURASIP Journal on Embedded Systems
, vol.2009
, Issue.17
, pp. 758480
-
-
Schoeberl, M.1
|