• PETSc

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

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

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

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

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

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

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

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

  • Referenced in 80 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 106 articles [sw00806]
  • mainly in C language and partly in assembler. It serves as the basic operation part...
  • VMD

  • Referenced in 83 articles [sw18651]
  • such as proteins, nucleic acids, lipid bilayer assemblies, etc. It may be used to view...
  • 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...
  • Camellia

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

  • Referenced in 42 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...
  • Nektar++

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

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

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

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

  • Referenced in 25 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...
  • SHEEP

  • Referenced in 37 articles [sw00855]
  • This version was written in the assembly language MACRO-10 for DEC-10 computers...