• TVLA

  • Referenced in 34 articles [sw09878]
  • perform shape analysis on programs manipulating linked data structures (singly and doubly linked lists...
  • Miranda

  • Referenced in 153 articles [sw04986]
  • library structure with type secure facilities for separate compilation and linking. The major part...
  • LISP

  • Referenced in 127 articles [sw07201]
  • ideas in computer science, including tree data structures, automatic storage management, dynamic typing, conditionals, higher ... LISt Processing”. Linked lists are one of Lisp language’s major data structures, and Lisp...
  • geepack

  • Referenced in 54 articles [sw07119]
  • mean, scale, and correlation structures, through mean link, scale link, and correlation link. Can also...
  • COMSOL

  • Referenced in 460 articles [sw04091]
  • from fluid flow and heat transfer to structural mechanics and electromagnetic analyses. Material properties, source ... your own partial differential equations (PDEs) and link them with other equations and physics...
  • Tucker3-HICLAS

  • Referenced in 15 articles [sw11320]
  • elements of each mode, and a linking structure among the three hierarchies. Unlike INDCLAS, Tucker3 ... allows for more complex linking structures among the three hierarchies. An algorithm...
  • SnapPy

  • Referenced in 139 articles [sw06874]
  • structures. It runs on Mac OS X, Linux, and Windows, and combines a link editor...
  • libexact

  • Referenced in 23 articles [sw17197]
  • backtrack algorithm and the dancing links data structure described in “Donald E. Knuth, Dancing Links...
  • TwitterRank

  • Referenced in 17 articles [sw15639]
  • topical similarity between users and the link structure into account. Experimental results show that TwitterRank...
  • Slide

  • Referenced in 20 articles [sw28542]
  • Sound and complete for local data structures (doubly-linked lists, trees with parent pointers ... Sound for non-local data structures (trees with linked leaves, skip-lists, etc. ); Built...
  • STAPL

  • Referenced in 16 articles [sw00910]
  • parallelism for applications which use dynamically linked data structures such as particle transport calculations, molecular...
  • TACO

  • Referenced in 7 articles [sw07668]
  • failure is exhibited. Code involving linked data structures with intricate invariants is particularly hard ... Java sequential programs dealing with complex linked data structures. We instrument code analysis with...
  • NodeTrix

  • Referenced in 20 articles [sw19602]
  • being readable both for the global structure of the network and also for detailed analysis ... traditional representations: node-link diagrams are used to show the global structure of a network ... dragging selections to and from node-link and matrix forms, and to flexibly manipulate...
  • ProTherm

  • Referenced in 9 articles [sw16247]
  • sequence and structural information of proteins is connected with thermodynamic data through links between entries ... amino acid replacements and links to homologous structures to each protein. Further, we have improved...
  • CSPLib

  • Referenced in 93 articles [sw04150]
  • page) a list of related benchmark libraries links to constraint solvers a history of changes ... from purely random problems and onto more structured problems...
  • Mu Analysis and Synthesis Toolbox

  • Referenced in 110 articles [sw19506]
  • Tools provides a consistent set of data structures for the unified treatment of systems ... software, such as μ-Tools, provides a link between control theory and control engineering...
  • FR3D

  • Referenced in 6 articles [sw13838]
  • structure course materials at this link. WebFR3D, the online version of FR3D, is also available ... from NDB at this link by looking up the structure of interest. You may also...
  • PcGive

  • Referenced in 51 articles [sw04927]
  • Professionaltm aims to give an operational and structured approach to econometric modelling using the most ... ideas of `textbooks’ and `computer manuals’ by linking the learning of econometric methods and concepts...
  • BindingDB

  • Referenced in 7 articles [sw23141]
  • query types, including searches by chemical structure, substructure and similarity; protein sequence; ligand and protein ... data in BindingDB are linked both to structural data...
  • DBpedia

  • Referenced in 51 articles [sw27336]
  • DBpedia is a community effort to extract structured information from Wikipedia and to make this ... against datasets derived from Wikipedia and to link other datasets on the Web to Wikipedia...