• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Найдены 3 333 публикации
Сортировка:
по названию
по году
Статья
Malafeev A. International Journal of Conceptual Structures and Smart Applications (IJCSSA). 2014. Vol. 2. No. 2. P. 20-35.
Добавлено: 29 ноября 2014
Статья
Tatarnikov A. Proceedings of the Institute for System Programming of the RAS. 2016. Vol. 28. No. 4. P. 77-98.

Генерация тестовых программ на языке ассемблера и проверка корректности результатов их выполнения является наиболее широко применяемым подходом к функциональной верификации микропроцессоров. Данная задача решается при помощи специальных автоматизированных средств, называемых генераторами тестовых программ. Высокая сложность современных электронных устройств создает потребность в автоматизированных средствах, способных генерировать тестовые программы, покрывающие нетривиальные ситуации в их работе. Большинство таких средств используют в качестве входных данных шаблоны тестовых программ, которые позволяют описывать тестовые сценарии в абстрактном виде. Такой подход предоставляет инженерам-верификаторам возможность описывать широкий спектр задач генерации, затрачивая минимальные усилия. Шаблоны тестовых программ разрабатываются на специальных предметно-ориентированных языках. Такие языки должны удовлетворять следующим требованиям: (1) они должны быть достаточно простыми для использования инженерами-верификаторами, не обладающими серьезными навыками программирования; (2) они должны быть применимы для широкого спектра микропроцессорных архитектур и (3) они должны быть легко расширяемы для поддержки описания новых типов задач генерации. В данной работе рассматривается язык описания шаблонов тестовых программ, который был создан для расширяемой среды генерации тестовых программ MicroTESK, разрабатываемой в ИСП РАН. Это гибкий предметно-ориентированный язык, основанный на языке Ruby, который позволяет описывать широкий набор задач генерации в терминах абстракций цифровой аппаратуры. Среда генерации MicroTESK и язык описания тестовых шаблонов успешно применяются в промышленных проектах по верификации микропроцессоров на базе архитектур MIPS и ARM.

Добавлено: 26 ноября 2017
Статья
Mirkin B., Nascimento S., Felizardo R. Expert Systems: The Journal of Knowledge Engineering. 2013. Vol. 30. No. 4. P. 294-305.

This paper presents a further investigation into computational properties of a novel fuzzy additive spectral clustering method, Fuzzy Additive Spectral clustering (FADDIS), recently introduced by authors. Specifically, we extend our analysis to ‘difficult’ data structures from the recent literature and develop two synthetic data generators simulating affinity data of Gaussian clusters and genuine additive similarity data, with a controlled level of noise. The FADDIS is experimentally verified on these data in comparison with two state-of-the-art fuzzy clustering methods. The claimed ability of FADDIS to help in determining the right number of clusters is experimentally tested, and the role of the pseudo-inverse Laplacian data transformation in this is highlighted. A potentially useful extension of the method to biclustering is introduced.

Добавлено: 29 октября 2013
Статья
Bliznets Ivan, Fomin F., Pilipczuk M. et al. Algorithmica. 2016. Vol. 76. No. 2. P. 569-594.
Добавлено: 26 октября 2018
Статья
Chebotareva E., Hsia K., Yakovlev K. et al. Smart Innovation, Systems and Technologies. 2020. Vol. 187. P. 357-369.
Добавлено: 10 октября 2021
Статья
Valery Karpov, Irina Karpova. Biologically Inspired Cognitive Architectures. 2015. No. 12. P. 54-64.
Добавлено: 20 апреля 2015
Статья
Granata I., Manzo M., Kusumastuti A. et al. Current Medicinal Chemistry. 2021. Vol. 28. No. 32. P. 6619-6653.
Добавлено: 25 августа 2021
Статья
Shalileh S., Mirkin B. Plos One. 2021. Vol. 16. No. 7.
Добавлено: 22 июля 2021
Статья
Mladenoviс N., Pei J., Pardalos P. M. et al. Optimization Letters. 2021. P. 1-12.
Добавлено: 16 ноября 2021
Статья
Knyazev E. N., Paul S. Yu. Bulletin of Russian State Medical University. 2021. No. 2. P. 11-17.
Добавлено: 18 июня 2021
Статья
Ustyuzhanin A., Derkach D., Баранов А. С. et al. Journal of Physics: Conference Series. 2017. Vol. 898. No. 9. P. 1-5.
Добавлено: 25 февраля 2018
Статья
D. Derkach, N. Kazeev, R Neychev et al. Journal of Physics: Conference Series. 2017. Vol. 898. No. 6. P. 1-6.

The LHCb experiment stores around 1011 collision events per year. A typical physics analysis deals with a final sample of up to 107 events. Event preselection algorithms (lines) are used for data reduction. Since the data are stored in a format that requires sequential access, the lines are grouped into several output file streams, in order to increase the efficiency of user analysis jobs that read these data. The scheme efficiency heavily depends on the stream composition. By putting similar lines together and balancing the stream sizes it is possible to reduce the overhead. We present a method for finding an optimal stream composition. The method is applied to a part of the LHCb data (Turbo stream) on the stage where it is prepared for user physics analysis. This results in an expected improvement of 15% in the speed of user analysis jobs, and will be applied on data to be recorded in 2017.

Добавлено: 10 октября 2017
Статья
Krylov N., Efremov R. BMC Research Notes. 2021. Vol. 14.
Добавлено: 24 августа 2021
Статья
Bonilla M., Azhmyakov V., Malable M. IFAC-PapersOnLine. 2017. Vol. 50. No. 1. P. 10822-10827.
Добавлено: 30 октября 2021
Статья
Sergey Slavnov. Mathematical Structures in Computer Science. 2021. P. 1-40.
Добавлено: 16 ноября 2021
Статья
Protasov V., Cicone A., Guglielmi N. Nonlinear Analysis: Hybrid Systems. 2018. Vol. 29. P. 165-186.
Добавлено: 5 сентября 2018
Статья
Elena Zamyatina, Alexander Mikov, Roman Mikheev. International Journal "Information Models and Analyses". 2013. Vol. 2. No. 1. P. 70-80.
Добавлено: 28 февраля 2015
Статья
Degtiarev Konstantin Y., Remnev Nikita V. Procedia Computer Science. 2016. Vol. 102. P. 121-128.
Добавлено: 26 октября 2016
Статья
Silakov D. Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software Engineering. 2008. P. 11-18.
Добавлено: 22 сентября 2015
Статья
Силаков Д. В. Открытые системы. СУБД. 2010. № 1. С. 44-47.

Бурное развитие современных программных систем делает актуальной задачу интероперабельности различных продуктов, в частности, посредством стандартизации их интерфейсов. Однако рост числа интерфейсов, используемых различными системами, усложняет стандарты, специфицирующие взаимодействие систем между собой. Необходима соответствующая методическая и инструментальная инфраструктура разработки стандарта и сопутствующих ему программно-информационных продуктов.

Добавлено: 25 сентября 2015
Статья
Koltsova O., Scherbak A. N. New Media and Society. 2015. Vol. 17. No. 10. P. 1715-1732.
Добавлено: 30 апреля 2014