„Systems Programming“

Suchergebnisse

10.000+ Treffer

• Analytic Study of Containerizing Stateful Stream Processing as Microservice to Support Digital Twins in Fog Computing
  Alaasam, Ameer B. A. ; Radchenko, G. ; Tchernykh, A. ; González Compeán, J. L.
• Mu-Calculus Satisfiability with Arithmetic Constraints
  Limón, Y. ; Bárcenas, E. ; Benítez-Guerrero, E. ; Castillo, G. Molero ; Velázquez-Mena, A.
• PolyGraph: a data flow model with frequency arithmetic
  Dubrulle, Paul ; Kosmatov, Nikolai ; Gaston, Christophe ; Lapitre, Arnault
• Digitaler Workaround ist keine Digitalisierung – Wem berechtigte Kritik egal ist, der siecht dahin
  Dueck, Gunter
• Specification-Based Browsing of Software Component Libraries
  Fischer, Bernd
• Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs
  Birch, Geoff ; Fischer, Bernd ; Poppleton, Michael
• Synthesizing MPI Implementations from Functional Data-Parallel Programs
  Aubrey-Jones, Tristan ; Fischer, Bernd
• Fast and simple model generation for superjunction power MOSFETs – An easy way to get accurate SPICE models even without precise information from the data sheet
  Fuchs, Michael ; Spielberger, Lukas ; Odreitz, Ko ; Deutschmann, Bernd
• Exploring the Relation Between Co-changes and Architectural Smells
  Sas, Darius ; Avgeriou, Paris ; Kruizinga, Ronald ; Scheedler, Ruben
• Configurable verification of timed automata with discrete variables
  Tóth, Tamás ; Majzik, István
• A user interest community evolution model based on subgraph matching for social networking in mobile edge computing environments
  Jiang, Liang ; Liu, Lu ; Yao, Jingjing ; Shi, Leilei
• Tele-counselling for management of Chittodvega (anxiety disorder) in Ayurveda--composing ancillary methods during the Covid 19 pandemic
  Roshni, K. P.
• In Memoriam Christian Freksa
  Piel, Helen ; Seising, Rudolf
• News
• Towards Explanatory Interactive Image Captioning Using Top-Down and Bottom-Up Features, Beam Search and Re-ranking
  Biswas, Rajarshi ; Barz, Michael ; Sonntag, Daniel
• On the Possibility of Secure Program Obfuscation in Some Model of Cloud Computing
  Shokurov, A. V. ; Abramova, I. V. ; Varnovsky, N. P. ; Zakharov, V. A.
• Designing Interfaces for Classes of a Neural Network Graph Model
  Karpov, Yu. L. ; Volkova, I. A. ; Vylitok, A. A. ; Karpov, L. E. ; Smetanin, Yu. G.
• Occlusion Culling Algorithm Based on Software Visibility Checks
  Gonakhchyan, V. I.
• Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System
  Devyanin, P. N. ; Khoroshilov, A. V. ; Kuliamin, V. V. ; Petrenko, A. K. ; Shchepetkov, I. V.
• CIGRE Session 2020
  Hribernik, W.