Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Mikhail Glukhikh"'
Publikováno v:
Automatic Control and Computer Sciences. 46:338-344
Software quality may be significantly improved through static defect detection. These methods can ana� lyze different program properties without running it. Static analysis methods use program source code, for� mal specifications and other design
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dd39a4c74f02546099154265079c18de
https://doi.org/10.3103/s0146411612070097
https://doi.org/10.3103/s0146411612070097
Autor:
Mikhail A. Moiseev, Mikhail Glukhikh
Publikováno v:
DDECS
Co-design and co-verification of complex SoC requires a virtual platform, which in an ideal case has the single source codes with hardware blocks included. An effective way to do that is using the SystemC language together with high level synthesis t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3db0f93e1065c051f9044bf2527cbebe
https://doi.org/10.1109/ddecs.2015.44
https://doi.org/10.1109/ddecs.2015.44
Autor:
S. N. Sadakov, Mikhail Glukhikh
Publikováno v:
Plasma Devices and Operations. 11:57-70
A "Plasma Quest" code has been developed in a frame of the ITER activity. This is a new interactive numeric tool with user-friendly graphic interface, aimed at pulse scenario synthesis, plasma vertical displacement episodes (VDE) and disruption simul
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::75c4da97d5be22e2e8cf79942164e3d8
https://doi.org/10.1080/1051999021000080915
https://doi.org/10.1080/1051999021000080915
Publikováno v:
ICUMT
A novel network called CR3 is presented, which can couple up to 16 nodes per ring, as a revival of ring-based network-topologies. It is shown that rings are useful for real-time data transfers in vehicles for reasons of price, speed, cable length, we
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::90b5c36623e90f003c64e34193bfff38
https://doi.org/10.1109/icumt.2014.7002090
https://doi.org/10.1109/icumt.2014.7002090
Publikováno v:
2013 Tools & Methods of Program Analysis.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e975ba7a7dac7e659826bbda961dbd16
https://doi.org/10.1109/tmpa.2013.7163724
https://doi.org/10.1109/tmpa.2013.7163724
Publikováno v:
DSD
In this paper a novel approach for verification of synchronization correctness of HLS-synthesizable SystemC designs is proposed. Synchronization correctness is formulated in terms of statement reach ability properties which makes it applicable to clo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ff3b4a392d0399c803ab05bd1a22a009
https://doi.org/10.1109/dsd.2013.17
https://doi.org/10.1109/dsd.2013.17
Publikováno v:
2011 7th Central and Eastern European Software Engineering Conference (CEE-SECR).
The estimation of a programs' reliability is an essential part in the process of software development. Existing methods for the analysis of software reliability are based on run-time data, program metrics, and properties of development process or pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2206a5ac9b66730cee2b694986d29127
https://doi.org/10.1109/cee-secr.2011.6188470
https://doi.org/10.1109/cee-secr.2011.6188470