• CVXPY

  • Referenced in 71 articles [sw13968]
  • form required by solvers. CVXPY makes it easy to combine convex optimization with high-level ... features of Python such as parallelism and object-oriented design. CVXPY is available...
  • ccNUMA

  • Referenced in 13 articles [sw01477]
  • standard loop-level parallel OpenMP code, with additionaluser input in the form of directives, into...
  • Sisal

  • Referenced in 17 articles [sw13686]
  • implicit parallelism, and efficient array handling. SISAL outputs a dataflow graph in Intermediary Form ... designed to be a common high-level language for numerical programs on a variety...
  • EVPI

  • Referenced in 20 articles [sw02644]
  • nodes of a tree which is formed from the realisations of the random data process ... parallel implementation of the nested Benders algorithm which employs a farming technique to parallelize nodal ... structures of the test problems cause differing levels of speed-up on a variety...
  • SCASY

  • Referenced in 12 articles [sw03251]
  • solving matrix equations in reduced (quasi-triangular) form are reviewed. Most common is to perform ... consider parallelization of algorithms for reduced matrix equations at two levels: globally in a distributed...
  • FiniteFlow

  • Referenced in 7 articles [sw41195]
  • systems, without being concerned with the low-level details of the numerical implementation. This approach ... large intermediate expressions and can be massively parallelized. We present applications to the calculation ... integrand reduction, the decomposition of amplitudes into form factors, and the derivation of integrable symbols ... implementation of this framework, with a high-level interface in Mathematica...
  • PySP

  • Referenced in 21 articles [sw04921]
  • and/or multi-stage cases. Intricate, configurable, and parallel decomposition strategies are frequently required to achieve ... first alternative involves passing an extensive form to a standard deterministic solver. For more complex ... leveraging the combination of a high-level programming language (Python) and the embedding...
  • SOCKET

  • Referenced in 2 articles [sw35513]
  • helices that wind around each other to form “supercoils”. The hallmark of most coiled coils ... apparent simplicity and relatedness at the sequence level, coiled coils display a considerable degree ... helices may be arranged parallel or anti-parallel and may form a variety of oligomer...
  • CTF

  • Referenced in 8 articles [sw25687]
  • subdividing tensors cyclically, producing a regular parallel decomposition. An internal virtualization layer provides completely general ... user-level interface elegantly expresses arbitrary-dimensional generalized tensor contractions in the form...
  • recsy

  • Referenced in 7 articles [sw04139]
  • solving matrix equations in reduced (quasi-triangular) form are reviewed. Most common is to perform ... consider parallelization of algorithms for reduced matrix equations at two levels: globally in a distributed...
  • Firedrake-Fluids

  • Referenced in 1 article [sw38265]
  • level abstract language called Unified Form Language (UFL). By coupling to the PyOP2 parallel unstructured...
  • QWeSST

  • Referenced in 1 article [sw14207]
  • single-threaded evaluation, the other is maximally parallel and exploits a presentation of its typing ... execution behaviors based on an extended form of substructural operational semantics. It augments standard inference ... which makes it convenient to capture ensemble-level behaviors. We prove that both semantics ... latter by developing a proof methodology that parallels the multiset-oriented presentation of the semantics...
  • SPINDLE

  • Referenced in 1 article [sw25909]
  • energy-efficient neurons and memory, which form the fundamental building blocks of DLNs. SPINDLE consists ... capture the nested parallelism present in DLNs, and a two-level memory hierarchy to facilitate...
  • OpusJava

  • Referenced in 1 article [sw01618]
  • exploit heterogeneous platforms and employ hybrid forms of parallelism. In particular, Java has been recognized ... high performance computing that provides a high level component infrastructure and facilitates a seamless integration...
  • PMC

  • Referenced in 1 article [sw28466]
  • composition, global non-deterministic parallel composition, and a restricted form of mixed input/output guarded choice ... embedded system, and the low-level, hardware speciic details of for instance device drivers...
  • PAEAN

  • Referenced in 0 articles [sw22073]
  • scales, ranging from small multicores to massively parallel high-performance computing systems. They also provide ... levels. This is, however, becoming increasingly divorced from the reality at the hardware level ... imposes significant unwanted runtime overheads in the form of garbage collection synchronisation etc. What ... implementation and hardware levels, while presenting a simple parallelism model to the programmer. The PArallEl...
  • LOGLAN

  • Referenced in 4 articles [sw26939]
  • quasi- parallelism by means of coroutines. Real parallelism is supported by processes which ... LOGLAN semantic model provides multi-level inheritance, but does not provide multiple-inheritance. Because such ... creating completely different semantic consequences. The multi-level inheritance gives possibilities for free ... language LOGLAN is described in the BNF form. All definitions are correct and illustrated...
  • ROSE

  • Referenced in 4 articles [sw04891]
  • representation (IR) used in ROSE is high level to build an abstract syntax tree ... they may be distributed freely in binary form. Language support for Fortran 2003 and earlier ... function), OpenMP directive lowering, automatic parallelization and loop transformations (a loop optimizer supporting aggressive loop...
  • CU++

  • Referenced in 1 article [sw17487]
  • SIMD). In the present work, a higher level framework, termed CU++, has been developed that ... purposes. In its current form, CU++ provides a framework for parallel array arithmetic, simplified data...
  • MOVE

  • Referenced in 3 articles [sw02550]
  • form an optimized sub-ontology becomes very computationally extensive. Therefore, it is imperative that parallel ... base ontology. We utilize coarse-grained data-level parallelism inherent in the problem domain. Such...