Filters








3 Hits in 0.97 sec

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

Sami Taktak, Jean-Lou Desbarbieux, Emmanuelle Encrenaz
2008 ACM Transactions on Design Automation of Electronic Systems  
We present an extension of Duato's necessary and sufficient condition a routing function must satisfy in order to be deadlock-free, to support environment constraints inducing extra-dependencies between messages. We also present an original algorithm to automatically check the deadlockfreeness of a network with a given routing function. A prototype tool has been developed and automatic deadlock checking of large scale networks with various routing functions have been successfully achieved. We
more » ... ovide comparative results with standard approach, highlighting the benefits of our method.
doi:10.1145/1297666.1297672 fatcat:ifiucpiiurd4pbvp347zltpq2u

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

Sami Taktak, Emmanuelle Encrenaz, Jean-lou Desbarbieux
2006 High Level Design Validation and Test Workshop (HLDVT), IEEE International  
We present an extension of Duato's necessary and sufficient condition a routing function must satisfy in order to be deadlock-free, to support environment constraints inducing extra-dependencies between messages. We also present an original algorithm to automatically check the deadlockfreeness of a network with a given routing function. A prototype tool has been developed and automatic deadlock checking of large scale networks with various routing functions have been successfully achieved. We
more » ... ovide comparative results with standard approach, highlighting the benefits of our method.
doi:10.1109/hldvt.2006.319992 dblp:conf/hldvt/TaktakED06 fatcat:jw6triag7fdqba2gwjxhgia35y

Evolution and development of neural controllers for locomotion, gradient-following, and obstacle-avoidance in artificial insects

J. Kodjabachian, J.-A. Meyer
1998 IEEE Transactions on Neural Networks  
J'ai conçu les cours, en collaboration avec Jean-Lou Desbarbieux, responsable de l'UE et chargé de l'autre cours, et ai également participé à la rédaction des TD/TME. Je rédige un examen par an.  ...  Diversité comportementale Contexte: travaux initiés pendant la thèse de Jean-Baptiste Mouret et poursuivis depuis par Jean-Baptiste et moi-même.  ... 
doi:10.1109/72.712153 pmid:18255767 fatcat:iy4zjzgcjzc6pmwoqp3c5xpfga