Results 1 to 20 of 370
Sort by:

  • EnKF
  • Referenced in 408 articles [sw02066]
  • when observations are assimilated. The EnKF has proven to efficiently handle strongly nonlinear dynamics...

  • UniProt
  • Referenced in 136 articles [sw21320]
  • subspecies to help users track the provenance of sequences. We present a new website that...

  • MCMAS
  • Referenced in 80 articles [sw09463]
  • temporal logic in its various forms has proven essential to reason about reactive systems, agent ... logic [7], or logics for knowledge, have proven useful in a variety of areas including...

  • Scala
  • Referenced in 90 articles [sw07180]
  • exploit the full power of the industry-proven JVM technology. Readers can then dive into...

  • seL4
  • Referenced in 90 articles [sw15222]
  • seL4, a third-generation microkernel of L4 provenance, comprises 8,700 lines of C code...

  • HMQV
  • Referenced in 80 articles [sw02714]
  • whether the protocol can be proven secure in a rigorous model of key-exchange security...

  • PostgreSQL
  • Referenced in 78 articles [sw15935]
  • years of active development and a proven architecture that has earned it a strong reputation...

  • PAUP*
  • Referenced in 57 articles [sw07834]
  • trees. In addition, the PAUP manual has proven to be an essential guide, serving...

  • CMQV+
  • Referenced in 38 articles [sw06418]
  • HMQV, and on the other, it is proven in the eCK model ... variant of CMQV, called CMQV+, which is proven secure under a weaker assumption (i.e. computational...

  • SAMRAI
  • Referenced in 50 articles [sw04441]
  • SAMRAI software library that have proven to be useful in application development. SAMRAI is used...

  • ConGolog
  • Referenced in 49 articles [sw01801]
  • Some mathematical properties of the language are proven, for instance, that the proposed semantics...

  • CVC
  • Referenced in 48 articles [sw09462]
  • decidable logics and logical theories have proven to be useful tools in verification. This paper...

  • Amazon EC2
  • Referenced in 47 articles [sw29777]
  • lets you run on Amazon’s proven computing environment. Amazon EC2 reduces the time required...

  • Bogor
  • Referenced in 36 articles [sw06858]
  • extensible model checking framework Model checking has proven to be an effective technology for verification...

  • DiaGen
  • Referenced in 28 articles [sw10321]
  • these internal hypergraphs. This approach has proven to be powerful and general in the sense...

  • MCF
  • Referenced in 27 articles [sw05167]
  • solve multiple-depot vehicle scheduling problems to proven optimality...

  • preCICE
  • Referenced in 27 articles [sw08713]
  • complete compute clusters and has proven scalability on 10000s of MPI Ranks. The software offers...

  • SAP2000
  • Referenced in 26 articles [sw17041]
  • across one powerful user interface, SAP2000 has proven to be the most integrated, productive...

  • GeoThms
  • Referenced in 25 articles [sw06216]
  • growing body of geometrical constructions and formally proven geometrical theorems. We believe that, with...

  • bfa
  • Referenced in 25 articles [sw07430]
  • mixed data. Gaussian factor models have proven widely useful for parsimoniously characterizing dependence in multivariate...