„Computer Programming“

Suchergebnisse

10.000+ Treffer

• Highly dependable concurrent programming using design for verification
  Betin-Can, Aysu ; Bultan, Tevfik
• Innate immune memory and its application to artificial immune systems
  Wang, Dongmei ; Liang, Yiwen ; Dong, Hongbin ; Tan, Chengyu ; Xiao, Zhenhua ; Liu, Sai
• Impact of bank research and development on total factor productivity and performance evaluation by RBF network
  Du, Erle
• Reconciliation of scrum and the project management process of the ISO/IEC 29110 standard-Entry profile—an experimental evaluation through usability measures
  Galvan-Cruz, Sergio ; Mora, Manuel ; Laporte, Claude Y. ; Duran-Limon, Hector
• Private Function Evaluation with Cards
  Koch, Alexander ; Walzer, Stefan
• The complexity gap in the static analysis of cache accesses grows if procedure calls are added
  Monniaux, David
• Renewal of the Major Fields of New Generation Computing Vol. 40 (2022)
  Numao, Masayuki ; Matsuo, Yutaka ; Kiyota, Yoji
• Selected Papers from the 35th JSAI Annual Meeting
  Abe, Akinori ; Matsumura, Naohiro ; Yada, Katsutoshi
• Preface: Special Issue on Card-Based Cryptography 2
  Mizuki, Takaaki
• Graph Automorphism Shuffles from Pile-Scramble Shuffles
  Miyamoto, Kengo ; Shinagawa, Kazumasa
• Hyperparameter Optimization of Evolving Spiking Neural Network for Time-Series Classification
  Ibad, Tasbiha ; Abdulkadir, Said Jadid ; Aziz, Norshakirah ; Ragab, Mohammed Gamal ; Al-Tashi, Qasem
• Efficient Card-Based Majority Voting Protocols
  Abe, Yoshiki ; Nakai, Takeshi ; Kuroki, Yoshihisa ; Suzuki, Shinnosuke ; Koga, Yuta ; Watanabe, Yohei ; Iwamoto, Mitsugu ; Ohta, Kazuo
• Uncertainty Analysis in Ontology-Based Knowledge Representation
  Anand, Sanjay Kumar ; Kumar, Suresh
• Diagnosing and Treating Effect of Legal Rule-Based Revision
  Fungwacharakorn, Wachara ; Tsushima, Kanae ; Satoh, Ken
• Mapping Quantum Circuits in IBM Q Devices Using Progressive Qubit Assignment for Global Ordering
  Chhangte, Lalengmawia ; Chakrabarty, Alok
• Card-Based ZKP for Connectivity: Applications to Nurikabe, Hitori, and Heyawake
  Robert, Léo ; Miyahara, Daiki ; Lafourcade, Pascal ; Mizuki, Takaaki
• Discovery of Botnet Activities in Internet-of-Things System Using Dynamic Evolutionary Mechanism
  Shukla, Alok Kumar ; Dwivedi, Shubhra
• Secure Computation for Threshold Functions with Physical Cards: Power of Private Permutations
  Nakai, Takeshi ; Shirouchi, Satoshi ; Tokushige, Yuuki ; Iwamoto, Mitsugu ; Ohta, Kazuo
• Monotone Control of R Systems
  Yako, Ryutaro ; Ise, Daihei ; Komiya, Ken ; Fujimoto, Kenzo ; Kobayashi, Satoshi
• Helping novice developers harness security issues in cloud-IoT systems
  Corno, Fulvio ; De Russis, Luigi ; Mannella, Luca