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

Filter your results

2 results
Deposit type : Fulltext
labStructName_s : Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
labStructName_s : Institut Élie Cartan de Lorraine
Image document

Construction of Some Nonautomatic Sequences by Cellular Automata

Irène Marcovici , Thomas Stoll , Pierre-Adrien Tahay
AUTOMATA 2018 - 24th International Workshop on Cellular Automata and Discrete Complex Systems, Jun 2018, Ghent, Belgium. pp.113-126, ⟨10.1007/978-3-319-92675-9_9⟩
Conference papers hal-01824876v1
Image document

Boosting transactional memory with stricter serializability

Pierre Sutra , Patrick Marlier , Valerio Schiavoni , François Trahay
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.231-251, ⟨10.1007/978-3-319-92408-3_11⟩
Conference papers hal-01821500v1