المؤلفون: Khalid Lodhi, Jayant Chhillar, Sumit J. Darak, Divisha Sharma

المصدر: Chips, Vol 2, Iss 4, Pp 223-242 (2023)

مصطلحات موضوعية: 3GPP, 5G cell search, 5G physical layer, RFNoC, FPGA, synchronization signal burst, Electronic computers. Computer science, QA75.5-76.95, Electric apparatus and materials. Electric circuits. Electric networks, TK452-454.4

وصف الملف: electronic resource

Relation: https://www.mdpi.com/2674-0729/2/4/14; https://doaj.org/toc/2674-0729

URL الوصول: https://doaj.org/article/0e061081e96149c2b1ba9573369347c7

المؤلفون: Riaz Ahmed, Qurat-ul-Ain Mahmood, Khalid Lodhi

المصدر: Journal of Project Management Practice. 1:17-33

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::64ab8854f7bf6c54719f3c5558dad393
https://doi.org/10.22452/jpmp.vol1no2.2

المؤلفون: Sohaiba Iqbal, Faiq Khalid Lodhi, Muhammad Usama Sardar, Osman Hasan

المصدر: International Journal of Disaster Risk Reduction. 31:1043-1053

مصطلحات موضوعية: 050210 logistics & transportation, 021103 operations research, Operations research, Emergency management, Stochastic modelling, Computer science, business.industry, 05 social sciences, 0211 other engineering and technologies, Distribution (economics), Estimator, Geology, 02 engineering and technology, Space (commercial competition), Geotechnical Engineering and Engineering Geology, PRISM model checker, Order (exchange), 0502 economics and business, business, Natural disaster, Safety Research

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::072b2cb49ede3dd4f0a07edb22cec75a
https://doi.org/10.1016/j.ijdrr.2018.04.010

المؤلفون: Stella K Kantartzi, Sherrice Allen, Khalid Lodhi, Robert L Grier Iv, My Abdelmajid Kassem

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://faculty.uncfsu.edu/mkassem/Web_Files/Publications/20.Kantartzi_et_al.,%202010.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1044.7794; http://faculty.uncfsu.edu/mkassem/Web_Files/Publications/20.Kantartzi_et_al.,%202010.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1044.7794
http://faculty.uncfsu.edu/mkassem/Web_Files/Publications/20.Kantartzi_et_al.,%202010.pdf

المؤلفون: Ayaz Khawaja, Maira Mirza, Sameed Khalid Lodhi

المصدر: Infectious Diseases in Clinical Practice. 26:3-10

مصطلحات موضوعية: 0301 basic medicine, Microbiology (medical), medicine.medical_specialty, Transmission (medicine), business.industry, Disease, Therapeutic modalities, 03 medical and health sciences, 030104 developmental biology, Infectious Diseases, Immunology, medicine, Intensive care medicine, business

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::18791d723fa068805e4902dc409d44c7
https://doi.org/10.1097/ipc.0000000000000558

المؤلفون: Syed Ali Asadullah Bukhari, Jorg Henkel, Osman Hasan, Faiq Khalid Lodhi, Muhammad Shafique

المصدر: Science of Computer Programming. 133:154-174

مصطلحات موضوعية: Model checking, Hot spot (computer programming), 020203 distributed computing, Emulation, Computer science, 02 engineering and technology, Chip, 020202 computer hardware & architecture, Many core, Software deployment, Scalability, 0202 electrical engineering, electronic engineering, information engineering, Formal verification, Algorithm, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::86c2f2737cd23e399afb630a6f650ae8
https://doi.org/10.1016/j.scico.2016.06.004

المؤلفون: Faiq Khalid Lodhi, Falah Awwad, Osman Hasan, Syed Rafay Hasan

المصدر: Journal of Electronic Testing. 32:569-586

مصطلحات موضوعية: Model checking, Computer science, Distributed computing, Pipeline (computing), 020208 electrical & electronic engineering, 02 engineering and technology, 020202 computer hardware & architecture, Soft error, Null (SQL), Asynchronous communication, 0202 electrical engineering, electronic engineering, information engineering, Overhead (computing), Electrical and Electronic Engineering, Error detection and correction, Formal verification

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::7766e7b45a06b64d3a8079fbaa968975
https://doi.org/10.1007/s10836-016-5619-8

المؤلفون: Muhammad Shafique, Faiq Khalid Lodhi, Osman Hasan, Syed Ali Asadullah Bukhari, Jorg Henkel

المصدر: DATE

مصطلحات موضوعية: 010302 applied physics, Model checking, Engineering, Emulation, business.industry, Reliability (computer networking), Control engineering, Usability, 02 engineering and technology, Chip, 01 natural sciences, 020202 computer hardware & architecture, Task (project management), Set (abstract data type), Computer engineering, Control theory, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, business

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::f739d44675c1e3e3fb92fa8d3d6df06b
https://doi.org/10.23919/date.2017.7927191

المؤلفون: Syed Rafay Hasan, Osman Hasan, Falah Awwadl, Faiq Khalid Lodhi

المصدر: DATE

مصطلحات موضوعية: Assembly language, Computer science, business.industry, Vulnerability, 02 engineering and technology, 020202 computer hardware & architecture, law.invention, Instruction set, Microprocessor, Trojan, Hardware Trojan, law, Embedded system, VHDL, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Side channel attack, business, computer, Computer hardware, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ca8e3fcf9e086ce32960f2266098ebc8
https://doi.org/10.23919/date.2017.7927002

المؤلفون: Faiq Khalid Lodhi, Syed Rafay Hasan, Naeha Sharif, Osman Hasan, Nadra Ramzan

المصدر: IET Circuits, Devices & Systems. 8:58-64

مصطلحات موضوعية: business.industry, Computer science, Real-time computing, Phase (waves), Phase synchronization, Phase detector, Control and Systems Engineering, Clock domain crossing, Asynchronous communication, Metastability, Electronic engineering, Microelectronics, Electrical and Electronic Engineering, Latency (engineering), business

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::16a2691a0bfca82aa36396e08c22448e
https://doi.org/10.1049/iet-cds.2013.0067

المؤلفون: Faiq Khalid Lodhi, Awais M. Kamboh, Imran Hafeez Abbasi, Osman Hasan

المصدر: Communications in Computer and Information Science ISBN: 9783319539454
FTSCS

مصطلحات موضوعية: Model checking, 021110 strategic, defence & security studies, business.industry, Computer science, 0211 other engineering and technologies, 02 engineering and technology, Integrated circuit, law.invention, Linear temporal logic, Hardware Trojan, law, Embedded system, Scalability, Side channel attack, Electronics, business, Formal verification, Computer hardware, 021106 design practice & management

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6d635a6b0c1810a1727094e7de560bad
https://doi.org/10.1007/978-3-319-53946-1_5

المؤلفون: Faiq Khalid, Faiq Khalid Lodhi, Falah Awwad, Imran Hafeez Abbasi, Syed Rafay Hasan, Osman Hasan

المصدر: ISCAS

مصطلحات موضوعية: 021110 strategic, defence & security studies, Engineering, business.industry, 0211 other engineering and technologies, Probabilistic logic, 02 engineering and technology, Integrated circuit, Cross-validation, Signature (logic), 020202 computer hardware & architecture, Power (physics), law.invention, Intrusion, Hardware Trojan, law, Embedded system, 0202 electrical engineering, electronic engineering, information engineering, business, Vulnerability (computing)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::14a9e1b54d74968810b1c88e9a24a519
https://doi.org/10.1109/iscas.2016.7538895

المؤلفون: Syed Rafay Hasan, Osman Hasan, Falah Awwad, Faiq Khalid Lodhi

المصدر: NORCAS

مصطلحات موضوعية: Pipeline transport, Asynchronous communication, Computer science, business.industry, Hardware Trojan, Pipeline (computing), Embedded system, Macro, business, Formal verification, Signature (logic), Vulnerability (computing)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::48d660e23dcf739eb70ea106551c952f
https://doi.org/10.1109/norchip.2015.7364384

المؤلفون: Faiq Khalid Lodhi, Ramzan, Nadra, Hasan, Osman

المصدر: 2010 International Conference on Information and Emerging Technologies ; page 1-6

الاتاحة: http://dx.doi.org/10.1109/iciet.2010.5625693
http://xplorestaging.ieee.org/ielx5/5615426/5625666/05625693.pdf?arnumber=5625693

المؤلفون: Syed Ali Asadullah Bukhari, Muhammad Shafique, Jorg Henkel, Osman Hasan, Faiq Khalid Lodhi

المصدر: Communications in Computer and Information Science ISBN: 9783319175805
FTSCS

مصطلحات موضوعية: Model checking, Multi-core processor, Emulation, Computer science, Distributed algorithm, Distributed computing, Scalability, Formal methods, Formal verification, Task (project management)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::cf6c236398806c571f8ebdd5bde93ef5
https://doi.org/10.1007/978-3-319-17581-2_3

المؤلفون: Falah Awwad, Syed Rafay Hasan, Osman Hasan, Faiq Khalid Lodhi

المصدر: MWSCAS

مصطلحات موضوعية: Engineering, Asynchronous system, Soft error, business.industry, Asynchronous communication, Hardware Trojan, Proof of concept, Embedded system, Redundancy (engineering), Static timing analysis, business, Asynchronous circuit

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3f882cd232d28f98bd48908885b5c33a
https://doi.org/10.1109/mwscas.2014.6908501

المؤلفون: Falah Awwad, Osman Hasan, Syed Rafay Hasan, Faiq Khalid Lodhi

المصدر: ISVLSI

مصطلحات موضوعية: Digital electronics, Asynchronous system, Soft error, Synchronizer, Asynchronous communication, Computer science, business.industry, Low-power electronics, Embedded system, Pipeline (computing), business, Asynchronous circuit

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::65b666849bdeaaa71f0c02d25ee0eb23
https://doi.org/10.1109/isvlsi.2014.59