- Computing and Information Systems - Research Publications
Computing and Information Systems - Research Publications
Permanent URI for this collection
Search Results
Now showing
1 - 10 of 65
-
ItemGridEmail: Economically Regulated Internet-based Interpersonal CommunicationsSoysa, ; BUYYA, R ; NATH, G ; Dai, YS ; Pan, Y ; Raje, R (Nova Science Publishers, 2006)
-
ItemReconciling implicit and evolving ontologies for semantic interoperabilityLister, K ; Hristozova, M ; Sterling, L ; Tamma, V ; Cranefield, S ; Finin, TW (BIRKHAUSER VERLAG AG, 2005-01-01)
-
ItemThe Effectiveness of Using Non redundant Test Cases with Program Spectra for Bug LocalizationLee, HJ ; Naish, L ; Ramamohanarao, K ; Li, WH ; Zhou, JH (IEEE, 2009-01-01)
-
ItemBroadening vector space schemes for improving the quality of information retrievalRamamohanarao, K ; Park, LAF ; Zhang, Y ; Tanaka, K ; Yu, JX ; Wang, S ; Li, M (SPRINGER-VERLAG BERLIN, 2005-01-01)
-
ItemOptimizing compilation of CHR with rule prioritiesDe Koninck, L ; Stuckey, PJ ; Duck, GJ ; Garrigue, J ; Hermenegildo, M (Springer, 2008-05-14)
-
ItemObservable confluence for constraint handling rulesDuck, GJ ; Stuckey, PJ ; Sulzmann, M ; Dahl, V ; Niemela, I (SPRINGER-VERLAG BERLIN, 2007-01-01)
-
ItemAdaptive expression based routing protocol for P2P systemsRao, I ; Harwood, A ; Karunasekera, S ; Meersman, R ; Tari, Z ; Herrero, P (SPRINGER-VERLAG BERLIN, 2007-01-01)
-
ItemTabling in Mercury: Design and implementationSomogyi, Z ; Sagonas, K ; VanHentenryck, P (SPRINGER-VERLAG BERLIN, 2006-01-01)
-
ItemCharacterising the Evolution in Scanning Activity of Suspicious HostsWahid, A ; Leckie, C ; Zhou, C ; Xiang, Y ; lopez, J (IEEE, 2009-01-01)
-
ItemInferring Congruence Equations Using SATKing, A ; SONDERGAARD, H ; Gupta, A ; Malik, S (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.