587 search results - page 70 / 118 » Improving the Java memory model using CRF |
109
Voted
TACAS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We propose a novel algorithm for automata-based LTL model checking that interleaves the construction of the generalized B¨uchi automaton for the negation of the formula ...
129
Voted
CSREAEEE
2006
15 years 4 months ago
2006
- Inherent limitations of mobile computing environment such as limited bandwidth, limited resourced mobile phones, and instability of wireless environment require summarized mobile...
163
Voted
VEE
2005
ACM
15 years 8 months ago
2005
ACM
We present an optimized implementation of the linear scan register allocation algorithm for Sun Microsystems’ Java HotSpotTM client compiler. Linear scan register allocation is ...
122
Voted
DANCE
2002
IEEE
15 years 7 months ago
2002
IEEE
Active-network technology envisions deploying execution environments in network elements so that application-specific processing can be applied to network traffic. To provide safe...
168
click to vote
OOPSLA
2010
Springer
15 years 15 days ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...