„Systems Programming“

Suchergebnisse

10.000+ Treffer

• Searching for Equilibrium States of Atwood’s Machine with Two Oscillating Bodies by Means of Computer Algebra
  Prokopenya, A. N.
• Construction of Partial Laurent Solutions to Truncated Differential Systems
  Panferov, A. A.
• An Algorithm for Solving a Family of Fourth-Degree Diophantine Equations that Satisfy Runge’s Condition
  Osipov, N. N. ; Kytmanov, A. A.
• The Method of Colored Graphs for Simplifying Expressions with Indices
  Shpiz, G. B. ; Kryukov, A.P
• Using a Template Engine as a Computer Algebra Tool
  Gevorkyan, M. N. ; Korol’kova, A. V. ; Kulyabov, D. S.
• Symbolic Investigation of Eigenvectors for General Solution of a System of ODEs with a Symbolic Coefficient Matrix
  Divakov, D. V. ; Tiutiunnik, A. A.
• Solving the Cauchy Problem for a Two-Dimensional Difference Equation at a Point Using Computer Algebra Methods
  Apanovich, M. S. ; Lyapin, A. P. ; Shadrin, K. V.
• A domain-specific language to design false data injection tests for air traffic control systems
  Vernotte, Alexandre ; Cretin, Aymeric ; Legeard, Bruno ; Peureux, Fabien
• Method for detection of unsafe actions in power field based on edge computing architecture
  Yin, Yanfang ; Lin, Jinjiao ; Sun, Nongliang ; Zhu, Qigang ; Zhang, Shuaishuai ; Zhang, Yanjie ; Liu, Ming
• Dual-channel convolutional neural network for power edge image recognition
  Zhou, Fangrong ; Ma, Yi ; Wang, Bo ; Lin, Gang
• CAFOR: congestion avoidance using fuzzy logic to find an optimal routing path in 6LoWPAN networks
  Shreyas, J. ; Singh, Hemant ; Tiwari, Soumya ; Srinidhi, N. N. ; Dilip Kumar, S. M.
• Machine learning techniques for software testing effort prediction
  López-Martín, Cuauhtémoc
• Using knowledge discovery to propose a two-phase model checking for safety analysis of graph transformations
  Pira, Einollah
• An adaptive and deadline-constrained workflow scheduling algorithm in infrastructure as a service clouds
  Ghafouri, Robabeh ; Movaghar, Ali
• CMFuzz: context-aware adaptive mutation for fuzzers
  Wang, Xiajing ; Hu, Changzhen ; Ma, Rui ; Tian, Donghai ; He, Jinyuan
• Investigating design anti-pattern and design pattern mutations and their change- and fault-proneness
  Kermansaravi, Zeinab Azadeh ; Rahman, Md Saidur ; Khomh, Foutse ; Jaafar, Fehmi ; Guéhéneuc, Yann-Gaël
• Empirical assessment of generating adversarial configurations for software product lines
  Temple, Paul ; Perrouin, Gilles ; Acher, Mathieu ; Biggio, Battista ; Jézéquel, Jean-Marc ; Roli, Fabio
• Demystifying the challenges and benefits of analyzing user-reported logs in bug reports
  Chen, An Ran ; Chen, Tse-Hsun (Peter) ; Wang, Shaowei
• Scalable online vetting of Android apps for measuring declared SDK versions and their consistency with API calls
  Wu, Daoyuan ; Gao, Debin ; Lo, David
• ID-correspondence: a measure for detecting evolutionary coupling
  Mondal, Manishankar ; Roy, Banani ; Roy, Chanchal K. ; Schneider, Kevin A.