Search - IFIP Open Digital Library Access content directly

Filter your results

24 results
level0_domain_s : Computer Science [cs]
labStructName_s : College of Computer Science [Changsha]
labStructName_s : Laboratoire de l'Informatique du Parallélisme
Page :
sorted by
Image document

Optimizing Data Placement on Hierarchical Storage Architecture via Machine Learning

 Peng Cheng , Yutong Lu , Yunfei Du , Zhiguang Chen , Yang Liu
16th IFIP International Conference on Network and Parallel Computing (NPC), Aug 2019, Hohhot, China. pp.289-302, ⟨10.1007/978-3-030-30709-7_23⟩
Conference papers hal-03770550v1
Image document

Lawvere Categories as Composed PROPs

 Filippo Bonchi , Pawel Sobocinski , Fabio Zanasi
13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.11-32, ⟨10.1007/978-3-319-40370-0_3⟩
Conference papers hal-01446031v1
Image document

A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Streams

 Colin Riba
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.310-324, ⟨10.1007/978-3-642-33475-7_22⟩
Conference papers hal-00692153v1
Image document

CCRP: Converging Credit-Based and Reactive Protocols in Datacenters

 Yang Bai , Dinghuang Hu , Dezun Dong , Shan Huang , Xiangke Liao
17th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2020, Zhengzhou, China. pp.420-434, ⟨10.1007/978-3-030-79478-1_36⟩
Conference papers hal-03768736v1
Image document

Verification of concurrent design patterns with data

 Simon Bliudze , Ludovic Henrio , Eric Madelaine
COORDINATION 2019 - 21st International Conference on Coordination Models and Languages, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, ⟨10.1007/978-3-030-22397-7_10⟩
Conference papers hal-02143782v1
Image document

CompressedCache: Enabling Storage Compression on Neuromorphic Processor for Liquid State Machine

 Zhijie Yang , Rui Gong , Lianhua Qu , Ziyang Kang , Li Luo , et al.
17th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2020, Zhengzhou, China. pp.437-451, ⟨10.1007/978-3-030-79478-1_37⟩
Conference papers hal-03768733v1
Image document

A Hierarchical Model of Control Logic for Simplifying Complex Networks Protocol Design

 Yi Yang , Wei Quan , Jinli Yan , Lu Tang , Zhigang Sun
17th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2020, Zhengzhou, China. pp.182-187, ⟨10.1007/978-3-030-79478-1_16⟩
Conference papers hal-03768758v1
Image document

How to Kill Epsilons with a Dagger

 Filippo Bonchi , Stefan Milius , Alexandra Silva , Fabio Zanasi
12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.53-74, ⟨10.1007/978-3-662-44124-4_4⟩
Conference papers hal-01408752v1
Image document

Sensing as a Complexity Measure

 Shaull Almagor , Denis Kuperberg , Orna Kupferman
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.3-15, ⟨10.1007/978-3-319-60252-3_1⟩
Conference papers hal-01657019v1
Image document

The Group of Reversible Turing Machines

 Sebastián Barbieri , Jarkko Kari , Ville Salo
22th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2016, Zurich, Switzerland. pp.49-62, ⟨10.1007/978-3-319-39300-1_5⟩
Conference papers hal-01435034v1
Image document

Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus

 Patrick Baillot , Erika de Benedetti , Simona Ronchi Della Rocca
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.151-163, ⟨10.1007/978-3-662-44602-7_13⟩
Conference papers hal-01015171v2
Image document

Bisimilarity of Open Terms in Stream GSOS

 Filippo Bonchi , Matias David Lee , Jurriaan Rot
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.35-50, ⟨10.1007/978-3-319-68972-2_3⟩
Conference papers hal-01760851v1
Image document

Roadside Infrastructure Placement for Information Dissemination in Urban ITS Based on a Probabilistic Model

 Bo Xie , Geming Xia , Yingwen Chen , Ming Xu
10th International Conference on Network and Parallel Computing (NPC), Sep 2013, Guiyang, China. pp.322-331, ⟨10.1007/978-3-642-40820-5_27⟩
Conference papers hal-01513754v1
Image document

A Flow Scheduler Architecture

 Dinil Mon Divakaran , Giovanna Carofiglio , Eitan Altman , Pascale Vicat-Blanc Primet
9th International IFIP TC 6 Networking Conference (NETWORKING), May 2010, Chennai, India. pp.122-134, ⟨10.1007/978-3-642-12963-6_10⟩
Conference papers hal-01056318v1
Image document

Encoding Synchronous Interactions Using Labelled Petri Nets

 Paolo Baldan , Filippo Bonchi , Fabio Gadducci , Giacoma V. Monreale
16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.1-16, ⟨10.1007/978-3-662-43376-8_1⟩
Conference papers hal-01290063v1
Image document

Systolic Array Based Accelerator and Algorithm Mapping for Deep Learning Algorithms

 Zhijie Yang , Lei Wang , Dong Ding , Xiangyu Zhang , Yu Deng , et al.
15th IFIP International Conference on Network and Parallel Computing (NPC), Nov 2018, Muroran, Japan. pp.153-158, ⟨10.1007/978-3-030-05677-3_16⟩
Conference papers hal-02279547v1
Image document

A Behavioural Theory for a π-calculus with Preorders

 Daniel Hirschkoff , Jean-Marie Madiot , Xian Xu
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.143-158, ⟨10.1007/978-3-319-24644-4_10⟩
Conference papers hal-01246094v2
Image document

Promise Plus: Flexible Synchronization for Parallel Computations on Arrays

 Amaury Maillé , Ludovic Henrio , Matthieu Moy
FSEN 2021 - 9th IPM International Conference on Fundamentals of Software Engineering, May 2021, Tehran, Iran. pp.1-7, ⟨10.1007/978-3-030-89247-0_13⟩
Conference papers hal-03143269v1
Image document

Collaborating CPUs and MICs for Large-Scale LBM Multiphase Flow Simulations

 Chuanfu Xu , Xi Wang , Dali Li , Yonggang Che , Zhenghua Wang
16th IFIP International Conference on Network and Parallel Computing (NPC), Aug 2019, Hohhot, China. pp.366-370, ⟨10.1007/978-3-030-30709-7_35⟩
Conference papers hal-03770526v1
Image document

Green IT for Innovation and Innovation for Green IT: The virtuous circle

 Christina Herzog , Laurent Lefevre , Jean-Marc Pierson
10th International Conference on Human Choice and Computers (HCC), Sep 2012, Amsterdam, Netherlands. pp.79-89, ⟨10.1007/978-3-642-33332-3_8⟩
Conference papers hal-00766806v1
Image document

Accelerating Large-Scale Deep Convolutional Neural Networks on Multi-core Vector Accelerators

 Zhong Liu , Sheng Ma , Cheng Li , Haiyan Chen
17th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2020, Zhengzhou, China. pp.68-79, ⟨10.1007/978-3-030-79478-1_6⟩
Conference papers hal-03768763v1
Image document

Using SensLAB as a First Class Scientific Tool for Large Scale Wireless Sensor Network Experiments

 Clément Burin Des Roziers , Guillaume Chelius , Tony Ducrocq , Eric Fleury , Antoine Fraboulet , et al.
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.147-159, ⟨10.1007/978-3-642-20757-0_12⟩
Conference papers hal-01583404v1
Image document

Dynamic GMMU Bypass for Address Translation in Multi-GPU Systems

 Jinhui Wei , Jianzhuang Lu , Qi Yu , Chen Li , Yunping Zhao
17th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2020, Zhengzhou, China. pp.147-158, ⟨10.1007/978-3-030-79478-1_13⟩
Conference papers hal-03768734v1
Image document

Duality of Equations and Coequations via Contravariant Adjunctions

 Julian Salamanca , Marcello Bonsangue , Jurriaan Rot
13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.73-93, ⟨10.1007/978-3-319-40370-0_6⟩
Conference papers hal-01446034v1
Page :