Results 211 to 220 of about 4,855,672 (239)

Theory and algorithms for state minimization of nondeterministic FSMs

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1997
This paper addresses state minimization problems of different classes of nondeterministic finite-state machines (NDFSMs). We describe a fully implicit algorithm for state minimization of pseudo nondeterministic FSM's (PNDFSMs). The results of our implementation are reported and shown to be superior to a previous explicit formulation.
T. Kam, VILLA, Tiziano, R. Brayton, A. Sangiovanni Vincentelli   +3 more
openaire   +3 more sources

MGRFE: Multilayer Recursive Feature Elimination Based on an Embedded Genetic Algorithm for Cancer Classification

IEEE/ACM Transactions on Computational Biology & Bioinformatics, 2019
Microarray gene expression data have become a topic of great interest for cancer classification and for further research in the field of bioinformatics. Nonetheless, due to the “large $p$p, small $n$n” paradigm of limited biosamples and high-dimensional ...
Cheng Peng, Xin Wu, Wen Yuan, Xinran Zhang, Ying. Li   +4 more
semanticscholar   +1 more source

An Efficient Energy-Saving Scheme Using Genetic Algorithm for 5G Heterogeneous Networks

IEEE Systems Journal, 2023
H. Fourati, Rihab Maaloul, L. Fourati, M. Jmaiel   +3 more
semanticscholar   +1 more source

Problem of identity transformations of nondeterministic program shcemes in algorithmic algebra systems

Cybernetics, 1983
Ever-increasing attention to the investigation of nondeterministic processes that generalize deterministic processes because of elimination of the rigidity of execution inherent in the latter is characteristic of modern programming. Nondeterminism reflects the crux of the sampling problem in tasks allowing multivaluedness of solutions such as ...
openaire   +3 more sources

Modeling of Process Control Algorithms for Parallel Computing Systems Using Nondeterministic Automata

2020
The paper considers the decomposition of process control algorithms for parallel computing systems using automata models. When designing parallel processing systems, an important problem is the formal representation of process control algorithms since they allow integrated solving the tasks of specification, development, implementation, verification ...
Dmitry Pashchenko, Alexey Martyshkin, Dmitry Trokoz   +2 more
openaire   +2 more sources

Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm

at - Automatisierungstechnik, 2011
Fuchun Liu, Hai Lin, Z. Dziong
semanticscholar   +1 more source

Parallel decomposition of control algorithms for computational processes based on the use of nondeterministic automaton logic

, 2021
Dmitry V. Pashchenko, А. И. Мартышкин, Dmitry A. Trokoz, Tatyana Yu. Pashchenko, Mikhail Yu. Babich, Mikhail M. Butaev   +5 more
openalex   +1 more source

An efficient labelled nested multiset unification algorithm

Journal of Membrane Computing, 2021
Yezhou Liu, Radu Nicolescu, Jing Sun
semanticscholar   +1 more source

A PSO‐based task scheduling algorithm improved using a load‐balancing technique for the cloud computing environment

Concurrency and Computation, 2018
F. Ebadifard, S. M. Babamir
semanticscholar   +1 more source

Game Tree Search Based on Nondeterministic Action Scripts in Real-Time Strategy Games

IEEE Transactions on Games, 2017
Nicolas A. Barriga, Marius Stanescu, M. Buro   +2 more
semanticscholar   +1 more source