University of Limerick Institutional Repository

Browsing LERO by Title

DSpace Repository

Browsing LERO by Title

Sort by: Order: Results:

  • Data decomposition for code parallelization in practice: what do the experts need? 
    Meade, Anne; Deeptimahanti, Deva Kumar; Johnston, Michael; Buckley, Jim; Collins, J.J. (IEEE Computer Society, 2013)
    Parallelizing serial software systems in order to run in a High Performance Computing (HPC) environment presents many challenges to developers. In particular, the extant literature suggests the task of decomposing ...
  • Data incest in cooperative localisation with the common past-invariant ensemble Kalman filter 
    Čurn, Jan; Marinescu, Dan; O'Hara, Niall; Cahill, Vinny (IEEE Computer Society, 2013)
    In this paper we consider the problem of cooperative vehicle localisation, in which a group of vehicles are driving in an outdoor environment, each estimating their position using a global positioning system (GPS) and ...
  • The debbuggable interpreter design pattern 
    Vrany, Jan; Bergel, Alexandre (2007)
    The use of Interpreter and Visitor design patterns has been widely adopted to implement programming language interpreters due to their expressive and simple design. However, no general approach to conceive a debugger is ...
  • Deciding on open innovation:an exploration of how firms create and capture value with open source software. 
    Morgan, Lorraine; Finnegan, Patrick (Springer, 2008)
    Open innovation is a paradigm that proposes that firms can and should use external as well as internal innovations/ideas. A popular example of open innovation has been open source software (OSS). The key issues facing ...
  • A decision support system for global software development 
    Beecham, Sarah; Noll, John; Richardson, Ita; Dhungana, Deepak (IEEE Computer Society, 2011)
    Global Software Development (GSD) research has reached a level of maturity. Paper-based solutions and guidelines are readily available to solve many known distributed software development problems. The large number of ...
  • Delay tolerant networks and spatially detailed human mobility 
    Stabeler, Matthew; Cellai, Davide; Dobson, Simon (IEEE Computer Society, 2009)
    We propose a prototype for a real-world, human network proximity experiment with detailed recordings of the position of individuals. Our aim is to provide a comprehensive dataset to investigate the internal correlations ...
  • A Delphi study of the influences on innovation adoption and process evolution in a large open source project: the case of Debian 
    Krafft, Martin F. (University of Limerick, Department of Computer Science & Information Systems, 2010)
    The Debian Project is possibly the largest FLOSS project, but its processes have not scaled in relation to its growth and complexity. Many aspects of daily tasks require the volunteer contributors to expend time on repetitive, ...
  • Demo: PIT a practical mutation testing tool for Java 
    Coles, Henry; Laurent, Thomas; Ventresque, Anthony; Henard, Christopher; Papadakis, Mike (Association for Computing Machinery, 2016)
    Mutation analysis introduces program defects with the intend of verifying whether candidate tests are able to trigger anomalous behaviour. In case the tests can distinguish the defective behaviour from that of the ...
  • The denotational semantics of slotted-circus 
    Gancarski, Pawel; Butterfield, Andrew (Springer, 2009)
    This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked systems. The key result presented here is a ...
  • Depedent Gaussian mixture models for source seperation 
    Quirós Carretero, Alicia; Wilson, Simon P (2011)
    Source separation is a common task in signal processing and is often analogous to factor analysis. In this work we look at a factor analysis model for source separation of multi-spectral image data where prior information ...
  • Deploying a software process lifecycle standard in very small companies 
    O'Connor, Rory V. (IGI Global, 2014)
    In the case of very small software companies, implementing management procedures, and controls to appropriately administer their software development activity is a significant challenge. With this in mind, the ISO/IEC ...
  • Deploying lifecycle profiles for very small entities: an early stage industry view 
    O'Connor, Rory V.; Laporte, Claude Y. (Springer-Verlag, 2011)
    The recently published ISO/IEC 29110 standard lifecycle profiles for very small entities has at its core a management and engineering guide [1] which is targeted at very small entities (enterprises, organizations, departments ...
  • Deriving process specifications from augmented data models 
    Botterweck, Goetz; Simon, Carlo (2004)
    This paper presents an approach which enables a system analyst to derive process models from data models. To accomplish this, existing data models are augmented with additional informa-tion regarding the intended process ...
  • The design and development of software process reference models – experiences and lessons learnt 
    O'Leary, Pádraig; Richardson, Ita (2011)
    Software process reference models can serve as a tool for simplifying process problem solving. Through a series of research phases using sources in industry and academia, we developed a software process reference model for ...
  • Design and evaluation of a process for identifying architecture patterns in open source software 
    Stol, Klaas-Jan; Avgeriou, Paris; Ali Babar, Muhammad (Springer-Verlag, 2011)
    Architecture patterns have a direct effect (positive or negative) on a system’s quality attributes (e.g., performance). Therefore, information about patterns used in a product can provide valuable insights to, e.g., component ...
  • Design and implementation of a hospital quality assurance program (H-QAP) 
    Reid, Louise; Lotter, Martha; Burton, John; Richardson, Ita (IEEE Computer Society, 2012)
    The purpose of this paper is to present the development of a Hospital Quality Assurance Program, H-QAP. People and Medical Devices, including software, cannot be separated in the healthcare environment, and clinical and ...
  • Design considerations for parallel performance tools 
    Atachiants, Roman; Gregg, David; Jarvis, Kim; Doherty, Gavin (Association for Computing Machinery, 2014)
    In recent years there has been a shift in microprocessor manufacture from building single-core processors towards providing multiple cores on the same chip. This shift has meant that a much wider population of developers ...
  • The design methodology for hybrid system verification. 
    Pluska, Michal; Sinclair, David (IEEE Computer Society, 2010)
    Hybrid systems are gaining interest in control engineering because the ability to provide information for verification of the system by using hybrid automata. Moreover the importance of the model based approach is growing ...
  • The design methodology for the verification of hybrid dynamical systems 
    Pluska, Michal; Sinclair, David (IEEE Computer Society, 2011)
    This work presents the OHMS methodology. The main aim of it is to design a model of a complex system easy to process by formal model checking procedure. The outcome is a verification report showing safety of the system. ...
  • A design of a configurable feature model configurator 
    Botterweck, Goetz; Janota, Mikolas; Schneeweiss, Denny (2009)
    Our feature configuration tool S2T2 Configurator integrates (1) a visual interactive representation of the feature model and (2) a formal reasoning engine that calculates consequences of the user’s actions and provides ...

Search ULIR


Browse

My Account

Statistics