Takip et
Sofiene Tahar
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Adaptive multistage parallel interference cancellation for CDMA
G Xue, J Weng, T Le-Ngoc, S Tahar
IEEE Journal On selected areas in communications 17 (10), 1815-1827, 1999
2091999
Lyapunov-based adaptive state of charge and state of health estimation for lithium-ion batteries
H Chaoui, N Golbon, I Hmouz, R Souissi, S Tahar
IEEE Transactions on Industrial Electronics 62 (3), 1610-1618, 2014
2032014
Design and verification of SystemC transaction-level models
A Habibi, S Tahar
IEEE Transactions on Very Large Scale Integration (VLSI) Systems 14 (1), 57-68, 2006
1562006
Formal verification of analog and mixed signal designs: A survey
MH Zaki, S Tahar, G Bois
Microelectronics journal 39 (12), 1395-1404, 2008
1492008
Detection and sizing of metal-loss defects in oil and gas pipelines using pattern-adapted wavelets and machine learning
M Layouni, MS Hamdi, S Tahar
Applied Soft Computing 52, 247-261, 2017
1222017
A robust FSM watermarking scheme for IP protection of sequential circuit design
A Cui, CH Chang, S Tahar, AT Abdel-Hamid
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2011
1222011
Formal verification methods
O Hasan, S Tahar
Encyclopedia of Information Science and Technology, Third Edition, 7162-7170, 2015
1212015
A survey on IP watermarking techniques
AT Abdel-Hamid, S Tahar, EM Aboulhamid
Design Automation for Embedded Systems 9, 211-227, 2004
992004
On the formalization of the Lebesgue integration theory in HOL
T Mhamdi, O Hasan, S Tahar
Interactive Theorem Proving: First International Conference, ITP 2010 …, 2010
882010
IP watermarking techniques: Survey and comparison
AT Abdel-Hamid, S Tahar, EM Aboulhamid
The 3rd IEEE International Workshop on System-on-Chip for Real-Time …, 2003
882003
A public-key watermarking technique for IP designs
AT Abdel-Hamid, S Tahar, EM Aboulhamid
Design, Automation and Test in Europe, 330-335, 2005
752005
IP watermarking using incremental technology mapping at logic synthesis level
A Cui, CH Chang, S Tahar
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2008
632008
Automated coverage directed test generation using a cell-based genetic algorithm
A Samarah, A Habibi, S Tahar, N Kharma
2006 IEEE International High Level Design Validation and Test Workshop, 19-26, 2006
632006
Formal verification methods. encyclopedia of information science and technology
O Hasan, S Tahar
IGI Global Pub, 2015
602015
Generating finite state machines from system C
A Habibi, H Moinudeen, S Tahar
Proceedings of the Design Automation & Test in Europe Conference 2, 1-6, 2006
602006
A machine learning approach for big data in oil and gas pipelines
A Mohamed, MS Hamdi, S Tahar
2015 3rd International Conference on Future Internet of Things and Cloud …, 2015
572015
Input-conscious approximate multiply-accumulate (MAC) unit for energy-efficiency
M Masadeh, O Hasan, S Tahar
IEEE access 7, 147129-147142, 2019
552019
Task scheduling in big data platforms: a systematic literature review
M Soualhia, F Khomh, S Tahar
Journal of Systems and Software 134, 170-189, 2017
552017
Formalization of entropy measures in HOL
T Mhamdi, O Hasan, S Tahar
International Conference on Interactive Theorem Proving, 233-248, 2011
522011
Formal verification of the island tunnel controller using multiway decision graphs
Z Zhou, X Song, S Tahar, E Cerny, F Corella, M Langevin
Formal Methods in Computer-Aided Design: First International Conference …, 1996
521996
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20