899 search results - page 147 / 180 » A CTL-Based Logic for Program Abstractions |
115
click to vote
ASPLOS
2006
ACM
15 years 6 months ago
2006
ACM
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...
POPL
2010
ACM
15 years 9 months ago
2010
ACM
We present an automated technique for generating compiler optimizations from examples of concrete programs before and after improvements have been made to them. The key technical ...
ILP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Despite the considerable success of Inductive Logic Programming, deployed ILP systems still have efficiency problems when applied to complex problems. Several techniques ...
117
Voted
SDMW
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Researchers have recently begun to develop and investigate policy languages to describe trust and security requirements on the Semantic Web. Such policies will be one com...
105
click to vote
ICALP
2010
Springer
15 years 5 months ago
2010
Springer
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...