• Datalog

  • Referenced in 283 articles [sw20023]
  • networking, program analysis, security, and cloud computing.[1] Its origins date back to the beginning...
  • AVISPA

  • Referenced in 86 articles [sw03172]
  • different back-ends that implement a variety of state-of-the-art automatic analysis techniques...
  • Geometry Expressions

  • Referenced in 16 articles [sw05989]
  • optimizationVisualize by pasting results back into Geometry ExpressionsDocument your analysis by exporting drawing and mathematics...
  • nuXmv

  • Referenced in 25 articles [sw18526]
  • back-end, and it is the basis for several extensions to cope with requirements analysis...
  • EquiLoad

  • Referenced in 12 articles [sw01549]
  • back-end servers, and its parameters are obtained from the analysis of a trace ... policies and maximizes cache hits at the back-end servers, therefore behaving similarly...
  • RAST

  • Referenced in 8 articles [sw17158]
  • analysis of metagenomes. With built-in support for multiple data sources and a back ... primary bottlenecks in metagenome sequence analysis – the availability of high-performance computing for annotating...
  • dco/c++

  • Referenced in 9 articles [sw17438]
  • activity analysis, disc tape, and a lot more. Additionally, dco/c++ serves as a back...
  • SPACE

  • Referenced in 36 articles [sw04716]
  • Computer Experiments): The code is useful for analysis and global optimization of very expensive functions ... sites. The new function evaluations are fed back to space for the next stage. Global...
  • CScout

  • Referenced in 3 articles [sw10215]
  • based back-end allows more complex source code analysis and manipulation. CScout has been successfully...
  • ComputeBelyi

  • Referenced in 14 articles [sw08775]
  • field of research in algebraic geometry, complex analysis, Galois theory. However, computation of Belyi functions ... desired branching pattern is nearly regular, pull-back transformations of hypergeometric equations to Fuchsian equations...
  • ParaMEME

  • Referenced in 4 articles [sw29726]
  • Paragon for analysis, and e-mails the results back to the user. ParaMEME is available...
  • PSPManalysis

  • Referenced in 18 articles [sw20475]
  • procedures for the demographic, bifurcation and evolutionary analysis of physiologically structured population models (PSPMs), which ... software package consists of a computational back-end that is implemented in C. For reasons...
  • PLS-Graph

  • Referenced in 7 articles [sw11498]
  • drawn and results immediately placed back into the same drawing. Partial Least Squares ... powerful method of analysis because of the minimal demands on measurement scales, sample size...
  • cesium

  • Referenced in 3 articles [sw16811]
  • fine-tune their analysis using the additional capabilities of the back-end library. The open...
  • TrajStat

  • Referenced in 1 article [sw29470]
  • MeteoInfo Java version. Statistical analysis of air mass back trajectories combined with long-term ambient...
  • GaitPy

  • Referenced in 2 articles [sw30897]
  • Package for Gait Analysis Using an Accelerometer on the Lower Back. Read and process...
  • PsychoPy

  • Referenced in 6 articles [sw07358]
  • support for a particular stimulus, analysis or hardware device they can look at the code ... examples, modify them and submit the modifications back into the package so that the whole...
  • Julienne

  • Referenced in 3 articles [sw10126]
  • analysis and debugging. Based on the appropriate use of antecedents, trace slicing tracks back reverse...
  • Jimple

  • Referenced in 3 articles [sw18636]
  • program analysis, and also demonstrates how the residual Jimple code, when transformed back into Java...
  • Clustal

  • Referenced in 1 article [sw08312]
  • Multiple Sequence Alignment Aided by Quality Analysis Tools. CLUSTAL X is a new windows interface ... realigned and inserted back into the original alignment. Alignment quality analysis can be performed...