 |
 |
|
 |
|
14 projects in result set.
1. Correctly Rounded Math Library - The purpose of this project is to offer a mathematical library (libm) with proven, IEEE-754 compliant, correct rounding in the four rounding modes, and performances comparable to standard libms.
| - Development Status: 4 - Beta [Filter]
- License: GNU Lesser General Public License \(LGPL\) [Filter]
- LIP research teams: Arénaire \(computer arithmetic\) [Filter]
- Programming Language: C [Filter]
- Topic: Mathematics [Filter] , Operating System Kernels [Filter]
|
Activity Percentile: 80.00
Activity Ranking: 2.00
Register Date: 2004-04-06 18:13 |
2. FLIP - FLIP (Floating-Point Library for Integer Processors) is a C library for software support of single precision floating-point (FP) arithmetic on processors without FP hardware units such as VLIW or DSP processor cores for embedded applications.
| |
Activity Percentile: 40.00
Activity Ranking: 4.00
Register Date: 2004-05-10 13:44 |
3. Higher-Order Table-Based method - VHDL generator for function evaluation operators using the Higher-Order Table-Based Method (HOTBM).
| - Development Status: 4 - Beta [Filter]
- Environment: Console (Text Based) [Filter]
- Intended Audience: Developers [Filter]
- License: GNU General Public License \(GPL\) [Filter]
- LIP research teams: Arénaire \(computer arithmetic\) [Filter]
- Natural Language: English [Filter]
- Operating System: Linux [Filter]
- Programming Language: C++ [Filter]
- Topic: Electronic Design Automation (EDA) [Filter]
|
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2005-03-04 12:55 |
4. FPLibrary - Portable VHDL library of parameterizable arithmetic operators for floating-point and logarithmic number systems.
| - Development Status: 4 - Beta [Filter]
- Intended Audience: Developers [Filter]
- License: GNU General Public License \(GPL\) [Filter]
- LIP research teams: Arénaire \(computer arithmetic\) [Filter]
- Natural Language: English [Filter]
- Operating System: OS Independent [Filter]
- Topic: Electronic Design Automation (EDA) [Filter] , Hardware [Filter]
|
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2004-05-03 14:49 |
5. Divgen - Divgen is a divider generator. It generates synthesizable VHDL descriptions of division units. Various algorithms, representations, radices, and parameters are supported.
| - Development Status: 4 - Beta [Filter]
- Environment: Console (Text Based) [Filter]
- Intended Audience: Developers [Filter] , End Users/Desktop [Filter]
- License: GNU General Public License \(GPL\) [Filter]
- LIP research teams: Arénaire \(computer arithmetic\) [Filter]
- Natural Language: English [Filter]
- Operating System: Linux [Filter]
- Programming Language: C++ [Filter]
- Topic: Electronic Design Automation (EDA) [Filter]
|
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2004-08-31 11:18 |
6. PAPIER - PVS Automatic proofs for intervals and rationals
| |
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2004-10-08 13:47 |
7. Moduli - Algorithms and circuit implementations of modular reduction algorithms.
| |
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2004-11-25 01:04 |
8. Rapport Arenaire 2004 - Rapport d'activité Arénaire 2004
| - LIP research teams: Arénaire \(computer arithmetic\) [Filter]
- Natural Language: English [Filter]
|
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2004-10-28 12:41 |
9. Gappa - Gappa - Génération automatique de preuves de propriétés arithmétiques (pour des programmes effectuant des calculs flottants)
| - Development Status: 4 - Beta [Filter]
- Environment: Console (Text Based) [Filter]
- Intended Audience: Developers [Filter]
- License: GNU General Public License \(GPL\) [Filter]
- LIP research teams: Arénaire \(computer arithmetic\) [Filter]
- Natural Language: English [Filter]
- Operating System: OS Independent [Filter]
- Programming Language: C++ [Filter]
- Topic: Scientific/Engineering [Filter]
|
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2004-07-06 15:19 |
10. ROXANE - The purpose of this project is to mutualise the efforts on specific libraries in computer algebra that are done in different groups and to provide a common environment and dedicated tools.
| - Intended Audience: Developers [Filter] , End Users/Desktop [Filter]
- LIP research teams: Arénaire \(computer arithmetic\) [Filter]
- Topic: Scientific/Engineering [Filter]
|
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2004-06-18 11:11 |
11. PFF - PFF
(Preuves Formelles sur les Flottants = Formal Proofs about Floats) is a repository of a Coq library about floating-point arithmetic.
It contains both definitions and proofs of basic facts, old & new properties and algorithms.
| - LIP research teams: Arénaire \(computer arithmetic\) [Filter]
|
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2004-04-29 14:01 |
12. Reconfigurable Hash operators - The goal of this project is to analyze the existing hash algorithms from an arithmetic and architectural point of view, in order to implement a few of them, sharing some computational units, on a reconfigurable architecture.
| |
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2005-09-06 14:24 |
13. Constant Matrix Multiplication Optimizer - Un outil pour l'optimisation d'algoithme de multiplication par des matrices constantes, à base d'additions/soustractions et de décalages.
| - Development Status: 2 - Pre-Alpha [Filter]
- Environment: Console (Text Based) [Filter]
- Intended Audience: End Users/Desktop [Filter]
- License: GNU General Public License \(GPL\) [Filter]
- LIP research teams: Arénaire \(computer arithmetic\) [Filter]
- Natural Language: English [Filter]
- Operating System: Linux [Filter]
- Programming Language: C++ [Filter]
- Topic: Mathematics [Filter]
|
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2004-05-10 15:41 |
14. Machine-efficient polynomials library - MEPLib is a library that automatically generates accurate and fast polynomial approximations for computers. Input constraints for MEPLib include: function, domain, degree/accuracy, size and formats, and possibly values of some coefficients.
| - Development Status: 3 - Alpha [Filter]
- Environment: Other Environment [Filter]
- Intended Audience: Other Audience [Filter]
- License: GNU Lesser General Public License \(LGPL\) [Filter]
- LIP research teams: Arénaire \(computer arithmetic\) [Filter]
- Natural Language: English [Filter]
- Operating System: OS Independent [Filter]
- Programming Language: C [Filter]
- Topic: Scientific/Engineering [Filter]
|
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2004-05-10 17:16 |
|
|
 |
|
 |
|
|
Development Status