In this paper, we propose a randomization based technique to verify whether a manufactured chip conforms to its design or is infected by any trojan circuit. A trojan circuit can be...
A measure of stability for a wide class of pattern recognition algorithms is introduced to cope with overfitting in classification problems. Based on this concept, constructive me...
Abstract- Dynamic swarm behaviour is difficult to design manually. Multiple, simultaneous interactions among a large number of agents, make the relationship between a parameter cha...
This paper presents a hybrid IP/CP algorithm for designing a double round robin schedule with a minimal number of breaks. Both mirrored and non-mirrored schedules with and without ...
Predictable routing is the concept of using prespeci ed patterns to route a net. By doing this, we allow an more accurate prediction mechanism for metrics such as congestion and w...
Ryan Kastner, Elaheh Bozorgzadeh, Majid Sarrafzade...