4224 search results - page 472 / 845 » Reasoning about Choice |
172
click to vote
ISPW
2005
IEEE
16 years 13 days ago
2005
IEEE
Since different systems have different success-critical stakeholders, and these stakeholders depend on the system in different ways, using traditional one-size-fits-all dependabili...
212
Voted
LICS
2005
IEEE
16 years 12 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 12 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 ...
188
click to vote
TLDI
2005
ACM
16 years 12 days ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
154
click to vote
WOWMOM
2005
ACM
16 years 12 days ago
2005
ACM
— Self-management has often been proposed as a means to reduce the growing complexity of administration in distributed systems. We argue that this can be achieved through aggress...