694 search results - page 93 / 139 » Open Graphs and Computational Reasoning |
104
click to vote
ICLP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
121
click to vote
LICS
2006
IEEE
15 years 7 months ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....
127
click to vote
LICS
2005
IEEE
15 years 7 months 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...
120
click to vote
CASES
2004
ACM
15 years 5 months ago
2004
ACM
Extensible processors allow addition of application-specific custom instructions to the core instruction set architecture. However, it is computationally expensive to automaticall...
100
click to vote
AAAI
2010
15 years 2 months ago
2010
Dominance testing, the problem of determining whether an outcome is preferred over another, is of fundamental importance in many applications. Hence, there is a need for algorithm...