Search by property
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- Jobs/M2 2019 MC Spot Distribued + ( * One-Sided Communications for more Effic … </br>* One-Sided Communications for more Efficient Parallel State Space Exploration over RDMA Clusters</br></br>https://www-lipn.univ-paris13.fr/~coti/papiers/CEP18.pdf</br></br>* On-The-Fly Parallel Decomposition of Strongly Connected Components</br></br>https://pdfs.semanticscholar.org/2644/fb1d8009fccee7900524bf6ddd0f3fd8431c.pdf</br></br>* Parallel Explicit Model Checking for Generalized Büchi Automata: </br></br>https://www.lrde.epita.fr/~renault/publis/TACAS15.pdf</br></br>* Improved Multi-Core Nested Depth-First: </br></br>http://eprints.eemcs.utwente.nl/21967/01/cndfs.pdf</br></br>* Scalable Multi-core LTL Model-Checking: </br></br>http://anna.fi.muni.cz/papers/src/public/bd4df1ce0205b57753ace9e3d208b618.pdf</br></br>* Distributed Algorithms for SCC Decomposition</br></br></br>https://core.ac.uk/download/pdf/81957312.pdf</br>ttps://core.ac.uk/download/pdf/81957312.pdf )