Results 51 to 60 of about 1,185 (184)
ABSTRACT Cyclic executives (CEs) offer the advantage of ensuring complete determinism with minimal runtime overhead, often making them the preferred choice for safety‐critical real‐time systems. However, generating CEs for multicore processors while addressing task precedence and exclusion relations presents significant challenges.
Bruno Nogueira +4 more
wiley +1 more source
Limits of instruction-level parallelism and higher transistor density sustain the increasing need for multiprocessor systems: they are rapidly taking over both general-purpose and embedded processor domains.
Mateus B. Rutzig +7 more
doaj +1 more source
Generating Stable and Metastable Critical Points in Uncertain Systems via Flow‐Based Models
ABSTRACT This work proposes the use of conditional flow‐based generative models to learn an approximation of the distribution of the critical points of a cost function. This approximation is used to incrementally identify all critical points, in the feasible domain of said function, by iteratively alternating the sampling of the distribution and the ...
Callum Wilson, Massimiliano Vasile
wiley +1 more source
LeF‐MTP: Prioritizing GNN Test Cases by Fusing Model Uncertainty and Feature‐Space Confusability
ABSTRACT Graph Neural Networks (GNNs) are widely applied in 3D computer vision tasks. However, validating their reliability is limited by the high cost of labeling large‐scale test data. Existing test case prioritization techniques for deep learning often rely on single‐dimensional heuristics or mutation‐based analysis (e.g., GraphPrior, PCPrior ...
Qingran Su +5 more
wiley +1 more source
Parallel methods in problems of mathematical physics [PDF]
The article deals with various methods of parallelization of algorithms of problems of mathematical physics. Parallel methods of solution of these problems on the basis of multiprocessor transputer based systems with distributed memory are considered.
Boris Rybakin
doaj
Time‐ and Behaviour‐Preserving Execution of Determinate Supervisory Control
The activity framework is a model‐based framework incorporating a model of activities with determinate timing and behaviour, and a strong mathematical foundation based on max‐plus algebra that allows efficient timing analysis and optimisation of CPS. Preserving the specified behaviour and the model‐predicted timing in an implementation is challenging ...
Alireza Mohamadkhani +3 more
wiley +1 more source
Three Algorithms for Parallel Graph Summarization
ABSTRACT Most graph summarization algorithms are tailored to a specific graph summary model and were designed for one‐time computations only, that is, batch‐based computations. We developed a universal approach for parallel graph summarization and three algorithms to compute graph summaries—a batch‐based algorithm for static graphs, an incremental ...
Till Blume +3 more
wiley +1 more source
This work presents a comparison of different software and hardware implementations of a traffic simulator using a fluid‐based mesoscopic model. The model represents Vehicular Traffic Networks (VTNs) based on the flow resulting by the interconnection of dynamical agents associated to street segments and intersections.
Felipe Morales-Torres +7 more
wiley +1 more source
THE SET PARTITION PROBLEM SOLUTION USING RELAXATION METHOD TO THE SPECIALITY NETWORK PROBLEM
The article considers the original algorithm for solving the partition set problem, which has numerous applications in the analysis and synthesis of organizational, technical and economic systems and processes. Efficiency the proposed algorithm allows to
Gennadij A. Berketov +2 more
doaj +1 more source
Mathematical theory of multiprocessor control systems and its applications [PDF]
The peculiar feature of cybernetic control systems is a feedback interaction with a controlled object. The abstract model of such an interaction may be based on the control and operating automata composition originating in the abstract computer model ...
G. Cejtlin, E. Jushchenko
doaj

