• deal.ii

  • Referenced in 649 articles [sw03516]
  • elements. It uses state-of-the-art programming techniques to offer you a modern interface ... wide array of tools classes often used in finite element program. Writing such programs...
  • z3

  • Referenced in 603 articles [sw04887]
  • extensional arrays, uninterpreted functions, and quantifiers. Z3 is integrated with a number of program analysis...
  • SciPy

  • Referenced in 788 articles [sw06293]
  • very popular conference on scientific programming with Python. The SciPy library depends on NumPy, which ... provides convenient and fast N-dimensional array manipulation. The SciPy library is built to work...
  • Why3

  • Referenced in 136 articles [sw04438]
  • maps, etc.) and basic programming data structures (arrays, queues, hash tables, etc.). A user...
  • FEAP

  • Referenced in 194 articles [sw04963]
  • generation programs that have an option to output nodal coordinates and element connection arrays ... data generated from the mesh generation program...
  • CBMC

  • Referenced in 85 articles [sw09719]
  • programs. It also supports SystemC using Scoot. It allows verifying array bounds (buffer overflows), pointer ... performed by unwinding the loops in the program and passing the re­sul­ting equation...
  • Global Arrays

  • Referenced in 10 articles [sw07425]
  • Global Arrays (GA) toolkit provides an efficient and portable ”shared-memory” programming interface for distributed ... parallel program can asynchronously access logical blocks of physically distributed dense multi-dimensional arrays, without ... same program, and to take advantage of existing message-passing software libraries. Global Arrays ... such as NWChem use the Global Arrays programming toolkit to provide high-performance parallel processing...
  • APL

  • Referenced in 79 articles [sw01165]
  • book A Programming Language)[2] is a programming language developed in the 1960s by Kenneth ... Iverson. Its central datatype is the multidimensional array. It uses a large range of special ... development of concept modeling, spreadsheets, functional programming,[4] and computer math packages...
  • Blitz++

  • Referenced in 35 articles [sw00082]
  • Blitz++ provides dense numeric arrays for C++ with performance on par with Fortran. It does ... template meta-programs). In addition to fast performance, Blitz++ arrays provide many nice notations...
  • pMatlab

  • Referenced in 6 articles [sw12984]
  • provide an efficient mechanism for running Matlab programs on parallel computers. pMatlab provides ... that implement distributed Matlab arrays. Parallel array programming has proven to be an effective programming ... style. The primary advantages of distributed array programming are: Message passing is done implicitly; Existing...
  • Booster

  • Referenced in 6 articles [sw33291]
  • acceleration-based verification framework for array programs. We present Booster, a new framework developed ... verifiying programs handling arrays. Booster integrates new acceleration features with standard verification techniques, like Lazy ... Abstraction with Interpolants (extended to arrays). The new acceleration features ... scaling-up in the verification of programs with arrays, allowing Booster to efficiently generate required...
  • CUDAnative.jl

  • Referenced in 6 articles [sw31975]
  • CUDAnative.jl: GPU kernel programming support; CuArrays.jl: array programming interface...
  • SAFARI

  • Referenced in 10 articles [sw28669]
  • SAFARI: SMT-Based Abstraction for Arrays with Interpolants. We present SAFARI, a model checker designed ... universally quantified) safety properties of imperative programs with arrays of unknown length. SAFARI is based...
  • SDEF

  • Referenced in 4 articles [sw12063]
  • Systolic Programming System. SDEF, a systolic array programming system, is presented. It is intended ... motivate SDEF’s program notation. The programming system treats a special class of systolic computations ... database, and a systolic array simulator used to test SDEF programs. The system currently runs ... problem of porting it to a Transputer array is discussed...
  • c2i

  • Referenced in 6 articles [sw19488]
  • numerical programs, prove functional specifications of array manipulating programs, prove safety properties of string manipulating...
  • Algorithm 719

  • Referenced in 41 articles [sw13183]
  • reads this source program and outputs a program with the appropriate multiprecision subroutine calls. This ... integer, real, and complex datatypes. The required array space for multiprecision data types is automatically...
  • EUREKA

  • Referenced in 3 articles [sw20979]
  • symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements ... array elements. This language fragment easily encodes a large class of programs for which...
  • TimberWolf

  • Referenced in 18 articles [sw16460]
  • each program. Programs for standard cell, macro/custom cell, and gate-array placement, as well ... show that area savings over existing layout programs ranging from 15 to 62% are possible...
  • xtensor

  • Referenced in 3 articles [sw32592]
  • inspired by NumPy, the Python array programming library. Adaptors for existing data structures...
  • Loo.py

  • Referenced in 3 articles [sw14864]
  • Array Program Transformation with Loo.py by Example: High-Order Finite Elements. To concisely and effectively...