From Mutually Non-Blocking to Switched Non-Blocking DES
Overview & Synopsis
La propriété de système à événements discrets mutuellement non-bloquants a été introduite par Fabian and Kumar (1997). Dans ce papier, nous proposons une extension de cette propriété de 2 à 3 éléments. Nous donnons ensuite une définition de système non-bloquant par commutations, et nous montrons que la propriété "mutuellement non-bloquant" est incluse dans celle de "non-bloquant par commutations". Nous illustrons ce resultat à travers un exemple de système de conversion de protocole, dans lequel le protocole commute entre deux spécifications.
Indexed from repository: HAL Open Science
(
hal.science)
Keyboard Shortcuts:
← / → for pages • + / - for zoom • 0 to fit width
Powered by Mozilla PDF.js v3.11
Document Information
| Document Title | From Mutually Non-Blocking to Switched Non-Blocking DES |
|---|---|
| Author / Organization | Michael Canu, Naly Rakoto-Ravalontsalama |
| Subject & Discipline | Multidisciplinary Academic Open Research |
| Categories | Science & Mathematics |
| Publication Year | 2013 |
| License / Rights | Open Access / Creative Commons |
| Resource Verification | Listed PDF (Verification Pending) |
| Original Host Website |
HAL Open Science
(hal.science)
|
| File Format | application/pdf (Portable Document Format) |
| Language | EN |
| Catalog ID | DOC-107570 |
| Original Source Link | Visit Source Page on hal.science » |