Results 11 to 20 of about 45,458 (300)
Integrated static code analysis and runtime verification
Software: Practice and Experience, 2014 SummaryStatic code analysis tools automatically generate alerts for potential software faults that can lead to failures. However, these tools usually generate a very large number of alerts, some of which are subject to false positives. Because of limited resources, it is usually hard to inspect all the alerts.
H. Sözer, Sözer, Hasan
openaire +4 more sources
Applied Sciences, 2022 Current automatic exploit generation solutions generally adopt an 1-step exploit generation philosophy and neglect the potential difference between analysis-time environment and runtime environment.
Hui Huang +5 more
doaj +1 more source
Runtime modeling and analysis of IoT systems [PDF]
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2020 Internet-of-things systems are difficult to understand and debug due to their distributed nature and weak connectivity. We address this problem by using relational reference attribute grammars to model and analyze IoT systems with unreachable parts. A transitive device-dependency analysis is given as an example.
Alfred Åkesson +4 more
openaire +1 more source
A DSL-based runtime adaptivity framework for Java
SoftwareX, 2023 This article presents Kadabra, a Java source-to-source compiler that allows users to make code queries, code analysis and code transformations, all user-programmable using the domain-specific language LARA.
Tiago Carvalho +3 more
doaj +1 more source
Runtime Analysis of Quality Diversity Algorithms
Algorithmica, 2023 AbstractQuality diversity (QD) is a branch of evolutionary computation that gained increasing interest in recent years. The Map-Elites QD approach defines a feature space, i.e., a partition of the search space, and stores the best solution for each cell of this space.
Jakob Bossek, Dirk Sudholt
openaire +3 more sources
Runtime latency detection and analysis [PDF]
Software: Practice and Experience, 2016 SummaryDetecting latency‐related problems in production environments is usually carried out at the application level with custom instrumentation. This is enough to detect high latencies in instrumented applications but does not provide all the information required to understand the source of the latency and is dependent on manually deployed ...
Julien Desfossez +2 more
openaire +1 more source
Precise Runtime Analysis for Plateaus [PDF]
ACM Transactions on Evolutionary Learning and Optimization, 2018 To gain a better theoretical understanding of how evolutionary algorithms cope with plateaus of constant fitness, we analyze how the \((1 + 1)\) EA optimizes the n-dimensional \(\textsc {Plateau} _k\) function. This function has a plateau of second-best fitness in a radius of k around the optimum. As optimization algorithm, we regard the \((1 + 1)\) EA
Denis Antipov, Benjamin Doerr
openaire +4 more sources
Frontiers in Public Health, 2021 The internet of reality or augmented reality has been considered a breakthrough and an outstanding critical mutation with an emphasis on data mining leading to dismantling of some of its assumptions among several of its stakeholders.
Mohammad Kamrul Hasan +7 more
doaj +1 more source
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 In the last years Node.js has emerged as a framework particularly suitable for implementing lightweight IoT applications, thanks to its underlying asynchronous event-driven, non blocking I/O model.
Davide Ancona +5 more
doaj +1 more source