Results 1 to 20 of 148
Sort by:

  • Algorithm 447
  • Referenced in 163 articles [sw12877]
  • Algorithm 447: effcient algorithms for graph manipulation. Efficient algorithms are presented for partitioning a graph ... into connected components, biconnected components and simple paths. The algorithm for partitioning of a graph...

  • ape
  • Referenced in 62 articles [sw04569]
  • provides functions for reading, writing, plotting, and manipulating phylogenetic trees, analyses of comparative data ... rates and clock-like trees using mean path lengths and penalized likelihood. Phylogeny estimation...

  • JPF-SE
  • Referenced in 12 articles [sw12038]
  • symbolic execution paths and it uses off-the-shelf decision procedures to manipulate numeric constraints...

  • Fortify
  • Referenced in 1 article [sw26890]
  • paper are: (1) Resource Injection, (2) Path Manipulation, (3) System Information Leak, (4) Denial...

  • libDDD
  • Referenced in 8 articles [sw04096]
  • libDDD is C++ library for manipulation of decision diagrams. Main features include:Flexible and powerful ... constraint allowing to store variable length decision paths; Supports both Data Decision Diagrams which...

  • TUDD
  • Referenced in 2 articles [sw18592]
  • Decision Diagram package: A word-level graph manipulation package. Verification has become ... representation of HDL expressions, like data-path operations or control logic. Unfortunately, there exists ... represent both word-level (i.e., data-path) and bit-level (control logic) functions with ... support multiple graph types in a graph manipulation package. This paper presents a word-level...

  • BOXES
  • Referenced in 6 articles [sw21178]
  • disjunction by an imprecise join, typically yielding path-insensitive analyses. This problem is addressed ... efficient way to represent and manipulate abstract values. The simple approach of using ”sets...

  • Pinocchio

  • Referenced in 1 article [sw41151]
  • Humanoid Path Planner, an open-source software for Motion and Manipulation Planning...

  • treex
  • Referenced in 3 articles [sw32686]
  • treex is a Python library for manipulating rooted trees. The trees can be ordered ... trees; (v) Computation of coding processes (Harris path, Lukasiewicz walk and height process); (vi) Visualization...

  • KB-VISION
  • Referenced in 1 article [sw00483]
  • domain model. Using object sensitive manipulation options and by evaluating each graphical action ... environment for various reasoning components (e.g. planners, path generators...

  • BiNoM
  • Referenced in 3 articles [sw13481]
  • BiNoM: a Cytoscape plugin for manipulating and analyzing biological networks. BiNoM (Biological Network Manager ... operations to Cytoscape such as path and cycle analysis, clustering sub-networks, decomposition of network...

  • CUIK
  • Referenced in 3 articles [sw21885]
  • very often in practice (e.g. in parallel manipulators, reconfigurable robots, or molecular compounds), there ... issues, or find collision- and singularity-free paths between given configurations. The toolbox...

  • SHWMP
  • Referenced in 1 article [sw02763]
  • HWMP routing messages and prevents unauthorized manipulation of mutable fields in the routing information elements ... little increase in end-to-end delay, path acquisition delay and control byte overhead...

  • Whispec
  • Referenced in 1 article [sw38506]
  • white-box testing of methods that manipulate structurally complex data, such as those that pervade ... method on that input and build the path condition for the resulting execution path. Then...

  • SMALA
  • Referenced in 1 article [sw06373]
  • these tools assess the learner’s solution paths, one can distinguish between automatic assessment tools ... with the computer and performing a few manipulations to understand the tools’ state.par This paper...

  • ADOL-C
  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...

  • ANSYS
  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...

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

  • FLAME
  • Referenced in 39 articles [sw00293]
  • We present a number of application program interfaces...

  • gfun
  • Referenced in 144 articles [sw00344]
  • The gfun package provides tools for determining and...