Software Map
Project Tree
Now limiting view to projects in the following categories:
Operating System :: OS Independent [Remove This Filter]
Intended Audience :: Developers [Remove This Filter]
Kind :: Publication(s) [Remove This Filter]
|
Kind > Software
|
Browse By:
|
7 projects in result set.
CoqFiniteGroups
- Formal proof of the Feit-Thompson theorem
Ssreflect plugin for the Coq proof assistant
|
- Environment : Other Environment[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : End Users/Desktop[Filter]
- Kind : Publication\(s\) (Now Filtering)
- Kind : Software[Filter]
- License : CeCILL[Filter]
- License : CeCILL-B[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent (Now Filtering)
- Programming Language : ML[Filter]
- Programming Language : Other[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 74.01
Registered: 2006-06-21 14:09 |
Active Data
- A programming model and framework for managing Big Data in hybrid distributed computing infrastructures.
|
- Development Status : 3 - Alpha[Filter]
- Environment : No Input/Output \(Daemon\)[Filter]
- Intended Audience : Developers (Now Filtering)
- Kind : Publication\(s\) (Now Filtering)
- Kind : Software[Filter]
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : OS Independent (Now Filtering)
- Programming Language : Java[Filter]
- Research center : Montbonnot[Filter]
- Topic : Scientific/Engineering[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 34.56
Registered: 2012-06-25 21:04 |
ISICIL
- Le projet ISICIL vise à prouver l'efficacité de l'intégration des technologies du web sémantique et des réseaux sociaux au sein d'outils collaboratifs, notamment dans le cadre de la veille en entreprise.
|
- Development Status : 1 - Planning[Filter]
- Environment : Web Environment[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : End Users/Desktop[Filter]
- Intended Audience : System Administrators[Filter]
- Kind : Publication\(s\) (Now Filtering)
- Kind : Software[Filter]
- Kind : Work group[Filter]
- License : Public Domain[Filter]
- Natural Language : French[Filter]
- Operating System : OS Independent (Now Filtering)
- Programming Language : Java[Filter]
- Programming Language : JavaScript[Filter]
- Research center : Sophia Antipolis[Filter]
- Topic : Internet[Filter]
- Topic : Office/Business[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 0.00
Registered: 2009-03-05 15:16 |
Grid4all Scheduling Service
- The GRID Scheduling Service
|
- Development Status : 1 - Planning[Filter]
- Environment : No Input/Output \(Daemon\)[Filter]
- Environment : Other Environment[Filter]
- Environment : Web Environment[Filter]
- Intended Audience : Developers (Now Filtering)
- Kind : Publication\(s\) (Now Filtering)
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent (Now Filtering)
- Programming Language : Java[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : System[Filter]
|
Activity Percentile: 0.00
Registered: 2007-12-28 08:17 |
Predicting patents from Pubmed
- Predict patents by text mining PubMed.
|
- Development Status : 1 - Planning[Filter]
- Intended Audience : Developers (Now Filtering)
- Kind : Publication\(s\) (Now Filtering)
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent (Now Filtering)
- Programming Language : Python[Filter]
- Research center : Rocquencourt[Filter]
- Topic : Scientific/Engineering : Data Mining[Filter]
|
Activity Percentile: 0.00
Registered: 2011-10-17 15:57 |
Snooze
- Snooze is a scalable, autonomic, and energy-aware virtual machine (VM) management framework based on a self-organizing hierarchical architecture.
|
- Development Status : 5 - Production/Stable[Filter]
- Environment : No Input/Output \(Daemon\)[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : Other Audience[Filter]
- Intended Audience : System Administrators[Filter]
- Kind : Publication\(s\) (Now Filtering)
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent (Now Filtering)
- Programming Language : Java[Filter]
- Research center : Rennes[Filter]
- Topic : System : Clustering/Distributed Networks[Filter]
- Topic : System : Software Distribution[Filter]
- Topic : System : Systems Administration[Filter]
|
Activity Percentile: 0.00
Registered: 2012-01-13 12:55 |
WAVE : a topological parallel language
- WAVE is an experimental parallel programming language. It forces a programmer to think differently. One could say that it is "topological" because a WAVE program makes explicit how data are organized. The Fibonacci series writes 0;1{;+} in WAVE.
|
- Development Status : 3 - Alpha[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : End Users/Desktop[Filter]
- Kind : Publication\(s\) (Now Filtering)
- Kind : Software[Filter]
- Kind : Work group[Filter]
- License : OSI Approved : MIT/X Consortium License[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent (Now Filtering)
- Programming Language : JavaScript[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Nancy[Filter]
- Topic : Software Development : Compilers[Filter]
- Topic : Software Development : Interpreters[Filter]
|
Activity Percentile: 0.00
Registered: 2013-10-16 07:15 |
