Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Taktak, Sami"'
Publikováno v:
In Computer Networks December 2024 254
Publikováno v:
In Computer Networks 14 March 2022 205
Publikováno v:
2022 1st International Conference on 6G Networking (6GNet)
2022 1st International Conference on 6G Networking (6GNet), Jul 2022, Paris, France. ⟨10.1109/6GNet54646.2022.9830380⟩
2022 1st International Conference on 6G Networking (6GNet), Jul 2022, Paris, France. ⟨10.1109/6GNet54646.2022.9830380⟩
International audience; We present a lightweight Southbound Interface (SBI) for P4→NetFPGA devices, aimed at enhancing the capability of NetFPGA Smart Network Interface Cards (SmartNICs) to work in standalone mode. We propose a custom protocol allo
Publikováno v:
[Research Report] lip6.2005.008, LIP6. 2005
In this paper, we show how to verify CTL properties, using symbolic methods, on systems written inProMeLa. Symbolic representation is based on Data Decision Diagrams (DDDs) which are n-valued DAGs designed to represent dynamic systems with integer do
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2592::6f24002fe6c91acc9acc7df6ce3ff143
https://hal.archives-ouvertes.fr/hal-02545683/document
https://hal.archives-ouvertes.fr/hal-02545683/document
Publikováno v:
[Research Report] lip6.2005.008, LIP6. 2005
In this paper, we show how to verify CTL properties, using symbolic methods, on systems written inProMeLa. Symbolic representation is based on Data Decision Diagrams (DDDs) which are n-valued DAGs designed to represent dynamic systems with integer do
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6f24002fe6c91acc9acc7df6ce3ff143
https://hal.archives-ouvertes.fr/hal-02545683/document
https://hal.archives-ouvertes.fr/hal-02545683/document
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
2008 45th ACM/IEEE Design Automation Conference; Jun2008, p441-446, 6p
Publikováno v:
DAC: Annual ACM/IEEE Design Automation Conference; 2008, p441-446, 6p, 11 Diagrams, 4 Charts, 1 Graph
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
International Journal on Software Tools for Technology Transfer; Sep2010, Vol. 12 Issue 5, p337-352, 16p