WorldCat Identities

Kovalev, M. M. (Mikhail Mikhaĭlovich) 1947-

Overview
Works: 54 works in 101 publications in 3 languages and 952 library holdings
Roles: Editor, Author, Creator, Other
Publication Timeline
.
Most widely held works by M. M Kovalev
Polytopes, graphs, and optimisation by V. A Emelichev( Book )

8 editions published in 1984 in English and held by 329 WorldCat member libraries worldwide

A Pipelined Multi-core MIPS Machine : Hardware Implementation and Correctness Proof by M. M Kovalev( )

11 editions published between 2014 and 2015 in English and held by 275 WorldCat member libraries worldwide

This monograph is based on the third author's lectures on computer architecture, given in the summer semester 2013 at Saarland University, Germany. It contains a gate level construction of a multi-core machine with pipelined MIPS processor cores and a sequentially consistent shared memory. The book contains the first correctness proofs for both the gate level implementation of a multi-core processor and also of a cache based sequentially consistent shared memory. This opens the way to the formal verification of synthesizable hardware for multi-core processors in the future. Constructions are in a gate level hardware model and thus deterministic. In contrast the reference models against which correctness is shown are nondeterministic. The development of the additional machinery for these proofs and the correctness proof of the shared memory at the gate level are the main technical contributions of this work
Nichtlineare diskrete Optimierung by Eberhard Girlich( Book )

4 editions published in 1981 in German and English and held by 100 WorldCat member libraries worldwide

Polyeder, Graphen, Optimierung by V.A Emelicev( Book )

5 editions published in 1985 in German and held by 51 WorldCat member libraries worldwide

Mnogogranniki, grafy, optimizat︠s︡ii︠a︡ by V. A Emelichev( Book )

2 editions published in 1981 in Russian and held by 15 WorldCat member libraries worldwide

Matroidy v diskretnoj optimizacii by M. M Kovalev( Book )

5 editions published in 1987 in Russian and Undetermined and held by 11 WorldCat member libraries worldwide

Zsfassung in engl. Sprache u.d.T.: Matroids in discrete optimization
Mnogogranniki grafy optimizacija by V. A Emelichev( Book )

4 editions published in 1981 in Russian and English and held by 11 WorldCat member libraries worldwide

Optimization of the topology and the capacities of telecommunication networks by Eberhard Girlich( Book )

1 edition published in 2005 in English and held by 9 WorldCat member libraries worldwide

On standardization problem solution by Eberhard Girlich( Book )

2 editions published in 1997 in English and held by 9 WorldCat member libraries worldwide

The constructive facet generating methods of the linear ordering polytope by Eberhard Girlich( Book )

1 edition published in 1997 in English and held by 9 WorldCat member libraries worldwide

Diskretnaja optimizacija : (celočislennoe programmirovanie) by M. M Kovalev( Book )

3 editions published in 1977 in Russian and Undetermined and held by 8 WorldCat member libraries worldwide

A note on an extension of facet-defining digraphs by Eberhard Girlich( Book )

1 edition published in 1997 in English and held by 8 WorldCat member libraries worldwide

Matroidy v diskretnoĭ optimizat︠s︡ii by M. M Kovalev( Book )

2 editions published in 1987 in Russian and held by 8 WorldCat member libraries worldwide

K-Summen- und k-Produkt-Bottleneck-Vektoroptimierungsprobleme by Eberhard Girlich( Book )

1 edition published in 1995 in German and held by 7 WorldCat member libraries worldwide

Portfolio optimization problems : a survey by Irina Bolʹshakova( Book )

1 edition published in 2009 in English and held by 7 WorldCat member libraries worldwide

New facets of the linear ordering polytope by G. G Bolotashvili( Book )

2 editions published in 1995 in English and held by 7 WorldCat member libraries worldwide

Diskretnai︠a︡ optimizat︠s︡ii︠a︡ : T︠S︡elochisl. programmirovanie by M. M Kovalev( Book )

2 editions published in 1977 in Russian and held by 7 WorldCat member libraries worldwide

About properties of optimal solutions of resource allocation problems by Eberhard Girlich( Book )

3 editions published in 1995 in English and held by 6 WorldCat member libraries worldwide

Greedy feasible sets and related problems by Eberhard Girlich( Book )

2 editions published in 1994 in English and held by 6 WorldCat member libraries worldwide

Optimization over alternating sequences polytope by M. M Kovalev( Book )

2 editions published in 1994 in Undetermined and English and held by 6 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.69 (from 0.58 for A Pipeline ... to 0.94 for Mnogogrann ...)

Alternative Names
Kavalëŭ, Michail 1947-

Kovalev, M. 1947-

Kovalev, M. M.

Kovalev, M. M. 1947-

Kovalev, Michail M. 1947-

Kovalev, Michail Michajlovič

Kovalev, Michail Michajlovič 1947-

Kovalev, Michail Michajlovič. [t]

Kovalev, Mikhail 1947-

Kovalev, Mikhail Mikhaĭlovich, 1947-

Kovalev, Mikhail Milhailovich 1947-

Kowaljow, M. M.

Kowaljow, M. M. (Michail Michailowitsch), 1947-

Kowaljow, Michail Michailowitsch.

Kowaljow, Michail Michailowitsch 1947-

Ковалёв, М. М. (Михаил Михайлович)

Ковалев, М. М. (Михаил Михайлович), 1947-

Ковалёв, Михаил Михайлович

Ковалев, Михаил Михайлович, 1947-

Languages
English (35)

Russian (15)

German (9)