Computing and Information Systems - Research Publications
Permanent URI for this collection
Search Results
1 - 10 of 65
-
ItemGridEmail: Economically Regulated Internet-based Interpersonal Communications(Nova Science Publishers, 2006)
-
ItemReconciling implicit and evolving ontologies for semantic interoperability(BIRKHAUSER VERLAG AG, 2005-01-01)
-
Item
-
ItemBroadening vector space schemes for improving the quality of information retrieval(SPRINGER-VERLAG BERLIN, 2005-01-01)
-
ItemOptimizing compilation of CHR with rule priorities(Springer, 2008-05-14)
-
ItemObservable confluence for constraint handling rules(SPRINGER-VERLAG BERLIN, 2007-01-01)
-
ItemAdaptive expression based routing protocol for P2P systems(SPRINGER-VERLAG BERLIN, 2007-01-01)
-
ItemTabling in Mercury: Design and implementation(SPRINGER-VERLAG BERLIN, 2006-01-01)
-
ItemCharacterising the Evolution in Scanning Activity of Suspicious Hosts(IEEE, 2009-01-01)
-
ItemInferring Congruence Equations Using SAT(Springer Berlin Heidelberg, 2008)This paper proposes a new approach for deriving invariants that are systems of congruence equations where the modulo is a power of 2. The technique is an amalgam of SAT-solving, where a propositional formula is used to encode the semantics of a basic block, and abstraction, where the solutions to the formula are systematically combined and summarised as a system of congruence equations. The resulting technique is more precise than existing congruence analyses since a single optimal transfer function is derived for a basic block as a whole.