Search Results - C programming code

C Programming Code Defect Detection based on Bounded Model Checking

Authors: Jun'An Chen

Source: 2025 International Conference on Intelligent Systems and Computational Networks (ICISCN). :1-5

Neural Transfer Learning for Repairing Security Vulnerabilities in C Code

Authors: Chen, Zimin Kommrusch, Steve James Monperrus, Martin

Source: IEEE Transactions on Software Engineering. 49(1):147-165

Subject Terms: Codes, Computer bugs, seq2seq learning, Software, Task analysis, Training, transfer learning, Transformers, vulnerability fixing, C (programming language), Costs, Deep learning, Job analysis, Knowledge management, Personnel training, Program debugging, Code, Security vulnerabilities, Transformer, Repair

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-320561
https://doi.org/10.1109/TSE.2022.3147265

'C'ing the Light -- Assessing Code Comprehension in Novice Programmers Using C Code Patterns

Authors: Christina Glasauer Martin K. Yeh Lois Anne DeLong et al.

Source: Computer Science Education. 2025 35(3):457-481.

Peer Reviewed: Y

Page Count: 25

Sponsoring Agency: National Science Foundation (NSF)

Descriptors: Novices, Computer Science Education, Programming, Accuracy, Validity, Feedback (Response), Models, Difficulty Level, Evaluation Methods, Item Response Theory, Programming Languages

From Code to Weakly Hard Constraints: A Pragmatic End-to-End Toolchain for Timed C

Authors: Natarajan, Saranya Nasri, M. Broman, David et al.

Source: Proceedings - Real-Time Systems Symposium. :167-180

Subject Terms: Job level fixed priority, Job level response time, Non preemptive scheduling, Programming languages, Real-time systems, Schedulability analysis, Sensitivity analysis, C (programming language), Interactive computer systems, Open source software, Problem oriented languages, Complex real-time systems, Generalized multiframe, Integration problems, Real-time extension, Temporal correctness, Windows of interests, Worst-case execution time, Real time systems

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-274075
https://doi.org/10.1109/RTSS46320.2019.00025

CodeWithDisability: A Voice Command-Based Integrated Development Environment for Hands-Free Programming.

Authors: Shukla, Param Shah, Krish Haria, Milan et al.

Source: Procedia Computer Science. 2025, Vol. 269, p1211-1219. 9p.

Subject Terms: C (Computer program language), Assistive technology, Python programming language, Software development tools, Web accessibility, Speech perception, Software frameworks

A formal approach for aerospace systems control considering SFC specification and C programming language

Authors: Borges, Paulo Machado, José Mendes Seabra, Eurico et al.

Contributors: Borges, Paulo Machado, José Mendes Seabra, Eurico et al.

Subject Terms: Dependable systems, C code, SFC, Safe controllers, Real time embedded systems

File Description: application/pdf

Availability: https://hdl.handle.net/1822/16298

An Investigation on a Source Code Sequence for Learning Programming by Typing / タイピングによるプログラミング学習のためのソースコード提示に関する一検討

Authors: Takehiko MURAKAWA 村川 猛彦

Source: 情報知識学会誌 / Joho Chishiki Gakkaishi. 2021, 31(2):244

Runtime Detection of C-Style Errors in UPC Code

Contributors: Quinlan, D

Source: Conference: Presented at: PGAS 2011, Galveston, TX, United States, Oct 15 - Oct 18, 2010

File Description: Medium: ED; Size: PDF-file: 12 pages; size: 0.8 Mbytes

Access URL: http://www.osti.gov/scitech/servlets/purl/1037834

Sharing Is Caring? International Society for Pharmacoepidemiology Review and Recommendations for Sharing Programming Code.

Authors: Tazare J Wang SV Gini R et al.

Source: Pharmacoepidemiology and drug safety [Pharmacoepidemiol Drug Saf] 2024 Sep; Vol. 33 (9), pp. e5856.

Publication Type: Journal Article; Review; Research Support, Non-U.S. Gov't

Journal Info: Publisher: Wiley Country of Publication: England NLM ID: 9208369 Publication Model: Print Cited Medium: Internet ISSN: 1099-1557 (Electronic) Linking ISSN: 10538569 NLM ISO Abbreviation: Pharmacoepidemiol Drug Saf Subsets: MEDLINE

MeSH Terms: Information Dissemination*/methods , Pharmacoepidemiology*/methods, Guidelines as Topic ; Reproducibility of Results ; Software

Adopting the C4 Model for Lightweight Architecture Modeling - An Experience Report

Authors: Jongeling, Robbert Strøm, N. J. Nissen, L. et al.

Source: Lecture Notes in Computer Science. :393-409

Subject Terms: Adoption In Practice, C4 Model, Software Architecture Modeling, C (programming Language), Computer Software Maintenance, Embedded Software, Engineers, Software Architecture, Software Design, Architecture Modeling, Embedded Software Development, Experience Report, Lightweight Architecture, Modeling Approach, New Approaches, Software Architecture Model, Software Intensive Systems, Codes (symbols), Embedded Systems

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-73394

Leveraging the potential of task-based programming with OpenMP task graphs

Authors: Yu, Chenle

Contributors: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

Thesis Advisors: Quiñones Moreno, Eduardo, Royuela Alcázar, Sara, Martorell Bofill, Xavier

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Àrees temàtiques de la UPC::Informàtica

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/692791
https://dx.doi.org/10.5821/dissertation-2117-420702

An Introduction to Polar Codes — Experience of Polar Codes in C Programming — / Polar符号の紹介

Authors: Ken-ichi IWATA 岩田 賢一

Source: 電子情報通信学会 基礎・境界ソサイエティ Fundamentals Review / IEICE ESS Fundamentals Review. 2013, 6(3):175

CodeChum: An Online Learning and Monitoring Platform for C Programming

Authors: Maranga, Jemar Jude A. Matugas, Leilla Keith J. Lim, Jorge Frederick W. et al.

Source: International Association for Development of the Information Society. 2019.

Peer Reviewed: Y

Page Count: 10

Descriptors: Online Courses, Programming Languages, Introductory Courses, Computer Science Education, Coding, Computer Software, Outcomes of Education, Undergraduate Students, Feedback (Response), Management Systems, Usability, Student Attitudes, Teacher Attitudes, College Faculty, Data Analysis, Tests, Foreign Countries

Geographic Terms: Philippines

IntRepair: Informed Repairing of Integer Overflows

Authors: Muntean, P. Monperrus, Martin Sun, H. et al.

Source: IEEE Transactions on Software Engineering. 47(10):2225-2241

Subject Terms: Engines, Fault detection, Fuses, integer overflow, Maintenance engineering, Program repair, Runtime, Software, software bug, source code refactoring, static program analysis, symbolic execution, Tools, Application programs, Computer software, Electric fuses, Integer programming, Maintainability, Model checking, Repair, Runtimes, Source codes, C (programming language)

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-268463

Contribution of the language network to the comprehension of Python programming code.

Authors: Liu YF Wilson C Bedny M

Source: Brain and language [Brain Lang] 2024 Apr; Vol. 251, pp. 105392. Date of Electronic Publication: 2024 Feb 22.

Publication Type: Journal Article

Journal Info: Publisher: Elsevier Country of Publication: Netherlands NLM ID: 7506220 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1090-2155 (Electronic) Linking ISSN: 0093934X NLM ISO Abbreviation: Brain Lang Subsets: MEDLINE

MeSH Terms: Comprehension*/physiology , Brain*/diagnostic imaging , Brain*/physiology, Humans ; Language ; Temporal Lobe/physiology ; Magnetic Resonance Imaging/methods ; Brain Mapping/methods

Programming models to support data science workflows

Authors: Ramón-Cortés Vilarrodona, Cristián

Contributors: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

Thesis Advisors: Badia Sala, Rosa M. (Rosa Maria), Ejarque Artigas, Jorge

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Distributed computing, High-performance computing, Data science pipelines, Task-ba workflows, Dataflows, Containers (Computer sicience), COMPSs, PyCOMPSs, AutoParallel, Docker, Àrees temàtiques de la UPC::Informàtica

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/669728
https://dx.doi.org/10.5821/dissertation-2117-330142

SIMD@OpenMP : a programming model approach to leverage SIMD features

Authors: Caballero de Gea, Diego Luis

Contributors: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

Thesis Advisors: Martorell Bofill, Xavier, Duran González, Alejandro

Source: TDX (Tesis Doctorals en Xarxa)

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/334171
https://dx.doi.org/10.5821/dissertation-2117-96011

ICE: An Automated Tool for Teaching Advanced C Programming

Authors: Gonzalez, Ruben

Source: International Association for Development of the Information Society. 2017.

Peer Reviewed: Y

Page Count: 8

Descriptors: Programming, Computer Science Education, Automation, Advanced Courses, Computer Uses in Education, Undergraduate Students, Foreign Countries, College Instruction, Testing

Geographic Terms: Australia

HiDRO - Numerical code for gas dynamics

Authors: Correia, Paulo Manuel Barros

Subject Terms: Numerical methods, Euler equations, Finite volumes, C programming

Relation: pcorreia@uevora.pt; 338

Availability: http://hdl.handle.net/10174/6916

Fire buckling curves for torsionally sensitive steel members subjected to axial compression

Authors: Possidente, L. Tondini, N. Battini, Jean-Marc

Source: Journal of Structural Fire Engineering. 13(2):171-193

Subject Terms: AISC, Eurocode, Fire, Flexural-torsional buckling, Steel structures, Torsional buckling, C (programming language), Codes (standards), Curve fitting, Fires, Bracing systems, Buckling curves, Elevated temperature, EN 1993, Eurocodes, Steel assembly, Steel members, Buckling

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-312834