Grid services often consist of remote sequential or rigid parallel application executions. However, moldable parallel applications, linear algebra solvers for example, are of great interest but requires dynamic tuning which has mostly to be done interactively if performances are needed. Thus, their grid execution depends on a remote and transparent submission to a possibly different batch sched...

We propose an interactive approach for image processing application design. Within this approach, the user binds results from operator scripts to concepts of the scene model, instead of performing a "trial and error" process with the operators (one chooses an operator, sets its parameters and runs it, then evaluates Il est cependant possible de réaliser une application de manière incrémentale e...

Embedded systems require safe design methods based on formal methods, as well as safe execution based on fault-tolerance techniques. We propose a safe design method for safe execution systems: it uses optimal discrete controller synthesis (DCS) to generate a correct reconfiguring fault-tolerant system. The properties enforced concern consistent execution, functionality fulfillment (whatever the...

ion basée sur la profondeur des variables d’états Une première idée pour automatiser la sélection des variables à abstraire est d’utiliser la profondeur des variables d’états. Cette profondeur correspond au nombre de variables d’état sur le plus court chemin entre la variable d’état candidate à l’abstraction et les sorties des propriétés à vérifier. Cette profondeur se calcule pour l’ensemble d...

The subject of this essay is the dialectic between word and thought. Between the word and the thought there is therefore no priority of one over the other, but mutual presupposition and a perpetual overlapping: it is at this level that the link between word and thought is actually affected by creativity. Between thought and word there has always implicitly been an original complicity that makes...