Search - IFIP Open Digital Library Access content directly

Filter your results

7 results
Sub-domain level 1 : info.info-ni
labStructName_s : Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
Page :
sorted by
Image document

A Theory for the Composition of Concurrent Processes

 Ludovic Henrio , Eric Madelaine , Min Zhang
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.175-194, ⟨10.1007/978-3-319-39570-8_12⟩
Conference papers hal-01432917v1
Image document

Minimization of Network Power Consumption with Redundancy Elimination

 Frédéric Giroire , Joanna Moulierac , Truong Khoa Phan , Frédéric Roudaut
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.247-258, ⟨10.1007/978-3-642-30045-5_19⟩
Conference papers hal-00721855v1
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

EFD: An efficient low-overhead scheduler

 Jinbang Chen , Martin Heusse , Guillaume Urvoy-Keller
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.150-163, ⟨10.1007/978-3-642-20798-3_12⟩
Conference papers hal-00930973v1
Image document

Estimating File-Spread in Delay Tolerant Networks under Two-Hop Routing

 Arshad Ali , Eitan Altman , Tijani Chahed , Dieter Fiems , Manoj Kumar Panda , et al.
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.277-290, ⟨10.1007/978-3-642-30054-7_22⟩
Conference papers hal-00726802v1
Image document

Searching Critical Values for Floating-Point Programs

 Hélène Collavizza , Claude Michel , Michel Rueher
28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.209-217, ⟨10.1007/978-3-319-47443-4_13⟩
Conference papers hal-01643710v1
Image document

Active Objects for Coordinating BSP Computations (Short Paper)

 Gaetan Hains , Ludovic Henrio , Pierre Leca , Wijnand Suijlen
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.220-230, ⟨10.1007/978-3-319-92408-3_10⟩
Conference papers hal-01821487v1
Page :