„Programs“

Suchergebnisse

10.000+ Treffer

• Automatic distribution of object oriented programs
  Spiegel, André
• Verification of Erlang programs using abstract interpretation and model checking
  Huch, Frank Günter
• Flexible computation of the well-founded semantics of normal logic programs
  Zukowski, Ulrich
• Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL
  Prensa Nieto, Leonor
• A tool for generating programs with mixed task and data parallelism
  Fissgus, Ursula
• Smoothing-type methods for linear programs
  Engelke, Stephan
• Reasoning about terminating functional programs
  Slind, Konrad
• Type inference based deforestation of functional programs
  Chitil, Olaf
• A cutting-plane and benders’ decomposition algorithm for two-stage distributionally robust convex programs
  Luo, Fengqiao ; Dey, Shibshankar ; Mehrotra, Sanjay
• Correlation aware solution for merging small files based on similarity and clustering in HDFS
  Chettaoui, Hanène ; Hkiri, Farah
• Properties of two-stage stochastic multi-objective linear programs
  Gupta, Akshita ; Hunter, Susan R.
• Dialectic optimization algorithm (DOA): a novel metaheuristic inspired by dialectical philosophy
  Salami, Yashar
• Efficient domination problem: a quantum computing approach
  Vidya, K. A. ; Venugopal, K.
• Smooth gradient loss: a loss function for gradient regularization in deep learning optimization
  Dwivedi, Pulkit ; Islam, Benazir ; Kajal, Mansi
• Transformer-driven security framework for SDN-IoT networks: integrating multi-headed self-attention with TB-SMOTE and attention-driven transfer learning
  Benitha Christinal, J. ; Ameelia Roseline, A
• A walrus optimization algorithm for sustainable internet of robotic things based on Q-Learning
  Varshney, Hirdesh ; Singh, Avtar
• Optimal task offloading policy in vehicular fog networks based on software-defined networking using deep reinforcement learning
  Behravan, Kobra ; Hosseini Seno, Seyed Amin ; Farzaneh, Nazbanoo ; Jahanshahi, Mohsen
• Modeling of shortest path of a graph in quantum computing
  Singh, Nongmeikapam Brajabidhu ; Pachuau, Joseph L. ; Saha, Anish Kumar
• Enhancing e-commerce logistics efficiency and sustainability via quantum computing and artificial intelligence-based quantum hybrid models
  Khan, Muhammad ; Amin, Farhan ; Din, Minhaj Ud ; Abid, Muhammad Ali ; Torre, Isabel de la ; Montero, Elisabeth Caro ; Noya, Irene Delgado
• Strengthening hospital resilience to earthquakes: a public health review of seismic risk reduction programs in the Middle East
  Almukhlifi, Yasir ; Alsulami, Maher ; Alharbi, Abdullah ; Howsawi, Tafe ; Hussain, Amal ; Alfageeh, Reema ; Alzahrani, Aseel ; Alshareef, Eatedal ; Salah, Amal ; Radey, Rani ; Sultan, Mohammed