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

Filter your results

2 results
Deposit type : Fulltext
labStructName_s : Mathématiques et Informatique pour la Complexité et les Systèmes
labStructName_s : Sino-German Joint Software Institute
Image document

(In)finite Trace Equivalence of Probabilistic Transition Systems

Alexandre Goy , Jurriaan Rot
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.100-121, ⟨10.1007/978-3-030-00389-0_7⟩
Conference papers hal-02044641v1
Image document

HPC-SFI: System-Level Fault Injection for High Performance Computing Systems

Yanqi Wang , Qi Zhang , Yi Liu , Depei Qian
15th IFIP International Conference on Network and Parallel Computing (NPC), Nov 2018, Muroran, Japan. pp.103-113, ⟨10.1007/978-3-030-05677-3_9⟩
Conference papers hal-02279558v1