Personensuche
X
?
2018 Second International Conference on Intelligent Computing and Control Systems (ICICCS) ,
7
Improving Efficiency of DBSCAN by Parallelizing kd-Tree Usi..:
, In:
?
2016 International Conference on Next Generation Intelligent Systems (ICNGIS) ,
8
Distributed merge trees — proof techniques:
, In:
?
2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE) ,
9
A multi-core version of FreeRTOS verified for datarace and ..:
, In:
?
2014 International Conference on Soft Computing and Machine Intelligence ,
10