共 50 条
- [21] Comparison between 2D cellular automata based pseudorandom number generators IEICE ELECTRONICS EXPRESS, 2012, 9 (17): : 1391 - 1396
- [23] A quantifier-free SMT encoding of non-linear hybrid automata PROCEEDINGS OF THE 12TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2012), 2012, : 187 - 195
- [25] Analysis of Non-Linear Probabilistic Hybrid Systems ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (57): : 104 - 119
- [28] Non-linear cellular automata based design of query processor for mobile network INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOL 1-4, PROCEEDINGS, 2005, : 2751 - 2756
- [29] Non-linear cellular automata based edge detector for optical character images SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2016, 92 (09): : 849 - 859
- [30] Tree automata for non-linear arithmetic REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS, 2008, 5117 : 291 - +