1226 search results - page 202 / 246 » Proofs, Programs and Abstract Complexity |
101
click to vote
TOOLS
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
106
click to vote
EUROPAR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Prefetching transfers a data item in advance from its storage location to its usage location so that communication is hidden and does not delay computation. We present a ...
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 ...
155
click to vote
CD
2005
Springer
15 years 5 months ago
2005
Springer
Recent studies showed potential for using component frameworks for building flexible adaptible applications for deployment in distributed environments. However this approach is h...
SIGADA
2005
Springer
15 years 5 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...