Opin vísindi

Fletta eftir efnisorði "Hugbúnaðarverkfræði"

Fletta eftir efnisorði "Hugbúnaðarverkfræði"

Röðun: Raða: Niðurstöður:

  • Icon
    Compositional schedulability analysis of real-time actor-based systems 
    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 ...
  • Icon
    Enumeration of Permutation Classes and Weighted Labelled Independent Sets 
    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 ...
  • Icon
    iContractBot: A chatbot for smart contracts’ specification and code generation 
    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 ...