..............page:2385-2389
..............page:2390-2395
Improving the Solving of Non-linear Arithmetic Constraints in Dynamic Symbolic Execution
DONG Qi-xing;ZENG Fan-ping;YAN Jun;ZHANG Hui;PENG Ling;School of Computer Science and Technology;University of Science and Technology of China;State Key Laboratory of Computer Science;Institute of Software;Chinese Academy of Sciences;Anhui Province Key Lab of Software in Computing and Communication;Technology Center of Software Engineering;Institute of Software;Chinese Academy of Sciences;
..............page:2396-2401
..............page:2402-2409
..............page:2410-2415
..............page:2416-2421
..............page:2422-2427
..............page:2428-2433
..............page:2434-2439
..............page:2440-2444
..............page:2445-2449
..............page:2450-2453
..............page:2454-2458
..............page:2459-2463
..............page:2464-2468
..............page:2469-2472
..............page:2473-2476
..............page:2477-2481
..............page:2482-2487
..............page:2488-2493
..............page:2494-2497
Uncertainty Measure of Rough Fuzzy Sets in Covering Approximation Space
HU Jun;ZHANG Qing-hua;HU Feng;Chongqing Key Laboratory of Computational Intelligence;Chongqing University of Posts & Telecommunications;School of Computer Science and Technology;Chongqing University of Posts & Telecommunications;School of Mathematics and Physics;Chongqing University of Posts and Telecommunications;
..............page:2498-2501
..............page:2502-2506
..............page:2507-2510
..............page:2511-2514
..............page:2515-2518
..............page:2519-2522
..............page:2523-2527
..............page:2528-2532
..............page:2533-2537
..............page:2538-2542
..............page:2543-2547
Design of Asynchronous Messaging Communication in Virtual Scene
XU Zeng-min;CUI Zhong-ning;WANG Hui-yong;CHEN Guang-xi;School of Mathematics and Computational Science;Guilin University of Electronic Technology;National Engineering Research Center for Multimedia Software;School of Computer;Wuhan University;Guang Dong OPPO Mobile Telecommunications Corp.;Ltd;School of Computer Science and Engineering;Guilin University of Electronic Technology;
..............page:2548-2552
..............page:2553-2557
..............page:2558-2561
Coding and Decoding Method for Periodic Permutation Color Structured Light
QIN Xu-jia;MA Ji-yue;ZHANG Qin-feng;ZHENG Hong-bo;XU Xiao-gang;School of Computer Science and Technology;Zhejiang University of Technology;Key Laboratory of Visual Media Intelligent Processing Technology of Zhejiang Province;Department of Equipment System and Automatization;Dalian Naval Academy;
..............page:2562-2566
..............page:2567-2571
..............page:2572-2577
..............page:2578-2581
..............page:2582-2585
..............page:2586-2592