Sciweavers

3872 search results - page 23 / 775
» The Java memory model
Sort
View
PLDI
2003
ACM
15 years 5 months ago
Ownership types for safe region-based memory management in real-time Java
The Real-Time Specification for Java (RTSJ) allows a program to create real-time threads with hard real-time constraints. Real-time threads use region-based memory management to ...
Chandrasekhar Boyapati, Alexandru Salcianu, Willia...
APLAS
2008
ACM
15 years 1 months ago
Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito O...
RTCSA
2007
IEEE
15 years 6 months ago
Semi-Automatic Region-Based Memory Management for Real-Time Java Embedded Systems
Guillaume Salagnac, Christophe Rippert, Sergio Yov...
ERSHOV
2001
Springer
15 years 4 months ago
Compiler-Cooperative Memory Management in Java
Vitaly V. Mikheev, Stanislav A. Fedoseev