• OACC

  • Referenced in 1 article [sw10996]
  • The Online Algorithmic Complexity Calculator. The Online Algorithmic Complexity Calculator (OACC) is an on-going long-term project of the Algorithmic Nature Group to develop an online ...
  • OAHM

  • Referenced in 2 articles [sw01076]
  • OAHM: A Fortran subroutine for solving a class of unsymmetric linear systems of equations. The discretization, by means of the usual 5-point difference formulae, of ...
  • Oases

  • Referenced in 2 articles [sw17027]
  • Oases: robust de novo RNA-seq assembly across the dynamic range of expression levels. Motivation: High-throughput sequencing has made the analysis of new model organisms more ...
  • Oasis

  • Referenced in 1 article [sw16797]
  • Oasis: a high-level/high-performance open source Navier-Stokes solver. Oasis is a high-level/high-performance finite element Navier-Stokes solver written from scratch in Python using building blocks from the ...
  • OASIS

  • Referenced in 21 articles [sw00644]
  • ASIS has proven to be an effective platform for developing various program analysis tools. However, in many cases ASIS, as defined in the ASIS ISO ...
  • Oat

  • Referenced in 2 articles [sw05755]
  • Optimization Algorithm Toolkit is a workbench and toolkit for developing, evaluating, and playing with classical and state-of-the-art optimization algorithms on standard benchmark problem domains. It ...
  • OBJ3

  • Referenced in 95 articles [sw05370]
  • OBJ3 is a program specification and proof system based on order sorted equational logic. It has been successfully used for research and teaching in software ...
  • ObjectCheck

  • Referenced in 2 articles [sw00645]
  • Specifying software system designs with executable object-oriented modeling languages such as XUML, an executable dialect of UML, opens the possibility of verifying these system designs ...
  • ObjectCurry

  • Referenced in 3 articles [sw01593]
  • ObjectCurry: an object-oriented extension of the declarative multi-paradigm language curry Curry combines the concepts of functional, logic and concurrent programming languages. Concurrent programming with ports ...
  • ObjectMath

  • Referenced in 3 articles [sw12685]
  • Object oriented mathematical modelling and compilation to parallel code. The current state of the art in programming for scientific computing is still rather low-level. The ...
  • objectSignals

  • Referenced in 1 article [sw14581]
  • objectSignals: objectSignals. A mutable Signal object can report changes to its state, clients could register functions so that they are called whenever the signal is ...
  • Objlog+

  • Referenced in 2 articles [sw06919]
  • Easy definition of new facets in the frame-based language Objlog+ This article aims at presenting a method that allows to extend frame-based languages at the ...
  • OBLIC

  • Referenced in 1 article [sw02262]
  • OBLIC: classification system using evolutionary algorithm. We present a new classification system based on Evolutionary Algorithm (EA), OBLIC. This tool is an OBLIque Classification system ...
  • Oblio

  • Referenced in 3 articles [sw13148]
  • Oblio: A Sparse Direct Solver Library for Serial and Parallel Computations. We present Oblio, a sparse direct solver library running in both serial and parallel ...
  • OBOE

  • Referenced in 6 articles [sw04713]
  • OBOE (Oracle Based Optimization Engine) is an open source software for general convex optimization. It assumes that a user-made code, thereafter named oracle, is capable ...
  • OBSCURE

  • Referenced in 6 articles [sw02575]
  • OBSCURE, a specification language for abstract data types. OBSCURE is a specification language for abstract data types. It differs from classical specification languages by handling ...
  • Obsidian

  • Referenced in 2 articles [sw14048]
  • Obsidian: GPU Programming in Haskell. Obsidian is a language for data-parallel programming embedded in Haskell. As the Obsidian programs are run, C code is generated. ...
  • ObSim-2

  • Referenced in 1 article [sw18582]
  • Oberon-2 as successor of Modula-2 in simulation. In the report the programming languages Oberon-2 is discussed from the point of view of convenience to program ...
  • ObsPy

  • Referenced in 0 articles [sw06626]
  • ObsPy: A Python Toolbox for Seismology The wide variety of computer platforms, file formats, and methods to access seismological data often requires considerable effort in ...
  • OBSTRUCT

  • Referenced in 3 articles [sw16886]
  • OBSTRUCT: a program to obtain largest cliques from a protein sequence set according to structural resolution and sequence similarity. A program OBSTRUCT has been developed ...