The following pages link to Programming and Computer Software (Q174054):
Displaying 50 items.
- Supporting schedules of resource co-allocation for distributed computing in scalable systems (Q840021) (← links)
- Segmentation of small objects in color images (Q840023) (← links)
- The problem of equivalent transformations for homogeneous multitape automata (Q840024) (← links)
- On the bottom summation (Q840025) (← links)
- Involutive method for computing Gröbner bases over \(\mathbb F_2\) (Q840027) (← links)
- Search for Liouvillian solutions of linear recurrence equations in the MAPLE computer algebra system (Q840028) (← links)
- Efficiency estimate for distributed computation of Gröbner bases and involutive bases (Q840029) (← links)
- DocLine: a method for software product lines documentation development (Q840032) (← links)
- An approach to creating development environments for a wide class of programming languages (Q840034) (← links)
- Minimization problem for program schemes with commutative blocks (Q840035) (← links)
- In memory of Evgenii Vasil'evich Pankrat'ev (December 29, 1944 -- January 23, 2008) (Q840037) (← links)
- Adaptive terrain triangulation using the representation of quad trees by vertex textures and wavelet estimation of vertex significance (Q840040) (← links)
- Simulation program complex for studying motion control methods for autonomous underwater vehicles (Q840045) (← links)
- A diffusion method for image filtering and sharpening (Q840047) (← links)
- An extension of the light meshes method for three-dimensional scenes with semitransparent surfaces (Q840051) (← links)
- Preliminary coarse image registration by using straight lines found on them for constructing super resolution mosaics and 3D scene recovery (Q840054) (← links)
- The use of coherent ray tracing for physically accurate rendering (Q840059) (← links)
- Generation of correctness conditions for imperative programs (Q840060) (← links)
- On the synthesis of adaptive tests for nondeterministic finite state machines (Q840063) (← links)
- Modeling and verification of the SDL-specified communication protocols using high-level Petri nets (Q840067) (← links)
- Using abstract models for the generation of test data with a complex structure (Q840071) (← links)
- Automation of broad sanity test generation (Q840076) (← links)
- In memory of Eduard Zinov'evich Lyubimskii (Q840077) (← links)
- Implementation of parallel programs interpreter in the development environment ParJava (Q840081) (← links)
- The grid: Analysis of basic principles and ways of application (Q840083) (← links)
- Operational ontological approach to formal programming language specification (Q840084) (← links)
- Application of the trace assertion method to the specification, design, and verification of automaton programs (Q840086) (← links)
- On Mathematica program for ``Poor Man's Integrator'' implementing Risch-Norman algorithm (Q840088) (← links)
- Enumeration of finite monomial orderings and combinatorics of universal Gröbner bases (Q840089) (← links)
- Role of involutive criteria in computing Boolean Gröbner bases (Q840090) (← links)
- Distributive lattices of right divisors of linear ordinary differential operators (Q840092) (← links)
- Automatic reconstruction of data types in the decompilation problem (Q840093) (← links)
- On basic semantics of untyped functional programs (Q840095) (← links)
- Bug localization by constructing reduced traces (Q840097) (← links)
- On the jubilee of Rimma Ivanovna Podlovchenko's birth (Q885850) (← links)
- Towards verification of C\(\#\) programs: a three-level approach (Q885853) (← links)
- Estimation of dynamical characteristics of a parallel program on a model (Q885854) (← links)
- Optimal schema hierarchies in searching semistructured databases by conjunctive regular path queries (Q885856) (← links)
- Architecture of a semantic data integration system based on a semantically complete model and a semantically complete query language (Q885857) (← links)
- Transaction management in RDBMSs with XML support (Q885860) (← links)
- Transformation of XML data using updates without side effects (Q885863) (← links)
- Seamless design: impedance mismatch revisited (Q885865) (← links)
- Corba and MPI code coupling (Q885868) (← links)
- Simulation of natural daylight illumination determined by a high dynamic range image (Q885870) (← links)
- Combinatorial methods for deciding on computer memory requirements (Q921942) (← links)
- Data flow analysis of programs for parallel computing systems with common control (Q921943) (← links)
- Efficient testing of MIS software during system acceptance tests (Q921944) (← links)
- Inclusion problem in algebraic models of programs with constants (Q926618) (← links)
- Improved universal denominators (Q926619) (← links)
- Involutive divisions and monomial orderings (Q926620) (← links)
