Embedded C-based Adaptive MPPT Controller with Boost Converter for High-Efficiency Solar-Powered Electric Vehicle Charging Applications

Συγγραφείς: R.Tamilamuthan, T.Sridevi, P, Murugan, N.Navaprakash, B.T.Geetha, M.Lakshmanan

Πηγή: 2025 6th International Conference on IoT Based Control Networks and Intelligent Systems (ICICNIS) IoT Based Control Networks and Intelligent Systems (ICICNIS), 2025 6th International Conference on. :181-187 Dec, 2025

Relation: 2025 6th International Conference on IoT Based Control Networks and Intelligent Systems (ICICNIS)

Fast and accurate implementation of the Dirichlet multinomial log-likelihood function

Συγγραφείς: Baddar, Sherenaz Al-Haj, Languasco, Alessandro, Migliardi, Mauro

Πηγή: 2025 International Conference on Artificial Intelligence, Computer, Data Sciences and Applications (ACDSA) Artificial Intelligence, Computer, Data Sciences and Applications (ACDSA), 2025 International Conference on. :1-6 Aug, 2025

Relation: 2025 International Conference on Artificial Intelligence, Computer, Data Sciences and Applications (ACDSA)

Specification of Complex Events and Their Integration in the IOPT-Tools Development Environment

Συγγραφείς: Natario, Diogo, Gomes, Luis

Πηγή: 2024 8th International Young Engineers Forum on Electrical and Computer Engineering (YEF-ECE) Electrical and Computer Engineering (YEF-ECE), 2024 8th International Young Engineers Forum on. :70-75 Jul, 2024

Relation: 2024 8th International Young Engineers Forum on Electrical and Computer Engineering (YEF-ECE)

HLSEn: High-Level Semantic Awareness Pseudo-code Encoding for Binary Code Similarity Detection

Συγγραφείς: Li, Yanlin^{Aff20, Aff21}, Zhang, Lu^{Aff20, Aff21}, Wang, Song^{Aff20, Aff21}, Wang, Taiyan^{Aff20, Aff21}, Yu, Lu^{Aff20, Aff21}, Chen, Qiangpu^{Aff20, Aff21}, Li, Yuwei^{Aff20, Aff21}, Pan, Zulie^{Aff20, Aff21}

Συνεισφορές: Akan, Ozgur, Editorial Board Member^Aff1, Bellavista, Paolo, Editorial Board Member^Aff2, Cao, Jiannong, Editorial Board Member^Aff3, Coulson, Geoffrey, Editorial Board Member^Aff4, Dressler, Falko, Editorial Board Member^Aff5, Ferrari, Domenico, Editorial Board Member^Aff6, Gerla, Mario, Editorial Board Member^Aff7, Kobayashi, Hisashi, Editorial Board Member^Aff8, Palazzo, Sergio, Editorial Board Member^Aff9, Sahni, Sartaj, Editorial Board Member^Aff10, Shen, Xuemin, Editorial Board Member^Aff11, Stan, Mircea, Editorial Board Member^Aff12, Jia, Xiaohua, Editorial Board Member^Aff13, Zomaya, Albert Y., Editorial Board Member^Aff14, Choo, Kim-Kwang Raymond, editor^Aff15, Perez-Pons, Alexander, editor^Aff16, Upadhyay, Himanshu, editor^Aff17, Lu, Rongxing, editor^Aff18, Chow, Kam Pui, editor^Aff19

Πηγή: Digital Forensics and Cyber Crime : 16th EAI International Conference, ICDF2C 2025, Miami, FL, USA, November 17–19, 2025, Proceedings, Part II. 686:491-504

Bridging the B-Method and ACSL: Towards Verified C Code

Συγγραφείς: Dias, Fagner M.^Aff9, Oliveira, Marcel V. M.^Aff9, Lecomte, Thierry^Aff10

Συνεισφορές: Hartmanis, Juris, Founding Editor^Aff1, Goos, Gerhard, Founding Editor^Aff2, Bertino, Elisa, Series Editor^Aff3, Gao, Wen, Series Editor^Aff4, Steffen, Bernhard, Series Editor^Aff5, Yung, Moti, Series Editor^Aff6, ter Beek, Maurice H., editor^Aff7, Teixeira, Leopoldo, editor^Aff8

Πηγή: Formal Methods: Foundations and Applications : 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3–5, 2025, Proceedings. 16363:39-60

Static Analysis Method of C Code Based on Model Checking and Defect Pattern Matching

Συγγραφείς: Yaozong, Xu, Xuebin, Shao, Shuhua, Zhou, Qiujun, Zhao, Weinan, Ju

Πηγή: 2023 IEEE 5th International Conference on Power, Intelligent Computing and Systems (ICPICS) Power, Intelligent Computing and Systems (ICPICS), 2023 IEEE 5th International Conference on. :567-573 Jul, 2023

Relation: 2023 IEEE 5th International Conference on Power, Intelligent Computing and Systems (ICPICS)

An Eye Tracking Study on MISRA C Coding Guidelines

Συγγραφείς: Homann, Alexander, Grabinger, Lisa, Hauser, Florian, Mottok, Jürgen

Πηγή: Proceedings of the 5th European Conference on Software Engineering Education. :130-137

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3593663.3593671

Appropriate selection of objective functions with constraints for successive multicycle optimization of the HPR1000 reactor core using deep learning enhanced multi-objective genetic algorithm

Συγγραφείς: Butt, Muhammad Kamran ^{a, b, ⁎}, Nasir, Samia ^{c, d}, Ahmad, Muhammad ^e, Bin Humayun, Muhammad Talha ^f, Riaz, Ahmer ^g, Wan, Chenghui ^a, Cao, Liangzhi ^a

Πηγή: In Annals of Nuclear Energy June 2026 231

VeriCode: Correct Translation of Abstract Specifications to C Code

Συγγραφείς: Schellhorn, Gerhard^Aff9, Bodenmüller, Stefan^Aff9, Reif, Wolfgang^Aff9

Συνεισφορές: Goos, Gerhard, Series Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Kosmatov, Nikolai, editor^Aff7, Kovács, Laura, editor^Aff8

Πηγή: Integrated Formal Methods : 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings. 15234:53-74

Fast Simulation of Non-Linear Circuits using Semi-Analytical Solutions Based on the Matrix Exponential

Συγγραφείς: Serrano, J. A., Gines, A. J., Peralias, E.

Πηγή: 2020 IEEE International Symposium on Circuits and Systems (ISCAS) Circuits and Systems (ISCAS), 2020 IEEE International Symposium on. :1-5 Oct, 2020

Relation: 2020 IEEE International Symposium on Circuits and Systems (ISCAS)

Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations

Συγγραφείς: Toennemann, Jan, Aniculăesei, Adina, Rausch, Andreas

Πηγή: Proceedings of the 5th Brazilian Symposium on Systematic and Automated Software Testing. :60-68

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3425174.3425213

Optimization of software code for high-level synthesis during hardware implementation of the computationally-loaded algorithms

Πηγή: INNOVATIVE TECHNOLOGIES AND SCIENTIFIC SOLUTIONS FOR INDUSTRIES; No. 3(33) (2025): Innovative Technologies and Scientific Solutions for Industries; 189-202
Современное состояние научных исследований и технологий в промышленности; № 3(33) (2025): Сучасний стан наукових досліджень та технологій в промисловості; 189-202
СУЧАСНИЙ СТАН НАУКОВИХ ДОСЛІДЖЕНЬ ТА ТЕХНОЛОГІЙ В ПРОМИСЛОВОСТІ; № 3(33) (2025): Сучасний стан наукових досліджень та технологій в промисловості; 189-202

Θεματικοί όροι: embedded systems, high-level synthesis, C code optimization, System-on-Chip, вбудовані системи, високорівневий синтез, оптимізація коду С, система на кристалі

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://journals.uran.ua/itssi/article/view/340572

Optimization of software code for high-level synthesis during hardware implementation of the computationally-loaded algorithms

Συγγραφείς: Олександр Шкіль, Олег Філіпенко, Дарія Рахліс, Інна Філіпенко, Валентин Корнієнко

Πηγή: Сучасний стан наукових досліджень та технологій в промисловості, Iss 3(33) (2025)

Θεματικοί όροι: embedded systems, high-level synthesis, C code optimization, System-on-Chip., Engineering economy, TA177.4-185

Περιγραφή αρχείου: electronic resource

Relation: https://www.itssi-journal.com/index.php/ittsi/article/view/612; https://doaj.org/toc/2522-9818; https://doaj.org/toc/2524-2296

Σύνδεσμος πρόσβασης: https://doaj.org/article/a74b90ec3f3241b79ecad0608bb3c064

Optimization of software code for high-level synthesis during hardware implementation of the computationally-loaded algorithms

Συγγραφείς: Oleksandr Shkil, Oleh Filippenko, Dariia Rakhlis, Inna Filippenko, Valentyn Korniienko

Πηγή: Сучасний стан наукових досліджень та технологій в промисловості, Iss 3(33) (2025)

Θεματικοί όροι: embedded systems, high-level synthesis, C code optimization, System-on-Chip., Engineering economy, TA177.4-185

Περιγραφή αρχείου: electronic resource

Relation: https://itssi-journal.com/index.php/ittsi/article/view/612; https://doaj.org/toc/2522-9818; https://doaj.org/toc/2524-2296

Σύνδεσμος πρόσβασης: https://doaj.org/article/8777117fe3fa4c1da30026465f1d05a6

Multi-target synthesis of logic controllers using a MDE approach

Συγγραφείς: Nzebop Ndenoka, Gérard, Tchuente, Maurice, Simeu, Emmanuel, Monthe, Valery

Συνεισφορές: NZEBOP NDENOKA, Gérard

Πηγή: Revue Africaine de Recherche en Informatique et Mathématiques Appliquées.

Θεματικοί όροι: Model Driven Engineering, [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, Logic controllers, Multi-target synthesis, GRAFCET, [INFO]Computer Science [cs], [INFO] Computer Science [cs], [INFO.INFO-AU] Computer Science [cs]/Automatic Control Engineering, Model verification, C code generation

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://arima.episciences.org/14306
https://doi.org/10.46298/arima.14306
https://hal.science/hal-04663327v4/document
https://doi.org/10.46298/arima.14306
https://hal.science/hal-04663327v4

CPLAG: Efficient plagiarism detection using bitwise operations

Συγγραφείς: Jain, Shikha, Kaur, Parmeet, Goyal, Mukta, Dhanalekshmi, G.

Πηγή: 2017 Tenth International Conference on Contemporary Computing (IC3) Contemporary Computing (IC3), 2017 Tenth International Conference on. :1-5 Aug, 2017

Relation: 2017 Tenth International Conference on Contemporary Computing (IC3)

A Trusted Approach to Design a Network Monitor

Συγγραφείς: Shimizu, Koichi, Yamaguchi, Teruyoshi, Nakai, Tsunato, Ueda, Takeshi, Kobayashi, Nobuhiro, Boyer, Benoit

Πηγή: 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2017 IEEE/ACM 5th International FME Workshop on. :17-23 May, 2017

Relation: 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE)

Do developer perceptions have borders? Comparing C code responses across continents

Συγγραφείς: Zhuang, Yanyan^{Aff1, IDs11219023096540_cor1}, Yan, Yu^Aff2, DeLong, Lois Anne^Aff3, Yeh, Martin K.^Aff4

Πηγή: Software Quality Journal. 32(2):431-457

An Open Source C Code Generator and a Tiny Machine Learning Toolchain for the SENSIPLUS Platform

Συγγραφείς: Alessandro Bria, Luigi Ferrigno, Claudio Marrocco, Mario Molinara, Michele Vitelli, Andrea Ria, Mattia Cicalini, Giuseppe Manfredini, Paolo Bruschi

Πηγή: 2022 IEEE International Conference on Smart Computing (SMARTCOMP). :263-268

Θεματικοί όροι: Machine Learning, IoT, Pollution Monitoring, Smart City, Toolchain, C, Code Generator, Code Generator, IoT, Machine Learning, Pollution Monitoring, Smart City, Toolchain, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hdl.handle.net/11568/1160204
https://doi.org/10.1109/SMARTCOMP55677.2022.00065

Continued current meter development

Συγγραφείς: Williams, Albert J., Thiel, Timothy E.

Πηγή: OCEANS 2016 MTS/IEEE Monterey. :1-6 Sep, 2016

Relation: OCEANS 2016 MTS/IEEE Monterey