3

A deterministic approach to global box-constrained optimization

Year:
2013
Language:
english
File:
PDF, 236 KB
english, 2013
4

A deterministic algorithm for global multi-objective optimization

Year:
2014
Language:
english
File:
PDF, 428 KB
english, 2014
12

A

Year:
2009
Language:
english
File:
PDF, 249 KB
english, 2009
13

Survey of compiler testing methods

Year:
2005
Language:
english
File:
PDF, 109 KB
english, 2005
14

Survey of Compiler Testing Methods

Year:
2005
Language:
english
File:
PDF, 104 KB
english, 2005
23

Refined Description of the C[] Language

Year:
2002
Language:
english
File:
PDF, 55 KB
english, 2002
26

Method for solving constrained multicriteria optimization problems with guaranteed accuracy

Year:
2013
Language:
english
File:
PDF, 182 KB
english, 2013
28

Effective hull of a set and its approximation

Year:
2014
Language:
english
File:
PDF, 302 KB
english, 2014
37

A tool for simulating parallel branch-and-bound methods

Year:
2016
Language:
english
File:
PDF, 735 KB
english, 2016