„Programming Language.“

Suchergebnisse

8.545 Treffer

• GS4: Graph stream summarization based on both the structure and semantics
  Ashrafi-Payaman, Nosratali ; Kangavari, Mohammad Reza ; Hosseini, Saeid ; Fander, Amir Mohammad
• Verifying temporal specifications of Java programs
  Spegni, Francesco ; Spalazzi, Luca ; Liva, Giovanni ; Pinzger, Martin ; Bollin, Andreas
• Convergence verification of the Collatz problem
  Barina, David
• ILP formulation and heuristic method for energy-aware application mapping on 3D-NoCs
  Nalci, Yigitcan ; Kullu, Pinar ; Tosun, Suleyman ; Ozturk, Ozcan
• Scalable parallel implementation of migrating birds optimization for the multi-objective task allocation problem
  Öz, Dindar ; Öz, Işıl
• Mixed-semantics composition of statecharts for the component-based design of reactive systems
  Graics, Bence ; Molnár, Vince ; Vörös, András ; Majzik, István ; Varró, Dániel
• Automatic derivation of conceptual database models from differently serialized business process models
  Brdjanin, Drazen ; Ilic, Stefan ; Banjac, Goran ; Banjac, Danijela ; Maric, Slavko
• Detection, assessment and mitigation of vulnerabilities in open source dependencies
  Ponta, Serena Elisa ; Plate, Henrik ; Sabetta, Antonino
• Adaptive neuro-fuzzy modeling of a soft finger-like actuator for cyber-physical industrial systems
  Aslinezhad, Mehdi ; Malekijavan, Alireza ; Abbasi, Peyman
• Classification and recognition of computed tomography images using image reconstruction and information fusion methods
  Li, Pengzhi ; Li, Jianqiang ; Chen, Yueda ; Pei, Yan ; Fu, Guanghui ; Xie, Haihua
• A review on diagnostic autism spectrum disorder approaches based on the Internet of Things and Machine Learning
  Hosseinzadeh, Mehdi ; Koohpayehzadeh, Jalil ; Bali, Ahmed Omar ; Rad, Farnoosh Afshin ; Souri, Alireza ; Mazaherinezhad, Ali ; Rezapour, Aziz ; Bohlouli, Mahdi
• A comparison study of wavelet transforms for the visualization of differentially methylated regions in DNA samples
  Fernández, Lisardo ; Pérez, Mariano ; Orduña, Juan M.
• Modeling cultures of the embedded software industry: feedback from the field
  Akdur, Deniz ; Say, Bilge ; Demirörs, Onur
• A model-based strategy for quantifying the impact of availability on the energy flow of data centers
  Valentim, Thiago ; Callou, Gustavo
• A cloud computing framework for analysis of agricultural big data based on Dempster–Shafer theory
  Mokarram, Marzieh ; Khosravi, Mohammad R.
• Transactional execution of hierarchical reconfigurations in cyber-physical systems
  Heinzemann, Christian ; Becker, Steffen ; Volk, Andreas
• Studying the advancement in debugging practice of professional software developers
  Perscheid, Michael ; Siegmund, Benjamin ; Taeumel, Marcel ; Hirschfeld, Robert
• A4WSN: an architecture-driven modelling platform for analysing and developing WSNs
  Malavolta, Ivano ; Mostarda, Leonardo ; Muccini, Henry ; Ever, Enver ; Doddapaneni, Krishna ; Gemikonakli, Orhan
• Dimensionality reduction via the Johnson–Lindenstrauss Lemma: theoretical and empirical bounds on embedding dimension
  Fedoruk, John ; Schmuland, Byron ; Johnson, Julia ; Heo, Giseon
• A tour of secure software engineering solutions for connected vehicles
  Bertolino, Antonia ; Calabro’, Antonello ; Giandomenico, Felicita Di ; Lami, Giuseppe ; Lonetti, Francesca ; Marchetti, Eda ; Martinelli, Fabio ; Matteucci, Ilaria ; Mori, Paolo