Results 261 to 270 of about 45,458 (300)

Runtime safety analysis for safe reconfiguration

IEEE 10th International Conference on Industrial Informatics, 2012
Modern technical systems are increasingly built to exhibit self-x properties as, e.g., self-healing or self-optimization. For this, they require adaptation at runtime. This is even true for embedded or mechatronic systems which often operate in safety-critical environments.
Claudia Priesterjahn, Christian Heinzemann, Wilhelm Schäfer, Matthias Tichy   +3 more
openaire   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

Modern macOS userland runtime analysis

Forensic Science International: Digital Investigation, 2021
Abstract The continued rise of Apple's macOS in both the home and workplace has led to a significant rise in the capabilities of both malware and attacker toolkits that target the operating system and its users. Over the last several years there have been numerous documented instances of macOS users being targeted by governments, intelligence ...
Modhuparna Manna, Andrew Case, Aisha I. Ali-Gombe, Golden G. Richard III   +3 more
openaire   +1 more source

Runtime Analysis of Stochastic Gradient Descent

Proceedings of the 4th International Conference on Computer Science and Application Engineering, 2020
Stochastic gradient descent (SGD) is one of the most famous methods for minimization. However, there are few results about the runtime analysis of SGD because of its randomness. In this paper, we explain how to approximate SGD by stochastic differential equations (SDE).
Guanqiang Hu, Yushan Zhang
openaire   +1 more source

Runtime Analysis of Evolutionary Algorithms

Proceedings of the Companion Publication of the 2015 Annual Conference on Genetic and Evolutionary Computation, 2013
Evolutionary algorithm theory has studied the time complexity of evolutionary algorithms for more than 20 years. Different aspects of this rich and diverse research field were presented in four different advanced or specialized tutorials at last year's GECCO. This tutorial presents the foundations of this field.
Per Kristian Lehre, Pietro S. Oliveto
openaire   +1 more source

On the runtime analysis of stochastic ageing mechanisms

Proceedings of the 2014 Annual Conference on Genetic and Evolutionary Computation, 2014
Ageing operators are applied in the field of artificial immune systems (AIS) to increase the diversity of the population during the optimization process. Previous theoretical analyses have shown how static ageing operators can successfully escape local optima by implicitly performing a restart of the algorithm. However, showing naturally that ageing in
Pietro S. Oliveto, Dirk Sudholt
openaire   +1 more source

Runtime safety analysis of multithreaded programs

Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE '03, 2003
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explored in this paper. A technique based on vector clocks to extract the causal dependency order on state updates from a running multithreaded program is presented, together with algorithms to analyze a multithreaded computation against safety properties ...
Koushik Sen, Grigore Rosu, Gul Agha
openaire   +1 more source

Runtime Deadlock Analysis of SystemC Designs

2006 IEEE International High Level Design Validation and Test Workshop, 2006
SystemC has gained popularity as a modeling language in the design of highly complex, heterogeneous, and large concurrent systems. Efficient and accurate simulation of the SystemC designs have become increasingly important. In this paper, we analyze the synchronization dependencies of concurrent systems modeled in the SystemC environment, where SystemC
Eric Cheung, Piyush Satapathy, Vi Pham, Harry Hsieh, Xi Chen 0024   +4 more
openaire   +1 more source

Runtime analysis of the 1-ANT ant colony optimizer

Theoretical Computer Science, 2011
The runtime analysis of randomized search heuristics is a growing field where, in the last two decades, many rigorous results have been obtained. First runtime analyses of ant colony optimization (ACO) have been conducted only recently.
Benjamin Doerr, Frank Neumann, Dirk Sudholt   +2 more
exaly   +2 more sources

Runtime analysis of convex evolutionary search

Proceedings of the 14th annual conference on Genetic and evolutionary computation, 2012
Geometric crossover formalises the notion of crossover operator across representations. In previous work, it was shown that all evolutionary algorithms with geometric crossover (but with no mutation) do a generalised form of convex search. Furthermore, it was suggested that these search algorithms could perform well on concave and approximately concave
Alberto Moraglio, Dirk Sudholt
openaire   +1 more source

Runtime Verification for Hybrid Analysis Tools

2015
In this paper, we present the first steps toward a runtime verification framework for monitoring hybrid and cyber-physical systems (CPS) development tools based on randomized differential testing. The development tools include hybrid systems reachability analysis tools, model-based development environments like Simulink/Stateflow (SLSF), etc.
Luan Viet Nguyen, Christian Schilling 0001, Sergiy Bogomolov, Taylor T. Johnson   +3 more
openaire   +2 more sources