Works matching DE "DEBUGGING"

Results: 1639

UnrealMentor GPT: A System for Teaching Programming Based on a Large Language Model.

Published in:

Computer Applications in Engineering Education, 2025, v. 33, n. 3, p. 1, doi. 10.1002/cae.70023

By:

Zhu, Hongli;
Xiang, Jian;
Yang, Zhichuang

Publication type:

Article

Using prefetching to improve walkthrough latency.

Published in:

Computer Animation & Virtual Worlds, 2006, v. 17, n. 3/4, p. 469, doi. 10.1002/cav.149

By:

Shao-Shin Hung;
Damon Shing-Min Liu

Publication type:

Article

ENSEÑANZA DE MÉTODOS NUMÉRICOS A TRAV ÉS DE UNA HERRAMIENTA DIDÁCTICA BASADA EN ARDUINO: EL MECANISMO DE LAS 4 BARRAS REVISITADO.

Published in:

Revista Cubana de Física, 2021, v. 38, n. 1, p. 17

By:

SERRANO-PÉREZY, E.

Publication type:

Article

Culturally Responsive Debugging: a Method to Support Cultural Experts' Early Engagement with Code.

Published in:

TechTrends: Linking Research & Practice to Improve Learning, 2021, v. 65, n. 5, p. 771, doi. 10.1007/s11528-021-00618-4

By:

Lachney, Michael;
Yadav, Aman;
Drazin, Matt;
Allen, Madison C.;
Babbitt, William

Publication type:

Article

Rabbit Ear Response.

Published in:

Government Technology, 2009, v. 22, n. 2, p. 50

By:

TAYLOR, PAUL W.

Publication type:

Article

Data overload [hardware debug].

Published in:

Electronics Systems & Software, 2006, v. 4, n. 6, p. 16, doi. 10.1049/ess:20060602

By:

Bakewell, G.

Publication type:

Article

On-chip bugs for debug.

Published in:

Electronics Systems & Software, 2006, v. 4, n. 3, p. 10, doi. 10.1049/ess:20060301

By:

Edwards, C.

Publication type:

Article

Goodbye wires, hello objects.

Published in:

Electronics Systems & Software, 2005, v. 3, n. 6, p. 16, doi. 10.1049/ess:20050602

By:

Sutherland, Stuart;
Tabbara, Bassam

Publication type:

Article

Trace module extends analysis time for debug.

Published in:: Electronics Systems & Software, 2005, v. 3, n. 5, p. 47
Publication type:: Article

The embedded black-box recorder.

Published in:

Electronics Systems & Software, 2005, v. 3, n. 3, p. 40, doi. 10.1049/ess:20050306

By:

Rinkes, Dan

Publication type:

Article

Large-scale computerized forward reconstruction yields new perspectives in French diachronic phonology.

Published in:

Diachronica, 2023, v. 40, n. 2, p. 238, doi. 10.1075/dia.20027.mar

By:

Marr, Clayton;
Mortensen, David

Publication type:

Article

A framework for monitored dynamic slicing of reaction systems.

Published in:

Natural Computing, 2024, v. 23, n. 2, p. 217, doi. 10.1007/s11047-024-09976-3

By:

Brodo, Linda;
Bruni, Roberto;
Falaschi, Moreno

Publication type:

Article

Scenic: a language for scenario specification and data generation.

Published in:

Machine Learning, 2023, v. 112, n. 10, p. 3805, doi. 10.1007/s10994-021-06120-5

By:

Fremont, Daniel J.;
Kim, Edward;
Dreossi, Tommaso;
Ghosh, Shromona;
Yue, Xiangyu;
Sangiovanni-Vincentelli, Alberto L.;
Seshia, Sanjit A.

Publication type:

Article

Provable training set debugging for linear regression.

Published in:

Machine Learning, 2021, v. 110, n. 10, p. 2763, doi. 10.1007/s10994-021-06040-4

By:

Zhang, Xiaomin;
Zhu, Xiaojin;
Loh, Po-Ling

Publication type:

Article

A global taxonomy of interpretable AI: unifying the terminology for the technical and social sciences.

Published in:

Artificial Intelligence Review, 2023, v. 56, n. 4, p. 3473, doi. 10.1007/s10462-022-10256-8

By:

Graziani, Mara;
Dutkiewicz, Lidia;
Calvaresi, Davide;
Amorim, José Pereira;
Yordanova, Katerina;
Vered, Mor;
Nair, Rahul;
Abreu, Pedro Henriques;
Blanke, Tobias;
Pulignano, Valeria;
Prior, John O.;
Lauwaert, Lode;
Reijers, Wessel;
Depeursinge, Adrien;
Andrearczyk, Vincent;
Müller, Henning

Publication type:

Article

Evaluating children performance with graphical and tangible robot programming tools.

Published in:

Personal & Ubiquitous Computing, 2015, v. 19, n. 1, p. 225, doi. 10.1007/s00779-014-0774-3

By:

Sapounidis, Theodosios;
Demetriadis, Stavros;
Stamelos, Ioannis

Publication type:

Article

IntraJ: an on-demand framework for intraprocedural Java code analysis.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 6, p. 687, doi. 10.1007/s10009-024-00771-0

By:

Riouak, Idriss;
Fors, Niklas;
Hedin, Görel;
Reichenbach, Christoph

Publication type:

Article

Debugging convergence problems in probabilistic programs via program representation learning with SixthSense.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 3, p. 249, doi. 10.1007/s10009-024-00737-2

By:

Huang, Zixin;
Dutta, Saikat;
Misailovic, Sasa

Publication type:

Article

CPSDebug: Automatic failure explanation in CPS models.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 5, p. 783, doi. 10.1007/s10009-020-00599-4

By:

Bartocci, Ezio;
Manjunath, Niveditha;
Mariani, Leonardo;
Mateis, Cristinel;
Ničković, Dejan

Publication type:

Article

Static generation of UML sequence diagrams.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 1, p. 31, doi. 10.1007/s10009-019-00545-z

By:

Alvin, Chris;
Peterson, Brian;
Mukhopadhyay, Supratik

Publication type:

Article

Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checking.

Published in:

International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 5, p. 515, doi. 10.1007/s10009-018-0497-2

By:

Becker, Martin;
Metta, Ravindra;
Venkatesh, R.;
Chakraborty, Samarjit

Publication type:

Article

From high-level modeling toward efficient and trustworthy circuits.

Published in:

International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 2, p. 143, doi. 10.1007/s10009-017-0462-5

By:

Zaraket, Fadi A.;
Jaber, Mohamad;
Noureddine, Mohamad;
Falcone, Yliès

Publication type:

Article

Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking.

Published in:

International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 5, p. 547, doi. 10.1007/s10009-017-0480-3

By:

Khamespanah, Ehsan;
Sirjani, Marjan;
Mechitov, Kirill;
Agha, Gul

Publication type:

Article

TSTL: the template scripting testing language.

Published in:

International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 1, p. 57, doi. 10.1007/s10009-016-0445-y

By:

Holmes, Josie;
Groce, Alex;
Pinto, Jervis;
Mittal, Pranjal;
Azimi, Pooria;
Kellar, Kevin;
O'Brien, James

Publication type:

Article

A systematic review of state-based test tools.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 1, p. 59, doi. 10.1007/s10009-013-0291-0

By:

Shafique, Muhammad;
Labiche, Yvan

Publication type:

Article

Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies.

Published in:

International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 5/6, p. 563, doi. 10.1007/s10009-011-0221-y

By:

Könighofer, Robert;
Hofferek, Georg;
Bloem, Roderick

Publication type:

Article

Formal modeling and validation of Stateflow diagrams.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 6, p. 653, doi. 10.1007/s10009-012-0235-0

By:

Chen, Chunqing;
Sun, Jun;
Liu, Yang;
Dong, Jin;
Zheng, Manchun

Publication type:

Article

Iterative delta debugging.

Published in:

International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 3, p. 223, doi. 10.1007/s10009-010-0139-9

By:

Artho, Cyrille

Publication type:

Article

Preface.

Published in:

2011

By:

Chockler, Hana;
Hu, Alan

Publication type:

Editorial

Guest editors' introduction to the special section from the international symposium on web systems evolution.

Published in:

2011

By:

Zou, Ying;
Wu, Ji;
Wong, Kenny

Publication type:

Editorial

Improved usability and performance of SMT solvers for debugging specifications.

Published in:

International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 6, p. 467, doi. 10.1007/s10009-010-0138-x

By:

Cok, David R.

Publication type:

Article

A class library for implementing, testing, and debugging concurrent programs.

Published in:

International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 1, p. 69, doi. 10.1007/s10009-009-0102-9

By:

Carver, Richard;
Lei, Yu

Publication type:

Article

Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method.

Published in:

International Journal on Software Tools for Technology Transfer, 2010, v. 12, n. 1, p. 39, doi. 10.1007/s10009-009-0130-5

By:

Rehm, Joris

Publication type:

Article

Checking the reliability of socket based communication software.

Published in:

International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 5, p. 359, doi. 10.1007/s10009-009-0112-7

By:

Cámara, Pedro;
Mar Gallardo, María;
Merino, Pedro;
Sanán, David

Publication type:

Article

A framework for counterexample generation and exploration.

Published in:

International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 5/6, p. 429, doi. 10.1007/s10009-007-0047-9

By:

Chechik, Marsha;
Gurfinkel, Arie

Publication type:

Article

Error explanation with distance metrics.

Published in:

International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 3, p. 229, doi. 10.1007/s10009-005-0202-0

By:

Groce, Alex;
Chaki, Sagar;
Kroening, Daniel;
Ofer Strichman

Publication type:

Article

Fate and free will in error traces.

Published in:

International Journal on Software Tools for Technology Transfer, 2004, v. 6, n. 2, p. 102, doi. 10.1007/s10009-004-0146-9

By:

Jin, Hoonsang;
Ravi, Kavita;
Somenzi, Fabio

Publication type:

Article

Counter-example generation in symbolic abstract model-checking.

Published in:

International Journal on Software Tools for Technology Transfer, 2004, v. 5, n. 2/3, p. 158, doi. 10.1007/s10009-003-0127-4

By:

Pace, Gordon;
Halbwachs, Nicolas;
Raymond, Pascal

Publication type:

Article

Efficient debugging in a formal verification environment.

Published in:

International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 3, p. 335

By:

Fady#Copty;
Amitai#Irron;
Osnat#Weissberg;
Nathan#Kropp;
Gila#Kamhi

Publication type:

Article

Calculating the Magnetic Field Strength Inside and Outside of an Infinite Cylinder Placed in an Arbitrary External Field.

Published in:

Russian Journal of Nondestructive Testing, 2024, v. 60, n. 3, p. 293, doi. 10.1134/S1061830924601703

By:

Dyakin, V. V.;
Kudryashova, O. V.;
Raevskii, V. Y.

Publication type:

Article

Diagnosis of linear dynamic systems by the nonparametric method.

Published in:

Automation & Remote Control, 2017, v. 78, n. 7, p. 1173, doi. 10.1134/S0005117917070013

By:

Zhurabok, A.;
Shumsky, A.;
Pavlov, S.

Publication type:

Article

Diagnosability of digital systems structured as minimal quasicomplete 7 × 7 graph.

Published in:

Automation & Remote Control, 2016, v. 77, n. 3, p. 485, doi. 10.1134/S0005117916030103

By:

Vedeshenkov, V.;
Kurako, E.;
Lebedev, V.

Publication type:

Article

On t-diagnosability of multicore systems with symmetric circulant structure.

Published in:

Automation & Remote Control, 2013, v. 74, n. 1, p. 105, doi. 10.1134/S0005117913010098

By:

Dimitriev, Yu.

Publication type:

Article

RuleBender: a visual interface for rule-based modeling.

Published in:

Bioinformatics, 2011, v. 27, n. 12, p. 1721, doi. 10.1093/bioinformatics/btr197

By:

Xu, Wen;
Smith, Adam M.;
Faeder, James R.;
Marai, G. Elisabeta

Publication type:

Article

坦克火控系统自动化测试平台设计.

Published in:

Journal of Ordnance Equipment Engineering, 2023, v. 44, n. 3, p. 261, doi. 10.11809/bqzbgcxb2023.03.037

By:

马帅;
郭金龙;
高云锟;
李福鑫;
王士涛;
周世罡

Publication type:

Article

基于数字孪生的电机基座码垛线虚拟调试技术研究.

Published in:

Machine Tool & Hydraulics, 2024, v. 52, n. 19, p. 46, doi. 10.3969/j.issn.1001-3881.2024.19.008

By:

刘梦园;
李焕锋;
沙杰;
周高伟;
鲁庆洋

Publication type:

Article

面向发动机部件定制加工的矩阵式智能产线设计.

Published in:

Machine Tool & Hydraulics, 2023, v. 51, n. 18, p. 162, doi. 10.3969/j.issn.1001-3881.2023.18.026

By:

赵国强;
黄永华;
韩其飞;
武迎迎;
张艺馨;
张建

Publication type:

Article

基于数字孪生的物流拣选虚拟调试系统设计.

Published in:

Machine Tool & Hydraulics, 2023, v. 51, n. 16, p. 95, doi. 10.3969/j.issn.1001-3881.2023.16.014

By:

马飞;
代锟;
孙巍伟

Publication type:

Article

基于ADASYN 和 Swin Transformer 的滚动轴承故障诊断研究.

Published in:

Machine Tool & Hydraulics, 2023, v. 51, n. 15, p. 209, doi. 10.3969/j.issn.1001-3881.2023.15.034

By:

杜康宁;
宁少慧

Publication type:

Article

基于 NX MCD 的钢筋滚丝机的虚拟调试系统.

Published in:

Machine Tool & Hydraulics, 2023, v. 51, n. 12, p. 104, doi. 10.3969/j.issn.1001-3881.2023.12.017

By:

朱金达;
路鑫彬;
张嘉钰

Publication type:

Article