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

Filter your results

2 results
Image document

Computational Completeness of Networks of Evolutionary Processors with Elementary Polarizations and a Small Number of Processors

Rudolf Freund , Vladimir Rogojin , Sergey Verlan
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.140-151, ⟨10.1007/978-3-319-60252-3_11⟩
Conference papers hal-01657015v1
Image document

Scheduling of Compute-Intensive Code Generated from Event-B Models: An Empirical Efficiency Study

Fredrik Degerlund
12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.177-184, ⟨10.1007/978-3-642-30823-9_15⟩
Conference papers hal-01527642v1