Results 1 to 20 of 33
Sort by:

  • STXXL
  • Referenced in 19 articles [sw06824]
  • computing minimum spanning trees, connected components, breadth-first search decompositions, constructing suffix arrays, and computing...

  • Murphi
  • Referenced in 16 articles [sw22149]
  • performed as a depth-first or breadth-first search of the state space. States encountered...

  • GSPeeDI
  • Referenced in 2 articles [sw00394]
  • GSPeeDI is based on a breadth-first search algorithm, and it can handle more general...

  • Elixir
  • Referenced in 2 articles [sw25435]
  • parallel implementations for three irregular problems: breadth-first search, single source shortest path, and betweenness...

  • Coq
  • Referenced in 1906 articles [sw00161]
  • Coq is a formal proof management system. It...

  • gmp
  • Referenced in 289 articles [sw00363]
  • GMP is a free library for arbitrary precision...

  • LEDA
  • Referenced in 264 articles [sw00509]
  • In the core computer science areas -- data structures...

  • SPIN
  • Referenced in 727 articles [sw03455]
  • Spin is a popular open-source software tool...

  • DiVinE
  • Referenced in 56 articles [sw04130]
  • DIVINE is a tool for LTL model checking...

  • PBGL
  • Referenced in 11 articles [sw04182]
  • The Parallel Boost Graph Library: A Generic C...

  • SNAP

  • Referenced in 179 articles [sw04184]
  • Stanford Network Analysis Platform (SNAP) is a general...

  • LEMON
  • Referenced in 51 articles [sw05043]
  • LEMON – an Open Source C++ Graph Template Library...

  • JGraphT
  • Referenced in 13 articles [sw05496]
  • JGraphT is a free Java graph library that...

  • SciPy
  • Referenced in 791 articles [sw06293]
  • SciPy (pronounced ”Sigh Pie”) is open-source software...

  • NETAL
  • Referenced in 2 articles [sw06628]
  • NETAL: high-performance implementation of network analysis library...

  • MCSTL
  • Referenced in 11 articles [sw06825]
  • MCSTL: The multi-core standard template library The...

  • SDPARA
  • Referenced in 18 articles [sw07707]
  • Algorithm 925: Parallel Solver for Semidefinite Programming Problem...