Recherche
-
Graph Algorithms for Improving Type-Logical Proof Search
Communication dans un congrès -
Using the native mesh partitioning capabilities of Scotch 4.0 in a parallel industrial electromagnetics code
Communication dans un congrès -
The PT-Scotch project: purpose, algorithms, current results
(2008-06-18)Autre document -
The PT-Scotch project: purpose, algorithms, intermediate results
Communication dans un congrès -
The PT-Scotch project: purpose, algorithms, first results
Communication dans un congrès -
Towards efficient and scalable graph partitioning methods
Communication dans un congrès -
Scotch and libScotch 5.0 User's Guide
(2007-08-01)Autre document -
PT-Scotch and libScotch 5.0 User's Guide
(2007-08-01)Autre document -
The Génolevures online database
Communication dans un congrès -
Efficient and scalable parallel graph partitioning
Communication dans un congrès