Sami Taktak

Maître de conférences
Personal website:

Publications

2014

Articles de revue

  1. Gui, L.; Val, T.; Wei, A. and Taktak, S. An Adaptive Range-free Localization Protocol in Wireless Sensor Networks. In International Journal of Ad Hoc and Ubiquitous Computing, vol. 15 (ntextdegree 1-2-3): pp. 1-20, 2014. doi  www 
  1. Gui, L.; Val, T.; Wei, A. and Taktak, S. An Adaptive Range-free Localisation Protocol in wireless sensor networks. In International Journal of Ad Hoc and Ubiquitous Computing, 3: 38-56, 2014. www 

2010

Articles de revue

  1. Beaudenon, V.; Encrenaz, E. and Taktak, S. Data Decision Diagrams for Promela Systems Analysis. In International Journal on Software Tools for Technology Transfer, 12 (5): 337-352, 2010. doi  www 

Articles de conférence

  1. Taktak, S.; Encrenaz, E. and Desbarbieux, J-L. A polynomial algorithm to prove deadlock-freeness of wormhole networks. In PDP EUROMICRO Conference on Parallel, Distributed and Network-based Computing IEEE Computer Society, pages 121-128, IEEE, Pisa, Italy, 2010. doi  www 

2008

Articles de revue

  1. Taktak, S.; Desbarbieux, J-L. and Encrenaz, E. A tool for automatic detection of deadlocks in wormhole networks on chip. In ACM Transactions on Design Automation of Electronic Systems, 13 (1): 1-8, 2008. doi  www 

Articles de conférence

  1. Zhang, Z.; Greiner, A. and Taktak, S. A reconfigurable routing algorithm for a fault-tolerant 2D-Mesh Network-on-Chip. In The 45th annual Design Automation Conference (DAC), pages 441-446, Anaheim, California, United States, 2008. doi  www 
Top