Issues in adaptive mesh refinement implementation.
Iterative and metric algebraic theories
Jazyk SNOBOL I a jeho realizácia
Knowledge sharing in organizational structures
The organizational structure is usually defined using the best experience and there is a minimum of formal approach involved. This paper shows the possibilities of the theory of concept analysis that can help to understand organizational structure based on solid mathematical foundations. This theory is extended by the concept of knowledge sharing and diversity that enables to evaluate the organizational structure. The alternative approach based on the hierarchical methods of cluster analysis is...
La formalisation des langages de programmation
Langages d'interprétation des schémas récursifs
L'Edif, un format estàndar per a l'intercanvi de dades de dissenys electrònics.
En estos últimos años, el rápido incremento de los sistemas CAE/CAD en el campo de la electrónica ha hecho que la transferencia de información de unos sistemas a otros fuese un problema creciente. En consecuencia, se ha hecho necesaria una estandarización de los lenguajes de diseño y de los formatos de intercambio de datos. EDIF (Electronic Design Interchange Format) nace para responder a esta necesidad de estandarización.Este artículo describe la implementación de un reconocedor del formato EDIF...
Les tests et leur caractérisation syntaxique
Logic and functional programming by retractions
Logic and functional programming by retractions : operational semantics
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.