- Computing and Information Systems - Research Publications
Computing and Information Systems - Research Publications
Permanent URI for this collection
49 results
Filters
Reset filtersSettings
Statistics
Citations
Search Results
Now showing
1 - 10 of 49
-
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)
-
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)
-
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)
-
ItemTabling in Mercury: Design and implementationSomogyi, Z ; Sagonas, K ; VanHentenryck, P (SPRINGER-VERLAG BERLIN, 2006)
-
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)
-
ItemA framework for extended algebraic data typesSulzmann, M ; Wazny, J ; Stuckey, PJ ; Hagiya, M ; Wadler, P (SPRINGER, 2006)