„Systems Programming“

Suchergebnisse

10.000+ Treffer

• Proof rules for the programming language Euclid
  London, R. L. ; Guttag, J. V. ; Horning, J. J. ; Lampson, B. W. ; Mitchell, J. G. ; Popek, G. J.
• The inconsistency between theory and practice in managing inconsistency in requirements engineering
  Hadar, Irit ; Zamansky, Anna ; Berry, Daniel M.
• Teaching Mathematics to Computer Scientists: Reflections and a Case Study
  Neri, Ferrante
• An investigation on primary school students’ dispositions towards programming with game-based learning
  DEMİRKIRAN, Mustafa Can ; TANSU HOCANIN, Fatma
• Verifizierter Interessenskonflikt – Einsichten eines Informatikers von geringem Verstande
  Wilhelm, Reinhard
• Parallel modeling of wildfires using efficient solvers for ill-conditioned linear systems
  Bessonov, Oleg ; Meradji, Sofiane
• Towards addressing dynamic multi-agent task allocation in law enforcement
  Tkach, Itshak ; Amador, Sofia
• Recommendation of Influenced Products Using Association Rule Mining: Neo4j as a Case Study
  Sen, Sudipta ; Mehta, Akash ; Ganguli, Runa ; Sen, Soumya
• Predicting Smart Grid Stability with Optimized Deep Models
  Breviglieri, Paulo ; Erdem, Türkücan ; Eken, Süleyman
• Exploring Multi-Task Multi-Lingual Learning of Transformer Models for Hate Speech and Offensive Speech Identification in Social Media
  Mishra, Sudhanshu ; Prasad, Shivangi ; Mishra, Shubhanshu
• Modeling vehicle indoor air quality using sensor data analytics
  Lohani, Divya ; Barthwal, Anurag ; Acharya, Debopam
• A Review on Highway Routing Protocols in Vehicular Ad Hoc Networks
  Khezri, Edris ; Zeinali, Esmaeil
• Stacking-Based Ensemble Framework and Feature Selection Technique for the Detection of Breast Cancer
  Chaurasia, Vikas ; Pal, Saurabh
• Gray-box monitoring of hyperproperties with an application to privacy
  Stucki, Sandro ; Sánchez, César ; Schneider, Gerardo ; Bonakdarpour, Borzoo
• A multi-criteria approach to time cheating in the divisible load scheduling
  Ghanbari, Shamsollah ; Othman, Mohamed
• ECG signal analysis using CWT, spectrogram and autoregressive technique
  Gupta, Varun ; Mittal, Monika ; Mittal, Vikas ; Gupta, Anshu
• Preface
  Leucker, Martin ; Colombo, Christian
• On sampling error in genetic programming
  Schweim, Dirk ; Wittenberg, David ; Rothlauf, Franz
• A Cervical Histopathology Image Clustering Approach Using Graph Based Features
  Li, Chen ; Hu, Zhijie ; Chen, Hao ; Ai, Shiliang ; Zhang, Jinghua ; Zhang, Yong ; Wang, Qian ; Li, Xiaoyan
• An FPGA Implementation of Privacy Preserving Data Provenance Model Based on PUF for Secure Internet of Things
  Hamadeh, Hala ; Tyagi, Akhilesh