The concept of synchronous programming has been proposed and widely accepted in the design of real-time systems, circuits, and embedded systems. Some recent researches have also proposed a mechanism to distribute a synchronous system over asynchronous networks. Meanwhile, Uml is also becoming a standard framework of object-oriented methodologies. Our research aims to take advantage of these ric...

In this paper we address the problem of estimating and analyzing the motion in image sequences showing uid phenomenon. Due to the great deal of spatial and temporal distortions that luminance patterns exhibit in images of uid, standard techniques from Computer Vision, originally designed for quasi-rigid motions with stable salient features, are not well adapted in this context. In that prospect...

Objective: T h e mortality for men is not only greater than that of women as indicated by the life expectancy but of the five leading cause of death in the nation (malignant neoplasms; cerebrovascular disease; heart disease; diabetes mellitus and homicides), the rates for men were greater in four (malignant neoplasms; cerebrovascular; hea rt d is e a se and homicides). Despite these realities ,...

We present a new perspective, which is at the intersection of K-stability and Diophantine arithmetic geometry. It builds on work Boucksom Chen (Compos Math 147(4):1205–1229, 2011), et al. (Math Ann 361(3–4):811–834, 2015), (Ann Inst Fourier (Grenoble) 67(2):743–841, 2017), Codogni Patakfalvi (Invent 223(3):811–894, 2021), Fujita (Amer J 140(2):391–414, 2018), (J reine angew 751:309–338, 2019), ...

In the context of content-based image retrieval from large databases, traditional systems typically compute a single descriptor per image based for example on color histograms. The result of a query is in general the images whose descriptors are the closest to the descriptor of the query image. Systems built this way are able to return images that are globally similar to the query image, but ca...

In today's eld of distributed software architectures there is a need for environments allowing the easy development of applications consisting of heterogeneous software modules and having various Quality of Service requirements (e.g., timeliness, availability or security). System customization using middleware-services is a promising solution to deal with the coexistence of multiple application...

Les polyn^ omes d'Ehrhart constituent un r esultat math ematique important, permettant d'exprimer le nombre de solutions enti eres d'un syst eme d' equations et d'in equations rationnelles et param etriques. L'informatique trouve ici un outil permettant une analyse symbolique exacte des programmes. Nous montrons dans cet article que le math ematicien Eug ene Ehrhart a pos e les bases d'un vaste...

This report presents a new use of safe Petri nets in the eld of distributed Discrete Event Dynamic Systems, with application to telecommunication network management. This study has in its long range objectives to provide a generic supervisor, which can be easily distributed on a set of sensors. Petri nets are used to provide both a model and an algorithm in fault management domain. Key features...

In this paper, we present condition based solutions to k-set agreement problems. A condition C is a set of input vectors to the problem. We identify a class of conditions that allow to solve k-set agreement in spite of f crashes in an asynchronous system. Moreover, we design a protocol that is always safe: it is guaranteed to terminate when the input vector belongs to C or there are less than k...