Home My Page Projects

Project List

1039 projects in result set.
<1> <2> <3> <4> <5> <6> <7> <8> <9> <10> <11> <12> <13> <14> <15> <16> <17> <18> <19> <20> <21> <22> <23> <24> <25> <26> <27> <28> <29> <30> <31> <32> <33> <34> <35> <36> <37> <38> <39> <40> <41> <42> <43> <44> <45> <46> <47> <48> <49> <50> <51> <52>
KASTORS - The recent introduction of task dependencies in the OpenMP specification provides new ways of synchronizing tasks. Application programmers can now describe the data a task will read as input and write as output, letting the runtime system resolve fine-grain dependencies between tasks to decide which task should execute next. Such an approach should scale better than the overkill global synchronization found in most OpenMP 3.0 applications. As promising as it looks however, any new feature needs proper evaluation to encourage application programmers to embrace it. The KASTORS benchmarks suite is designed to evaluate OpenMP tasks dependencies. We modified state-of-the-art OpenMP 3.0 benchmarks and data-flow parallel linear algebra kernels to make use of tasks dependencies. Learning from this experience, we propose extensions to the actual OpenMP specification to improve the expressiveness of dependencies. KASTORS could be used to evaluate performances of OpenMP implementations of task dependencies compared to taskwait-based approaches.

Register Date: 2014-05-27 08:40

KcatoS - Édition d'arbres de décisions en ligne.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2013-05-30 15:02

KDD18 - Available code for KDD submission
This project has not yet categorized itself in the Trove Software Map
Register Date: 2017-10-13 19:55

Kermeta - Kermeta is a Model-Oriented language based on an object-oriented executable meta-modeling paradigm. It features a comprehensive environment for MetaModel Engineering. It is built as an executable extension to MOF.

Register Date: 2005-06-29 12:30

Kermeta2 - Kermeta2 is the major evolution of Kermeta : This tool helps to build other tool by weaving behavior in metamodels.

Register Date: 2012-09-07 12:50

Kerrighed - Kerrighed is an open source distributed operating system for clusters. It offers the view of a unique shared memory multiprocessor on top of a cluster. It is implemented by extending the linux kernel.

Register Date: 2005-08-16 10:18

Kevoree - Model@Runtime platform : model driven middleware to archive intelligent reflective layer in CBSE.

Register Date: 2011-01-25 16:32

knem - knem is a high-performance message passing interface for MPI communication between local processes. Its Linux kernel module efficiently moves data between process' address spaces and may offload memory copies on Intel I/OAT hardware.

Register Date: 2009-05-24 17:08

Knowledge Graph Abstract Machine - KGRAM stands for Knowledge Graph Abstract Machine. It is a generic SPARQL 1.1 interpreter designed to process labelled graphs including, but not limited to, RDF. The target graph must implement a simple Edge/Node API (Java interface).

Register Date: 2011-02-10 12:37

kpassa - KPASSA aims at the modeling and simulation of data-intensive processing applications. As main features, it explicitly handles periodic schedules, checks deadlock-freeness and computes local memories bounds needed by this steady regime.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2010-12-08 10:14

Krajono - A Matita to Dedukti translator
This project has not yet categorized itself in the Trove Software Map
Register Date: 2014-12-01 17:02

KSTAR - A source-to-source OpenMP compiler based on Clang for portable and efficient application programming on task-based runtime systems.

Register Date: 2013-11-05 16:08

Lambda Prolog Development Tools (LPDT) - LPDT is an Eclipse plugin which offers a complete development environment for Prolog/Mali (PM), an implementation of LambdaProlog which has been designed in the former MALI Project at IRISA/INRIA Rennes. It needs the CDT plugin and the PM compiler.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2008-07-16 13:41

Lambda-prolog implementation of CIC - Study of the type checking, type inference and unification algorithms for CIC in the Lambda-prolog language.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2014-02-10 15:18

LaRA communication thematic group - LaRA (La Route Automatisée) is a JRU aiming at automating road vehicles. Several themes compose this project, one of which is communication.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2006-12-13 15:54

LaTeX Utils - Développement d'outils facilitant la création de documents LaTeX (Makefile générique, ...) et collection de style LaTeX souvent utilisés (styles de journaux, des rapports d'activité, des rapports de recherche, ...)

Register Date: 2006-02-08 13:48

LatticeVisualization - This is the lattice visualization app. It allows user create the context or loading the context with our JSON format from computer, also build and see the line diagram of the lattice on the interface. There are many other functionalities for user can look for the interested concept, by display and hide some parts of lattice, or use the filter of this application.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2015-11-12 10:01

Lazy Lavender - Lazy Lavender is a simulation environment for "cultural knowledge evolultion", i.e., experimenting with several agents evolving their own knowledge through interacting.

Register Date: 2014-01-31 10:14

LDICollision - Système de détection de collision par Depth Peeling sur GPU utilisant la plateforme de simulation médicale SOFA.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2007-10-01 12:52

leopar - the Leopar project has moved to a new GForge projet semagramme (https://gforge.inria.fr/projects/semagramme)

Register Date: 2006-10-04 09:23

1039 projects in result set.
<1> <2> <3> <4> <5> <6> <7> <8> <9> <10> <11> <12> <13> <14> <15> <16> <17> <18> <19> <20> <21> <22> <23> <24> <25> <26> <27> <28> <29> <30> <31> <32> <33> <34> <35> <36> <37> <38> <39> <40> <41> <42> <43> <44> <45> <46> <47> <48> <49> <50> <51> <52>