• PETSc

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

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

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

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

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

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

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

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

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

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

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

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

  • Referenced in 85 articles [sw14923]
  • Project while the parallel execution of FEM assembly is accomplished by the PyOP2 system...
  • 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 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...
  • Velvet

  • Referenced in 30 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 51 articles [sw02915]
  • separately compiling reactive processes and for assembling them in complex systems. Following this principle...
  • 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...