„Systems Programming“

Suchergebnisse

10.000+ Treffer

• Multi-scale verification of distributed synchronisation
  Gainer, Paul ; Linker, Sven ; Dixon, Clare ; Hustadt, Ullrich ; Fisher, Michael
• Hybrid Approach to Content-Based Image Retrieval Using Modified Multi-Scale LBP and Color Features
  Chavda, Sagar ; Goyani, Mahesh
• Path Computation for Dynamic Provisioning in Multi-Technology Multi-Layer Transport Networks
  Ramachandran, Madanagopal ; Sivalingam, Krishna M.
• Analyzing Promising Researchers Using Network Centralities of Co-authorship Networks from Academic Literature
  Fujita, Masanori ; Inoue, Hiroto ; Terano, Takao
• An epistemic approach to the formal specification of statistical machine learning
  Kawamoto, Yusuke
• Die Narrative der digitalen Transformation – Der unaufhaltsame Transfer von Dingen, Handlungen und Bedürfnissen in Daten – Worauf sollten wir uns einstellen? Welche Gestaltungsräume bleiben Deutschland und der EU für ein eigenständiges Narrativ?
  Rolf, Arno
• News
• Machine Understandable Policies and GDPR Compliance Checking
  Bonatti, Piero A. ; Kirrane, Sabrina ; Petrova, Iliana M. ; Sauro, Luigi
• Meta-heuristic approach for solving multi-objective path planning for autonomous guided robot using PSO–GWO optimization algorithm with evolutionary programming
  Gul, Faiza ; Rahiman, Wan ; Alhady, S. S. N. ; Ali, Ahmad ; Mir, Imran ; Jalil, Abdul
• SPAWN: An Iterative, Potentials-Based, Dynamic Scheduling and Partitioning Tool
  Papin, Jean-Charles ; Denoual, Christophe ; Colombet, Laurent ; Namyst, Raymond
• IoT-enabled directed acyclic graph in spark cluster
  Koo, Jahwan ; Faseeh Qureshi, Nawab Muhammad ; Siddiqui, Isma Farah ; Abbas, Asad ; Bashir, Ali Kashif
• Modeling research in recent years: special section on ECMFA 2017 and ECMFA 2018
  Anjorin, Anthony ; Pierantonio, Alfonso ; Trujillo, Salvador ; Ortiz, Huascar Espinoza
• Automatic generation of UML profile graphical editors for Papyrus
  Wei, Ran ; Zolotas, Athanasios ; Hoyos Rodriguez, Horacio ; Gerasimou, Simos ; Kolovos, Dimitrios S. ; Paige, Richard F.
• Opportunities in intelligent modeling assistance
  Mussbacher, Gunter ; Combemale, Benoit ; Kienzle, Jörg ; Abrahão, Silvia ; Ali, Hyacinth ; Bencomo, Nelly ; Búr, Márton ; Burgueño, Loli ; Engels, Gregor ; Jeanjean, Pierre ; Jézéquel, Jean-Marc ; Kühn, Thomas ; Mosser, Sébastien ; Sahraoui, Houari ; Syriani, Eugene ; Varró, Dániel ; Weyssow, Martin
• Cloud resource orchestration in the multi-cloud landscape: a systematic review of existing frameworks
  Tomarchio, Orazio ; Calcaterra, Domenico ; Modica, Giuseppe Di
• Formal methods in dependable systems engineering: a survey of professionals from Europe and North America
  Gleirscher, Mario ; Marmsoler, Diego
• Code cloning in smart contracts: a case study on verified contracts from the Ethereum blockchain platform
  Kondo, Masanari ; Oliva, Gustavo A. ; Jiang, Zhen Ming (Jack) ; Hassan, Ahmed E. ; Mizuno, Osamu
• Silicon Austria Labs forscht an innovativen EBS-Lösungen für die Energiewende
  Preuer, Isabella ; Krenn, Johann ; Mühleisen, Wolfgang
• Fault Recovery Methods for Asynchronous Linear Solvers
  Coleman, Evan ; Jensen, Erik J. ; Sosonkina, Masha
• A recommendation for suitable technologies for an indoor farming framework
  Gnauer, Clemens ; Pichler, Harald ; Schmittner, Christoph ; Tauber, Markus ; Christl, Korbinian ; Knapitsch, Johannes ; Parapatits, Martin