Search Sciweavers | Sciweavers

3872 search results - page 23 / 775

» The Java memory model

167

click to vote

PLDI
2003
ACM

177views Programming Languages» more PLDI 2003»

Ownership types for safe region-based memory management in real-time Java

15 years 11 months ago

Download www.eecs.umich.edu

The Real-Time Speciﬁcation 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...

claim paper

Read More »

160

click to vote

APLAS
2008
ACM

161views Programming Languages» more APLAS 2008»

Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution

15 years 7 months ago

Download www.jaist.ac.jp

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...

claim paper

Read More »

151

click to vote

RTCSA
2007
IEEE

98views Embedded Systems» more RTCSA 2007»

Semi-Automatic Region-Based Memory Management for Real-Time Java Embedded Systems

16 years 3 days ago

Download perso.citi.insa-lyon.fr

Guillaume Salagnac, Christophe Rippert, Sergio Yov...

claim paper