University of Limerick Institutional Repository

Browsing LERO - Project partner authors by Subject "algorithms"

DSpace/Manakin Repository

Browsing LERO - Project partner authors by Subject "algorithms"

Sort by: Order: Results:

  • Cleary, Jimmy; Callanan, Owen; Purcell, Mark; Gregg, David (Association for Computing Machinery, 2013)
    For most multi-threaded applications, data structures must be shared between threads. Ensuring thread safety on these data structures incurs overhead in the form of locking and other synchronization mechanisms. Where data ...
  • Morgado, Antonio; Heras, Federico; Marques-Silva, Joao (Springer, 2012)
    Maximum Satisfiability (MaxSAT) and its weighted variants are wellknown optimization formulations of Boolean Satisfiability (SAT). Motivated by practical applications, recent years have seen the development of ...
  • Janota, Mikolas; Kuzina, Victoria; Wasowski, Andrzej (Association for Computing Machinery, 2008)
    Mainstream development environments have recently assimilated guidance technologies based on constraint satisfaction. We investigate one class of such technologies, namely, interactive guided derivation of models, where ...
  • 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 ...
  • Vassev, Emil; Mokhov, Serguei A. (2009)
    In this work, we venture out to develop self-optimization features in the Distributed Modular Audio Recognition Framework (DMARF). Here, we use the Autonomic System Speci cation Language (ASSL) to specify a self-optimization ...
  • Janota, Mikolas; Klieber, William; Marques-Silva, Joao; Clarke, Edmund (Springer, 2012)
    We propose two novel approaches for using Counterexample- Guided Abstraction Re nement (CEGAR) in Quanti ed Boolean Formula (QBF) solvers. The rst approach develops a recursive algorithm whose search is driven by CEGAR ...
  • Buda, Teodora Sandra; Murphy, John; Kristiansen, Morten (Association for Computing Machinery, 2013)
    Managing large amounts of information is one of the most expensive, time-consuming and non-trivial activities and it usually requires expert knowledge. In a wide range of application areas, such as data mining, histogram ...
  • Shannon, Ross; Williamson, Graham; Quigley, Aaron; Nixon, Paddy (2007)
    Ubiquitous computing systems which include wireless devices in their networks rely on sometimes frag- ile ah-hoc communication channels between heteroge- neous devices to operate. To maintain stability and ro- bustness, ...

Search DSpace


Advanced Search

Browse

My Account