• NuSMV

  • Referenced in 313 articles [sw04131]
  • NuSMV is a symbolic model checker developed as a joint project between: The Embedded Systems ... checking component that exploits the CUDD library developed by Fabio Somenzi at Colorado University...
  • minpack

  • Referenced in 740 articles [sw05310]
  • particularly relevant to the development of software for optimization libraries. In the second part ... project and by my experiences in the development of MINPACK-1 [cf. the author...
  • LIBSVM

  • Referenced in 1200 articles [sw04879]
  • library for Support Vector Machines (SVMs). We have been actively developing this package since...
  • Turbo Pascal

  • Referenced in 366 articles [sw16451]
  • more oriented towards professional software development, with more libraries and standard library source code...
  • CUDA

  • Referenced in 1333 articles [sw03258]
  • comprehensive development environment for C and C++ developers building GPU-accelerated applications. The CUDA Toolkit ... includes a compiler for NVIDIA GPUs, math libraries, and tools for debugging and optimizing...
  • SNAP

  • Referenced in 172 articles [sw04184]
  • edges of the network. The core SNAP library is written in C++ and optimized ... dynamically during the computation. SNAP was originally developed by Jure Leskovec in the course ... purpose STL (Standard Template Library)-like library GLib developed at Jozef Stefan Institute. SNAP...
  • DLMF

  • Referenced in 2888 articles [sw04968]
  • Standards and Technology is preparing a Digital Library of Mathematical Functions (DLMF) to provide useful ... even though better tools are in active development. For example, LaTeX files are being used...
  • FEniCS

  • Referenced in 850 articles [sw04314]
  • Project is a collaborative project for the development of innovative concepts and tools for automated ... automated error control and adaptivity, a comprehensive library of finite elements, high performance linear algebra...
  • OpenSSL

  • Referenced in 58 articles [sw09945]
  • OpenSSL Project is a collaborative effort to develop a robust, commercial-grade, full-featured ... full-strength general purpose cryptography library. The project is managed by a worldwide community ... Internet to communicate, plan, and develop the OpenSSL toolkit and its related documentation. OpenSSL ... based on the excellent SSLeay library developed by Eric Young and Tim Hudson. The OpenSSL...
  • PLAPACK

  • Referenced in 61 articles [sw04268]
  • Convex Exemplar. This infrastructure allows library developers, scientists, and engineers to exploit a natural approach ... PLAPACK apart from other parallel linear algebra libraries, allowing for strong performance and significanltly less...
  • DiffSharp

  • Referenced in 95 articles [sw16033]
  • list of available operations. The library is developed by Atılım Güneş Baydin and Barak...
  • LIBLINEAR

  • Referenced in 172 articles [sw04880]
  • command-line tools and library calls for users and developers. Comprehensive documents are available...
  • QEPCAD

  • Referenced in 283 articles [sw00752]
  • based on the SACLIB library. Presented here is QEPCAD B version ... original QEPCAD and distinguishing it from any development of the original that may proceed ... different direction. QEPCAD and the SACLIB library are the result of a program of research...
  • Simulink

  • Referenced in 820 articles [sw04348]
  • environment and a customizable set of block libraries that let you design, simulate, implement ... extensive range of tools that let you develop algorithms, analyze and visualize simulations, create batch...
  • GSLIB

  • Referenced in 224 articles [sw08284]
  • Software LIBrary. This name was originally used for a collection of geostatistical programs developed ... inspired the writing of GSLIB: Geostatistical Software Library and User’s Guide by Clayton Deutsch...
  • OCaml

  • Referenced in 276 articles [sw06363]
  • quick development and portability. The OCaml distribution includes a comprehensive standard library, a replay debugger...
  • deal.ii

  • Referenced in 649 articles [sw03516]
  • deal.II is a C++ program library targeted at the computational solution of partial differential equations ... deal.II is to enable rapid development of modern finite element codes, using among other aspects ... this is best done using a program library that takes care of the details...
  • BEM++

  • Referenced in 66 articles [sw08621]
  • open-source C++/Python boundary element library. Its development is a joint project between University...
  • ILOG SCHEDULE

  • Referenced in 77 articles [sw21243]
  • constraints in ILOG SCHEDULE: a library for the development of constraint-based scheduling systems ... paper presents ILOG SCHEDULE, a C++ library enabling the representation of a wide collection...
  • MKL

  • Referenced in 147 articles [sw06975]
  • Intel® Math Kernel Library (Intel® MKL) 11.0 includes a wealth of routines to accelerate application ... performance and reduce development time. Today’s processors have increasing core counts, wider vector units ... carefully optimized computing math library designed to harness that potential. Even the best compiler ... performance possible from a hand-optimized library. Because Intel has done the engineering on these...