- Computing and Information Systems - Research Publications
Computing and Information Systems - Research Publications
Permanent URI for this collection
Search Results
Now showing
1 - 10 of 29
-
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)
-
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)
-
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)
-
ItemAn Adaptive Checkpointing Scheme for Peer-to-Peer Based Volunteer Computing Work FlowsNi, L ; Harwood, A ; Huang, Z ; Xu, Z ; Rountree, N ; Lefevre, L ; Shen, H ; Hine, J (IEEE COMPUTER SOC, 2008)
-
ItemSOVolP: Middleware for universal VoIP connectivityArif, MJ ; Karunasekera, S ; Kulkarni, (ACM, 2008-12-15)
-
ItemRRNA: Reliable soft real-time network aware grid scheduling algorithm using round trip timeZargar, ST ; Moulavi, MA ; Buyya, R ; Naghibzadeh, M ; Joshi, JBD (Society for Computer Simulation, 2009-03-22)
- «
- 1 (current)
- 2
- 3
- »