نتایج جستجو برای: le message
تعداد نتایج: 188337 فیلتر نتایج به سال:
Model checking. La vérification automatique des systèmes réactifs, critiques et/ou embarqués est aujourd’hui un problème très important. D’une part, parce que l’usage de ces systèmes s’est considérablement étendu ces dernières années et d’autre part, parce que leur complexité s’est largement accrue. Leur développement, depuis leur spécification jusqu’à leur implémentation, requiert donc des app...
In the gathering problem, a particular node in a graph, the base station, aims at receiving messages from some nodes in the graph. At each step, a node can send one message to one of its neighbor (such an action is called a call). However, a node cannot send and receive a message during the same step. Moreover, the communication is subjet to interference constraints, more precisely, two calls i...
le rouge et le noir est une chronique de 1830 où fiction et réalité se mêlent et mêlent leurs limites, jouant ainsi avec le savoir du lecteur. les personnages du roman y sont nommément définis comme des «français de 1830» et l’histoire du héros, julien, peut se comprendre essentielement et presque exclusivement comme celle d’un jeune plébéien à qui la restauration a barré la route . ...
le mythe gémellaire a pour fonction de montrer la dualité dans l’homme. dualité qui est la conséquence de rivalité, de jalousie, d’amour et de haine, mais cette dualité constitue les notions de la mortalité et l’immortalité. michel tournier actualise le thème de la dualité et lui procure un contenu nouveau. prise dans les paradigmes astreignants, l’histoire de jean-paul commençait par de sombre...
The k-set agreement problem is a coordination problem where each process is assumed to propose a value and each process that does not crash has to decide a value such that each decided value is a proposed value and at most k different values are decided. While it can always be solved in synchronous systems, k-set agreement has no solution in asynchronous send/receive message-passing systems whe...
Résumé: Dans ce travail nous explorons différentes causes de la variation phonétique. L'analyse d'un corpus multilingue de plusieurs types de parole nous permet d'observer une distinctivité variable des voyelles de chaque système en fonction du contexte de production. Cette variabilité peut être attribuée 1/ à la spécificité des systèmes vocalique, 2/ à la quantité d'information véhiculée dans ...
marguerite yourcenar, née marguerite antoinette jeanne marie ghislaine cleenewerck de crayencour le 8 juin 1903 à bruxelles et morte le 17 décembre 1987 à bangore, dans letat du maine (etats-unis), est une écrivaine française, naturalisée américaine, auteur de romans et de nouvelles « humanistes », ainsi que de récits autobiographiques. elle fut aussi poète, traductrice, essayiste et critique. ...
A secure non-interactive electronic cash system is presented. The system requires no interaction between users. All transactions in this system consist of sending a message and possibly appending data to a public le. This system improves on the only other non-interactive electronic cash system in the areas of security and untraceability.
La notion de graphes augmentés a été introduite dans le but d’analyser le phénomène des ”six degrés de séparation entre individus” observé empiriquement par le psychologue Milgram dans les années 60. De façon formelle, un graphe augmenté est une paire (G,φ), où G est un graphe et φ une collection de distributions de probabilité {φu,u∈V (G)}. Un lien supplémentaire est attribué à chaque noeud u ...
We present an implementation methodology for message{ passing applications, called Ensemble applied to MPI. Applications are implemented by reusable executables having open, scalable interfaces and by scripts specifying process communication graphs, annotated with application execution information. An MPICH procgroup le is generated from scripts and executed my mpirun.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید