The following pages link to Programming and Computer Software (Q174054):
Displaying 50 items.
- A survey of methods for constructing covering arrays (Q763563) (← links)
- On frequency analysis of sequential program code execution (Q763565) (← links)
- Simulation of operational semantics of machine instructions (Q763568) (← links)
- Methods and tools for translation of graphical diagrams (Q763571) (← links)
- An algorithm for the decomposition of differential polynomials in the general case (Q763572) (← links)
- A definite summation of hypergeometric terms of special kind (Q763573) (← links)
- \(X\)- and \(Y\)-invariants of partial differential operators in the plane (Q764003) (← links)
- Game-theoretic simulation checking tool (Q764005) (← links)
- Optimal use of working registers in the Sethi-Ullman algorithm (Q787669) (← links)
- Hierarchic structure of program modules (Q789168) (← links)
- Investigation of program collectives (Q791309) (← links)
- A class of multitape automata with a decidable equivalence problem (Q794436) (← links)
- An algebraic approach to schemes of structured programs (Q795496) (← links)
- Parallel execution of program loops (Q796290) (← links)
- Semantics of communication in simple multimodular programs (Q796293) (← links)
- Pipelining of computation schemes (Q796296) (← links)
- Composition program-structures in a class of languages (Q796977) (← links)
- Checking and diagnosing a program system (Q796984) (← links)
- Grammars with a partitioned alphabet and deterministic CF-languages (Q797000) (← links)
- Metalinear recursive schemas on marked trees (Q797277) (← links)
- Logic language of queries (Q797307) (← links)
- Language constructs supporting data base creation (Q797318) (← links)
- Complexity measures on systems of parallel algorithms (Q797990) (← links)
- Formal aspects of structured programming with goto statements (Q800711) (← links)
- Combining arithmetic operations in a nonuniform multiprocessor pipelined system (Q800716) (← links)
- Computable compositions and universal program logics (Q800721) (← links)
- One approach to the specification and verification of translators (Q801659) (← links)
- Syntax-directed programming of data input and checking (Q801663) (← links)
- Parallel algorithms (Q801673) (← links)
- Polyar, a parallel asynchronous programming language (Q801676) (← links)
- Debugging tools for a system with automatic program synthesis (Q801679) (← links)
- Synthesis of network structure design programs (Q801681) (← links)
- A logical-functional approach to data bases (Q802319) (← links)
- Temporal databases: From theory to applications (Q839989) (← links)
- Method of adaptive controllable parallel execution of operations in object database management systems (Q839991) (← links)
- Data schema evolution support in XML-relational database systems (Q839993) (← links)
- Modeling, specification, and verification of automaton programs (Q839994) (← links)
- Syntax error recovery in graphical languages (Q839996) (← links)
- A software instruction prefetching method in architectures with static scheduling (Q840000) (← links)
- On the problem of increasing efficiency of Reed-Solomon-code-based algorithms for creating checkpoints for calculation applications (Q840002) (← links)
- On a computer algebra technology (Q840003) (← links)
- Computation of dominant real roots of polynomials (Q840004) (← links)
- On solving large systems of polynomial equations appearing in discrete differential geometry (Q840006) (← links)
- Discrete dynamical systems with symmetries: computer analysis (Q840007) (← links)
- Indefinite summation of rational functions with additional minimization of the summable part (Q840009) (← links)
- On the homogeneous Gröbner basis for tensors (Q840011) (← links)
- Involutive divisions and monomial orderings. II (Q840014) (← links)
- Specialized computer algebra system GINV (Q840015) (← links)
- Semantic domains of timed event structures (Q840017) (← links)
- Construction of speculative optimization algorithms (Q840020) (← links)
