3394 search results - page 497 / 679 » A Modal Model of Memory |
198
click to vote
LICS
2005
IEEE
16 years 1 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...
162
click to vote
LICS
2005
IEEE
16 years 1 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 ...
156
click to vote
ADAEUROPE
2005
Springer
16 years 4 hour 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...
156
click to vote
CAV
2005
Springer
15 years 12 months 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...
141
click to vote
MIDDLEWARE
2005
Springer
15 years 12 months 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...