4617 search results - page 746 / 924 » Automation of Diagrammatic Reasoning |
235
click to vote
CSREASAM
2009
15 years 8 months ago
2009
- Until recently the reasons for reduced efficiency and limited implementation of new security systems has been the insufficient performance of hardware that executes access contro...
183
click to vote
APLAS
2010
ACM
15 years 7 months ago
2010
ACM
Abstract. By combining algorithmic learning, decision procedures, predicate abstraction, and simple templates, we present an automated technique for finding quantified loop invaria...
183
click to vote
IANDC
2008
15 years 7 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
216
click to vote
ENTCS
2006
15 years 7 months ago
2006
We describe novel computational techniques for constructing induction rules for deductive synthesis proofs. Deductive synthesis holds out the promise of automated construction of ...
207
Voted
GRID
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, a task parallel application is implemented with Ninf-G which is a GridRPC system, and experimented on, using the Grid testbed in Asia Pacific, for three months. The...