You are here: MIMS > EPrints
MIMS EPrints

Subject: 68 Computer science


Number of items: 68.

2013.52: James Hook and Nick Dingle (2013) Performance Analysis of Asynchronous Parallel Jacobi.

2013.42: Martin Adamcik and George Wilmers (2013) The Irrelevant Information Principle for Collective Probabilistic Reasoning. Kybernetika.

2012.114: Robert Andrew and Nicholas J. Dingle (2014) Implementing QR Factorization Updating Algorithms on GPUs. Parallel Computing. ISSN 0167-8191

2012.80: Robert Andrew (2012) Implementation of QR Updating Algorithms on the GPU. Masters thesis, Manchester Institute for Mathematical Sciences, The University of Manchester.

2012.71: Nikolaus Huber, Fabian Brosig, Nicholas Dingle, Kaustubh Joshi and Samuel Kounev (2012) Providing Dependability and Performance in the Cloud: Case Studies. In: Katinka Wolter, Alberto Avritzer, Marco Vieira and Aad van Moorsel, (eds). Resilience Assessment and Evaluation of Computing Systems. Dagstuhl Seminar 10292. Springer-Verlag, Berlin, Heidelberg. ISBN 978-3-642-29031-2

2012.68: Simon C. Bull, Mark R. Muldoon and Andrew J. Doig (2013) Maximising the Size of Non-Redundant Protein Datasets Using Graph Theory. PLoS ONE, 8 (2012.68). e55484. ISSN 1932-6203

2012.67: Nicholas J. Dingle, William J. Knottenbelt and Demetris Spanias (2012) On the (Page)Ranking of Professional Tennis Players. In: 28th UK Performance Engineering Workshop (UKPEW 2012), 2 July 2012, Edinburgh.

2012.62: Iain Bethune, J. Mark Bull, Nicholas J. Dingle and Nicholas J. Higham (2012) Performance analysis of asynchronous Jacobi's method implemented in MPI, SHMEM and OpenMP.

2012.48: D.F. Tang (2012) A fast algorithm for spectral interpolation of sampled data.

2012.47: D.F. Tang and S. Dobbie (2011) iGen 0.1: the automated generation of a parameterisation of entrainment in marine stratocumulus. Geoscientific Model Development, 4 (3). pp. 797-807.

2012.46: D.F. Tang and S. Dobbie (2011) iGen 0.1: a program for the automated generation of models and parameterisations. Geoscientific Model Development, 4 (3). pp. 785-795.

2012.44: L.M. Bujorianu, M. Fisher and C. Pasareanu, ed. (2011) Special Issue: Formal Methods in Aerospace. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 63 (1). Springer.

2011.108: J Hook (2011) Products of random Max-plus matrices.

2011.102: Nicholas Dingle (2011) GPU-based solution of Continuous Time Markov Chains using CUSP.

2011.82: Iain Bethune, J. Mark Bull, Nicholas J. Dingle and Nicholas J. Higham (2011) Investigating the Performance of Asynchronous Jacobi's Method for Solving Systems of Linear Equations. To appear in International Journal of High Performance Computing Applications.

2011.62: Nicholas Dingle (2011) HydraMP: Exploiting shared memory parallelism in HYDRA with OpenMP. In: 27th UK Performance Engineering Workshop (UKPEW 2011), 7-8 July 2011, Bradford, UK.

2011.49: Margarita Korovina and Oleg Kudinov (2011) Algorithmic Properties of Sigma--definability over Positive Predicate Structures. In: Benedikt Löwe, Dag Normann, Ivan Soskov and Alexandra Soskova, (eds). Models of Computation in Context, Proc. 7th Conference on Computability in Europe, CiE 2011. Springer Lecture Notes in Computer Science (6735). Speinger-Verlag, Heidelberg.

2011.48: Margarita Korovina and Oleg Kudinov (2011) The finite Language for Computable Metric Spaces. In: Benedikt Löwe, Dag Normann, Iavn Soskov and Alexandra Soskova, (eds). Models of Computation in Context, Proc. 7th Conference on Computability in Europe, CiE 2011. Springer Lecture Notes in Computer Science (6735). Springer-Verlag, Heidleberg.

2011.47: Margarita Korovina and Nicolai Vorobjov (2011) Reachability in one-dimensional controlled polynomial dynamical systems. In Proc. The Ershov Informatics Conference, Institute Informaic Systems Press, Russian.

2011.26: D.F. Tang and S. Dobbie (2011) iGen: The automated generation of a parameterisation of entrainment in marine stratocumulus.

2011.25: D.F. Tang and S. Dobbie (2011) iGen: A program for the automated generation of models and parameterisations.

2010.105: M.C. Guenther, N.J. Dingle, J.T. Bradley and W.J. Knottenbelt (2010) Passage-time Computation and Aggregation Strategies for Large Semi-Markov Processes. Performance Evaluation.

2010.104: A.M. Mason, N.J. Dingle, W.J. Knottenbelt, D. Bell, W. Buchanan and C. Theummler (2010) Modelling infection spread using location tracking. International Journal of Healthcare Technology and Management, 11 (6). pp. 442-461.

2010.59: Howard Barringer, Dov Gabbay and David Rydeheard (2007) From Runtime Verification to Evolvable Systems. Lecture Notes in Computer Science, 4839. pp. 97-110. ISSN 0302-9743

2010.58: Joachim Baran and Howard Barringer (2008) Forays into Sequential Composition and Concatenation in EAGLE. Lecture Notes in Computer Science, 5289. pp. 69-85. ISSN 978-3-540-89246-5

2010.57: Joachim Baran and Howard Barringer (2007) A Grammatical Representation of Visibly Pushdown Languages. Lecture Notes in Computer Science, 4576. pp. 1-11. ISSN 978-3-540-73443-7

2010.56: Corina Puasuareanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru, Jamieson M Cobleigh and Howard Barringer (2008) Learning to divide and conquer: applying the $L^*$ algorithm to automate assume-guarantee reasoning. Formal Methods in System Design, 32 (3). pp. 175-205. ISSN 0925-9856

2010.55: Howard Barringer, David Rydeheard and Klaus Havelund (2010) Rule Systems for Run-time Monitoring: from EAGLE to RULER. Journal of Logic and Computation, 20 (3). pp. 675-706. ISSN 0955-792X

2010.54: Howard Barringer, Dov Gabbay and David Rydeheard (2009) Modelling evolvable component systems. Logic Journal of IGPL, 17. pp. 631-698. ISSN 1367-0751

2010.53: M.C. Bujorianu and M.L. Bujorianu (2009) Towards Co-Engineering Communicating Autonomous Cyber-physical Systems. In: Proceedings of the First NASA Formal Methods Symposium. NASA Ames Research Center, Moffett Field, California, pp. 176-180.

2010.51: M.L. Bujorianu and M. Fisher (2009) Workshop on Formal Methods for Aerospace (FMA).

2010.48: Howard Barringer, Klaus Havelund, David Rydeheard and Alex Groce (2009) Rule Systems for Runtime Verification: A Short Tutorial. Lecture Notes in Computer Science, 5779. pp. 1-24. ISSN 978-3-642-04693-3

2010.47: Norbert Müller and Margarita Korovina (2010) Making big steps in trajectories. Electronic Proceedings in Theoretical Computer Science, 24. pp. 106-119. ISSN 2075-2180

2010.41: Margarita Korovina and Nicolai Vorobjov (2010) Computing combinatorial types of trajectories in Pfaffian Dynamics. Journal of Logic and Algebraic Programming, 79 (1). pp. 32-37. ISSN 1567-8326

2010.40: Margarita Korovina and Oleg Kudinov (2010) Σ_K–constraints for Hybrid Systems. Lecture Notes in Computer Science, 5947. pp. 230-241. ISSN 0302-9743

2010.8: Andrei Morozov and Margarita Korovina (2008) On $\Sigma$-definability without equality over the real numbers. Mathematical Logic Quarterly, 54 (5). pp. 535-544. ISSN 0942-5616

2010.7: Margarita Korovina and Oleg Kudinov (2008) Towards Computability over Effectively Enumerable Topological Spaces. Electronic Notes in Theoretical Computer Science, 221. pp. 115-125. ISSN 1571-0661

2010.6: Andrei Morozov and Margarita Korovina (2008) Remarks on $\Sigma$-definability without the equality test over the Reals. Electronic Notes in Theoretical Computer Science, 202. pp. 305-313. ISSN 1571-0661

2010.5: Andrei Morozov and Margarita Korovina (2008) On $\Sigma$-representability of countable structures over real numbers, complex numbers and quaternions. Algebra and Logic, 47 (3). pp. 335-363. ISSN 0002-5232

2010.4: Margarita Korovina and Vorobjov Nicolai (2008) Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems. Theory of Computing Systems, 43 (3-4). pp. 498-515. ISSN 1432-4350

2010.3: Korovina Margarita and Kudinov Oleg (2009) Uniformity principle for $\Sigma$-definability. Journal of Logic and Computation, 19 (1). pp. 159-174. ISSN 0955-792X

2009.32: John M. Butterworth and Jonathan L. Shapiro (2009) Stability of learning dynamics in two-agent, imperfect-information games. In: FOGA 09, January 9 - 11, 2009, Orlando, Florida USA.

2009.8: Yinan Li, Jack Dongarra and Stanimire Tomov (2009) A Note on Auto-tuning GEMM for GPUs.

2009.7: Stanimire Tomov, Jack Dongarra and Marc Baboulin (2009) Towards Dense Linear Algebra for Hybrid GPU Accelerated Manycore Systems.

2009.6: Hatem Ltaief, Jakub Kurzak and Jack Dongarra (2009) Parallel Block Hessenberg Reduction using Algorithms-By-Tiles for Multicore Architectures Revisited.

2009.5: Hatem Ltaief, Jakub Kurzak and Jack Dongarra (2009) Parallel Band Two-Sided Matrix Bidiagonalization for Multicore Architectures.

2009.4: Jack Dongarra and Julien Langou (2009) The Problem with the Linpack Benchmark 1.0 Matrix Generator.

2009.3: George Bosilca, Remi Delmas, Jack Dongarra and Julien Langou (2009) Algorithmic Based Fault Tolerance Applied to High Performance Computing.

2009.2: Marc Baboulin, Jack Dongarra and Stanimire Tomov (2009) Some Issues in Dense Linear Algebra for Multicore and Special Purpose Architectures.

2008.53: Jia Liu, W. T. Hewitt, W.R.B. Lionheart, J Montaldi and M. Turner (2008) A Lemon is not a Monstar: visualization of singularities of symmetric second rank tensor fields in the plane. Eurographics UK Theory and Practice of Computer Graphics (2008). pp. 99-106.

2008.23: Younes Chahlaoui (2003) Low-rank approximation and model reduction. PhD thesis, University Catholic of Louvain, Louvain-La-Neuve, Belgium.

2008.12: Younes Chahlaoui, Kyle A Gallivan and Paul Van Dooren (2001) An incremental method for computing dominant singular subspaces. In: Michael W. Berry, (eds). Computational information retrieval. SIAM, usa, pp. 53-62. ISBN 0-89871-500-8

2008.7: Jakub Kurzak, Alfredo Buttari, Piotr Luszczek and Jack Dongarra (2008) The PlayStation 3 for High Performance Scientific Computing.

2007.125: G Bosilca, Z Chen, J Dongarra and J Langou (2007) Recovery Patterns for Iterative Methods in a Parallel Unstable Environment.

2007.124: Alfredo Buttari, Jack Dongarra, Julie Langou, Julien Langou, Piotr Luszczek and Jakub Kurzak (2007) Mixed Precision Iterative Refinement Techniques for the Solution of Dense Linear Systems.

2007.123: Jack Dongarra, G Golub, C Moler and K Moore (2007) Netlib and NA-Net: building a scientific computing community.

2007.122: Alfredo Buttari, Julien Langou, Jakub Kurzak and Jack Dongarra (2007) A Class of Parallel Tiled Linear Algebra Algorithms for Multicore Architectures.

2007.121: Marc Baboulin, Jack Dongarra, Serge Gratton and Julien Langou (2007) Computing the Conditioning of the Components of a Linear Least Squares Solution.

2007.115: George Petrides (2006) Cryptographic Applications of Non-Commutative Algebraic Structures and Investigations of Nonlinear Recursions. PhD thesis, Manchester Institute for Mathematical Sciences, The University of Manchester.

2007.95: Jakub Kurzak, Alfredo Buttari and Jack Dongarra (2007) Solving Systems of Linear Equations on the CELL Processor Using Cholesky Factorization.

2007.94: Alfredo Buttari, Jack Dongarra, Jakub Kurzak, Piotr Luszczek and Stanimire Tomov (2007) Using Mixed Precision for Sparse Matrix Computations to Enhance the Performance while Achieving 64-bit Accuracy.

2007.93: Alfredo Buttari, Jack Dongarra and Jakub Kurzak (2007) Limitations of the PlayStation 3 for High Performance Cluster Computing.

2006.419: Catherine E Powell (2006) Robust Preconditioning for Second-Order Elliptic PDEs with Random Field Coefficients.

2006.403: Xuejun Liu (2006) Microarray Data Analysis Using Probabilistic Methods. PhD thesis, The University of Manchester.

2006.83: Catherine E. Powell (2003) Optimal Preconditioning for Mixed Finite Element Formulation of Second-Order Elliptic Problems. PhD thesis, UMIST.

2006.25: George Petrides and Johannes Mykkeltveit (2006) How to Check for Short Cycles in Large Nonlinear Feedback Shift Registers.

2006.20: D. S. Broomhead and Nikita Sidorov (2004) Mutual information and capacity of a linear digital channel. Nonlinearity, 17 (6). pp. 2203-2223. ISSN 1361-6544

2006.4: Anna Mills, Stephen Marsland and Tony Shardlow (2006) Computing the Geodesic Interpolating Spline.

This list was generated on Wed Apr 16 14:27:48 BST 2014.