Opin vísindi

Browsing by Subject "Hugbúnaðarverkfræði"

Browsing by Subject "Hugbúnaðarverkfræði"

Sort by: Order: Results:

  • Jaghoori, Mohammad Mahdi; de Boer, Frank; Longuet, Delphine; Chothia, Tom; sirjani, marjan (Springer Science and Business Media LLC, 2016-01-25)
    We present an extension of the actor model with real-time, including deadlines associated with messages, and explicit application-level scheduling policies, e.g.,"earliest deadline first" which can be associated with individual actors. Schedulability ...
  • Samuelsson, Sigurdur Gauti; Book, Matthias (Association for Computing Machinery (ACM), 2020-11-04)
    Software engineers routinely use sketches (informal, ad-hoc drawings) to visualize and communicate complex ideas for colleagues or themselves. We hypothesize that sketching could also be used as a novel interaction modality in integrated software ...
  • Bean, Christian; Nadeau, Emile; Úlfarsson, Henning Arnór (DIiscrete Mathematics Theoretical Computer Science, 2021-03)
    In this paper, we study the staircase encoding of permutations, which maps a permutation to a staircase grid with cellsfilled with permutations. We consider many cases, where restricted to a permutation class, the staircase encoding be-comes a bijection ...
  • 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 ...
  • Palsson, Burkni; Sigurdsson, Jakob; Sveinsson, Jóhannes Rúnar; Ulfarsson, Magnus (Institute of Electrical and Electronics Engineers (IEEE), 2018)
    In this paper, we present a deep learning based method for blind hyperspectral unmixing in the form of a neural network autoencoder. We show that the linear mixture model implicitly puts certain architectural constraints on the network, and it effectively ...
  • Qasse, Ilham; Mishra, Shailesh; Hamdaqa, Mohammad (IEEE, 2021-06)
    Recently, Blockchain technology adoption has expanded to many application areas due to the evolution of smart contracts. However, developing smart contracts is non-trivial and challenging due to the lack of tools and expertise in this field. A promising ...
  • Samuelsson, Sigurdur Gauti; Book, Matthias (Association for Computing Machinery (ACM), 2020-06-27)
    Powerful software tools, such as software development environments, often have complex graphical user interfaces (GUIs) that are not intuitive to handle, especially when performing complex, multi-step operations. We hypothesize that sketching could be ...