The following pages link to Programming and Computer Software (Q174054):
Displaying 50 items.
- Performance analysis of concurrent systems in algebra dtsiPBC (Q300304) (← links)
- On the complexity of existence of homing sequences for nondeterministic finite state machines (Q300305) (← links)
- Logical and set calculations in the framework of geometrical informatics paradigm (Q300308) (← links)
- Modeling artificial biological cell in fine-grained structure (Q300310) (← links)
- Parallel computations on a graph (Q300314) (← links)
- Comparative trace semantics of time Petri nets (Q300337) (← links)
- Ontology population as algebraic information system processing based on multi-agent natural language text analysis algorithms (Q300340) (← links)
- Proving properties of functional programs by equality saturation (Q300342) (← links)
- Algorithmic issues of AND-decomposition of Boolean formulas (Q300345) (← links)
- Supercompilation for Martin-Lof's type theory (Q300348) (← links)
- Representation of segment Voronoi diagram by Bézier curves (Q300373) (← links)
- Projecting transition systems: overcoming state explosion in concurrent system verification (Q300375) (← links)
- Studies in the theory of algebraic models of programs with procedures (Q300376) (← links)
- Methods of resource management in problem-oriented computing environment (Q300377) (← links)
- Model of distributed computing system operation with time (Q395266) (← links)
- Scheduling algorithms for real-time computing systems admitting simulation models (Q395267) (← links)
- On a class of algebraic models of programs of practical interest (Q395268) (← links)
- Tensor computations in computer algebra systems (Q395272) (← links)
- Simulation of quantum error correction by means of QuantumCircuit package (Q395273) (← links)
- Symbolic-numerical solution of systems of linear ordinary differential equations with required accuracy (Q395276) (← links)
- A new approach to solving equivalence problem (Q557497) (← links)
- Optimization of a data dependence graph for the local microcode compaction problem. II: Algorithms and experimental verification (Q557500) (← links)
- Characterizable radical differential ideals and some properties of characteristic sets (Q557502) (← links)
- Symbolic transformations in the problem of analytic continuation of the hypergeometric function \(_pF_{p-1}(z)\) to the neighborhood of the point \(z = 1\) in the logarithmic case (Q557504) (← links)
- A modular algorithm for computing cohomologies of Lie algebras and superalgebras (Q557505) (← links)
- Application of symbolic approach to the Bernstein expansion for program analysis and optimization (Q557508) (← links)
- Object-oriented programming in modern Fortran (Q557510) (← links)
- Search for polynomial solutions of linear functional systems by means of induced recurrences (Q557511) (← links)
- Involutive divisions. Graphs (Q557513) (← links)
- A comparison of algorithms for the normalization and quantization of polynomial Hamiltonians (Q557516) (← links)
- Sparse power series and parameterized linear operators (Q557518) (← links)
- Generalized reduction in rings of differential polynomials (Q557520) (← links)
- Padé approximants, symbolic evaluations, and computation of solitons in two-field antiferromagnet model (Q557522) (← links)
- Grid-oriented computation: Integrated library GridComp (Q557524) (← links)
- Fast multiplication and sparse structures (Q557527) (← links)
- Infinite strings generated by insertions (Q557530) (← links)
- Investigation of the double pendulum system by the normal form method in \texttt{MATHEMATICA} (Q557533) (← links)
- Numerical investigation of breather-type solutions by using \texttt{REDUCE} (Q557534) (← links)
- Evgenii Andreevich Zhogolev (Q557535) (← links)
- Irredundant algorithms for traversing directed graphs: the nondeterministic case (Q557536) (← links)
- A hybrid approach to enhancing the reliability of software (Q557537) (← links)
- Study of a non-Markovian stack management model in a two-level memory (Q557538) (← links)
- Optimization of a data dependence graph for the local microcode compaction problem. I: Problem statement (Q557539) (← links)
- Use of statechart diagrams for modeling of hypertext (Q557542) (← links)
- On the 75th birthday of Vladimir Vasil'evich Lipaev (Q557543) (← links)
- A methodology of verification and testing of large software systems (Q557545) (← links)
- Algebraic semantics of an imperative programming language (Q557547) (← links)
- Towards verification of C programs: Axiomatic semantics of the C-kernel language (Q557549) (← links)
- Practical optimization of LR(1) parsers (Q582925) (← links)
- Combining algebraic specifications and procedural tools for correct program development (Q583876) (← links)
