-
Pajé, an Extensible and Interactive and Scalable Environment for Visualizing ...
This report describes Pajé, an interactive visualization tool for displaying the execution of parallel applications where a (potentially) large number of communicating... -
From Diagrammatic Confluence to Modularity
International audience -
Proposal for a Natural Language Processing Syntactic Backbone
The purpose of this paper is to present a grammatical formalism that extends context-free grammars and aims at being a convincing challenger as a syntactic base for... -
Modular Aspects of Rewrite-Based Specifications
We investigate modular properties of term rewriting systems, the basic operational formalism for equational specifications. First we study sufficient conditions for... -
Compositionality in Dataflow Synchronous Languages: Specification & Code Gene...
Modularity is advocated as a solution for the design of large systems, the mathematical translation of this concept is often that of compositionality. This paper is... -
Colored-Object Programming : Inheritance by Dimensions
Action LeTool -
Fuzziness and Overlapping Communities in Large-Scale Networks
International audience -
Analysis of modular organisation of interaction networks based on asymptotic ...
International audience -
Managed Data: Modular Strategies For Data Abstraction
International audience -
Modular termination of C programs
In this paper we describe a general method to prove termination of C programs in a scalable and modular way. The program to analyse is reduced to the smallest relevant... -
Bootstrap clustering for graph partitioning
International audience -
Dynamics of vertical inter-firm relationships: An analysis by the modularity ...
This text analyzes the implication of modular architecture on buyer-supplier relationships. Considering modularity as a technological innovation, we study how product... -
Modules for all seasons?
National audience -
Trace Management and Analysis for Embedded Systems
The growing complexity of embedded system hardware and software makes their behavior analysis a challenging task. In this context, tracing appears to be a promising... -
Building modular FSPM under OpenAlea: concepts and applications
International audience -
Jasmin: An Alternative for Secure Modularity Inside the Digital Home
International audience -
Toward a methodology of structuring the interactions dynamic within the Multi...
In current economic context, enterprises must provide quality custom products at alower cost and a shorter delay. MABI Company chose to consider these constraints as...
