Software Map
Project Tree
Now limiting view to projects in the following categories:
Operating System :: MacOS [Remove This Filter]
Research center :: Saclay - Ile de France [Remove This Filter]
3 projects in result set.
GUIDE
- GUIDE is a Library (and a Graphical User Interface) that allows the generation of evolutionary algorithms suited to the user's needs (even if the user is not an Evolutionary Computation specialist). Two libraries are supported, EO and ECJ.
However, GUIDE is now dead, and this project is used for various projects in TAO.
|
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\)[Filter]
- Environment : X11 Applications[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : CeCILL[Filter]
- Natural Language : English[Filter]
- Operating System : MacOS (Now Filtering)
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Java[Filter]
- Research center : Saclay - Ile de France (Now Filtering)
- Topic : Education : Computer Aided Instruction \(CAI\)[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
- Topic : Software Development : Code Generators[Filter]
|
Activity Percentile: 46.33
Registered: 2008-01-10 17:14 |
TLA+ tools
- The Proof Manager and the GUI toolbox for the TLA+2 specification and proof language.
|
- Development Status : 3 - Alpha[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : OSI Approved : BSD License[Filter]
- Natural Language : English[Filter]
- Operating System : MacOS (Now Filtering)
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Saclay - Ile de France (Now Filtering)
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 0.00
Registered: 2009-09-21 09:47 |
Transcend With SOS
- A project related to my PhD thesis. The aim of the work is the certification of the lower and upper bounds of transcendental and semi-algebraic functions with COQ and external SOS solvers like SparsePOP, Gloptipoly, SDP libraries like CSDP or SDPA.
|
- Development Status : 1 - Planning[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : Public Domain[Filter]
- Natural Language : English[Filter]
- Operating System : MacOS (Now Filtering)
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Saclay - Ile de France (Now Filtering)
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 0.00
Registered: 2012-01-08 22:29 |
