Tools and Methods of Program Analysis
portes grátis
Tools and Methods of Program Analysis
6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers
Cavalli, Ana Rosa; Yavorskiy, Rostislav; Kalenkova, Anna
Springer International Publishing AG
01/2024
198
Mole
Inglês
9783031504228
15 a 20 dias
Descrição não disponível.
Contributed Papers.- Algorithm for Mapping Layout Grids in User Interfaces: Automating the "Squint Test".- Process Mining Algorithm for Online Intrusion Detection System.- Bayesian Optimization with Time-Decaying Jitter for Hyperparameter Tuning of Neural Networks.- Investigation of the capabilities of artificial neural networks in the problem of classifying objects with dynamic features.- Analysis of Hardware-Implemented U-Net-like Convolutional Neural Networks.- Early Detection of Tasks With Uncommonly Long Run Duration in Post-Trade Systems.- Unpaired Image-to-Image Translation using Transformer-based CycleGAN.- Model-based Testing Approach for Financial Technology Platforms: An Industrial Implementation.- Searching for Deviations in Trading Systems: Combining Control-Flow and Data Perspectives.- SPIDER: Specification-based Integration Defect Revealer.- Link graph and data-driven graphs as complex networks: comparative study.- An approach to create a synthetic financial transactions dataset based on NDA-protected dataset.- Optic Flow approximated by a homogeneous, three- dimensional Point Renewal Process.- Fair Mutual Exclusion for N Processes.- Data Stream Processing in Reconciliation Testing: Industrial Experience.- Short Papers.- Detection of Flying Objects Using the YOLOv4 Convolutional Neural Network.- Modern Experiment Management Systems Architecture for Scientific Big Data.- An Approach to Modules Similarity Definition Based on the System Log Analysis.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecting;artificial intelligence;computer programming;computer systems;data mining;distributed computer systems;embedded systems;formal methods;object-oriented programming;signal processing;software architecture;software design;software engineering
Contributed Papers.- Algorithm for Mapping Layout Grids in User Interfaces: Automating the "Squint Test".- Process Mining Algorithm for Online Intrusion Detection System.- Bayesian Optimization with Time-Decaying Jitter for Hyperparameter Tuning of Neural Networks.- Investigation of the capabilities of artificial neural networks in the problem of classifying objects with dynamic features.- Analysis of Hardware-Implemented U-Net-like Convolutional Neural Networks.- Early Detection of Tasks With Uncommonly Long Run Duration in Post-Trade Systems.- Unpaired Image-to-Image Translation using Transformer-based CycleGAN.- Model-based Testing Approach for Financial Technology Platforms: An Industrial Implementation.- Searching for Deviations in Trading Systems: Combining Control-Flow and Data Perspectives.- SPIDER: Specification-based Integration Defect Revealer.- Link graph and data-driven graphs as complex networks: comparative study.- An approach to create a synthetic financial transactions dataset based on NDA-protected dataset.- Optic Flow approximated by a homogeneous, three- dimensional Point Renewal Process.- Fair Mutual Exclusion for N Processes.- Data Stream Processing in Reconciliation Testing: Industrial Experience.- Short Papers.- Detection of Flying Objects Using the YOLOv4 Convolutional Neural Network.- Modern Experiment Management Systems Architecture for Scientific Big Data.- An Approach to Modules Similarity Definition Based on the System Log Analysis.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
