The following pages link to Programming and Computer Software (Q174054):
Displaying 50 items.
- On selection of nonmultiplicative prolongations in computation of Janet bases (Q926621) (← links)
- Standardization and testing of implementations of mathematical functions in floating point numbers (Q926622) (← links)
- A formal model of a system for automated program parallelization (Q927439) (← links)
- A model of the behavior of network objects in distributed computer systems (Q927441) (← links)
- Query triggers for XML DBMS: Efficient implementation based on shadow mechanism (Q927443) (← links)
- Time synchronization methods for wireless sensor networks: A survey (Q927445) (← links)
- The Alex language for circuit description (Q927448) (← links)
- Formalization of test experiments (Q927449) (← links)
- Object-oriented description of graph data structures (Q927450) (← links)
- The use of contract specifications for representing requirements and for functional testing of hardware models (Q927452) (← links)
- Graphical inheritance notation for state-based classes (Q927454) (← links)
- Synthesis of parallel recursive programs in structural functional models (Q927456) (← links)
- Scheme inclusion verification algorithm in algebraic model of programs with constants (Q927457) (← links)
- Software pipelining of loops by the method of modulo scheduling (Q927461) (← links)
- Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols (Q927464) (← links)
- A method for voxel visualization of 3D objects (Q927466) (← links)
- Tools for support of automata-based programming (Q927470) (← links)
- Classification of three-dimensional integrable scalar discrete equations (Q934989) (← links)
- To the memory of Mikhail Romanovich Shura-Bura (Q1040322) (← links)
- LP structures on type lattices and some refactoring problems (Q1040323) (← links)
- Program constructor of cellular self-reproducing structures (Q1040325) (← links)
- Systems with priorities: conformance, testing, and composition (Q1040326) (← links)
- Integration of verification methods for program systems (Q1040327) (← links)
- Iterative development of parallel programs in the ParJava environment (Q1040329) (← links)
- Conceptual and ontological modeling in information systems (Q1040330) (← links)
- A mathematical model of the OLAP cubes (Q1040332) (← links)
- Systems of agents controlled by logical programs: complexity of verification (Q1040334) (← links)
- A method of test-suite reduction for regression integration testing (Q1040336) (← links)
- Component approach for construction of optimizing compilers (Q1040339) (← links)
- Abstract attribute grammars (Q1051437) (← links)
- Code-generator automated construction (Q1051441) (← links)
- Compactness of functional equivalence of liberal program schemes (Q1052080) (← links)
- Estimation of mutual effect of jobs in multiprogram batch processing (Q1052083) (← links)
- Evaluating the efficiency of parallel job execution (Q1052085) (← links)
- Proving linear algebra program correctness (Q1052816) (← links)
- Checking variable types by proving properties of programs (Q1052818) (← links)
- An approach to the synthesis of a nonprocedure language system (Q1053442) (← links)
- Composition semantics of programming languages (Q1053445) (← links)
- Equivalent transformations of multiple schemas (Q1053447) (← links)
- Deductive semantics of file processing operators and its application to verification of COBOL programs (Q1053450) (← links)
- Testing used for estimating the dynamic correctness of control system programs (Q1053452) (← links)
- Hyperprogramming and applied program bases (Q1053453) (← links)
- Program definers (Q1054455) (← links)
- Composition semantics of procedures (Q1054457) (← links)
- Mathematical model of multiprogram computational process based on fragmentation method (Q1054468) (← links)
- A language oriented to sequential file processing (Q1054470) (← links)
- Automated description of sequential file processing program function (Q1056536) (← links)
- Decidability of the reachability problem for pushdown relational automata (Q1057653) (← links)
- Correctness of decision tables (Q1058843) (← links)
- A formal model of programs (Q1059401) (← links)
