- Computing and Information Systems - Research Publications
Computing and Information Systems - Research Publications
Permanent URI for this collection
Search Results
Now showing
1 - 10 of 44
-
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)
-
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)
-
ItemAdaptive expression based routing protocol for P2P systemsRao, I ; Harwood, A ; Karunasekera, S ; Meersman, R ; Tari, Z ; Herrero, P (SPRINGER-VERLAG BERLIN, 2007)
-
ItemCharacterising the Evolution in Scanning Activity of Suspicious HostsWahid, A ; Leckie, C ; Zhou, C ; Xiang, Y ; lopez, J (IEEE, 2009)
-
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.
-
ItemSmooth Linear Approximation of Non-overlap ConstraintsGange, G ; Marriott, K ; Stuckey, PJ ; Stapleton, G ; Howse, J ; Lee, J (SPRINGER-VERLAG BERLIN, 2008)
-
ItemScoreFinder: A Method for Collaborative Quality Inference on User-Generated ContentLiao, Y ; Harwood, A ; Ramamohanarao, K ; Li, F (IEEE COMPUTER SOC, 2010)
-
ItemModelling for lazy clause generationOhrimenko, O ; Stuckey, PJ (Australian Computer Society, 2008-12-01)
-
ItemThe core concept for 0/1 integer programmingHuston, S ; Puchinger, J ; Stuckey, P (Australian Computer Society, 2008-12-01)