1189 search results - page 78 / 238 » The Quotient of an Abstract Interpretation |
111
Voted
IPPS
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—A premier goal of resource allocators in virtualization environments is to control the relative resource consumption of the different virtual machines, and moreover, to ...
101
Voted
FSTTCS
2001
Springer
15 years 5 months ago
2001
Springer
Given a binary relation IE ∪ IR on the set of ground terms e signature, we define an abstract rewrite closure for IE ∪ IR. act rewrite closure can be interpreted as a speciali...
94
Voted
ASM
2000
ASM
15 years 5 months ago
2000
ASM
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
110
Voted
ESOP
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. We study the notion of binding-time analysis for logic programs. We formalise the unfolding aspect of an on-line partial deduction s a Prolog program. Using abstract inte...
114
Voted
CASCON
2001
15 years 2 months ago
2001
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...