3872 search results - page 592 / 775 » The Java memory model |
202
click to vote
LICS
2005
IEEE
16 years 5 days ago
2005
IEEE
Games played on graphs may have qualitative objectives, such as the satisfaction of an ω-regular property, or quantitative objectives, such as the optimization of a realvalued re...
166
click to vote
LICS
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
161
click to vote
ADAEUROPE
2005
Springer
16 years 4 days ago
2005
Springer
This article presents ERB, the ESA Ravenscar Benchmark. ERB aims at providing a synthetic benchmark comparing the efficiency of various Ada Ravenscar implementations and the RTEMS...
158
click to vote
CAV
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
142
click to vote
MIDDLEWARE
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. This paper describes an event dissemination algorithm that impletopic-based publish/subscribe interaction abstraction in mobile ad-hoc networks (MANETs). Our algorithm is...