Performance evaluation of OpenMP-based algorithms for handling Kronecker descriptors (Q433452): Difference between revisions

@@ Property / cites work @@
+Distributed disk-based algorithms for model checking very large Markov chains
+Normal rank
@@ Property / cites work @@
+Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking
+Normal rank
@@ Property / cites work @@
+A highly parallel Black–Scholes solver based on adaptive sparse grids
+Normal rank
@@ Property / cites work @@
+Q3347319
@@ Property / cites work: Q3347319 / rank @@
+Normal rank
@@ Property / cites work @@
+A parallel implementation of the restarted GMRES iterative algorithm for nonsymmetric systems of linear equations
+Normal rank
@@ Property / cites work @@
+Kronecker products and shuffle algebra
@@ Property / cites work: Kronecker products and shuffle algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Uniformization and hypergraph partitioning for the distributed computation of response time densities in very large Markov models
+Normal rank
@@ Property / cites work @@
+A parallel GMRES version for general sparse matrices
+Normal rank
@@ Property / cites work @@
+Efficient descriptor-vector multiplications in stochastic automata networks
+Normal rank
@@ Property / cites work @@
+A high-performance, portable implementation of the MPI message passing interface standard
+Normal rank
@@ Property / cites work @@
+Q2842856
@@ Property / cites work: Q2842856 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2768030
@@ Property / cites work: Q2768030 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3617561
@@ Property / cites work: Q3617561 / rank @@
+Normal rank