• SCALE

  • Referenced in 3 articles [sw18082]
  • analysis and design developed and maintained by Oak Ridge National Laboratory under contract with ... characterization for nuclear facilities and transportation/storage package designs...
  • GASTAP

  • Referenced in 2 articles [sw38899]
  • design and implementation of GASTAP, a Gas-Aware Smart contracT Analysis Platform, which takes...
  • Coyotl

  • Referenced in 0 articles [sw05695]
  • simple cross-platform commandline parser, and design-by-contract tools...
  • PyBlame

  • Referenced in 1 article [sw18495]
  • debugging with delayed contract checking. {sc PyBlame} and ccdb are designed on the basis...
  • Redberry

  • Referenced in 8 articles [sw20303]
  • Introduction to Redberry: a computer algebra system designed for tensor manipulation. In this paper ... aware of specific features of indexed expressions: contractions of indices, permutational symmetries, multiple index types...
  • Solidity

  • Referenced in 2 articles [sw30784]
  • level language for implementing smart contracts. Smart contracts are programs which govern the behaviour ... Python and JavaScript and is designed to target the Ethereum Virtual Machine (EVM). Solidity ... other features. With Solidity you can create contracts for uses such as voting, crowdfunding, blind...
  • Sage

  • Referenced in 4 articles [sw30073]
  • presents the Sage programming language, which is designed to enforce precise interface specifications ... which extends static type checking with dynamic contract checking, automatic theorem proving, and a database...
  • Uni10

  • Referenced in 2 articles [sw32796]
  • Uni10 is an open-source C++ library designed for the development of tensor network algorithms ... keeping track of tensor indices while performing contraction of a complicated tensor network...
  • MESMER

  • Referenced in 1 article [sw26915]
  • user-friendly, object-oriented, open-source code designed to facilitate kinetic simulations over multi-well ... includes some unique statistical mechanics approaches like contracted basis set methods and nonadiabatic RRKM theory ... hopping. It is our hope that the design principles implemented in MESMER will facilitate...
  • CBabel

  • Referenced in 2 articles [sw07520]
  • concurrent application invariably have coordination requirements. The design of those applications, composed by several (possibly ... specified in high-level contracts in CBabel ADL. A rewriting logic semantics for the software ... synchronization consistency in the software architecture design phase of its life cycle...
  • Clousot

  • Referenced in 1 article [sw13331]
  • point comparison operations. We motivate, define and design a simple static analysis to check that ... fully implemented in Clousot, our static contract checker based on abstract interpretation...
  • HPTT

  • Referenced in 4 articles [sw19659]
  • called micro-kernel. This modular design---inspired by BLIS---makes HPTT easy to port ... improves the overall performance of tensor contractions...
  • EmbryoMaker

  • Referenced in 2 articles [sw38801]
  • regulated cell behaviors (division, adhesion, polarization, apoptosis, contraction, extracellular matrix secretion, signal secretion and reception ... user to simulate custom developmental processes by designing custom gene networks capable of regulating cell...
  • ASAB

  • Referenced in 2 articles [sw30267]
  • Chinese screen reader. This paper describes the design and development of a computer interface ... input method that can be used for contracted-Braille-to-text conversion with an error...
  • SHILL

  • Referenced in 0 articles [sw19999]
  • programs invoked by the script. SHILL contracts are declarative security policies that act as documentation ... enforced through a combination of language design and sandboxing. We have implemented a prototype...
  • TLib

  • Referenced in 1 article [sw22103]
  • dimensions of the tensors and the contraction modes of the tensor operations can be runtime ... classes or functions. We discuss the design and implementation of the framework and demonstrate...
  • meshsimp

  • Referenced in 0 articles [sw20443]
  • where the selection of the edge to contract is driven by a cost functional that ... higher genus surfaces. The package has been designed to be fully compatible with...
  • WingBody

  • Referenced in 1 article [sw19878]
  • Frank Woodward. After the completion of the contract work, the program underwent additional development ... appropriate method of choice for airplane conceptual design...
  • ADOL-C

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