BeMoRe: Behaviour Model Repository, an extending Persistent Meta-Modeling Systems with Behavioral Semantics
BigQueries is a framework for data warehouse physical design to optimize big number of analytical queries. It is a modular tool, that can: (1) offers DBA the possibility to select different optimization structures (MV, HDP), based on the interaction of queries, (2) gives an estimation of the queries performance, (3) generates and display an unified query plan, (4) and gives partition schema and fragments allocation in parallel processing context....
Cooperative Human sEMantic dAta maNagement & Exploitation
This module deals with the empty-answer problem in the uncertain database context by proposing efficient approaches to find Minimal Failing Subqueries (MFSs) and maXimal Succeeding Subqueries (XSSs) of failing conjunctive queries.Publications
- Handling failing queries over uncertain databases, In FUZZ-IEEE 2017: https://ieeexplore.ieee.org/document/8015476/...
- QaRSThis module implements two main functionnalities:
- It gives explanation for the failure of a SPARQL query;
- It performs relaxation of a SPARQL query in order to return top-k alternative answers.
- RDF Query Relaxation Strategies Based on Failure Causes, In ESWC 2016: https://link.springer.com/chapter/10.1007/978-3-319-34129-3_27...
Query-and-Relax System (QaRS) For Uncertain Knowledge bases.This module implements the following algorithms:
- αLBA: computes αMFSs and αXSSs of a failing RDF query for a given threshold α.
- NLBA, Bottom-Up, Top-Down and Hybrid: computes αMFSs and αXSSs of a failing RDF query for several thresholds. ...
Approaches For the Too Many Answers Problem in Knowledge Bases. Four algorithms are provided:
- Base: executes all subqueries of a failing query,
- BFS: does not execute queries that have a succeeding superquery,
- Var: BFS + uses a variable-based property to deduce query failure,...
EnerQuery is an energy-aware query optimizer framework. This framework leverages the PostgreSQL query optimizer by integrating energy dimension with many other features.
- KMAD Platform
This project concerns K-MAD platform and its related tool K-MADe.
This project concerns K-MADe (Kernel of Model for Activity Description environment), a tool for contributing to the incorporation of ergonomics into the interactive systems design process, through task and activity analysis. The originality of the tool is to be based on a model whose expressive power lies on a formal semantic. This facilitates task description and analysis, but also querying the model and migrating within models and software life-cycle steps. ...
MathMOuse: A Mathematical MOdels WarehoUSE to handle both Theoretical and Numerical Data
- store mathematical models in a relational database
- provide the user a "query by data" system to query the Warehouse using raw time series as input parameter
MoSaRT (Modeling oriented Scheduling analysis of Real-Time systems) is a model-based framework for design and analyze real-time systems. The underlying idea behind this proposal is to fill the gap between the academic real-time scheduling theory community and industrial practices. Since real-time systems need to be analyzed at an early stage of the development life-cycle in order to check if all the timing requirements are met, one of the main difficulties that the system designers face is to find the appropriate analysis tests helping to validate and/or to dimension properly their designs.Actually, research results have been exploited in industrial contexts only to a modest extent to date....
- Multiprocessor GangScheduling
The project defines a DP-Fair scheduling of Periodic Parallel Tasks. We consider identical processors and Gang Tasks that use simultaneously several processors. The schedule is defined by a pattern that will be used in every slice in the schedule that is delimited by two subsequent task deadlines. Two polynomial-time methods are proposed to define the pattern : an optimal linear programming based approach and an heuristic with a performance guarantee of (2-1/m) on resource augmentation (i.e., processor speedup factor). Both methods are implemented in MATLAB and compared through intensive numerical experiments. All source codes and results are provided. ...
- OntoDB Platform
This project concerns OntoDB platform. It supplies several tools (OntoDB schema, OntoQL, BeMoRe, OntoQL Plus, OntoQL Console...)
- OntoDB Schema
An ontology based database tool, support of multiple ontology models within ontology based database.
OntoDBench offers DBA the possibility to estimate the structuredness of her/his dataset and evaluate the scalability of the three main storage layouts of ontology-based data on its real datasets and workload. Then, according to her/his functionality and scalability requirements, DBA may choose the adequate OBDB. OntoDBench supports the following functionalities: (1) the evaluation of the characteristics of the real datasets, (2) the identification of the relevant storage models for a given OBDB, (3) the expression of the workload queries according to the three representations and (4) the evaluation of the queries performance....
OntoQL is an exploitation language for ontology based databases (OBDB). It allows to query ontologies, data and both ontologies and data.
PandaSQL concerns implementing and optimizing Randomized Triangle Enumeration Algorithm using SQL queries.
Model-based Performance Analysis Repositories for Aadl Designs
This project concerns Prototask, a new task model simulator.
All existing task model simulator require the user to understand task models to be effectively used. The major part of the screen is given to the task tree visualisation, and th user is supposed to watch the task tree to understand the simulation. Resulting from this choice, it is very difficult for end-users to understand task model simulations. ...
- RT Approx FPPS
The project page provides all MATLAB source codes of the algorithms and simulation environments defined in the paper
An FTPAS for Response Time Analysis of Fixed Priority Real-Time Tasks with Resource Augmentation, Thi Huyen Chau Nguyen, Pascal Richard, Emmanuel Grolleau, , 2014, accepted for publication, http://dx.doi.org/10.1109/TC.2014.2346178...
Also available in: Atom