The following pages link to Programming and Computer Software (Q174054):
Displaying 50 items.
- Reorganization of relational data bases (Q1059410) (← links)
- An algebraic model of von Neumann programming languages (Q1059999) (← links)
- Decidability of the equivalence problem for synchronous deterministic pushdown-store automata (Q1062450) (← links)
- Parallel bucket sorting (Q1062455) (← links)
- Organization of the pipeline execution of parallel programs (Q1064058) (← links)
- Composition programming and functional programming: A comparative analysis (Q1065536) (← links)
- Elimination of loop invariants in program verification (Q1065537) (← links)
- Metalinear schemes with transfer of constants (Q1065538) (← links)
- Computations on types (Q1065543) (← links)
- Parallel access in a distributed data base (Q1065563) (← links)
- Unified program-computer concept (Q1066668) (← links)
- Formal transformation of structured sorting algorithms (Q1067782) (← links)
- Polynomial queries to relational data bases (Q1067795) (← links)
- Adaptation of stochastic search methods realized on a homogeneous computational array under uncertainty (Q1069261) (← links)
- Abstract algebraic structure of analytic theory of algorithms (Q1069295) (← links)
- Architecture and formal model of shared database (Q1072718) (← links)
- Deadlocks not detected by Holt's model (Q1076510) (← links)
- Application of combinatorial methods in the design of memory allocation algorithms (Q1076511) (← links)
- Parallel algorithms and correctness in parallel programs (Q1079951) (← links)
- Algorithms and algorithmic problems (Q1080655) (← links)
- Problem-oriented program verification (Q1082069) (← links)
- Generation and statistical tests of sequences of n-distributed pseudorandom numbers (Q1083828) (← links)
- Investigating s-model programs for the purpose of reducing them to canonical form (Q1083840) (← links)
- Automated generation of test paths for Fortran programs (Q1083843) (← links)
- Program testing in parallel computing systems with single control stream (Q1083844) (← links)
- Efficient data storage and retrieval organization using the frequency properties of the query stream (Q1084882) (← links)
- Reducing transformations for functional programs with assignment (Q1087006) (← links)
- Algorithmic data structure algebras and multilevel program design (Q1087007) (← links)
- Experiments with mixed computations (Q1091111) (← links)
- Estimating structural complexity of programs (Q1091117) (← links)
- Compositions of programs that induce special monotonic functions (Q1091118) (← links)
- A means for the structural synthesis of programs (Q1091120) (← links)
- Application of conditional term substitution systems in program verification (Q1091795) (← links)
- BARS - A basic parallel programming language (Q1091799) (← links)
- Deadlocks in asynchronous, coordinated processes and their prevention (Q1091806) (← links)
- A computational model of relational algebra (Q1091810) (← links)
- Optimization of distributed resource management in programmable-structure computer systems (Q1091812) (← links)
- Dynamic process logic (Q1092892) (← links)
- The correctness of asynchronous parallel-flow data processing systems (Q1093372) (← links)
- Formalization of algorithms for relational database machines (Q1093383) (← links)
- Modeling recursion with the aid of iterative algorithms (Q1097685) (← links)
- Computational complexity of algorithms for symbolic processing of polynomials and its dependence on data representation (Q1099948) (← links)
- Algorithmic decidability of restricted ambiguity in context-free grammars (Q1099961) (← links)
- Finitely generated relations and their application to the translation problem in one class of languages (Q1099963) (← links)
- Algorithmic support of normalization in databases of variable functional structure (Q1099978) (← links)
- Software foundations for the database of fastspreading pandemics (Q1100116) (← links)
- A method of constructing programs with overlay (Q1103369) (← links)
- Methods and tools for producing programs in a functional programming system (Q1103372) (← links)
- Assessment of software reliability in the support stage (Q1103377) (← links)
- Algorithmic analysis of mixed computations (Q1103378) (← links)
