Unveiling the Energy Vampires: A Methodology for Debugging Software Energy Consumption

Συγγραφείς: Roque, Enrique Barba, Cruz, Luis, Durieux, Thomas

Θεματικοί όροι: Computer Science - Software Engineering

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2412.10063

An Empirical Stopping Rule for Debugging and Testing Computer Software

Συγγραφείς: Forman, Ernest H., Singpurwalla, Nozer D.

Πηγή: Journal of the American Statistical Association, 1977 Dec 01. 72(360), 750-757.

Σύνδεσμος πρόσβασης: https://www.jstor.org/stable/2286455

Prospective Mathematics Teachers' Mental Actions Related to Debugging in Technology Supported Mathematical Modeling

Συγγραφείς: Süleyman Emre Aktas (ORCID 0000-0002-3991-2483), Çaglar Naci Hidiroglu (ORCID 0000-0002-3774-4957)

Πηγή: Journal of Pedagogical Research. 2024 8(4):397-419.

Peer Reviewed: Y

Page Count: 23

Descriptors: Preservice Teachers, Mathematics Teachers, Mathematical Models, Mathematics Instruction, Teacher Education Programs, Instructional Design, Teaching Methods, Video Technology, Computer Software, Problem Solving, Error Correction, Thinking Skills, Computer Assisted Instruction, Units of Study, Middle School Teachers, Foreign Countries

Γεωγραφικοί όροι: Turkey

HDLdebugger: Streamlining HDL debugging with Large Language Models

Συγγραφείς: Yao, Xufeng, Li, Haoyang, Chan, Tsz Ho, Xiao, Wenyi, Yuan, Mingxuan, Huang, Yu, Chen, Lei, Yu, Bei

Θεματικοί όροι: Computer Science - Hardware Architecture, Computer Science - Artificial Intelligence, Computer Science - Computational Engineering, Finance, and Science, Computer Science - Machine Learning, Computer Science - Software Engineering

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2403.11671

Resilient Self-Debugging Software Protection

Συγγραφείς: Abrath, Bert, Coppens, Bart, Nevolin, Ilja, De Sutter, Bjorn

Θεματικοί όροι: Computer Science - Cryptography and Security

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2004.06417

Testing for Imperfect Debugging in Software Reliability

Συγγραφείς: Slud, Eric

Πηγή: Scandinavian Journal of Statistics, 1997 Dec 01. 24(4), 555-572.

Σύνδεσμος πρόσβασης: https://www.jstor.org/stable/4616476

Exploring Debugging Challenges and Strategies Using Structural Topic Model: A Comparative Analysis of High and Low-Performing Students

Συγγραφείς: Eunsung Park (ORCID 0000-0002-2010-9957), Jongpil Cheon

Πηγή: Journal of Educational Computing Research. 2025 62(8):2104-2126.

Peer Reviewed: Y

Page Count: 23

Descriptors: Undergraduate Students, Programming, Computer Software, Troubleshooting, Thinking Skills, Problem Solving, Computation, Cognitive Processes, Academic Achievement, Comparative Analysis

Debugging Pathways: Open-Ended Discrepancy Noticing, Causal Reasoning, and Intervening

Συγγραφείς: David DeLiema (ORCID 0000-0002-2014-0313), Jeffrey K. Bye (ORCID 0000-0002-2636-3657), Vijay Marupudi (ORCID 0000-0001-5128-1197)

Πηγή: ACM Transactions on Computing Education. 2024 24(2).

Peer Reviewed: Y

Page Count: 34

Sponsoring Agency: National Science Foundation (NSF)

Descriptors: Computer Software, Troubleshooting, Intention, Intervention, Teacher Student Relationship, Interaction, Grade 5, Grade 6, Grade 7, Grade 8, Grade 9, Grade 10, Thinking Skills, Coding, Classroom Communication

A HLT for Integrated CT and Mathematics Lessons: Supporting Students' Possible Struggles When Debugging in GeoGebra Environment

Συγγραφείς: Wahid Yunianto, Guillermo Bautista, Bungkus Dias Prasetyo, Zsolt Lavicza

Πηγή: International Journal for Technology in Mathematics Education. 2024 31(1):11-20.

Peer Reviewed: Y

Page Count: 10

Descriptors: Computer Software, Mental Computation, Mathematics Instruction, Educational Technology, Technology Uses in Education, Learning Activities, Programming, Troubleshooting, Problem Solving

Study of the nonlinear imperfect software debugging model.

Συγγραφείς: Wang, Jinyong¹ wangjinyong818@163.com, Wu, Zhibo² wzb@ftcl.hit.edu.cn

Πηγή: Reliability Engineering & System Safety. Sep2016, Vol. 153, p180-192. 13p.

Θεματικοί όροι: *Computer debugging software, *Nonlinear systems, *Fault-tolerant computing, *Cloud computing, *Big data, *Software reliability, *Mathematical models

Examining Student Testing and Debugging within a Computational Systems Modeling Context

Συγγραφείς: Bowers, Jonathan (ORCID 0000-0001-8993-6988), Eidin, Emanuel, Stephens, Lynn, Brennan, Linsey

Πηγή: Journal of Science Education and Technology. Aug 2023 32(4):607-628.

Peer Reviewed: Y

Page Count: 22

Sponsoring Agency: National Science Foundation (NSF)

Descriptors: Computer Science Education, Systems Approach, Thinking Skills, Science Education, Models, Scientific Concepts, Concept Formation, Student Behavior, Behavior Patterns, Units of Study, Computer Software, Peer Evaluation, Educational Environment, Comparative Analysis, Criticism

On Estimating the Number of Errors in Computer Software

Συγγραφείς: Nayak, Tapan K., Harikar, Ranjan S.

Πηγή: Sankhyā: The Indian Journal of Statistics, Series B (1960-2002), 1991 Dec 01. 53(3), 275-287.

Σύνδεσμος πρόσβασης: https://www.jstor.org/stable/25052702

ViDA: A Virtual Debugging Advisor for Supporting Learning in Computer Programming Courses

Συγγραφείς: Lee, V. C. S. (ORCID 0000-0003-2596-1257), Yu, Y. T. (ORCID 0000-0002-6548-5446), Tang, C. M. (ORCID 0000-0003-2842-6196), Wong, T. L. (ORCID 0000-0002-4581-9912), Poon, C. K. (ORCID 0000-0002-8508-5060)

Πηγή: Journal of Computer Assisted Learning. Jun 2018 34(3):243-258.

Peer Reviewed: Y

Page Count: 16

Descriptors: Computer Science Education, Programming, Computer Software, Feedback (Response), Engineering Education, College Freshmen, Student Surveys, Introductory Courses, Error Correction, Student Attitudes, Computer Simulation, Instructional Effectiveness

Research and Implementation of an Embedded Hardware-Assisted Debugging Mechanism

Συγγραφείς: LIU Peng, LIU Jie, JIA Xun

Πηγή: Jisuanji gongcheng, Vol 48, Iss 9, Pp 139-145 (2022)

Θεματικοί όροι: embedded debugging, open on-chip debugger, autonomous instruction set soc, front-end design, domestic chip, Computer engineering. Computer hardware, TK7885-7895, Computer software, QA76.75-76.765

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

Relation: https://www.ecice06.com/fileup/1000-3428/PDF/20220917.pdf; https://doaj.org/toc/1000-3428

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

A Computer Approach to Mathematics Curriculum Developments Debugging

Συγγραφείς: Martínez-Zarzuelo, Angélica, Roanes-Lozano, Eugenio, Fernández-Díaz, José

Πηγή: EURASIA Journal of Mathematics, Science & Technology Education. Dec 2016 12(12):2961-2974.

Peer Reviewed: Y

Page Count: 14

Descriptors: Troubleshooting, Mathematics, Mathematics Instruction, Mathematics Education, Mathematics Curriculum, Instructional Design, Network Analysis, Curriculum Development, Computer Software, Secondary School Mathematics, Secondary Education, Foreign Countries, Mathematical Applications, Methods

Γεωγραφικοί όροι: Spain

Σύνδεσμος πρόσβασης: https://www.iserjournals.com/journals/eurasia/articles/10.12973/eurasia.2016.02316a

An imperfect software debugging model considering log-logistic distribution fault content function.

Συγγραφείς: Jinyong Wang¹ Wangjinyong818@163.com, Zhibo Wu¹ wzb@ftcl.hit.edu.cn, Yanjun Shu¹ syj@ftcl.hit.edu.cn, Zhan Zhang¹ zz@ftcl.hit.edu.cn

Πηγή: Journal of Systems & Software. Feb2015, p167-181. 15p.

Θεματικοί όροι: *Software reliability, Computer debugging software, Logistic distribution (Probability), Poisson processes, Computer software testing

Out-Of-Place debugging: a debugging architecture to reduce debugging interference

Συγγραφείς: Marra, Matteo, Polito, Guillermo, Boix, Elisa Gonzalez

Πηγή: The Art, Science, and Engineering of Programming, 2019, Vol. 3, Issue 2, Article 3

Θεματικοί όροι: Computer Science - Software Engineering

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/1811.02034

Cluster Restoration-Based Trace Signal Selection for Post-Silicon Debug.

Συγγραφείς: Cheng, Yun¹ chengyun@ict.ac.cn, Li, Huawei¹ lihuawei@ict.ac.cn, Wang, Ying¹ wangying2009@ict.ac.cn, Li, Xiaowei¹ lxw@ict.ac.cn

Πηγή: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems. Apr2019, Vol. 38 Issue 4, p767-779. 13p.

Θεματικοί όροι: Computer debugging software, Debugging, Computer workstation clusters, Logic circuits

Reviews & Products: Microsoft Windows (Operating system)

Fundamental Approaches to Software Engineering

Συνεισφορές: Johnsen, Einar Broch, Wimmer, Manuel

Θεματικοί όροι: architecture verification and validation, distributed computer systems, embedded systems, empirical software validation, formal methods, model checking, model-driven software engineering, object-oriented programming, program analysis, software performance, software quality, software testing and debugging, Software Engineering, Computer science, Algorithms and data structures, Systems analysis and design, Computing and Information Technology, Natural language and machine translation

Περιγραφή αρχείου: image/jpeg

Relation: Lecture Notes in Computer Science

Σύνδεσμος πρόσβασης: https://directory.doabooks.org/handle/20.500.12854/81637
https://library.oapen.org/handle/20.500.12657/54029
https://library.oapen.org/bitstream/20.500.12657/54029/1/978-3-030-99429-7.pdf

Software tools for developing parallel applications. Part 1: Code development and debugging

Συνεισφορές: Rover, D [Michigan State Univ., East Lansing, MI (United States). Dept. of Electrical Engineering]

Πηγή: Conference: 8. SIAM conference on parallel processing for scientific computing, Minneapolis, MN (United States), 14-17 Mar 1997; Other Information: PBD: Apr 1997

Περιγραφή αρχείου: Medium: ED; Size: 10 p.

Σύνδεσμος πρόσβασης: http://www.osti.gov/scitech/servlets/purl/672018