• XMill

  • Referenced in 33 articles [sw12312]
  • data. We describe a tool for compressing XML data, with applications in data exchange ... archiving, which usually achieves about twice the compression ratio of gzip at roughly the same ... order to apply them to heterogeneous XML data: it uses zlib, the library function...
  • TreeRePair

  • Referenced in 10 articles [sw32159]
  • Trees algorithm which compresses the tree structure of XML documents. For more information see: Markus...
  • Checkmark

  • Referenced in 6 articles [sw11474]
  • Important new classes of attacks: Wavelet compression (jpeg2000 based on JASPER); Projective transformations, modeling ... Watson metric. 3) Output in a flexible XML format and generation of HTML result tables...
  • CityJSON

  • Referenced in 1 article [sw36978]
  • this paper we argue that its XML-based exchange format has several drawbacks. These drawbacks ... also designed to be compact (a compression factor of around six with real-world datasets...
  • Coq

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

  • Referenced in 253 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Matlab

  • Referenced in 12477 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • polymake

  • Referenced in 299 articles [sw00724]
  • polymake is open source software for research in...
  • R

  • Referenced in 8728 articles [sw00771]
  • R is a language and environment for statistical...
  • ML

  • Referenced in 517 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • ATERM

  • Referenced in 43 articles [sw03160]
  • GC 2: a generational conservative garbage collector for...
  • SPIN

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

  • Referenced in 853 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • Pajek

  • Referenced in 137 articles [sw03707]
  • Pajek -- analysis and visualization of large networks. Pajek...
  • AMPL

  • Referenced in 594 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling...
  • CPLEX

  • Referenced in 2602 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • COMSOL

  • Referenced in 394 articles [sw04091]
  • The COMSOL Multiphysics engineering simulation software environment facilitates...
  • FFTW

  • Referenced in 500 articles [sw04126]
  • FFTW is a C subroutine library for computing...