University of Limerick Institutional Repository

Browsing LERO - The Irish Software Research Centre by Title

DSpace Repository

Browsing LERO - The Irish Software Research Centre by Title

Sort by: Order: Results:

  • 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 ...
  • Hashmi, Sajid Ibrahim; Haque, Rafiqul; Schmieders, Eric; Richardson, Ita (IEEE Computer Society, 2011)
    Service Based Systems (SBSs) are composed of loosely coupled services. Different stakeholders in these systems, e.g. service providers, service consumers, and business decision makers, have different types of concerns which ...
  • 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 ...
  • Lang, Michael; Fitzgerald, Brian (Taylor & Francis Ltd, 2006)
    Despite claims in the literature that "traditional" methods and techniques are inadequate and poorly matched to the demands of the Web design context, the findings from a field survey of Web/hypermedia systems designers ...
  • Shokry, Hesham; El-Boghdadi, Hatem M.; Shaheen, Samir I. (Association for Computing Machinery, 2008)
    Producing efficient and compact code for embedded DSP processors is very important for nowadays faster and smaller size devices. Because such processors have highly irregular data-path, conventional code generation techniques ...
  • 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 ...
  • 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 ...
  • 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 ...
  • Ghassemi Toosi, Farshad (University of Limerick, 2017)
    This thesis presents a new graph drawing approach (the concentric approach) for drawing any undirected graph without taking stress or forces into account, in order to address the trade-off between quality and running ...
  • Shams, Armin; Sharif, Hossein; Helfert, Markus (2021)
    A Cloud Computing system is a complex system. The existing metric systems are inadequate for providing a high-fidelity picture of what is going on in the complex cloud and do not facilitate all the assessments needed ...
  • Qian, Wenyi; Peng, Xin; Sun, Jun; Yu, Yijun; Nuseibeh, Bashar; Zhao, Wenyun (Association for Computing Machinery, 2017)
    In Online-to-Offline (O2O) commerce, customer services may need to be composed from online and offline services. Such composition is challenging, as it requires effective selection of appropriate services that, in turn, ...
  • Tun, Thein Than; Bennaceur, Amel; Nuseibeh, Bashar (IEEE Computer Society, 2020)
    Security-critical systems typically place some requirements on the behaviour of their users, obliging them to follow certain instructions when using those systems. Security vulnerabilities can arise when users do not ...
  • Sharif, Khaironi Yatim; Buckley, Jim (IEEE Computer Society, 2009)
    Several authors have proposed information seeking as an appropriate perspective for studying software evolution, and have characterized information seeking empirically in commercial software evolution settings. However, ...
  • Avram, Gabriela (IEEE Computer Society, 2007)
    As part of a research project dedicated to the Social Organizational and Cultural Aspects of Global Software Development, the author has chosen to focus on collaborative work practices and knowledge management aspects of ...
  • Ahmad, Bilal; Richardson, Ita; McLoughlin, Simon; Beecham, Sarah (2018)
    Mobile Devices can be beneficial for older adults (OAs) if used effectively. Yet current research suggests a low level of take-up. We investigated the extent to which OAs use mobile devices to identify their likes, dislikes ...
  • 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 ...
  • 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 ...
  • Shokry, Hesham; El-Boghdadi, Hatem M. (Association for Computing Machinery, 2011)
    The increasing demand for more functionality in embedded systems applications nowadays requires efficient generation of compact code for embedded DSP processors. Because such processors have highly irregular datapaths, ...
  • 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 ...
  • Shokry, Hesham; Hinchey, Mike (IEEE Computer Society, 2009)
    The automotive industry is, like several other domains, a source of both challenging problems and innovative technologies of various kinds. One interesting phenomenon in this domain is the extensive interdependencies between ...

Search ULIR


Browse

My Account

Statistics