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:

  • Chen, Huan; Janota, Mikolas; Marques-Silva, Joao (IEEE Computer Society, 2012)
    Boolean function bi-decomposition is ubiquitous in logic synthesis. It entails the decomposition of a Boolean function using two-input simple logic gates. Existing solutions for bidecomposition are often based on BDDs ...
  • Xu, Changqiao; Zhao, Futao; Guan, Jianfeng; Zhang, Hongke; Muntean, Gabriel-Miro (IEEE Computer Society, 2013)
    Recently many cities around the world have witnessed large scale deployment of terrestrial broadcasting mobile TV to vehicles. This service is similar to the cable or satellite television already watched at home and ...
  • Mermigas, Dimitrios; Paksakis, Constantinos; Pirounias, Sotirios (Association for Computing Machinery, 2013)
    Undoubtely, our daily lives have drastically changed over the years, shifting from a traditional to a more electronic way of living and communicating. This is the main reason that cyber-crook profession is booming and ...
  • Song, Hui; Gallagher, Michael; Clarke, Siobhán (Association for Computing Machinery, 2012)
    Graphical User Interface (GUI) is a common feature for modern software systems, while there are still many legacy systems that do not have GUIs, but only provide text and commands for user interaction. In this paper, ...
  • Janota, Mikolas; Grigore, Radu; Moskal, Michal (Association for Computing Machinery, 2007)
    We devised a reachability analysis that exploits code annotations and implemented it as a component of the extended static checker ESC/Java2. The component reports unchecked code and a class of errors previously undetected. ...
  • Purcell, Mark; Vasudevan, Aravind; Gregg, David (IEEE Computer Society, 2012)
    Understanding the baseline underwater acoustic signature of an offshore location is a necessary, early step in formulating an environmental impact assessment of wave energy conversion devices. But in order to even begin ...
  • Janota, Mikolas; Kiniry, Joseph R. (IEEE Computer Society, 2007)
    A mechanically formalized feature modeling metamodel is presented. This theory is a generic higher-order formalization of a mathematical model synthesizing several feature modeling approaches found in the literature. This ...
  • Ali, Raian; Dalpiaz, Fabiano; Giorgini, Paolo (Elsevier, 2013)
    CONTEXT. The environment in which the system operates, its context, is variable. The autonomous ability of a software to adapt to context has to be planned since the requirements analysis stage as a strong mutual ...
  • Doolan, Ronan; Muntean, Gabriel-Miro (IEEE Computer Society, 2014)
    Most cities have special lanes dedicated to buses, however these lanes are rarely used at full capacity. At the same time governments around the world are encouraging people to buy electric vehicles. This paper proposes ...
  • Galván-López, Edgar; Harris, Colin; Dusparic, Ivana; Clarke, Siobhán; Cahill, Vinny (IEEE Computer Society, 2012)
    Smart Grid technologies are becoming increasingly dynamic, so the use of computational intelligence is becoming more and more common to support the grid to automatically and intelligently respond to certain requests ...
  • Clarke, Paul; Mesquida, Calafat, A.; Ekert, D.; Ekstrom, J.J.; Gornostaja, T.; Johansen, Jørn; Mas, A.; Messnarz, R.; Najera Villar, B.; O'Connor, A.; O'Connor, Rory V.; Reiner, Murat; Sauberer, G.; Schmitz, Klaus-Dirk; Yilmaz, M.; Jovanovic, M. (Springer, 2016)
    In work that is ongoing, the authors are examining the extent of software development process terminology drift. Initial findings suggest there is a degree of term confusion, with the mapping of concepts to terms ...
  • Ralph, Paul; Johnson, Pontus; Jordan, Howell (Association for Computing Machinery, 2013)
    Many academic disciplines have general theories, which apply across the discipline and underlie much of its research. Examples include the Big Bang theory (cosmology), Maxwell’s equations (electrodynamics), the theories ...
  • Ali, Raian; Dalpiaz, Fabiano; Giorgini, Paolo (Springer, 2014)
    Deployment is a main development phase which configures a software to be ready for use in a certain environment. The ultimate goal of deployment is to enable users to achieve their requirements while using the deployed ...
  • Regan, Gilbert; Flood, Derek; Mc Caffery, Fergal (Association for Computing Machinery, 2016)
    Software systems are becoming increasingly complex. Within safety critical domains such as medical device software, this increasing complexity is placing growing demands on manufacturers who must ensure their software not ...
  • Marinescu, Andrei; Harris, Colin; Dusparic, Ivana; Clarke, Siobhán; Cahill, Vinny (2013)
    Applications such as generator scheduling, household smart device scheduling, transmission line overload management and microgrid islanding autonomy all play key roles in the smart grid ecosystem. Management of these ...
  • Liu, Yu; Meier, Rene (IEEE Computer Society, 2009)
    Dynamic adaptive systems are becoming increasingly popular due to their ability to adapt to heterogeneous and changing environments. Such systems must avert adverse feature interaction where the adaptation of an existing ...
  • MacMahon, Silvana Togneri; Mc Caffery, Fergal; Keenan, Frank (Association for Computing Machinery, 2013)
    The incorporation of a medical device into an IT network can introduce risks that may not have been addressed during the design and manufacture of the device. IEC 80001-1 is a lifecycle risk management standard which was ...
  • Mora, Manuel; Gomez, Marx Jorge; O'Connor, Rory V.; Gelman, Ovsei (2015)
    The availability of free-libre open source software (FLOSS) has stimulated their organizational implementation in many countries. The main attractiveness for it is the free-cost license of usage regarding with acquisition ...
  • Flood, Derek; Mc Caffery, Fergal; Casey, Valentine (2013)
    In recent years the proportion and complexity of software in medical devices has increased considerably. This has presented an opportunity for software development organisations to expand into the medical device domain. ...
  • Baxter, Bairbre; O'Connor, Rory V. (2008)
    The number, variety and complexity of Web applications is growing steadily and a large number of these applications are developed by Small and Medium Enterprises (SMEs). This growth creates a need for supporting development ...

Search ULIR


Browse

My Account

Statistics