Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Robust Resource Partitioning Approach for ARINC 653 RTOS
2023 Ivannikov Ispras Open Conference (ISPRAS), 2023, p.33-39
2023
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Survey of Software Dynamic Analysis Methods
Programming and computer software, 2024, Vol.50 (1), p.90-114
2024
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Constructing Compartmental Models of Dynamic Systems Using a Software Package for Symbolic Computation in Julia
Programming and computer software, 2024, Vol.50 (2), p.138-146
2024
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Calculating Similarity of Javadoc Comments
Programming and computer software, 2024, Vol.50 (1), p.85-89
2024
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
KIAM Astrodynamics Toolbox for Spacecraft Orbital Motion Design
Programming and computer software, 2024, Vol.50 (1), p.42-52
2024
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Searching for Laurent Solutions of Truncated Systems of Linear Differential Equations with the Use of EG-Eliminations
Programming and computer software, 2024, Vol.50 (2), p.188-196
2024
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
An Extendable Essay on the Sage Computer Algebra System and an Editor for Creating Extendable Essays
Programming and computer software, 2024, Vol.50 (2), p.121-127
2024
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Fuzzy Measure on p-Adic Balls Defined on a Finite Number Set
Programming and computer software, 2024, Vol.50 (1), p.1-10
2024
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Primitive Elements of Free Non-associative Algebras over Finite Fields
Programming and computer software, 2024, Vol.50 (2), p.180-187
2024
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Description of Paralocks Language Semantics in TLA+
Programming and computer software, 2024, Vol.50 (1), p.53-62
2024
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Multigroup Classification of Firing Pin Impressions with the Use of a Fully Connected Neural Network
Programming and computer software, 2024, Vol.50 (1), p.73-84
2024
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Solving Rician Data Analysis Problems: Theory and Numerical Modeling Using Computer Algebra Methods in Wolfram Mathematica
Programming and computer software, 2024, Vol.50 (2), p.208-213
2024
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Software Implementation of an Algorithm for Automatic Detection of Lineaments and Their Properties in Open-Pit Dumps
Programming and computer software, 2024, Vol.50 (1), p.31-41
2024
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
On Calculating Partial Sums of Multiple Numerical Series by Methods of Computer Algebra
Programming and computer software, 2024, Vol.50 (2), p.172-175
2024
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Port-Hamiltonian Systems: Structure Recognition and Applications
Programming and computer software, 2024, Vol.50 (2), p.197-201
2024
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Applying Computer Algebra Systems to Study Chaundy-Bullard Identities for the Vector Partition Function with Weight
Programming and computer software, 2024, Vol.50 (2), p.176-179
2024
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Lower Bounds for the Rank of a Matrix with Zeros and Ones outside the Leading Diagonal
Programming and computer software, 2024, Vol.50 (2), p.202-207
2024
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
On Linear Cellular Automata
Programming and computer software, 2024, Vol.50 (1), p.24-30
2024
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Computer-Algebraic Approach to First Differential Approximations: Van der Pol Oscillator
Programming and computer software, 2024, Vol.50 (2), p.115-120
2024
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Symbolic Studies of Maxwell’s Equations in Space-Time Algebra Formalism
Programming and computer software, 2024, Vol.50 (2), p.166-171
2024
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A bizarre synthesized cascaded optimized predictor (BizSCOP) model for enhancing security in cloud systems
Journal of cloud computing : advances, systems and applications, 2024-12, Vol.13 (1), p.101
2024
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
The Use of Functional Programming Library for Parallel Computing on CUDA
Programming and computer software, 2024, Vol.50 (1), p.11-23
2024
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Symbolic-Numerical Implementation of the Model of Adiabatic Guided Modes for Two-Dimensional Irregular Waveguides
Programming and computer software, 2024, Vol.50 (2), p.147-152
2024
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Integration of a Degenerate System of ODEs
Programming and computer software, 2024, Vol.50 (2), p.128-137
2024
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
QuickLogic Releases Aurora 2.6 with Expanded Operating System Support and Up to 15% Faster Performance
PR newswire, 2024-05-01
2024
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 119
Suche als RSS-Feed
Aktive Filter
Neu hinzugefügt... seit 30 Tagen
ThemaOperating Systems
Suchergebnisse filtern
Filter anzeigen