Mathematical description of program diagram
Mathematical theory of static systems
Méthode axiomatique sur les propriétés de fatalité des programmes parallèles
Metrics for Evaluation of Metaprogram Complexity
Modèles analytiques approximatifs d'un phénomène de blocage systématique dans une architecture multiprocesseur matricielle
Modeling a fuzzy coprocessor and its programming language.
A computational model for a fuzzy coprocessor (types and structures of data and the set of instructions) is proposed. The coprocessor will be charged only of the typical operations of fuzzy logic as calculating membership degrees, unions and intersections of fuzzy sets, fuzzy inferences, defuzzifications and so on. One main novelty is that the programming language admits fuzzy rules conditions in which there would be linguistic edges preceding the predicates and the coprocessor is designed to deal...
Modeling of distributed objects computing design pattern combinations using a formal specification language
Design patterns help us to respond to the challenges faced while developing Distributed Object Computing (DOC) applications by shifting developers' focus to high-level design concerns, rather than platform specific details. However, due to the inherent ambiguity of the existing textual and graphical descriptions of the design patterns, users are faced with difficulties in understanding when and how to use them. Since design patterns are seldom used in isolation but are usually combined to solve...
Modélisation d'une architecture parallèle pour le traitement d'images
Modelling the dynamical behaviour of computer systems
Monad compositions. I: General constructions and recursive distributive laws.
Multiopérateurs - Multiopérations