Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

8 résultats
Image document

A reconfigurable routing algorithm for a fault-tolerant 2D-Mesh Network-on-Chip

Zhen Zhang , Alain Greiner , Sami Taktak
The 45th annual Design Automation Conference (DAC), Jun 2008, Anaheim, California, United States. pp.441--446, ⟨10.1145/1391469.1391584⟩
Communication dans un congrès hal-00591783v1
Image document

A Lightweight Southbound Interface for Standalone P4-NetFPGA SmartNICs

Mario Patetta , Stefano Secci , Sami Taktak
2022 1st International Conference on 6G Networking (6GNet), Jul 2022, Paris, France. ⟨10.1109/6GNet54646.2022.9830380⟩
Communication dans un congrès hal-03702720v1

A tool for automatic detection of deadlocks in wormhole networks on chip

Sami Taktak , Jean-Lou Desbarbieux , Emmanuelle Encrenaz
ACM Transactions on Design Automation of Electronic Systems, 2008, 13 (1), pp.1-8. ⟨10.1145/1297666.1297672⟩
Article dans une revue hal-01195903v1

A Tool for Automatic Detection of Deadlock in Wormhole Networks on Chip

Sami Taktak , Emmanuelle Encrenaz , Jean-Lou Desbarbieux
HLDVT IEEE International High Level Design Validation and Test Workshop, Nov 2006, Monterey, California, United States. pp.203-210, ⟨10.1109/HLDVT.2006.319992⟩
Communication dans un congrès hal-01338483v1

Data Decision Diagrams for Promela Systems Analysis

Vincent Beaudenon , Emmanuelle Encrenaz , Sami Taktak
International Journal on Software Tools for Technology Transfer, 2010, 12 (5), pp.337-352. ⟨10.1007/s10009-010-0135-0⟩
Article dans une revue hal-01195909v1
Image document

An Adaptive Range-free Localization Protocol in Wireless Sensor Networks

Linqing Gui , Thierry Val , Anne Wei , Sami Taktak
IJAHUC - International Journal of Ad Hoc and Ubiquitous Computing, 2014, 15 (1-3), pp.1-20. ⟨10.1504/IJAHUC.2014.059906⟩
Article dans une revue hal-01120257v1
Image document

A new approach for Bitcoin pool-hopping detection

Eugenio Cortesi , Francesco Bruschi , Stefano Secci , Sami Taktak
Computer Networks, 2022, 205 (108758), pp.108758. ⟨10.1016/j.comnet.2021.108758⟩
Article dans une revue hal-03526238v1

A polynomial algorithm to prove deadlock-freeness of wormhole networks

Sami Taktak , Emmanuelle Encrenaz , Jean-Lou Desbarbieux
PDP EUROMICRO Conference on Parallel, Distributed and Network-based Computing IEEE Computer Society, Feb 2010, Pisa, Italy. pp.121-128, ⟨10.1109/PDP.2010.19⟩
Communication dans un congrès hal-01290701v1