Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

17 results
Page :
sorted by
Image document

An Application-Level Scheduling with Task Bundling Approach for Many-Task Computing in Heterogeneous Environments

 Jian Xiao , Yu Zhang , Shuwei Chen , Huashan Yu
9th International Conference on Network and Parallel Computing (NPC), Sep 2012, Gwangju, South Korea. pp.1-13, ⟨10.1007/978-3-642-35606-3_1⟩
Conference papers hal-01551355v1
Image document

Evaluating and Optimizing I/O Virtualization in Kernel-based Virtual Machine (KVM)

 Binbin Zhang , Xiaolin Wang , Rongfeng Lai , Liang Yang , Zhenlin Wang , et al.
IFIP International Conference on Network and Parallel Computing (NPC), Sep 2010, Zhengzhou, China. pp.220-231, ⟨10.1007/978-3-642-15672-4_20⟩
Conference papers hal-01054988v1
Image document

Proof Guidance in PVS with Sequential Pattern Mining

 M. Saqib Nawaz , Meng Sun , Philippe Fournier-Viger
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.45-60, ⟨10.1007/978-3-030-31517-7_4⟩
Conference papers hal-03769130v1
Image document

DIN: A Bio-Inspired Distributed Intelligence Networking

 Yufeng Li , Yankang Du , Chenhong Cao , Han Qiu
16th IFIP International Conference on Network and Parallel Computing (NPC), Aug 2019, Hohhot, China. pp.333-337, ⟨10.1007/978-3-030-30709-7_29⟩
Conference papers hal-03770525v1
Image document

A Way of Key Management in Cloud Storage Based on Trusted Computing

 Xin Yang , Qingni Shen , Yahui Yang , Sihan Qing
8th Network and Parallel Computing (NPC), Oct 2011, Changsha,, China. pp.135-145, ⟨10.1007/978-3-642-24403-2_11⟩
Conference papers hal-01593018v1
Image document

Cross-Platform Parallel Programming in Parray: A Case Study

 Xiang Cui , Xiaowen Li , Yifeng Chen
11th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2014, Ilan, Taiwan. pp.579-582, ⟨10.1007/978-3-662-44917-2_57⟩
Conference papers hal-01403150v1
Image document

Using PVS for Modeling and Verification of Probabilistic Connectors

 M. Saqib Nawaz , Meng Sun
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.61-76, ⟨10.1007/978-3-030-31517-7_5⟩
Conference papers hal-03769138v1
Image document

Towards a Formally Verified EVM in Production Environment

 Xiyue Zhang , Yi Li , Meng Sun
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.341-349, ⟨10.1007/978-3-030-50029-0_21⟩
Conference papers hal-03273991v1
Image document

An Intelligent Parking Scheduling Algorithm Based on Traffic and Driver Behavior Predictions

 Jiazao Lin , Shi-Yong Chen , Chih-Yung Chang , Guilin Chen
15th IFIP International Conference on Network and Parallel Computing (NPC), Nov 2018, Muroran, Japan. pp.185-189, ⟨10.1007/978-3-030-05677-3_22⟩
Conference papers hal-02279559v1
Image document

Efficient Batched Synchronization in Dropbox-Like Cloud Storage Services

 Zhenhua Li , Christo Wilson , Zhefu Jiang , Yao Liu , Ben Y. Zhao , et al.
14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.307-327, ⟨10.1007/978-3-642-45065-5_16⟩
Conference papers hal-01480782v1
Image document

Statistical Analysis and Prediction of Parking Behavior

 Ningxuan Feng , Feng Zhang , Jiazao Lin , Jidong Zhai , Xiaoyong Du
16th IFIP International Conference on Network and Parallel Computing (NPC), Aug 2019, Hohhot, China. pp.93-104, ⟨10.1007/978-3-030-30709-7_8⟩
Conference papers hal-03770563v1
Image document

Scheduling Cloud Platform Managed Live-Migration Operations to Minimize the Makespan

 Xiaoyong Yuan , Ying Li , Yanqi Wang , Kewei Sun
11th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2014, Ilan, Taiwan. pp.595-599, ⟨10.1007/978-3-662-44917-2_61⟩
Conference papers hal-01403159v1
Image document

A New Leakage-Resilient IBE Scheme in the Relative Leakage Model

 Yu Chen , Song Luo , Zhong Chen
23th Data and Applications Security (DBSec), Jul 2011, Richmond, VA, United States. pp.263-270, ⟨10.1007/978-3-642-22348-8_22⟩
Conference papers hal-01586577v1
Image document

On Determination of Balance Ratio for Some Tree Structures

 Daxin Zhu , Tinran Wang , Xiaodong Wang
13th IFIP International Conference on Network and Parallel Computing (NPC), Oct 2016, Xi'an, China. pp.205-212, ⟨10.1007/978-3-319-47099-3_17⟩
Conference papers hal-01647999v1
Image document

An Adaptive Delay-Limited Offloading Scheme Based on Multi-round Auction Model for Mobile Edge Computing

 Huamei Qi , Yiran Wang , Su Jiang , Chunmeng Yang , Jia Wu
17th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2020, Zhengzhou, China. pp.310-322, ⟨10.1007/978-3-030-79478-1_27⟩
Conference papers hal-03768729v1
Image document

When ABE Meets RSS

 Yu Chen , Hyun Sung Kim , Jianbin Hu , Zhong Chen
24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSEC), Jun 2010, Rome, Italy. pp.319-326, ⟨10.1007/978-3-642-13739-6_23⟩
Conference papers hal-01056677v1
Image document

A Matrix-Analytic Solution for Randomized Load Balancing Models with PH Service Times

 Quan-Lin Li , John Lui , Yang Wang
Performance Evaluation of Computer and Communication Systems (PERFORM), Oct 2010, Vienna, Austria. pp.240-253, ⟨10.1007/978-3-642-25575-5_20⟩
Conference papers hal-01586888v1
Page :