Result 1 to 20 of 90 total
Experiments in program verification using Event-B. (English)
Formal Asp. Comput. 24, No. 1, 97-125 (2012).
1
On frequency analysis of sequential program code execution. (English)
Program. Comput. Softw. 37, No. 3, 153-160 (2011); translation from Programmirovanie 37, No. 3 (2011).
2
Combining the regularization strategy and the SQP to solve MPCC ‒ a MATLAB implementation. (English)
J. Comput. Appl. Math. 235, No. 18, 5348-5356 (2011).
3
A globally convergent sequential linear programming algorithm for mathematical programs with linear complementarity constraints. (English)
J. Inf. Optim. Sci. 31, No. 5, 1011-1039 (2010).
4
Acyclic compositional programs and their properties. (Ukrainian)
Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2010, No. 2, 148-155 (2010).
5
On reduction of sequential-parallel compositional programs to entirely sequential form. (Ukrainian)
Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2010, No. 1, 132-137 (2010).
6
Implementing sequentially consistent programs on processor consistent platforms. (English)
J. Parallel Distrib. Comput. 68, No. 4, 488-500 (2008).
7
Sequential Monte Carlo for linear systems - a practical summary. (English)
Monte Carlo Methods Appl. 14, No. 1, 1-27 (2008).
8
On the rate of convergence of sequential quadratic programming with nondifferentiable exact penalty function in the presence of constraint degeneracy. (English)
Math. Program. 92, No.2 (A), 359-386 (2002).
9
io-port 01688588 Binder, Thomas;
Blank, Luise;
Bock, H.Georg;
Bulirsch, Roland;
Dahmen, Wolfgang;
Diehl, Moritz;
Kronseder, Thomas;
Marquardt, Wolfgang;
Schlöder, Johannes P.;
von Stryk, Oskar
Introduction to model based optimization of chemical processes on moving horizons. (English)
Grötschel, Martin (ed.) et al., Online optimization of large scale systems. Berlin: Springer. 295-339 (2001).
10
Hierarchical simulated annealing vs. a Gauss-Newton scheme, applying analytical Jacobians for the solution of a source current distribution problem. (English)
COMPEL 20, No.2, 497-506 (2001).
11
A calculational approach to reactive systems. (English)
Sci. Comput. Program. 37, No.1-3, 139-161 (2000).
12
Some tools for the direct solution of optimal control problems. (English)
Adv. Eng. Softw. 29, No. 1, 45-61 (1998).
13
Quality control for products supplied with warranty. (English)
Oper. Res. 46, No.1, 107-115 (1998).
14
Supporting contexts in the sequential real-time refinement calculus. (English)
Grundy, Jim (ed.) et al., International refinement workshop and formal methods Pacific 1998. Proceedings of IRW/FMP ’98. Canberra, Australia, September 29 - October 2, 1998. Berlin: Springer. Springer Series in Discrete Mathematics and Theoretical Computer Science. 352-369 (1998).
15
Verification of sequential and concurrent programs. 2nd ed. (English)
Graduate Texts in Computer Science. New York, NY: Springer. xvii, 364 p. DM 79.00; öS 576.70; sFr 70.00; \sterling 36.50; \$ 44.95 (1997).
16
A mixed-integer model for solving ordering problems with side constraints. (English)
Ann. Oper. Res. 69, 277-297 (1997).
17
MP: An application specific concurrent language. (English)
Concurrency Pract. Exp. 8, No. 4, 313-333 (1996).
18
Uniform convergence of the Newton method for Aubin continuous maps. (English)
Serdica Math. J. 22, No.3, 385-398 (1996).
19
A Decompositional Approach to the Design of Parallel Programs. (English)
IEEE Transactions on Software Engineering 20, No.12, 914-932 (1994).
20
Result 1 to 20 of 90 total
Start
Contact
Print
General Help
