?
2018 Second International Conference on Intelligent Computing and Control Systems (ICICCS) ,
4
Improving Efficiency of DBSCAN by Parallelizing kd-Tree Usi..:
, In:
?
2016 International Conference on Next Generation Intelligent Systems (ICNGIS) ,
5
Distributed merge trees — proof techniques:
, In:
?
2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE) ,
6
A multi-core version of FreeRTOS verified for datarace and ..:
, In:
?
2014 International Conference on Soft Computing and Machine Intelligence ,
7
Probabilistic Algorithms for Election Result Prediction:
, In:
?
2018 Second International Conference on Intelligent Computing and Control Systems (ICICCS) ,
10
An Intelligent Adaptive Scheduler for Operating Systems Exp..:
, In:
?
2023 3rd International Conference on Intelligent Technologies (CONIT) ,
13