Skander Kort - Academia.edu (original) (raw)

Uploads

Papers by Skander Kort

Research paper thumbnail of Automated formal synthesis of Wallace Tree multipliers

2007 50th Midwest Symposium on Circuits and Systems, 2007

Bookmarks Related papers MentionsView impact

Research paper thumbnail of HOL-MDG: A Hybrid Tool for Formal Verification

Bookmarks Related papers MentionsView impact

Research paper thumbnail of A high speed 512-bit modular multiplier for a RSA chip

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Hierarchical formal verification using a hybrid tool

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Automated formal synthesis of Wallace tree multipliers

Circuits and Systems, 2007. MWSCAS 2007 …, 2007

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Schemata-driven multi-objective optimization

Evolutionary Multi-Criterion Optimization, 2003

Page 1. Schemata-Driven Multi-objective Optimization Skander Kort Concordia University, ECE Depar... more Page 1. Schemata-Driven Multi-objective Optimization Skander Kort Concordia University, ECE Department, 1455 De Maisonneuve Blvd. ... Since, many multi-objective optimization problems are NP-hard, this set is rather just an approximation of the optimal non-dominated set. ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Automated formal synthesis of Wallace Tree multipliers

2007 50th Midwest Symposium on Circuits and Systems, 2007

Bookmarks Related papers MentionsView impact

Research paper thumbnail of HOL-MDG: A Hybrid Tool for Formal Verification

Bookmarks Related papers MentionsView impact

Research paper thumbnail of A high speed 512-bit modular multiplier for a RSA chip

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Hierarchical formal verification using a hybrid tool

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Automated formal synthesis of Wallace tree multipliers

Circuits and Systems, 2007. MWSCAS 2007 …, 2007

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Schemata-driven multi-objective optimization

Evolutionary Multi-Criterion Optimization, 2003

Page 1. Schemata-Driven Multi-objective Optimization Skander Kort Concordia University, ECE Depar... more Page 1. Schemata-Driven Multi-objective Optimization Skander Kort Concordia University, ECE Department, 1455 De Maisonneuve Blvd. ... Since, many multi-objective optimization problems are NP-hard, this set is rather just an approximation of the optimal non-dominated set. ...

Bookmarks Related papers MentionsView impact

Log In