• NSPCG

  • Referenced in 30 articles [sw00636]
  • This is particularly advantageous when memory space is limited.\parSome of the basic preconditioners that...
  • LOCBIF

  • Referenced in 65 articles [sw07928]
  • parameter space. The invariant sets involved in our study are equilibrium points and limit cycles...
  • PHAVer

  • Referenced in 116 articles [sw04123]
  • hybrid systems – yet it has remained severely limited in its applicability to more complex systems ... fly overapproximation and by partitioning the state space based on user-definable constraints ... polyhedral computations, we propose methods to conservatively limit the number of bits and constraints...
  • NP-SPEC

  • Referenced in 20 articles [sw02243]
  • suitable form allow to limit the size of search spaces in order to obtain reasonably...
  • JGAP

  • Referenced in 9 articles [sw12832]
  • solve problems with a huge solution space having limited time and CPU power. JGAP...
  • GKLEE

  • Referenced in 10 articles [sw12794]
  • miss these errors because of their limited input-space and execution-space exploration. Existing tools...
  • zk-SNARK

  • Referenced in 11 articles [sw22495]
  • SNARK implementations have severe scalability limitations, in terms of space complexity as a function...
  • Rapture

  • Referenced in 7 articles [sw13409]
  • provide two reduction techniques that limit the state space explosion problem : automatic abstraction and refinement...
  • TAJ

  • Referenced in 7 articles [sw33114]
  • produce useful answers given limited time and space. TAJ addresses a wide variety of attack...
  • GTM

  • Referenced in 57 articles [sw39434]
  • between the latent space and the data space. In this paper we introduce a form ... overcomes most of the significant limitations of the SOM. We demonstrate the performance...
  • RunLim

  • Referenced in 2 articles [sw08838]
  • This is a tool for sampling and limiting time and memory usage of a program ... file system on Linux. Time and space limits are also supported. It is helpful...
  • MULTI-HOPE

  • Referenced in 7 articles [sw01334]
  • material handling costs. The limitations of available horizontal space create a need to explore vertical...
  • sldg

  • Referenced in 6 articles [sw17637]
  • methods are conservative, local in space, and able to limit numerical diffusion, they are considered...
  • Calabi-Yau database

  • Referenced in 28 articles [sw24665]
  • four dimensions. These polyhedra describe the singular limits of ambient toric varieties in which Calabi ... physicists. Many of the singular ambient spaces described by the Kreuzer-Skarke list ... smoothed out into multiple distinct toric ambient spaces describing different Calabi-Yau threefolds. We provide ... from each polytope, up to current computational limits. We then give the details...
  • TRLan

  • Referenced in 65 articles [sw04029]
  • used on either a single address space machine or a distributed parallel machine. The user ... modified. In this software, this modification is limited to one subroutine. It also...
  • HOPPET

  • Referenced in 6 articles [sw10645]
  • grid in x-space so as to avoid limitations on the functional form of input...
  • AIFS

  • Referenced in 14 articles [sw00023]
  • space $(\mathbb{R}^{\nu},\text{ d})$. The modeling capabilities of such systems are heavily limited ... changing of fractal dimension from smooth to space-filling fractals. The last is useful...
  • CardKt

  • Referenced in 1 article [sw01599]
  • Java smart card. The tight space limits of Java smart cards make the implementation ... check, and then deleted to free up space on the card once the check...
  • fixedTimeEvents

  • Referenced in 1 article [sw20632]
  • within a fixed time frame or limited space, it is often interesting to assess...
  • ASTRAL-II

  • Referenced in 9 articles [sw20492]
  • search space using a set of allowed ‘bipartitions’. Despite the limitation to allowed bipartitions, ASTRAL ... allowed bipartitions for the search space. Availability and implementation: ASTRAL-II is available in open...