• 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 ...

• OASIS3

• Referenced in 3 articles [sw20201]
• The OASIS3 coupler: a European climate modelling community software. This paper presents the OASIS3 coupling software used in five of the seven European Earth System ...

• 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 98 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 ...