Login / Signup
Daniil A. Zorin
Publication Activity (10 Years)
Years Active: 2012-2015
Publications (10 Years): 0
Top Topics
Job Shop Scheduling
Simulated Annealing
Genetic Algorithm Ga
Embedded Systems
Top Venues
Autom. Control. Comput. Sci.
PDeS
ICORES (Selected Papers)
ICORES
</>
Publications
</>
Dmitry Yu. Volkanov
,
Vladimir A. Zakharov
,
Daniil A. Zorin
,
Vladislav V. Podymov
,
Igor V. Konnov
A combined toolset for the verification of real-time distributed systems.
Program. Comput. Softw.
41 (6) (2015)
Daniil A. Zorin
,
Valery A. Kostenko
Job Shop Scheduling and Co-Design of Real-Time Systems with Simulated Annealing.
ICORES
(2014)
Igor V. Konnov
,
Vladislav V. Podymov
,
Dmitry Yu. Volkanov
,
Vladimir A. Zakharov
,
Daniil A. Zorin
How to make a simple tool for verification of real-time systems.
Autom. Control. Comput. Sci.
48 (7) (2014)
Daniil A. Zorin
,
Valery A. Kostenko
Simulated Annealing Algorithm for Job Shop Scheduling on Reliable Real-Time Systems.
ICORES (Selected Papers)
(2014)
Daniil A. Zorin
,
Valery A. Kostenko
Simulated annealing algorithm in problems of multiprocessor scheduling.
Autom. Remote. Control.
75 (10) (2014)
Daniil A. Zorin
,
Valery A. Kostenko
Co-design of real-time embedded systems under reliability constraints.
PDeS
(2012)