Search Results - OPERATING SYSTEMS

Refine Results
  1. 1
  2. 2

    Operating System for Runtime Reconfigurable Multiprocessor Systems by Diana Göhringer, Michael Hübner, Etienne Nguepi Zeutebouo, Jürgen Becker

    “…Operating systems traditionally handle the task scheduling of one or more application instances on processor-like hardware architectures. …”
    Get full text
    Article
  3. 3

    Robot Operating System 2 by Vincenzo DiLuoffo, William R Michalson, Berk Sunar

    “…As Robot Operating System has become a de facto standard for many robotic systems, the security of Robot Operating System becomes an important consideration for deployed systems. …”
    Get full text
    Article
  4. 4

    UAV Cloud Operating System by Sobhy Ahmed Refaat, Khalil Abeer Twakol, Elfaham Mohamed M., Hashad Atalla

    Published in MATEC Web of Conferences (2018-01-01)
    “…Also the trend of cloud computing when it is combined with UAV highlights this field of research in many aspects, but the most significant point of research is the operating system for the cloud. This paper investigates UAV cloud operating system showing the throughput (bits/Sec) for the system implemented when using both Windows and Linux operating systems in order to select the operating system used based on a real scientific results.…”
    Get full text
    Article
  5. 5
  6. 6

    Verification and analysis of variable operating systems by V. V. Kuliamin, E. M. Lavrischeva, V. S. Mutilin, A. K. Petrenko

    “…This paper regards problems of analysis and verification of complex modern operating systems, which should take into account variability and configurability of those systems. …”
    Get full text
    Article
  7. 7

    Component-based verification of operating systems by V. V. Kuliamin, A. K. Petrenko, A. V. Khoroshilov

    “…The paper presents recent results on the way towards accurate and complete verification of industrial operating systems (OS). We consider here OSes, either of general purpose or actively used in some industrial domain, elaborated and maintained for a significant time, and not touching research-related OSes usually developed as a proof-of-concept. …”
    Get full text
    Article
  8. 8
  9. 9
  10. 10
  11. 11

    Operations on Fixpoint Equation Systems by Thomas Neele, Jaco van de Pol

    Published in Logical Methods in Computer Science (2024-07-01)
    “…We study operations on fixpoint equation systems (FES) over arbitrary complete lattices. …”
    Get full text
    Article
  12. 12

    Profit Optimalization in Operation Systems by Knopik Leszek, Migawa Klaudiusz, Wdzięczny Andrzej

    Published in Polish Maritime Research (2016-01-01)
    “…In the presented example, the ability of profit optimization in operation systems of technical objects is demonstrated.…”
    Get full text
    Article
  13. 13
  14. 14
  15. 15
  16. 16

    NEUROCOMPUTER OPERATING IN THE RESIDUE CLASS SYSTEM by Alina Yanko, Viktor Krasnobayev, Alina Hlushko, Stanislav Goncharenko

    “…The correspondence of the operation of weighted summation in neuron to the operation of addition by modules in RCS is established. …”
    Get full text
    Article
  17. 17
  18. 18
  19. 19
  20. 20

    Void formation in operator growth, entanglement, and unitarity by Hong Liu, Shreya Vardhan

    Published in Journal of High Energy Physics (2021-03-01)
    “…Abstract The structure of the Heisenberg evolution of operators plays a key role in explaining diverse processes in quantum many-body systems. …”
    Get full text
    Article

Search Tools: