منابع مشابه
Parallel Model Checking for Multiprocessor Architecture mardi 20 décembre 2011
In this thesis, we propose and study new algorithms and data structures for model checking nite-state, concurrent systems. We focus on techniques that target shared memory, multi-cores architectures, that are a current trend in computer architectures. In this context, we present new algorithms and data structures for exhaustive parallel model checking that are as e cient as possible, but also f...
متن کاملNuméro bibliothèque: ThèsedeDoctoratdel’universitéParisVI
The deployment of Self-Organizing Networks (SONs) raises a number of key design issues such as scalability, spontaneity, ease-of-management, adaptability, and dynamicallychanging topologies. In this context, routing is particularly challenging, and requires revisiting important components of the routing architecture/protocol suite, such as, establishing and managing an addressing scheme, provid...
متن کاملChabot, Derbez et Isoardi: points de vue sur la contradiction et la rationalité
Carlos Derbez a déjà participé par ses contributions au numéro 66 de décembre 2003, avec son ami André Richard. Après une informatique alternative, il nous propose ici une réflexion sur la nature de la rationalité à l'âge de l'informatique. Le début de ce texte est présenté dans ce numéro, et la fin dans le numéro 75 de décembre 2006. Vous pouvez aussi trouver le document à l'adresse : http://v...
متن کاملAbréviations, acronymes et sigles utilisés dans ce numéro
This is an index of the main acronyms and abreviations used in this issue concerning standardsof character coding in general and more precisely Unicode. Nous présentons ici une liste des sigles, abréviations, acronymes, etc. parmi les plus usités dans les divers articles de ce numéro spécial qui souvent n'y sont pas définis ni explicités. Chaque sigle (abréviation, etc.) est d'abord suivi, entr...
متن کاملBlood 93/10
couple of hours later, there was swelling and reddening of the margins of the ulcers, frequently accompanied by fever up to 38°C. These symptoms lasted for a few hours and subsided spontaneously or with the help of minor analgesics. The patients tolerated this inconvenience, because they soon saw a favorable response. In fact, the latter was dramatic in three of them (patients no. 1, 2, and 4) ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Regards économiques
سال: 2018
ISSN: 2033-3013
DOI: 10.14428/regardseco.v1i0.15023