Specification and Verification Method of Parallel Hierarchical Timed Automata by Predicate Abstraction and Refinement
Sign Up to like & getrecommendations! Published in 2025 at "IEEE Access"
DOI: 10.1109/access.2025.3572089
Abstract: Embedded systems have three major features: real-time, parallel and hierarchical. Therefore, we specified an embedded system as a hierarchically structured timed automata operating in parallel. The reduction technique of the state space for verifying embedded… read more here.
Keywords: parallel hierarchical; method; abstraction refinement; abstraction ... See more keywords
Divide-and-Merge Parallel Hierarchical Ensemble DNNs with Local Knowledge Augmentation
Sign Up to like & getrecommendations! Published in 2025 at "Symmetry"
DOI: 10.3390/sym17081362
Abstract: Traditional deep neural networks (DNNs) often suffer from a time-consuming training process, which is restricted by accumulation of excessive network layers and a large amount of parameters. More neural units are required to be stacked… read more here.
Keywords: parallel hierarchical; knowledge; level; hierarchical ensemble ... See more keywords