Search - IFIP Open Digital Library Access content directly

Filter your results

5 results
Structure: Internal structure identifier : 411674
publicationDateY_i : 2014
Page :
sorted by
Image document

Formalizing the Matrix Inversion Based on the Adjugate Matrix in HOL4

 Liming Li , Zhiping Shi , Yong Guan , Jie Zhang , Hongxing Wei
8th International Conference on Intelligent Information Processing (IIP), Oct 2014, Hangzhou, China. pp.178-186, ⟨10.1007/978-3-662-44980-6_20⟩
Conference papers hal-01383331v1
Image document

Speedup Critical Stage of Machine Learning with Batch Scheduling in GPU

 Yuan Gao , Rui Wang , Ning An , Yanjiang Wei , Depei Qian
11th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2014, Ilan, Taiwan. pp.522-525, ⟨10.1007/978-3-662-44917-2_43⟩
Conference papers hal-01403124v1
Image document

Process Oriented Dependency Modelling for Service Identification

 Wenge Rong , Ting Li , Yuanxin Ouyang , Chao Li , Zhang Xiong
15th International Conference on Informatics and Semiotics in Organisations (ICISO), May 2014, Shanghai, China. pp.166-175, ⟨10.1007/978-3-642-55355-4_17⟩
Conference papers hal-01350921v1
Image document

Taxonomy of Source Code Security Defects Based on Three-Dimension-Tree

 Zhang Yan , Dong Guowei , Guo Tao , Yang Jianyu
7th International Conference on Computer and Computing Technologies in Agriculture (CCTA), Sep 2013, Beijing, China. pp.232-241, ⟨10.1007/978-3-642-54344-9_29⟩
Conference papers hal-01220919v1
Image document

BIDS: Bridgehead-Employed Image Distribution System for Cloud Data Centers

 Zhongzhao Wang , Yuebin Bai , Kun Cheng , Jihong Ma , Duo Lv , et al.
11th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2014, Ilan, Taiwan. pp.269-280, ⟨10.1007/978-3-662-44917-2_23⟩
Conference papers hal-01403093v1
Page :