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

Filter your results

5 results
Deposit type : Fulltext
labStructName_s : IT4Innovations - National Supercomputing Center [Ostrava]
labStructName_s : Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
Image document

Automated Application of Inventory Optimization

Tomáš Martinovič , Kateřina Janurová , Kateřina Slaninová , Jan Martinovič
15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.230-239, ⟨10.1007/978-3-319-45378-1_21⟩
Conference papers hal-01637495v1
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

From Modelling to Systematic Deployment of Distributed Active Objects

Ludovic Henrio , Justine Rochas
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.208-226, ⟨10.1007/978-3-319-39519-7_13⟩
Conference papers hal-01305474v1
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

Techniques of Czech Language Lossless Text Compression

Jiří Ševčík , Jiří Dvorský
15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.265-276, ⟨10.1007/978-3-319-45378-1_24⟩
Conference papers hal-01637512v1