Buscar
-
Efficient algorithms for direct resolution of large sparse system on clusters of SMP nodes
Communication dans un congrès -
PaStiX: A Parallel Direct Solver for Sparse SPD Matrices based on Efficient Static Scheduling and Memory Managment
Communication dans un congrès -
Parallel factorization of very large sparse SPD systems on a network of SMP nodes
Communication dans un congrès -
Autowrite: A Tool for Term Rewrite Systems and Tree Automata
Communication dans un congrès -
On the Modularity of Deciding Call-by-Need
Communication dans un congrès -
On the Locality of Distributed Sparse Spanner Construction
Communication dans un congrès -
Autowrite: A Tool for Checking Properties of Term Rewriting Systems
Communication dans un congrès -
Remembering without Memory: Tree Exploration by Asynchronous Oblivious Robots
Communication dans un congrès -
Fast Radio Broadcasting with Advice
Communication dans un congrès -
A view selection algorithm with performance guarantee
Communication dans un congrès