• PETSc

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

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

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

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

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

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

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

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

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

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

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

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

  • Referenced in 88 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...
  • AsmL

  • Referenced in 45 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 65 articles [sw05721]
  • Finite Elements and associated tools such as assembly procedures for classical problems, interpolation methods, computation...
  • Velvet

  • Referenced in 31 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...
  • SIGNAL

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

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