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:

  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • 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 ...
  • Atachiants, Roman; Doherty, Gavan; 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