Search Results - coding rule checking function

  • Showing 1 - 16 results of 16
Refine Results
  1. 1

    Analysis of Code Writing Problem Solution Results in C Programming Course by Kyaw, Htoo Htoo Sandi, Kaneko, Keiichi, Funabiki, Nobuo

    ISSN: 2158-4001
    Published: IEEE 06.01.2024
    “… The results confirmed the effectiveness of the code validation function for the automatic marking and the coding rule checking function to improve readable code writing…”
    Get full text
    Conference Proceeding
  2. 2

    An Implementation of Coding Rule Checking Function for C Programming Study by Kyaw, Htoo Htoo Sandi, Kaneko, Keiichi, Funabiki, Nobuo, Ueda, Kiyoshi

    Published: IEEE 07.03.2022
    “… In this paper, we implement a coding rule checking function for C programming study of novice students…”
    Get full text
    Conference Proceeding
  3. 3

    An Implementation of Naming Rule Checking Function and its Applications to Java Programming Codes by Wai, Khaing Hsu, Funabiki, Nobuo, Mentari, Mustika, Aung, Soe Thandar, Kyaw, Htoo Htoo Sandi, Yamaguchi, Shingo, Kao, Wen-Chung

    ISSN: 2158-4001
    Published: IEEE 11.01.2025
    “… In this paper, we consider four naming rules to write a readable code and implement the naming rule checking function to check whether the given code follows…”
    Get full text
    Conference Proceeding
  4. 4

    TRustPN: Transforming Rust Source Code to Petri Nets for Checking Deadlocks by Zhang, Kaiwen, Liu, Guanjun

    ISSN: 2576-3555
    Published: IEEE 01.07.2024
    “…This paper introduces an innovative method for converting Rust source code to Petri nets while checking deadlock detection caused by synchronization primitives such as Mutex, RwLock, and CandVar…”
    Get full text
    Conference Proceeding
  5. 5

    E-prescribing implementation in paediatrics: lessons learned by Benn, C, Bates, I, Akram, A, Shafique, J

    ISSN: 0003-9888, 1468-2044
    Published: London BMJ Publishing Group Ltd and Royal College of Paediatrics and Child Health 01.06.2013
    Published in Archives of disease in childhood (01.06.2013)
    “… Paediatric prescribing rules and clinical decision support (CDS) are required; Pharmacist involvement in developing CDS may be a significant resource demand…”
    Get full text
    Journal Article
  6. 6

    Exploring Reliable Communication in Optical Networks-on-Chip Based on All-Optical Linear Block Codes Encoder by Fu, Lixia, Xie, Yiyuan, Song, Tingting, Su, Ye, Chai, Junxiong, Ye, Yichen, Li, Lili

    ISSN: 0733-8724, 1558-2213
    Published: New York IEEE 15.08.2019
    Published in Journal of lightwave technology (15.08.2019)
    “… The scheme mainly exploits the characteristics of linear block codes to implement the function of checking and correcting bit errors…”
    Get full text
    Journal Article
  7. 7

    On the minimization of k-valued logic functions in the class of disjunctive normal forms by Kabulov, A., Baizhumanov, A., Berdimurodov, M.

    ISSN: 1563-0277, 2617-4871
    Published: 09.04.2024
    “… Therefore, checking the completeness of classes of k valued logical functions and developing methods and algorithms for minimizing functions in the class of canonical normal forms, estimating…”
    Get full text
    Journal Article
  8. 8

    Beyond Words, Beyond Conflicts: Narrative Inquiry into the Language Games of Asian Interreligious Dialogue by S Espartinez, Alma, Croos Adaikkalam, Jesuraj

    ISSN: 1547-9684, 1521-4672
    Published: 2025
    Published in Informing science (2025)
    “… Wittgenstein’s concepts of language games and rule-following. It seeks to: (1) analyze how religious traditions function as distinct yet overlapping language games; (2…”
    Get full text
    Journal Article
  9. 9

    Error detection in arithmetic circuits using divisibility checking by Yassine, H.M.

    ISBN: 0780300815, 9780780300811
    Published: IEEE 1990
    “…Divisibility checking for error detection in arithmetic circuits is proposed. This technique is based on encoding the operands of an arithmetic operation according to a divisibility rule which is function of all the bits in the operand…”
    Get full text
    Conference Proceeding
  10. 10

    An ontology-based approach for developing a harmonised data-validation tool for European cancer registration by Nicholson, Nicholas Charles, Giusti, Francesco, Bettio, Manola, Negrao Carvalho, Raquel, Dimitrova, Nadya, Dyba, Tadeusz, Flego, Manuela, Neamtiu, Luciana, Randi, Giorgia, Martos, Carmen

    ISSN: 2041-1480, 2041-1480
    Published: London BioMed Central 06.01.2021
    Published in Journal of biomedical semantics (06.01.2021)
    “…Background Population-based cancer registries constitute an important information source in cancer epidemiology. Studies collating and comparing data across…”
    Get full text
    Journal Article
  11. 11

    무기체계 소프트웨어 신뢰성 시험 개선점 도출을 위한 소프트웨어 정적/동적 검증 분석 사례연구 by 박지현, Jihyun Park, 최병주, Byoungju Choi

    ISSN: 2287-5905
    Published: 한국정보처리학회 31.07.2019
    Published in 정보처리학회 논문지 (KTSDE) (31.07.2019)
    “… when developing the weapon system software is classified into static test and dynamic test. In static test, checking the coding rules, vulnerabilities and source code metric are performed without executing the software…”
    Get full text
    Journal Article
  12. 12

    Towards Automated Structural Stability Design of Buildings—A BIM-Based Solution by Khattra, Satinder Kaur, Rai, Hardeep Singh, Singh, Jagbir

    ISSN: 2075-5309, 2075-5309
    Published: Basel MDPI AG 01.04.2022
    Published in Buildings (Basel) (01.04.2022)
    “… The number of unwanted errors is increasing, and any suspension of the project is led by the structural code-checking system, and is a tiresome process…”
    Get full text
    Journal Article
  13. 13

    The study on the space time block coding and its application in wireless communications by Du, Yinggang

    ISBN: 9780496964079, 0496964070
    Published: ProQuest Dissertations & Theses 01.01.2004
    “…Among all the systems implementing transmit diversity, Space-Time Block Coding (STBC) has the simplest structure and offers full diversity and linear maximum-likelihood…”
    Get full text
    Dissertation
  14. 14

    Graph-Theoretic Vulnerability Detection for Insecure Cryptography Code by Vellamchety, Krishna Chaitanya

    ISBN: 9798379596965
    Published: ProQuest Dissertations & Theses 01.01.2023
    “… One of the most popular and accessible sources of information for developers is Stack Overflow, a website where programmers can ask and answer questions about coding…”
    Get full text
    Dissertation
  15. 15

    Increasing the Reliability of Information in Electronic Documents Based on the Use of Statistical Redundancy and n-Gram Structure of Texts by Karshiev, Khusan B., Jumanov, Isroil I.

    ISSN: 2836-614X
    Published: IEEE 07.09.2025
    “… of statistical Huffman coding, forming n-grams of text statistics, and determining a rational set of hash functions are obtained…”
    Get full text
    Conference Proceeding
  16. 16

    Chapter 14 - Creating a Web Security Tool by James C. Foster, Mike Price

    ISBN: 1597490059, 9781597490054
    Published: Elsevier Inc 2005
    “… It is dedicated solely to creating a tool from the ground up to accomplish a particular function, or to take a function of a best-in-class freeware tool (Nikto…”
    Get full text
    Book Chapter