Low-level analysis of a portable Java byte code WCET analysis framework, Proceedings Seventh International Conference on Real-Time Computing Systems and Applications, 2000. ,
DOI : 10.1109/RTCSA.2000.896369
Lattice theory American mathematical society, 1967. ,
Salto: System for assembly-language transformation and optimization, Proc. 6th Workshop on Compilers for Parallel Computers, p.261272, 1996. ,
URL : https://hal.archives-ouvertes.fr/inria-00073718
An Experimental Environment Validating the Suitability of CLI as an Effective Deployment Format for Embedded Systems, HiPEAC'08: Proceedings of the 3rd International Conference on High Performance Embedded Architectures and Compilers, p.130144, 2008. ,
DOI : 10.1007/978-3-540-77560-7_10
Abstract interpretation: a unied lattice model for static analysis of programs by construction or approximation of xpoints, POPL '77: Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, p.238252, 1977. ,
A compacting real-time memory management system, ATC'08: USENIX 2008 Annual Technical Conference on Annual Technical Conference, pp.349-362, 2008. ,
Compiling Java just in time, IEEE Micro, vol.17, issue.3, p.3643, 1997. ,
DOI : 10.1109/40.591653
Dynamic compilation, The Compiler Design Handbook, p.739762, 2002. ,
Ecient and precise cache behavior prediction for real-time systems, Real-Time Syst, vol.17, issue.2-3, p.131181, 1999. ,
FICO: A Fast Instruction Cache Optimizer, SCOPES, p.388402, 2003. ,
DOI : 10.1007/978-3-540-39920-9_27
Abstract Interpretation of FIFO Replacement, SAS '09: Proceedings of the 16th International Symposium on Static Analysis, p.120136, 2009. ,
DOI : 10.1016/S0304-3975(99)00033-X
Worst case execution time analysis of object-oriented programs, Proceedings of the Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. (WORDS 2002), 2002. ,
DOI : 10.1109/WORDS.2002.1000038
Flow Analysis of Computer Programs, 1977. ,
Addressing dynamic dispatching issues in WCET analysis for object-oriented hard real-time systems. Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on, 2002. ,
Monotone data ow analysis frameworks: a formal theory of global computer program optimization, 1976. ,
The art of computer programming): fundamental algorithms, 1997. ,
Using annotations to reduce dynamic optimization time, SIGPLAN Not, vol.36, issue.5, p.156167, 2001. ,
Using inter-procedural side-eect information in JIT optimizations, 14th International Conference on Compiler Construction (CC). LNCS, p.287304, 2005. ,
Java Virtual Machine Specication, 1999. ,
Timing anomalies in dynamically scheduled microprocessors, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054), 1999. ,
DOI : 10.1109/REAL.1999.818824
Real-time Java, part 2: Comparing compilation techniques ,
Using java code to program real-time systems ,
Implementation of a constant???time dynamic storage allocator, Software: Practice and Experience, vol.4, issue.4, p.389951026, 2008. ,
DOI : 10.1002/spe.858
Principles of Program Analysis, 1999. ,
DOI : 10.1007/978-3-662-03811-6
An algorithm with constant execution time for dynamic storage allocation, Proceedings Second International Workshop on Real-Time Computing Systems and Applications, 1995. ,
DOI : 10.1109/RTCSA.1995.528746
Buddy systems, Commun. ACM, vol.20, issue.6, pp.421-431, 1977. ,
Prole guided code positioning, SIGPLAN Not, vol.39, issue.4, p.398411, 2004. ,
Real-time performance of dynamic memory allocation algorithms, Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002, 2002. ,
DOI : 10.1109/EMRTS.2002.1019184
Timing predictability of cache replacement policies. Real-Time Syst, p.99122, 2007. ,
WCET analysis for a Java processor, Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems , JTRES '06, p.202211, 2006. ,
DOI : 10.1145/1167999.1168033
The architecture of virtual machines, Computer, vol.38, issue.5, pp.32-38, 2005. ,
A lattice-theoretical xpoint theorem and its applications, 1955. ,
Fast and precise WCET prediction by separated cache and path analyses. Real-Time Syst, p.157179, 2000. ,
The worst-case execution-time problemoverview of methods and survey of tools, ACM Trans. Embed. Comput. Syst, vol.7, issue.3, p.153, 2008. ,
Dynamic storage allocation: A survey and critical review, IWMM '95: Proceedings of the International Workshop on Memory Management, p.1116, 1995. ,
Design and implementation of Java just-in-time compiler, J. Comput. Sci. Technol, vol.15, issue.6, p.584590, 2000. ,