Subjects -> COMPUTER SCIENCE (Total: 2313 journals)
    - ANIMATION AND SIMULATION (33 journals)
    - ARTIFICIAL INTELLIGENCE (133 journals)
    - AUTOMATION AND ROBOTICS (116 journals)
    - COMPUTER ARCHITECTURE (11 journals)
    - COMPUTER ENGINEERING (12 journals)
    - COMPUTER GAMES (23 journals)
    - COMPUTER PROGRAMMING (25 journals)
    - COMPUTER SCIENCE (1305 journals)
    - COMPUTER SECURITY (59 journals)
    - DATA BASE MANAGEMENT (21 journals)
    - DATA MINING (50 journals)
    - E-BUSINESS (21 journals)
    - E-LEARNING (30 journals)
    - IMAGE AND VIDEO PROCESSING (42 journals)
    - INFORMATION SYSTEMS (109 journals)
    - INTERNET (111 journals)
    - SOCIAL WEB (61 journals)
    - SOFTWARE (43 journals)
    - THEORY OF COMPUTING (10 journals)

COMPUTER SCIENCE (1305 journals)            First | 1 2 3 4 5 6 7     

Showing 1201 - 872 of 872 Journals sorted alphabetically
Software:Practice and Experience     Hybrid Journal   (Followers: 12)
Southern Communication Journal     Hybrid Journal   (Followers: 3)
Spatial Cognition & Computation     Hybrid Journal   (Followers: 6)
Spreadsheets in Education     Open Access   (Followers: 1)
Statistics, Optimization & Information Computing     Open Access   (Followers: 3)
Stochastic Analysis and Applications     Hybrid Journal   (Followers: 3)
Stochastic Processes and their Applications     Hybrid Journal   (Followers: 6)
Structural and Multidisciplinary Optimization     Hybrid Journal   (Followers: 12)
Studia Universitatis Babeș-Bolyai Informatica     Open Access  
Studies in Digital Heritage     Open Access   (Followers: 3)
Supercomputing Frontiers and Innovations     Open Access   (Followers: 1)
Superhero Science and Technology     Open Access   (Followers: 5)
Sustainability Analytics and Modeling     Full-text available via subscription   (Followers: 5)
Sustainable Computing : Informatics and Systems     Hybrid Journal  
Sustainable Energy, Grids and Networks     Hybrid Journal   (Followers: 4)
Sustainable Operations and Computers     Open Access   (Followers: 1)
Swarm Intelligence     Hybrid Journal   (Followers: 3)
Swiss Journal of Geosciences     Hybrid Journal   (Followers: 1)
Synthese     Hybrid Journal   (Followers: 20)
Synthesis Lectures on Biomedical Engineering     Full-text available via subscription  
Synthesis Lectures on Communication Networks     Full-text available via subscription  
Synthesis Lectures on Communications     Full-text available via subscription  
Synthesis Lectures on Computer Architecture     Full-text available via subscription   (Followers: 4)
Synthesis Lectures on Computer Science     Full-text available via subscription   (Followers: 1)
Synthesis Lectures on Computer Vision     Full-text available via subscription   (Followers: 2)
Synthesis Lectures on Digital Circuits and Systems     Full-text available via subscription   (Followers: 3)
Synthesis Lectures on Human Language Technologies     Full-text available via subscription  
Synthesis Lectures on Mobile and Pervasive Computing     Full-text available via subscription   (Followers: 1)
Synthesis Lectures on Quantum Computing     Full-text available via subscription   (Followers: 2)
Synthesis Lectures on Signal Processing     Full-text available via subscription   (Followers: 1)
Synthesis Lectures on Speech and Audio Processing     Full-text available via subscription   (Followers: 2)
System analysis and applied information science     Open Access  
Systems & Control Letters     Hybrid Journal   (Followers: 4)
Systems and Soft Computing     Full-text available via subscription   (Followers: 5)
Systems Research & Behavioral Science     Hybrid Journal   (Followers: 2)
Techné : Research in Philosophy and Technology     Full-text available via subscription   (Followers: 2)
Technical Report Electronics and Computer Engineering     Open Access  
Technology Transfer: fundamental principles and innovative technical solutions     Open Access   (Followers: 1)
Technology, Knowledge and Learning     Hybrid Journal   (Followers: 3)
Technometrics     Full-text available via subscription   (Followers: 8)
TECHSI : Jurnal Teknik Informatika     Open Access  
TechTrends     Hybrid Journal   (Followers: 8)
Telematics and Informatics     Hybrid Journal   (Followers: 4)
Telemedicine and e-Health     Hybrid Journal   (Followers: 12)
Telemedicine Reports     Full-text available via subscription   (Followers: 6)
TELKOMNIKA (Telecommunication, Computing, Electronics and Control)     Open Access   (Followers: 2)
The Bible and Critical Theory     Full-text available via subscription   (Followers: 3)
The Charleston Advisor     Full-text available via subscription   (Followers: 10)
The Communication Review     Hybrid Journal   (Followers: 5)
The Electronic Library     Hybrid Journal   (Followers: 963)
The Information Society: An International Journal     Hybrid Journal   (Followers: 399)
The International Journal on Media Management     Hybrid Journal   (Followers: 7)
The Journal of Architecture     Hybrid Journal   (Followers: 15)
The Journal of Supercomputing     Hybrid Journal   (Followers: 1)
The Lancet Digital Health     Open Access   (Followers: 9)
The R Journal     Open Access   (Followers: 3)
The Visual Computer     Hybrid Journal   (Followers: 3)
Theoretical Computer Science     Hybrid Journal   (Followers: 8)
Theory & Psychology     Hybrid Journal   (Followers: 4)
Theory and Applications of Mathematics & Computer Science     Open Access   (Followers: 2)
Theory and Decision     Hybrid Journal   (Followers: 4)
Theory and Research in Education     Hybrid Journal   (Followers: 20)
Theory and Society     Hybrid Journal   (Followers: 20)
Theory in Biosciences     Hybrid Journal  
Theory of Computing Systems     Hybrid Journal   (Followers: 2)
Theory of Probability and its Applications     Hybrid Journal   (Followers: 2)
Topology and its Applications     Full-text available via subscription  
Transactions In Gis     Hybrid Journal   (Followers: 9)
Transactions of the Association for Computational Linguistics     Open Access  
Transactions on Computer Science and Technology     Open Access   (Followers: 2)
Transactions on Cryptographic Hardware and Embedded Systems     Open Access   (Followers: 1)
Transforming Government: People, Process and Policy     Hybrid Journal   (Followers: 21)
Trends in Cognitive Sciences     Full-text available via subscription   (Followers: 183)
Trends in Computer Science and Information Technology     Open Access  
Ubiquity     Hybrid Journal  
Unisda Journal of Mathematics and Computer Science     Open Access  
Universal Access in the Information Society     Hybrid Journal   (Followers: 11)
Universal Journal of Computational Mathematics     Open Access   (Followers: 2)
University of Sindh Journal of Information and Communication Technology     Open Access  
User Modeling and User-Adapted Interaction     Hybrid Journal   (Followers: 5)
VAWKUM Transaction on Computer Sciences     Open Access   (Followers: 1)
Veri Bilimi     Open Access  
Vietnam Journal of Computer Science     Open Access   (Followers: 2)
Vilnius University Proceedings     Open Access  
Virtual Reality     Hybrid Journal   (Followers: 9)
Virtual Reality & Intelligent Hardware     Open Access   (Followers: 1)
Virtual Worlds     Open Access  
Virtualidad, Educación y Ciencia     Open Access  
Visual Communication     Hybrid Journal   (Followers: 11)
Visual Communication Quarterly     Hybrid Journal   (Followers: 7)
VLSI Design     Open Access   (Followers: 19)
VRA Bulletin     Open Access   (Followers: 3)
Water SA     Open Access   (Followers: 1)
Wearable Technologies     Open Access   (Followers: 2)
West African Journal of Industrial and Academic Research     Open Access   (Followers: 2)
Wiley Interdisciplinary Reviews - Computational Statistics     Hybrid Journal   (Followers: 1)
Wireless and Mobile Technologies     Open Access   (Followers: 4)
Wireless Communications & Mobile Computing     Hybrid Journal   (Followers: 10)
Wireless Networks     Hybrid Journal   (Followers: 6)
Wireless Sensor Network     Open Access   (Followers: 3)
World Englishes     Hybrid Journal   (Followers: 5)
Written Communication     Hybrid Journal   (Followers: 9)
Xenobiotica     Hybrid Journal   (Followers: 7)
XRDS     Full-text available via subscription   (Followers: 3)
ZDM     Hybrid Journal   (Followers: 2)
Zeitschrift fur Energiewirtschaft     Hybrid Journal  
Труды Института системного программирования РАН     Open Access  
Труды СПИИРАН     Open Access  

  First | 1 2 3 4 5 6 7     

Similar Journals
Journal Cover
Труды Института системного программирования РАН
Number of Followers: 0  

  This is an Open Access Journal Open Access journal
ISSN (Print) 2220-6426 - ISSN (Online) 2079-8156
Published by ISP RAS Homepage  [1 journal]
  • Перспективы исследований татарского
           языка на платформе LingvoDoc

    • Authors: Фануза Шакуровна НУРИЕВА, Гульшат Раисовна ГАЛИУЛЛИНА, Айрат Фаикович ЮСУПОВ
      Abstract: В статье рассматриваются перспективы исследования татарского языка на платформе LingvoDoc. Цифровизация изучения языка в современной лингвистике позволяет перейти на новый уровень описания структуры языка. С 90-х годов прошлого века во всех европейских языках созданы большие корпуса, содержащие миллионы словоформ. В настоящее время это сделано не только в русском языке, но и во многих национальных языках России, таких как татарский, башкирский, удмуртский, марийский, мокшанский, коми и др. Одной из признанных площадок в современном отечественном языкознании является разработанная в ИСП РАН виртуальная лаборатория. Эта платформа дает возможность создавать, хранить и анализировать многослойные словари, языковые материалы и диалекты. Основным функционалом LingvoDoc пользуются более 250 лингвистов, обрабатывающих свои материалы онлайн, уже собрано более 1000 словарей и 300 корпусов текстов на национальных языках РФ. Мы рассматриваем возможности этой платформы для изучения татарского языка. Мы считаем, &...
      PubDate: 2023-02-28
      Issue No: Vol. 34 (2023)
  • Оценка языковой способности нейронных
           моделей на материале предикативного
           согласования в русском языке

    • Authors: Ксения Андреевна СТУДЕНИКИНА
      Abstract: Исследование нацелено на то, чтобы изучить способность нейронных сетей моделировать грамматику, которая проявляется в функции автоматической оценки грамматичности языковых выражений. В данной работе моделируются правила предикативного согласования по числу в русском языке. Для обучения языковых моделей был создан датасет, включающий искусственно сгенерированные грамматичные и неграмматичные предложения. Мы используем трансферное обучение предобученных нейронных сетей.  Результаты показывают, что все рассмотренные модели демонстрируют высокие результаты при дообучении на задачу оценки грамматичности. Точность классификации снижается для предложений с неодушевленными существительными, поскольку для них, в отличие от одушевленных существительных, наблюдается совпадение форм именительного и винительного падежа. Сложность синтаксической структуры оказывается значимой для русскоязычных моделей и модели для славянских языков, но не влияет на распределени&...
      PubDate: 2023-02-28
      Issue No: Vol. 34 (2023)
  • Влияние относительного продольного
           расстояния на динамическое поведение
           двух взаимодействующих судов при
           встречном волнении

    • Authors: Рами АЛИ
      Abstract: В работе исследуется влияние взаимного продольного положения на частотные характеристики двух взаимодействующих судов, плавающих неподвижно в непосредственной близости на встречном волнении и мелководье. Подход CFD был принят для моделирования динамического поведения взаимодействующих судов. Численное моделирование судов «Алексей Косыгин» и «Новгород», плавающих на встречных волнах при малом относительном поперечном расстоянии η=1,3, проводилось с использованием двух масштабных моделей. Исследовано влияние продольного расстояния на частотные характеристики обоих судов. Были проанализированы АЧХ вертикальной, килевой и бортовой качки для различных случаев, и на основе настоящего анализа были даны рекомендации по относительному продольному положению.
      PubDate: 2023-02-28
      Issue No: Vol. 34 (2023)
  • Математическое моделирование процесса
           течения газа в проточной части
           турбомолекулярного вакуумного насоса с
           использованием модели взаимодействия
           газа с поверхностью Черчиньяни-Лампис

    • Authors: Ульяна Саидовна ГОРДЕЕВА, Феликс Маратович ШАРИПОВ
      Abstract: В работе моделируется процесс течения газа в проточной части турбомолекулярного вакуумного насоса с использованием модели Черчиньяни-Лампис (ЧЛ), которая использовалась в качестве новых граничных условий при расчете вероятности перехода. При моделировании использовался метод пробной частицы (метод Монте-Карло). Произведен расчет вероятности перехода молекул через лопаточный канал в прямом и обратном направлениях, результирующей вероятности перехода, степени повышения давления.
      PubDate: 2023-02-28
      Issue No: Vol. 34 (2023)
  • Модификация метода выделения контуров
           объекта в интеллектуальных системах

    • Authors: Алексей Иванович МАРТЫШКИН, Елена Григорьевна БЕРШАДСКАЯ, Евгений Игоревич МАРКИН, Валентина Владимировна ЗУПАРОВА
      Abstract: Данная исследовательская работа посвящена использованию компьютерного зрения в интеллектуальных системах для анализа контуров человека. С ростом технологий в различных отраслях промышленности возникает необходимость повышения эффективности систем "человек-компьютер". Предлагаемый метод использует видеокамеру и компьютерное программное обеспечение для обнаружения человека на изображении и его обработки с помощью библиотеки OpenCV и языка программирования C++. В статье рассматриваются существующие методы обнаружения человека, анализируется альтернативный метод, использующий компьютерное зрение, и разрабатывается новый метод обнаружения человека. Модификация включает в себя применение фильтра Кувахара для размытия изображения и алгоритма Собеля для выделения контуров. Области применения данной технологии включают обеспечение безопасности на транспортных узлах и в местах скопления людей, удаленный мониторинг здоровья, усиленный контроль на границах и охраняем...
      PubDate: 2023-02-27
      Issue No: Vol. 34 (2023)
  • Автоматическая разметка данных для
           сегментации изображений документов с
           использованием глубоких нейронных

    • Authors: Андрей Анатольевич МИХАЙЛОВ
      Abstract: В статье предложен новый метод автоматической аннотации данных для решения задачи сегментации изображений документов с помощью глубоких нейронных сетей обнаружения объектов. В качестве исходных данных для разметки рассматривается формат помеченных файлов PDF. Особенность данного формата заключается в том, что он включает в себя скрытые метки, которые описывают логическую и физическую структуру документа. Для их извлечения разработано инструментальное средство, которое имитирует работу стековой машины вывода на печать согласно спецификации формата PDF. Для каждой страницы документа генерируются изображение, и аннотация в формате PASCAL VOC. Классы и координаты ограничивающих рамок вычисляются в процессе интерпретации помеченного PDF файла на основе меток. Для апробации метода была сформирована коллекция размеченных PDF файлов из которой в автоматическом режиме получены изображения страниц документов и аннотации для трех классов сегментации. На основе этих данных обучена нейронна ...
      PubDate: 2023-02-27
      Issue No: Vol. 34 (2023)
  • Моделирование взаимосвязи между
           заболеваниями с помощью
           взаимодействующих потоковых X-машин

    • Authors: Дилшан ДЖАЯТИЛАКЕ, Хоа ФУНГ, Эммануэль ОГУНШИЛЕ, Мехмет АЙДИН
      Abstract: Мир движется к альтернативной медицине и изменению методов лечения, контроля и профилактики хронических заболеваний. В последние несколько десятилетий диаграммные модели широко использовались для описания и понимания поведения биологических организмов (биологических агентов) благодаря их простоте и полноте. Однако эти модели могут предложить только статическую картину соответствующих биологических систем с ограниченной масштабируемостью. В результате растет спрос на интеграцию формализма в более динамичные формы, которые могут быть более масштабируемыми и могут охватывать сложные процессы, зависящие от времени. В этой статье мы представляем общую модель на основе теорий X-машин и взаимодействующих X-машин. Мы провели эксперимент по моделированию реального заболевания на примере диабета II типа. Результаты эксперимента демонстрируют, что предложенный метод способен моделировать хронические заболевания.
      PubDate: 2023-02-27
      Issue No: Vol. 34 (2023)
  • Опция «Phonology» платформы LingvoDoc как способ
           верификации (на материале сосьвинского
           диалекта мансийского языка)

    • Authors: Наталья Андреевна КОШЕЛЮК
      Abstract: В статье приводятся результаты исследования полевого материала сосьвинского мансийского диалекта села Ломбовож. Его экспериментально-фонологический анализ был выполнен с помощью современной системы обработки данных LingvoDoc. Сопоставление полученной в результате этого анализа системы гласных звуков с другими фонетическими системами сосьвинского диалекта, предложенными лингвистами XX в., позволило прийти к заключению о необходимости дальнейшего уточнения фонетической системы этого мансийского диалекта. Так, в процессе исследования были выявлены неточности в интерпретации полевого материала села Ломбовож, а также обнаружен ряд уникальных фонем (o, ɛ, e, i, ə, u), обладающих нехарактерными показателями для общепринятых параметров F1 и F2 международного фонетического алфавита, базирующегося в основном на данных анализа европейских языков.
      PubDate: 2023-02-27
      Issue No: Vol. 34 (2023)
  • Поиск использований освобожденного
           ресурса в исходном коде на языке C#
           методами статического анализа

    • Authors: Ульяна Владимировна ТЯЖКОРОБ, Валерий Николаевич ИГНАТЬЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ
      Abstract: В данной работе описывается масштабируемый детектор для поиска использований освобожденного ресурса в исходном коде на основе статического символьного выполнения. Данный детектор выполняет межпроцедурный анализ, чувствительный к потоку управления и контексту вызовов. Детектор реализован в рамках промышленного инструмента SharpChecker, его точность (около 70% истинных срабатываний) позволяет включить его в число основных детекторов и предоставить функционал конечным пользователям. В работе рассматривается алгоритм детектора, адаптированный для SharpChecker. Также представлены результаты тестирования детектора на наборе ПО с открытым исходным кодом и примеры срабатываний на реальных проектах.
      PubDate: 2023-02-26
      Issue No: Vol. 34 (2023)
  • Irbis: статический анализатор помеченных
           данных для поиска уязвимостей в
           программах на C/C++

    • Authors: Никита Владимирович ШИМЧИК, Валерий Николаевич ИГНАТЬЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ
      Abstract: Статический анализ помеченных данных может использоваться для обнаружения различных потенциальных уязвимостей в коде программ путём исследования потоков данных между истоками и стоками помеченных данных. Чаще всего помеченными называют данные, которые были получены из внешнего источника и не были должным образом проверены. Инструмент Irbis реализует статический межпроцедурный анализ помеченных данных на основе решения задачи IFDS (Interprocedural Finite Distributive Subset), а также различные расширения, улучшающие его масштабируемость, точность и полноту. В нём реализованы 4 детектора с разными определениями помеченных данных, используемыми для нахождения выхода за границы буфера, использования освобождённой памяти, использования константных паролей и утечек данных. Определения истоков, стоков и передаточных функций хранятся в формате JSON и могут изменяться пользователем. Мы сравнили результаты анализа на проекте Juliet Test Suite for C/C++ с несколькими другими анализаторами, такими как Infer, Clang Static Analyzer и Svace. Irbis смог продемонстрировать 100% покрытие...
      PubDate: 2023-02-26
      Issue No: Vol. 34 (2023)
  • Система метрик для языков

    • Authors: Тимур Расимович ФАЙЗРАХМАНОВ
      Abstract: Мы представляем, возможно, первое приближение метрик языков программирования, которые представляют собой спектр из более чем 70 уникальных и тщательно собранных измерений, по которым можно сравнивать любые два языка. Основываясь на метриках, человек может самостоятельно определить "лучший" для него язык и продемонстрировать, как сложные чувства, такие как "простота" и "легкость в использовании", часто встречающиеся в продвижении и спорах о том какой язык лучше, могут быть разложены на четкие и измеримые части. Мы разместили коллекцию в виде отдельного файла с открытым исходным кодом (здесь в качестве приложения), чтобы каждый мог принять участие в поиске новых и интересных измерений, используемых в практике, исследованиях, и разработке языков программирования. Метрики могут найти свое применение для сравнения языков, определения требований, создания рейтингов, советов разработчикам языков, а также просто для получения представления о возможностях в существующи...
      PubDate: 2023-02-26
      Issue No: Vol. 34 (2023)
  • Математические и программные модели
           задач технического зрения
           робототехнических комплексов на основе
           микропроцессоров “Эльбрус”

    • Authors: Никита Алексеевич БОЧАРОВ, Николай Борисович ПАРАМОНОВ, Олег Анатольевич СЛАВИН, Константин Александрович СУМИНОВ
      Abstract: Создание новых поколений автономных робототехнических комплексов, систем распознавания и систем технического зрения в целом невозможно без использования современных компьютерных технологий. В данной статье представлены модели системы технического зрения роботов на базе микропроцессоров "Эльбрус". Были разработаны модели задач обнаружения, классификации и сегментации. Теоретические и экспериментальные результаты были получены на существующих и перспективных микропроцессорах "Эльбрус". Показано, что микропроцессоры "Эльбрус" могут быть основой бортовой системы технического зрения. Полученные авторами результаты свидетельствуют о перспективах импортозамещения в области робототехники.
      PubDate: 2023-02-26
      Issue No: Vol. 34 (2023)
  • Влияние трансформаций на успешность
           состязательных атак для
           классификаторов изображений Clipped BagNet и

    • Authors: Екатерина Олеговна КУРДЕНКОВА, Мария Сергеевна ЧЕРЕПНИНА, Анна Сергеевна ЧИСТЯКОВА, Константин Владимирович АРХИПЕНКО
      Abstract: В нашей статье сравнивается точность классической модели ResNet-18 с точностью моделей Clipped BagNet-33 и BagNet-33 с состязательным обучением в разных условиях. Мы провели эксперименты для изображений, атакованных состязательной наклейкой, в условиях трансформаций изображений. Состязательная наклейка представляет из себя небольшую область атакуемого изображения, внутри которой значения пикселей можно неограниченно менять, что может порождать ошибки в предсказании модели. Трансформации атакованных изображений в данной статье моделируют искажения, появляющиеся в физическом мире, когда смена ракурса, масштаба или освещения изменяет распознаваемое изображение. Наши эксперименты показывают, что модели из семейства BagNet плохо справляются с изображениями в низком качестве. Также мы проанализировали влияние разных видов трансформаций на устойчивость моделей к состязательным атакам и переносимость этих атак.
      PubDate: 2023-02-26
      Issue No: Vol. 34 (2023)
  • Исследование возможности применения
           нейронных сетей для восстановления
           изображения лица в системах

    • Authors: Евгений Игоревич МАРКИН, Валентина Владимировна ЗУПАРОВА, Алексей Иванович МАРТЫШКИН
      Abstract: Идентификация человека на цифровом изображении с помощью компьютерного зрения является важнейшим аспектом этой области. Наличие внешних объектов, таких как медицинские маски, которые закрывают часть лица, может резко снизить точность распознавания и увеличить ошибки от 5% до 50% в зависимости от алгоритма. В данной статье исследуется использование нейронных сетей, в частности генеративной состязательной сети (GAN), для решения задачи восстановления изображения лица, закрытого медицинской маской, для повышения точности распознавания лица.
      PubDate: 2023-02-26
      Issue No: Vol. 34 (2023)
  • Статический анализатор для языков с
           обработкой исключений

    • Authors: Виталий Олегович АФАНАСЬЕВ, Варвара Викторовна ДВОРЦОВА, Алексей Евгеньевич БОРОДИН
      Abstract: В статье описывается статический анализ для языков с обработкой исключений. В данной работе предложено низкоуровневое промежуточное представление для поддержки исключений; описаны анализы потока данных для поиска недостижимого кода, связанного с исключениями; приведена общая схема для статического анализа с учётом возможных путей, возникающих при использовании исключений. Алгоритмы реализованы в анализаторе Svace для языков C++, Java, Kotlin.
      PubDate: 2023-02-25
      Issue No: Vol. 34 (2023)
  • Повышение точности статического
           анализа за счет учета значений полей
           класса, имеющих единственное
           константное значение

    • Authors: Вадим Сергеевич КАРЦЕВ, Валерий Николаевич ИГНАТЬЕВ
      Abstract: В данной статье описывается подход, позволяющий с помощью предварительного анализа полей с единственным возможным значением повысить точность работы детекторов статического анализатора уровня символьного выполнения. Помимо этого, детектор предупреждает программиста о забытых модификаторах readonly и о неиспользуемых полях. Детектор был реализован в рамках промышленного статического анализатора SharpChecker для языка C#. Анализ проводится на уровне абстрактного синтаксического дерева, что позволяет снизить затраты времени и ресурсов. Сохраненные значения для ряда полей позволяют использовать конкретные константы вместо символьных значений на этапе символьного выполнения, тем самым повышая точность. В результате удалось заметно улучшить качество некоторых анализаторов, таких как UNREACHABLE_CODE (улучшение на 7.57%) или DEREF_OF_NULL (улучшение на 1.33%), и получить новые срабатывания в случаях с забытым readonly или неиспользуемыми полями. Хорошие результаты позволили включить детектор в основную ветку SharpChecker и предоставить ег...
      PubDate: 2023-02-25
      Issue No: Vol. 34 (2023)
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, EH14 4AS, UK
Tel: +00 44 (0)131 4513762

Your IP address:
Home (Search)
About JournalTOCs
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-