University of Limerick Institutional Repository

Browsing LERO - Project partner authors by Title

DSpace Repository

Browsing LERO - Project partner authors by Title

Sort by: Order: Results:

  • The need for a software process improvement model for the medical device industry 
    Mc Caffery, Fergal; Coleman, Gerry (Praise Worthy Prize S.r.l., 2007)
    Software is becoming an increasingly important aspect of medical devices and medical device regulation. Software enables highly complex systems to be built. However, complexity is the enemy of safety, therefore strict ...
  • New and improved models for SAT-based bi-decomposition 
    Chen, Huan; Marques-Silva, Joao (Association for Computing Machinery, 2012)
    Boolean function bi-decomposition is pervasive in logic synthesis. Bi-decomposition entails the decomposition of a Boolean function into two other simpler functions connected by a simple two-input gate. Existing solutions ...
  • Next road rerouting: a multiagent system for mitigating unexpected urban traffic congestion 
    Wang, Shen; Djahel, Soufiene; Zhang, Zonghua; McManis, Jennifer (IEEE Computer Society, 2016)
    During peak hours in urban areas, unpredictable traffic congestion caused by en route events (e.g., vehicle crashes) increases drivers’ travel time and, more seriously, decreases their travel time reliability. In this ...
  • No reference objective quality metric for stereoscopic 3D video 
    Han, Yi; Yuan, Zhenhui; Muntean, Gabriel-Miro (IEEE Compuer Society, 2014)
    The stereoscopic three-dimensional (3D) video technologies have achieved significant success in providing enhanced immersive experience to consumers. However network delivery of 3D video content at good quality levels is ...
  • Northern Ireland Software Industry Survey 
    Mc Caffery, Fergal; Wilkie, F.G.; McFall, Donald (2004)
    This presentation discusses statistical findings obtained from a survey of the state of software development practices within Northern Ireland (NI). The survey was developed and conducted by staff from the Centre for ...
  • On computing minimal equivalent subformulas 
    Belov, Anton; Janota, Mikolas; Lynce, Inês; Marques-Silva, Joao (Springer, 2012)
    A propositional formula in Conjunctive Normal Form (CNF) may contain redundant clauses | clauses whose removal from the for- mula does not a ect the set of its models. Identi cation of redundant clauses is important ...
  • On efficient computation of variable MUSes 
    Belov, Anton; Ivrii, Alexander; Matsliah, Arie; Marques-Silva, Joao (Springer-Verlag, 2012)
    In this paper we address the following problem: given an unsatisfiable CNF formula F, find a minimal subset of variables of F that constitutes the set of variables in some unsatisfiable core of F. This problem, known as ...
  • On models and standards of processes in SE, SwE and IT&S disciplines:toward a comparative framework using the systems approach 
    Mora, Manuel; Gelman, Ovsei; O'Connor, Rory V.; Jorge Macias, Francisco Alvarez (2007)
    The general aim of Systems Engineering (SE) and Software Engineering (SwE) is the definition, development and deployment of large-scale cost-effective and trustworthy integrated systems and software-intensive systems ...
  • An ontology-based approach for modelling architectural styles 
    Pahl, Claus; Giesecke, Simon; Hasselbring, Wilhelm (Springer, 2007)
    The conceptual modelling of software architectures is of central importance for the quality of a software system. A rich modelling language is required to integrate the different aspects of architecture modelling, such ...
  • Ontology-based modelling of architectural styles 
    Pahl, Claus; Giesecke, Simon; Hasselbring, Wilhelm (Elsevier, 2009)
    The conceptual modelling of software architectures is of central importance for the quality of a software system. A rich modelling language is required to integrate the different aspects of architecture modelling, such ...
  • Open source innovation networks: exploring high and low-density models 
    Morgan, Lorraine; Feller, Joseph; Finnegan, Patrick (2012)
    The concept of open innovation, of which open source software is a well-cited example, has grown in popularity over the past decade. Firms engaged in open innovation leverage external knowledge to accelerate innovation and ...
  • Open, stable autonomic adaptation: a grand challenge 
    Dobson, Simon; Nixon, Paddy (IEEE Computer Society, 2008)
    Treating autonomic systems as solving individual, isolated problems misses the opportunity to consider adaptation as an object of study in its own right. We propose a grand challenge of supporting adaptation in an open ...
  • Opening the door to innovation in cloud computing 
    Clohessy, Trevor; Acton, Thomas (2013)
    This paper describes research-in-progress that explores the applicability and implications of cloud computing in the creation of business value through open innovation. Both the cloud computing and open innovation paradigms ...
  • Opportunistic composition of sequentially-connected services in mobile computing environments 
    Groba, Christin; Clarke, Siobhán (IEEE Computer Society, 2011)
    Dynamic service composition has emerged as a promising approach to build complex runtime-adaptable applications as it allows for binding service providers only shortly before service execution. However, the dynamic and ...
  • Optimal experience in online shopping: the influence of flow 
    Sharkey, Ultan; Acton, Thomas; Conboy, Kieran (2012)
    This research investigates the influences of product presentation modes, decision behaviour and the consumer experience on Internet shopping. The growth of online shopping brings with it cognitive challenges for consumers ...
  • Optimizing monitoring requirements in self-adaptive systems 
    Ali, Raian; Griggio, Alberto; Franzén, Anders; Dalpiaz, Fabiano; Giorgini, Paolo (2012)
    Monitoring the system environment is a key functionality of a self- adaptive system. Monitoring requirements denote the information a self-adaptive system has to capture at runtime to decide upon whether an adaptation ...
  • Organizational commitment towards software process improvement an Irish software vses case study 
    Basri, Shuib; O'Connor, Rory V.; SFI (IEEE Computer Society, 2008)
    This paper presents a study of the software development processes of very small software companies, with a focus on the company’s Software Process Improvement (SPI) activities. SPI has gained an increasing importance in ...
  • An output sensitive algorithm for computing a maximum independent set of a circle graph 
    Nash, Nicholas; Gregg, David (Elsevier, 2010)
    We present an output sensitive algorithm for computing a maximum independent set of an unweighted circle graph. Our algorithm requires O(n min{d, α}) time at worst, for an n vertex circle graph where α is the independence ...
  • PackUp: tools for package upgradability solving, system description 
    Janota, Mikolas; Lynce, Inês; Manquinho, Vasco; Marques-Silva, Joao (IOS Press, 2012)
    This paper presents PackUp1. (PACKage UPgradability with Boolean formulations) a framework for solving the the software package upgradability problem. Earlier versions of the framework (cudf2msu, cudf2pbo) participated ...
  • Parallel performance problems on shared-memory multicore systems: taxonomy and observation 
    Atachiants, Roman; Doherty, Gavin; Gregg, David (IEEE Computer Society, 2016)
    The shift towards multicore processing has led to a much wider population of developers being faced with the challenge of exploiting parallel cores to improve software performance. Debugging and optimizing parallel ...

Search ULIR


Browse

My Account

Statistics