Results 21 to 30 of about 45,458 (300)
Optimizing Frameworks’ Performance Using C++ Modules Aware ROOT [PDF]
EPJ Web of Conferences, 2019 ROOT is a data analysis framework broadly used in and outside of High Energy Physics (HEP). Since HEP software frameworks always strive for performance improvements, ROOT was extended with experimental support of runtime C++ Modules.
Takahashi Yuka +3 more
doaj +1 more source
IEEE Access, 2018 Job shop scheduling problem (JSSP) has drawn a lot of attention as it is one of the vital combinational optimization problems in manufacturing systems. In this paper, a differential-based harmony search (DHS) algorithm with variable neighborhood search ...
Fuqing Zhao +5 more
doaj +1 more source
, 2015 In runtime verification, the central problem is to decide if a given program execution violates a given property. In online runtime verification, a monitor observes a program’s execution as it happens.
Kiefer, Stefan +3 more
core +1 more source
Performance Analysis of Evolutionary Optimization for the Bank Account Location Problem
IEEE Access, 2018 The bank account location (BAL) problem is an NP-hard discrete optimization problem. A few experimental studies have shown that evolutionary algorithms are efficient methods for the BAL problem.
Xiaoyun Xia +5 more
doaj +1 more source
Estimating runtime of a job in Hadoop MapReduce
Journal of Big Data, 2020 Hadoop MapReduce is a framework to process vast amounts of data in the cluster of machines in a reliable and fault-tolerant manner. Since being aware of the runtime of a job is crucial to subsequent decisions of this platform and being better management,
Narges Peyravi, Ali Moeini
doaj +1 more source
On Distributed Runtime Verification by Aggregate Computing [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Runtime verification is a computing analysis paradigm based on observing a system at runtime (to check its expected behaviour) by means of monitors generated from formal specifications.
Giorgio Audrito +3 more
doaj +1 more source
Deep Graph Learning for Circuit Deobfuscation
Frontiers in Big Data, 2021 Circuit obfuscation is a recently proposed defense mechanism to protect the intellectual property (IP) of digital integrated circuits (ICs) from reverse engineering.
Zhiqian Chen +8 more
doaj +1 more source
Runtime Monitoring of Software Execution Trace: Method and Tools
IEEE Access, 2020 As with the extensive use of complex software in many fields, such as finance, transportation, aeronautics, and astronautics, software plays an increasingly more important role in society.
Shiyi Kong +3 more
doaj +1 more source
A Tight Runtime Analysis for the $${(\mu + \lambda )}$$ EA [PDF]
Algorithmica, 2020 Comment: 50 pages, extended version of the conference paper Denis Antipov, Benjamin Doerr, Jiefeng Fang, and Tangi Hetet Runtime analysis for the ({\mu} + {\lambda}) EA optimizing OneMax. In Genetic and Evolutionary Computation Conference, GECCO 2018, pages 1459-1466.
Denis Antipov, Benjamin Doerr
openaire +4 more sources
Accelerating Data Dependence Profiling Through Abstract Interpretation of Loop Instructions
IEEE Access, 2022 Data dependence analysis is a must-do operation for parallelisation since it reveals the safe parallelisable regions of serial codes. Generally, it relies on dynamic analysis, which incurs substantial execution time and memory space overheads.
Mostafa Abbas +4 more
doaj +1 more source