Opin vísindi

Browsing by Subject "Tölvunarfræði"

Browsing by Subject "Tölvunarfræði"

Sort by: Order: Results:

  • Hyytia, Esa; Righter, Rhonda; Bilenne, Olivier; Wu, Xiaohu (Elsevier BV, 2017-09)
    We study the M/D/1 queue when jobs have firm deadlines for waiting (or sojourn) time. If a deadline is not met, a job-specific deadline violation cost is incurred. We derive explicit value functions for this M/D/1 queue that enable the development of ...
  • Bean, Christian; Claesson, Anders; Úlfarsson, Henning Arnór (University of Waterloo, 2017)
    Vincular and covincular patterns are generalizations of classical patterns allowing restrictions on the indices and values of the occurrences in a permutation. In this paper we study the integer sequences arising as the enumerations of permutations ...
  • Book, Matthias; Riedel, Morris; Neukirchen, Helmut; Götz, Markus (ACM Press, 2017-10)
    The design, development and deployment of scientific computing applications can be quite complex as they require scientific, High-Performance Computing (HPC), and software engineering expertise. Often, HPC applications are however developed by end users ...
  • Bean, Christian (2018-06)
    New automatic methods for enumerating permutation classes are introduced. The first is Struct, which is an algorithm that conjectures a structural description using rules similar to generalized grid classes. These conjectured structural descriptions ...
  • Eggertsson, Hannes Pétur (University of Iceland, School of Engineering and Natural Sciences, Faculty of Industrial Engineering, Mechanical Engineering and Computer Science, 2019-06)
    A fundamental requisite for genetic studies is an accurate determination of sequence variation. While human genome sequence diversity is increasingly well characterized, there is a need for efficient ways to utilize this knowledge in sequence analysis. ...
  • Khamespanah, Ehsan (2018-06)
    In the recent years, formal modeling and verification of realtime systems have become very important. Difficult-to-use modeling languages and inefficient analysis tools are the main obstacles to use formal methods in this domain. Timed actor model is ...
  • Lejsek, Herwig (2016-02)
    This thesis presents the NV-tree (Nearest Vector tree), which addresses thespecific problem of efficiently and effectively finding the approximatek-nearest neighbors within large collections of high-dimensional data points.The NV-tree is a very ...
  • Ali, Jafari (2016-06)
    This dissertation is composed of two parts. In the first part, performance evaluation and verification of safety properties are provided for real-time actors. Recently, the actor-based language, Timed Rebeca, was introduced to model distributed and ...
  • Rudinsky, Jan; Hvannberg, Ebba Thora (IGI Global, 2017-01)
    A crisis is an emergency event that can lead to multiple injuries and damage to property or environment. Proper training of crisis management personnel is vital for reducing the impact of a major incident. In search for knowledge on how best to ...