Centre for Interdisciplinary Research in Computational Algebra (CIRCA) Research: Recent submissions

Now showing items 11-15 of 22

    • Mapping parallel programs to heterogeneous CPU/GPU architectures using a Monte Carlo Tree Search 

      Goli, Mehdi; McCall, John; Brown, Christopher Mark; Janjic, Vladimir; Hammond, Kevin (IEEE, 2013-06-20) - Conference item
      The single core processor, which has dominated for over 30 years, is now obsolete with recent trends increasing towards parallel systems, demanding a huge shift in programming techniques and practices. Moreover, we are ...

    • Repeating history : execution replay for Parallel Haskell programs 

      Ferrerio, Henrique; Janjic, Vladimir; Castro, Laura; Hammond, Kevin (Springer, 2013) - Conference item
      Parallel profiling tools, such as ThreadScope for Parallel Haskell, allow programmers to obtain information about the performance of their parallel programs. However, the information they provide is not always sufficiently ...

    • Maximal subsemigroups of the semigroup of all mappings on an infinite set 

      East, J.; Mitchell, James David; Péresse, Y. (2015-03-01) - Journal article
      In this paper we classify the maximal subsemigroups of the full transformation semigroup ΩΩ, which consists of all mappings on the infinite set Ω, containing certain subgroups of the symmetric group Sym (Ω) on Ω. In 1965 ...

    • On disjoint unions of finitely many copies of the free monogenic semigroup 

      Abughazalah, Nabilah; Ruskuc, Nik (2013-08) - Journal article
      Every semigroup which is a finite disjoint union of copies of the free monogenic semigroup (natural numbers under addition) is finitely presented and residually finite.

    • Interfacing Coq + SSReflect with GAP 

      Komendantsky, Vladimir; Konovalov, Alexander; Linton, Stephen Alexander (2012-09-19) - Journal article
      We report on an extendable implementation of the communication interface connecting Coq proof assistant to the computational algebra system GAP using the Symbolic Computation Software Composability Protocol (SCSCP). It ...