„computer programming“

Suchergebnisse

1.000+ Treffer

• The extended EA ModelSet—a FAIR dataset for researching and reasoning enterprise architecture modeling practices
  Glaser, Philipp-Lorenz ; Sallinger, Emanuel ; Bork, Dominik
• Logics and Type Systems in Theory and Practice – Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
  Capretta, Venanzio ; Krebbers, Robbert ; Wiedijk, Freek 2024 Springer Nature Switzerland, Imprint: Springer
• Adjustable robust multiobjective linear optimization: Pareto optimal solutions via conic programming
  Chuong Thai Doan ; Jeyakumar, Vaithilingam
• BB-CSP: An Efficient Blockchain-Based Collective Salary Payment Framework Using Weighted Functional Encryption
  Far, Saeed Banaeian ; Rad, Azadeh Imani ; Rajabzade Asaar, Maryam
• The sum of its parts: Analysis of federated byzantine agreement systems
  Florian, Martin ; Henningsen, Sebastian ; Ndolo, Charmaine ; Scheuermann, Björn
• A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components
  Natale, Marco Di ; Perillo, David ; Chirico, Francesco ; Sindico, Andrea ; Sangiovanni-Vincentelli, Alberto
• UML4ALL: Gemeinsam in Diversity Teams Software modellieren – Für Menschen mit und ohne Seheinschränkung
  Müller, Karin ; Petrausch, Vanessa ; Jaworek, Gerhard ; Henß, Jörg ; Seifermann, Stephan ; Loitsch, Claudia ; Stiefelhagen, Rainer
• Nonsequential and Distributed Programming with Go – Synchronization of Concurrent Processes
  Maurer, Christian 2025 Springer
• A novel chaotic differential evolution hybridized with quadratic programming for short-term hydrothermal coordination
  Chaudhry, F. A. ; Amin, M. ; Iqbal, M. ; Khan, R. D. ; Khan, J. A.
• Filament formation in lithium niobate memristors supports neuromorphic programming capability
  Yakopcic, Chris ; Wang, Shu ; Wang, Weisong ; Shin, Eunsung ; Boeckl, John ; Subramanyam, Guru ; Taha, Tarek M.
• Uniaxial compressive strength prediction through a new technique based on gene expression programming
  Jahed Armaghani, Danial ; Safari, Vali ; Fahimifar, Ahmad ; Mohd Amin, Mohd For ; Monjezi, Masoud ; Mohammadi, Mir Ahmad
• Parallelized and distributed task based ontology matching in clustering environment with semantic verification
  Mittra, Tanni ; Ali, Muhammad Masroor
• Safe registers can achieve correct implementation of peterson’s two process mutual exclusion algorithm
  Banerjee, Amartya ; Bandyopadhyay, Anup Kumar
• A recurrent neural network with finite-time convergence for convex quadratic bilevel programming problems
  Feng, Jiqiang ; Qin, Sitian ; Shi, Fengli ; Zhao, Xiaoyue
• A computationally efficient non-local maximum likelihood estimation approach for Rician noise reduction in MRI
  Sujin Surendran, S. ; Rajan, Jeny ; Nair, Madhu S.
• De-Bruijn graph with MapReduce framework towards metagenomic data classification
  Kamal, Md. Sarwar ; Parvin, Sazia ; Ashour, Amira ; Shi, Fuqian ; Dey, Nilanjan
• A distributed smart fusion framework based on hard and soft sensors
  Chetty, Girija ; Yamin, Mohammad
• Border Gateway Protocol to provide failover in multihoming environment
  Ahmed, Muhammed Zaharadeen ; AbdallahHashim, Aisha Hassan ; Khalifa, Othman Omran ; Salami, Momoh. J. E.
• Differential analysis of token metric and object oriented metrics for fault prediction
  Kaur, Ishleen ; Narula, Gagandeep Singh ; Jain, Vishal
• Effects of personality traits and preferences on M-learning
  Al-Ismail, Mazen ; Gedeon, Tom ; Yamin, Mohammad