3872 search results - page 592 / 775 » The Java memory model |
212
click to vote
LICS
2005
IEEE
16 years 13 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...
177
click to vote
LICS
2005
IEEE
16 years 13 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 ...
166
click to vote
ADAEUROPE
2005
Springer
16 years 12 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...
163
click to vote
CAV
2005
Springer
16 years 12 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...
145
click to vote
MIDDLEWARE
2005
Springer
16 years 10 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...