• PETSc

  • Referenced in 1227 articles [sw04012]
  • codes, such as parallel matrix and vector assembly routines. The library is organized hierarchically, enabling...
  • MUMPS

  • Referenced in 459 articles [sw04013]
  • backward error analysis; Various matrix input formats assembled format; distributed assembled format; elemental format; Partial...
  • gmp

  • Referenced in 274 articles [sw00363]
  • using fast algorithms, with highly optimised assembly code for the most common inner loops...
  • DYNAMO

  • Referenced in 257 articles [sw01227]
  • earliest versions were written in assembly language for the IBM 704, then...
  • DOLFIN

  • Referenced in 173 articles [sw04313]
  • algorithms for computational meshes and finite element assembly. To provide a simple and consistent user...
  • Twelf

  • Referenced in 170 articles [sw06888]
  • projects using Twelf include the TALT typed assembly language, a foundational proof-carrying-code system...
  • TensorToolbox

  • Referenced in 164 articles [sw04185]
  • have the property that they can be assembled from more basic components. We consider...
  • UniProt

  • Referenced in 131 articles [sw21320]
  • proteome identifier that uniquely identifies a particular assembly of a species and strain or subspecies...
  • seL4

  • Referenced in 84 articles [sw15222]
  • implementation. We assume correctness of compiler, assembly code, and hardware, and we used a unique ... code and 600 lines of assembler. Its performance is comparable to other high-performance...
  • Risa/Asir

  • Referenced in 113 articles [sw00806]
  • mainly in C language and partly in assembler. It serves as the basic operation part...
  • VMD

  • Referenced in 84 articles [sw18651]
  • such as proteins, nucleic acids, lipid bilayer assemblies, etc. It may be used to view...
  • Camellia

  • Referenced in 83 articles [sw09731]
  • hardware. An optimized implementation of Camellia in assembly language can encrypt on a Pentium...
  • TALx86

  • Referenced in 45 articles [sw34511]
  • Typed assembly language (TAL). TALx86: A Realistic Typed Assembly Language. In previous work, we presented ... formalism for a statically typed, idealized assembly language called TAL. The goal ... progress in defining and implementinga realistic typed assembly language called TALx86. The TALx86 instructions comprise ... Intel IA32 (32-bit 80x86 flat model) assembly language and are thus executable on processors...
  • Nektar++

  • Referenced in 78 articles [sw11964]
  • generation followed by a global linear system assembly and solve. The lack of inter-element...
  • Firedrake

  • Referenced in 78 articles [sw14923]
  • Project while the parallel execution of FEM assembly is accomplished by the PyOP2 system...
  • AsmL

  • Referenced in 43 articles [sw11363]
  • models can interoperate with any other .NET assembly, no matter what source language ... with other .NET languages. AsmL generates .NET assemblies which can either be executed from ... command line, linked with other .NET assemblies, or packaged as COM components...
  • Getfem++

  • Referenced in 60 articles [sw05721]
  • Finite Elements and associated tools such as assembly procedures for classical problems, interpolation methods, computation...
  • SIGNAL

  • Referenced in 51 articles [sw02915]
  • separately compiling reactive processes and for assembling them in complex systems. Following this principle...
  • Velvet

  • Referenced in 27 articles [sw17026]
  • Velvet: Algorithms for de novo short read assembly using de Bruijn graphs. We have developed ... manipulate de Bruijn graphs for genomic sequence assembly. A de Bruijn graph is a compact ... information. Velvet represents a new approach to assembly that can leverage very short reads ... combination with read pairs to produce useful assemblies...
  • SALBPGen

  • Referenced in 21 articles [sw14513]
  • SALBPGen - A systematic data generator for (simple) assembly line balancing. Assembly line balancing ... extensively researched decision problem which arises when assembly line production systems are designed and operated ... instance generator for the simple assembly line balancing problem (SALBP) which can be applied ... other assembly line balancing problem, too. It is able to systematically create instances with very...