Relevant bibliographies by topics / Debugging tools / Journal articles
To see the other types of publications on this topic, follow the link: Debugging tools.

Journal articles on the topic 'Debugging tools'

Author: Grafiati
Published: 4 June 2021
Last updated: 16 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Debugging tools.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Etkin, J., and J. A. Zinky. "Distributed debugging: Network analysis tools." Microprocessing and Microprogramming 25, no. 1-5 (1989): 307–12. http://dx.doi.org/10.1016/0165-6074(89)90213-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Law, Rob. "An overview of debugging tools." ACM SIGSOFT Software Engineering Notes 22, no. 2 (1997): 43–47. http://dx.doi.org/10.1145/251880.251926.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Rountree, Barry, Todd Gamblin, Bronis R. de Supinski, et al. "Parallelizing heavyweight debugging tools with mpiecho." Parallel Computing 39, no. 3 (2013): 156–66. http://dx.doi.org/10.1016/j.parco.2012.11.002.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Conlon, T., and S. Gregory. "Debugging Tools for Concurrent Logic Programming." Computer Journal 35, no. 2 (1992): 157–69. http://dx.doi.org/10.1093/comjnl/35.2.157.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Brna, Paul, Mike Brayshaw, Alan Bundy, Mark Elsom-Cook, Pat Fung, and Tony Dodd. "An overview of Prolog debugging tools." Instructional Science 20, no. 2-3 (1991): 193–214. http://dx.doi.org/10.1007/bf00120882.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Shu, Ji Shi, and Yuan Sheng Liu. "Test Methods Research and Verify for FPGA." Advanced Materials Research 760-762 (September 2013): 867–71. http://dx.doi.org/10.4028/www.scientific.net/amr.760-762.867.

Full text
Abstract:
This paper mainly introduces the principle and usage of dynamic probe technology, and makes comparisons between traditional test method and the most popular debugging methodutilizes the embedded tool of debugging on chip to debug. The research depends on self-designed FPGA test service system based on dynamic probe technology. It also explores how to use existent tools and technology for high efficiency test method in FPGA debug and verify process. Through comparisons, it is possible conclude that dynamic probe technology is able to cope with the complex test requirements, and provide more accurate sampling data than the general method in the debugging process. More importantly, the dynamic probe can complete switching a group of the internal signal to be measured within a few seconds, which greatly reducing the waiting time of debugging.
APA, Harvard, Vancouver, ISO, and other styles
7

Vassilev, Martin, Vassil Vassilev, and Alexander Penev. "IDD – A Platform Enabling Differential Debugging." Cybernetics and Information Technologies 20, no. 1 (2020): 53–67. http://dx.doi.org/10.2478/cait-2020-0004.

Full text
Abstract:
AbstractDebugging is a very time consuming task which is not well supported by existing tools. The existing methods do not provide tools enabling optimal developers’ productivity when debugging regressions in complex systems. In this paper we describe a possible solution aiding differential debugging. The differential debugging technique performs analysis of the regressed system and identifying the cause of the unexpected behavior by comparing to a previous version of the same system. The prototype, idd, inspects two versions of the executable – a baseline and a regressed version. The interactive debugging session runs side by side both executables and allows to examine and to compare various internal states. The architecture can work with multiple information sources comparing data from different tools. We also show how idd can detect performance regressions using information from third-party performance facilities. We illustrate how in practice we can quickly discover regressions in large systems such as the clang compiler.
APA, Harvard, Vancouver, ISO, and other styles
8

Martonosi, Margaret, Anoop Gupta, and Thomas Anderson. "Effectiveness of trace sampling for performance debugging tools." ACM SIGMETRICS Performance Evaluation Review 21, no. 1 (1993): 248–59. http://dx.doi.org/10.1145/166962.167023.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Appelbe, William F., and Charles E. McDowell. "Integrating tools for debugging and developing multitasking programs." ACM SIGPLAN Notices 24, no. 1 (1989): 78–88. http://dx.doi.org/10.1145/69215.69223.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Galatenko, V. A., and K. A. Kostyukhin. "Postmortem Analysis of Baget RTOS Processes." Programmnaya Ingeneria 12, no. 5 (2021): 227–32. http://dx.doi.org/10.17587/prin.12.227-232.

Full text
Abstract:
Despite the best efforts of programmers to create high-quality software, some errors inevitably escape even the most rigorous testing process and are first encountered by end users of the software. When this happens, developers need to quickly understand the reasons for the errors that occurred and eliminate them. Back in 1951, at the dawn of modern computing, Stanley Gill wrote that special attention should be paid to those errors that occur after the program is started, and lead to its termination. Gill is considered the founder of the so-called postmortem debugging, when a program or system is modified to record its state at the time of failure, so that the programmer can later understand what happened and why such a situation occurred. Since then, postmortem debugging technology has been used in many different systems, including all major general-purpose operating systems (OS), as well as specialized OS such as embedded systems and real-time systems. To ensure the high level of reliability expected from such critical systems, it is necessary, on the one hand, to implement the possibility of rapid recovery of the system or its part after a failure. On the other hand, it is necessary to provide a mechanism for storing as much information as possible after each failure, so that the cause of its occurrence can be determined later. To understand the real potential of postmortem debugging tools, we will first consider the current state of debugging methods and the role of postmortem analysis tools, as well as the requirements for postmortem debugging tools for critical systems. Next, we will describe the mechanism of postmortem debugging implemented by the authors in the RTOS Baget and formulate tasks for further development.
APA, Harvard, Vancouver, ISO, and other styles
11

Kortenkamp, David, Reid Simmons, Tod Milam, and Joaquín L. Fernández. "A Suite of Tools for Debugging Distributed Autonomous Systems." Formal Methods in System Design 24, no. 2 (2004): 157–88. http://dx.doi.org/10.1023/b:form.0000017720.64153.57.

Full text
APA, Harvard, Vancouver, ISO, and other styles
12

Bassett, Roland. "Debugging SAS Programs: a Handbook of Tools and Techniques." Journal of the American Statistical Association 98, no. 464 (2003): 1087. http://dx.doi.org/10.1198/jasa.2003.s313.

Full text
APA, Harvard, Vancouver, ISO, and other styles
13

DODARO, CARMINE, PHILIP GASTEIGER, KRISTIAN REALE, FRANCESCO RICCA, and KONSTANTIN SCHEKOTIHIN. "Debugging Non-ground ASP Programs: Technique and Graphical Tools." Theory and Practice of Logic Programming 19, no. 2 (2019): 290–316. http://dx.doi.org/10.1017/s1471068418000492.

Full text
Abstract:
AbstractAnswer set programming (ASP) is one of the major declarative programming paradigms in the area of logic programming and non-monotonic reasoning. Despite that ASP features a simple syntax and an intuitive semantics, errors are common during the development of ASP programs. In this paper we propose a novel debugging approach allowing for interactive localization of bugs in non-ground programs. The new approach points the user directly to a set of non-ground rules involved in the bug, which might be refined (up to the point in which the bug is easily identified) by asking the programmer a sequence of questions on an expected answer set. The approach has been implemented on top of the ASP solver wasp. The resulting debugger has been complemented by a user-friendly graphical interface, and integrated in aspide, a rich integrated development environment (IDE) for answer set programs. In addition, an empirical analysis shows that the new debugger is not affected by the grounding blowup limiting the application of previous approaches based on meta-programming.
APA, Harvard, Vancouver, ISO, and other styles
14

Gedik, Buğra, Henrique Andrade, Andy Frenkiel, et al. "Tools and strategies for debugging distributed stream processing applications." Software: Practice and Experience 39, no. 16 (2009): 1347–76. http://dx.doi.org/10.1002/spe.941.

Full text
APA, Harvard, Vancouver, ISO, and other styles
15

Ouis, Samir, and Mohamed Tounsi. "An explanation-based tools for debugging constraint satisfaction problems." Applied Soft Computing 8, no. 4 (2008): 1400–1406. http://dx.doi.org/10.1016/j.asoc.2007.10.019.

Full text
APA, Harvard, Vancouver, ISO, and other styles
16

Ho, W. Wilson, and Ronald A. Olsson. "A layered model for building debugging and monitoring tools." Journal of Systems and Software 34, no. 3 (1996): 211–22. http://dx.doi.org/10.1016/0164-1212(95)00076-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
17

Ruan, A. W., C. Q. Li, Z. J. Song, and W. C. Li. "SOC HW/SW co‐verification based debugging technique." COMPEL - The international journal for computation and mathematics in electrical and electronic engineering 32, no. 2 (2013): 545–55. http://dx.doi.org/10.1108/03321641311296936.

Full text
Abstract:
PurposeIncreasingly complex and sophisticated VLSI design, coupled with shrinking design cycles, requires shorter verification time and efficient debug method. Logic simulation provides SoC verification with full controllability and observability, but it suffers from very slow simulation speed for complex design. Using hardware emulation such as FPGA can have higher simulation speed. However, it is very hard to debug due to its poor visibility. SOC HW/SW co‐verification technique seems to draw a balance, but Design Under Test (DUT) still resides in FPGA and remains hard for debugging. The purpose of this paper is to study a run‐time RTL debugging methodology for a FPGA‐based co‐verification system.Design/methodology/approachThe debugging tools are embedded in HDL simulator using Verilog VPI callback, so signals of testbench and internal nodes of DUT can be observed in a single waveform and updated as simulation runs, making debugging more efficient. The proposed debugging method connects internal nodes directly to a PCI‐extended bus, instead of inserting extra scan‐chain logic, so the overhead for area is reduced.FindingsThis method provides internal nodes probing on an event‐driven co‐verification platform and achieves full observability for DUT. The experiment shows that, compared with a similar method, the area overhead for debug logic is reduced by 30‐50 per cent and compile time is shortened by 40‐70 per cent.Originality/valueThe proposed debugging technique achieves 100 per cent observability and can be applied to both RTL and gate‐level verification. The debugging tool is embedded into HDL simulator using Verilog VPI callback, so DUT signals are displayed together with testbench signals in the same waveform viewer. New value of DUT signal is read from FPGA whenever it changes, which allows run‐time debug.
APA, Harvard, Vancouver, ISO, and other styles
18

Marr, Stefan, Carmen Torres Lopez, Dominik Aumayr, Elisa Gonzalez Boix, and Hanspeter Mössenböck. "A concurrency-agnostic protocol for multi-paradigm concurrent debugging tools." ACM SIGPLAN Notices 52, no. 11 (2017): 3–14. http://dx.doi.org/10.1145/3170472.3133842.

Full text
APA, Harvard, Vancouver, ISO, and other styles
19

Zhou, Kun. "GPU parallel computing: Programming language, debugging tools and data structures." Frontiers of Electrical and Electronic Engineering 7, no. 1 (2012): 5–15. http://dx.doi.org/10.1007/s11460-012-0187-x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
20

OETSCH, JOHANNES, JÖRG PÜHRER, and HANS TOMPITS. "Catching the Ouroboros: On debugging non-ground answer-set programs." Theory and Practice of Logic Programming 10, no. 4-6 (2010): 513–29. http://dx.doi.org/10.1017/s1471068410000256.

Full text
Abstract:
AbstractAn important issue towards a broader acceptance of answer-set programming (ASP) is the deployment of tools which support the programmer during the coding phase. In particular, methods fordebuggingan answer-set program are recognised as a crucial step in this regard. Initial work on debugging in ASP mainly focused on propositional programs, yet practical debuggers need to handle programs with variables as well. In this paper, we discuss a debugging technique that is directly geared towards non-ground programs. Following previous work, we address the central debugging question why some interpretation is not an answer set. The explanations provided by our method are computed by means of a meta-programming technique, using a uniform encoding of a debugging request in terms of ASP itself. Our method also permits programs containing comparison predicates and integer arithmetics, thus covering a relevant language class commonly supported by all state-of-the-art ASP solvers.
APA, Harvard, Vancouver, ISO, and other styles
21

Timmerman, M., F. Gielen, and P. Lambrix. "High level tools for the debugging of real-time multiprocessor systems." ACM SIGPLAN Notices 28, no. 12 (1993): 151–57. http://dx.doi.org/10.1145/174267.170489.

Full text
APA, Harvard, Vancouver, ISO, and other styles
22

Braßel, Bernd. "A Technique to Build Debugging Tools for Lazy Functional Logic Languages." Electronic Notes in Theoretical Computer Science 246 (August 2009): 39–53. http://dx.doi.org/10.1016/j.entcs.2009.07.014.

Full text
APA, Harvard, Vancouver, ISO, and other styles
23

Marinescu, Dan C., James E. Lumpp, Thomas L. Casavant, and Howard Jay Siegel. "Models for monitoring and debugging tools for parallel and distributed software." Journal of Parallel and Distributed Computing 9, no. 2 (1990): 171–84. http://dx.doi.org/10.1016/0743-7315(90)90044-p.

Full text
APA, Harvard, Vancouver, ISO, and other styles
24

Soares, R. P., and A. R. Secchi. "DEBUGGING STATIC AND DYNAMIC RIGOROUS MODELS FOR EQUATION-ORIENTED CAPE TOOLS." IFAC Proceedings Volumes 40, no. 5 (2007): 291–96. http://dx.doi.org/10.3182/20070606-3-mx-2915.00096.

Full text
APA, Harvard, Vancouver, ISO, and other styles
25

Suijlen, Wijnand. "Mock BSPlib for Testing and Debugging Bulk Synchronous Parallel Software." Parallel Processing Letters 27, no. 01 (2017): 1740001. http://dx.doi.org/10.1142/s0129626417400011.

Full text
Abstract:
Testing parallel applications on a large number of processors is often impractical. Not only does it require access to scarce compute resources, but tracking down defects with the available debugging tools can often be very time consuming. Highly parallel codes should be testable on one processor at a time, so that a developer’s workstation is sufficient for executing and debugging test cases on millions of processes. Thanks to its supersteps, Bulk Synchronous Parallel programs are well suited for this kind of testing. This paper presents a mocking library for BSPlib which enables testing of fast and complex parallel algorithms at scale.
APA, Harvard, Vancouver, ISO, and other styles
26

Riboira, André, Rui Rodrigues, Rui Abreu, and José Campos. "Integrating Interactive Visualizations of Automatic Debugging Techniques on an Integrated Development Environment." International Journal of Creative Interfaces and Computer Graphics 3, no. 2 (2012): 42–59. http://dx.doi.org/10.4018/jcicg.2012070104.

Full text
Abstract:
Automated debugging techniques based on statistical analysis of historical test executions data have recently received considerable attention due to their diagnostic capabilities. However, the tools that materialize such techniques suffer from a common, rather important shortcoming: the lack of effective diagnostic reports’ visualizations. This limitation prevents the wide adoption of such tools, as it is difficult to understand the diagnostic reports yielded by them. To fill this gap, the authors propose a framework for integrating interactive visualizations of automatic debugging reports in a popular development environment (namely, the Eclipse integrated development environment). The framework, coined GZoltar, provides several important features to aid the developer’s efficiency to find the root cause of observed failures quickly, such as direct links to the source code editor. Furthermore, the authors report on the results of a user study conducted to assess GZoltar‘s effectiveness.
APA, Harvard, Vancouver, ISO, and other styles
27

Chapp, Dylan, Danny Rorabaugh, Kento Sato, Dong H. Ahn, and Michela Taufer. "A three-phase workflow for general and expressive representations of nondeterminism in HPC applications." International Journal of High Performance Computing Applications 33, no. 6 (2019): 1175–84. http://dx.doi.org/10.1177/1094342019868826.

Full text
Abstract:
Nondeterminism is an increasingly entrenched property of high-performance computing (HPC) applications and has recently been shown to seriously hamper debugging and reproducibility efforts. Tools for addressing the nondeterministic debugging problem have emerged, but they do not provide methods for systematically cataloging the nondeterminism in a given application. We propose a three-phase workflow for representing executions of nondeterministic message passing interface programs as event graphs, quantifying their structural similarity with graph kernels, and applying machine learning techniques to investigate shared properties across applications. We present an empirical study comparing two graph kernels’ suitability for this task and propose future uses of the methodology.
APA, Harvard, Vancouver, ISO, and other styles
28

Jin, Chao, Liang Ding, and David Abramson. "Extending the Eclipse Parallel Tools Platform Debugger with Scalable Parallel Debugging Library." Procedia Computer Science 18 (2013): 1774–83. http://dx.doi.org/10.1016/j.procs.2013.05.346.

Full text
APA, Harvard, Vancouver, ISO, and other styles
29

Lu, Junqiang, Xiaodong Ju, and Baiyong Men. "An ARM-based debugging system for multi-pole array acoustic logging tools." Petroleum Science 11, no. 4 (2014): 508–18. http://dx.doi.org/10.1007/s12182-014-0366-x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
30

Kelley, Sean, Edward Aftandilian, Connor Gramazio, Nathan Ricci, Sara L. Su, and Samuel Z. Guyer. "Heapviz: Interactive heap visualization for program understanding and debugging." Information Visualization 12, no. 2 (2012): 163–77. http://dx.doi.org/10.1177/1473871612438786.

Full text
Abstract:
Understanding the data structures in a program is crucial to understanding how the program works, or why it does not work. Inspecting the code that implements the data structures, however, is an arduous task and often fails to yield insights into the global organization of a program’s data. Inspecting the actual contents of the heap solves these problems but presents a significant challenge of its own: finding an effective way to present the enormous number of objects it contains. In this paper we present Heapviz, a tool for visualizing and exploring snapshots of the heap obtained from a running Java program. Unlike existing tools, such as traditional debuggers, Heapviz presents a global view of the program state as a graph, together with powerful interactive capabilities for navigating it. Our tool employs several key techniques that help manage the scale of the data. First, we reduce the size and complexity of the graph by using algorithms inspired by static shape analysis to aggregate the nodes that make up a data structure. Second, we implement a powerful visualization component whose interactive interface provides extensive support for exploring the graph. The user can search for objects based on type, connectivity, and field values; group objects; and color or hide and show each group. The user may also inspect individual objects to see their field values and neighbors in the graph. These interactive abilities help the user manage the complexity of these huge graphs. By applying Heapviz to both constructed and real-world examples, we show that it provides programmers with a powerful and intuitive tool for exploring program behavior.
APA, Harvard, Vancouver, ISO, and other styles
31

Sun, Li, Tianquan Li, Dayong Liu, et al. "Research on Hardware Structure of Intelligent Accompanying Tool Car in Dispatching Automation Computer Room." E3S Web of Conferences 248 (2021): 01007. http://dx.doi.org/10.1051/e3sconf/202124801007.

Full text
Abstract:
Aiming at the problems of complicated equipment types, low work efficiency in the computer room and safety management of the whole work process in the current dispatching automation computer room, the research on the intelligent companion tool cart with the management function of tools and equipment is proposed. Through the hardware research on the overall structure of the tool trolley according to the needs of the machine room work, the design and development of a three-layer intelligent companion tool trolley provides a self-cleaning operation platform for the maintenance staff of the automated machine room. Afterwards, hardware researches on sensors, communication interfaces, toolboxes, and power supplies were carried out. The power supply conducts hardware research, designs the management method of radio frequency scanning tools, and realizes the management of necessary tools and common spare parts for maintenance in the computer room. At the same time, it automatically accompanies and tracks the whole process of video recording, and realizes the safety control and intelligent management of tools and tools for debugging special laptops, which provide a basis for future software design.
APA, Harvard, Vancouver, ISO, and other styles
32

Dolinsky, M. S. "Experience of Blended Learning in the Basics of Digital Electronics." Digital Transformation, no. 1 (May 5, 2019): 36–42. http://dx.doi.org/10.38086/2522-9613-2019-1-36-42.

Full text
Abstract:
The article considers the practical experience of blended learning of students in the basics of digital electronics based on the use of the instrumental distance learning system DL.GSU.BY developed at the FranciskSkorinaGomelStateUniversity. There are described specialized tools for designing, modeling, debugging, and researching digital electronics devices developed specifically for learning the basics of digital electronics.
APA, Harvard, Vancouver, ISO, and other styles
33

Fleming, Scott D., Chris Scaffidi, David Piorkowski, et al. "An Information Foraging Theory Perspective on Tools for Debugging, Refactoring, and Reuse Tasks." ACM Transactions on Software Engineering and Methodology 22, no. 2 (2013): 1–41. http://dx.doi.org/10.1145/2430545.2430551.

Full text
APA, Harvard, Vancouver, ISO, and other styles
34

Na, Piaw. "Book Review: Debugging: Creative Techniques and Tools for Software Repair, by Martin Stitt." ACM SIGPLAN Notices 30, no. 7 (1995): 3. http://dx.doi.org/10.1145/208639.609060.

Full text
APA, Harvard, Vancouver, ISO, and other styles
35

Prokhorov, P. V., and D. I. Gerasimenko. "MICROSERVICES ARCHITECTURE FOR SOLVE SEARCH PROBLEMS IN OBJECT-BASED STORAGES." Applied Mathematics and Fundamental Informatics 7, no. 3 (2020): 018–23. http://dx.doi.org/10.25206/2311-4908-2020-7-3-18-23.

Full text
Abstract:
This article discusses microservice architecture when solving the problem of searching object storage similar to Amazon S3. The main focus is on popular solutions and core services used in microservice architecture. Ready-made search engines are also considered: Elastissearch; Apache Solr, when solving a search problem in a developed application. Describes tools that facilitate development and debugging in a microservice architecture.
APA, Harvard, Vancouver, ISO, and other styles
36

Curreri, John, Greg Stitt, and Alan D. George. "High-Level Synthesis of In-Circuit Assertions for Verification, Debugging, and Timing Analysis." International Journal of Reconfigurable Computing 2011 (2011): 1–17. http://dx.doi.org/10.1155/2011/406857.

Full text
Abstract:
Despite significant performance and power advantages compared to microprocessors, widespread usage of FPGAs has been limited by increased design complexity. High-level synthesis (HLS) tools have reduced design complexity but provide limited support for verification, debugging, and timing analysis. Such tools generally rely on inaccurate software simulation or lengthy register-transfer-level simulations, which are unattractive to software developers. In this paper, we introduce HLS techniques that allow application designers to efficiently synthesize commonly used ANSI-C assertions into FPGA circuits, enabling verification and debugging of circuits generated from HLS tools, while executing in the actual FPGA environment. To verify that HLS-generated circuits meet execution timing constraints, we extend the in-circuit assertion support for testing of elapsed time for arbitrary regions of code. Furthermore, we generalize timing assertions to transparently provide hang detection that back annotates hang occurrences to source code. The presented techniques enable software developers to rapidly verify, debug, and analyze timing for FPGA applications, while reducing frequency by less than 3% and increasing FPGA resource utilization by 0.7% or less for several application case studies on the Altera Stratix-II EP2S180 and Stratix-III EP3SE260 using Impulse-C. The presented techniques reduced area overhead by as much as 3x and improved assertion performance by as much as 100% compared to unoptimized in-circuit assertions.
APA, Harvard, Vancouver, ISO, and other styles
37

Shin, Woo-Chang. "A Study on the Effects of Visualization Tools on Debugging Program and Extending Functionality." International Journal of Advanced Science and Technology 115 (June 30, 2018): 149–60. http://dx.doi.org/10.14257/ijast.2018.115.14.

Full text
APA, Harvard, Vancouver, ISO, and other styles
38

PONTELLI, ENRICO, TRAN CAO SON, and OMAR ELKHATIB. "Justifications for logic programs under answer set semantics." Theory and Practice of Logic Programming 9, no. 1 (2009): 1–56. http://dx.doi.org/10.1017/s1471068408003633.

Full text
Abstract:
AbstractThe paper introduces the notion of offline justification for answer set programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom with respect to a given answer set. The paper extends also this notion to provide justification of atoms during the computation of an answer set (on-line justification) and presents an integration of online justifications within the computation model of Smodels. Offline and online justifications provide useful tools to enhance understanding of ASP, and they offer a basic data structure to support methodologies and tools for debugging answer set programs. A preliminary implementation has been developed in – .
APA, Harvard, Vancouver, ISO, and other styles
39

Zhang, K., X. D. Ju, J. Q. Lu, and B. Y. Men. "A debugging system for azimuthally acoustic logging tools based on modular and hierarchical design ideas." Journal of Geophysics and Engineering 13, no. 4 (2016): 430–40. http://dx.doi.org/10.1088/1742-2132/13/4/430.

Full text
APA, Harvard, Vancouver, ISO, and other styles
40

Nikulsins, Vladimirs, and Oksana Nikiforova. "Tool Integration to Support SPEM Model Transformations in Eclipse." Scientific Journal of Riga Technical University. Computer Sciences 41, no. 1 (2010): 60–67. http://dx.doi.org/10.2478/v10143-010-0025-7.

Full text
Abstract:
Tool Integration to Support SPEM Model Transformations in Eclipse This paper propose the approach for integrating SPEM modeling tools with the Query/View/Transformation (QVT) tools using Eclipse Modeling Framework (EMF). The aim of tool integration is to support the adoption of Model Driven Architecture within the organizations, which currently use "traditional" software development approaches. The software development process lifecycle of organization is supposed to be expressed with the help of OMG SPEM language. The approach presented in the paper is based on the model-level integration using EMF based interfaces, which will help to link the MOF based Ecore models with the QVT transformation tools. The outcomes of the work are: (i) the design of EMF based tool integration, (ii) solution prototype for Eclipse environment (iii) QVT Relations transformation rules. Model transformations are performed using mediniQVT tool, which is able to operate with the models expressed as Ecore metamodels and provides debugging features and transformation rules tracing. The QVT Relations transformations are applied to the source model, which corresponds to the "traditional" software development lifecycle. The outcome of such unidirectional transformation is the new software development process, which corresponds to the model-driven software development process. The generated target model is SPEM compliant, and can be imported into the external tool supporting SPEM models in Ecore.
APA, Harvard, Vancouver, ISO, and other styles
41

Shortliffe, E. H., and S. Tsuji. "Graphical Access to Medical Expert Systems: I. Design of a Knowledge Engineer’s Interface." Methods of Information in Medicine 25, no. 02 (1986): 62–70. http://dx.doi.org/10.1055/s-0038-1635457.

Full text
Abstract:
SummaryOptimal construction of medical expert systems demands a powerful interactive environment for knowledge base management by knowledge engineers. Key requirements include techniques for (a) examining existing information, (b) adding new knowledge and editing preexisting data structures, and (c) examining dynamic internal system behavior to facilitate debugging during consideration of actual cases. This article addresses design considerations in the development of such knowledge engineering tools. The emphasis is on the use of professional workstations with high density graphics interfaces since that technology is rapidly becoming a predominant environment for knowledge engineering activities. To illustrate the points made, examples are drawn from an experimental knowledge base management tool designed for knowledge engineers constructing the knowledge base of ONCOCIN, an expert system to advise in the management of cancer patients.
APA, Harvard, Vancouver, ISO, and other styles
42

Tsuji, S., and E. H. Shortliffe. "Graphical Access to Medical Expert Systems: I. Design of a Knowledge Engineer’s Interface." Methods of Information in Medicine 25, no. 02 (1986): 62–70. http://dx.doi.org/10.1055/s-0038-1636678.

Full text
Abstract:
SummaryOptimal construction of medical expert systems demands a powerful interactive environment for knowledge base management by knowledge engineers. Key requirements include techniques for (a) examining existing information, (b) adding new knowledge and editing preexisting data structures, and (c) examining dynamic internal system behavior to facilitate debugging during consideration of actual cases. This article addresses design considerations in the development of such knowledge engineering tools. The emphasis is on the use of professional workstations with high density graphics interfaces since that technology is rapidly becoming a predominant environment for knowledge engineering activities. To illustrate the points made, examples are drawn from an experimental knowledge base management tool designed for knowledge engineers constructing the knowledge base of ONCOCIN, an expert system to advise in the management of cancer patients.
APA, Harvard, Vancouver, ISO, and other styles
43

Šubrt, Ondřej, Martin Bodlák, Vladimir Frolov, et al. "The Online Monitoring API for the DIALOG Library of the COMPASS Experiment." EPJ Web of Conferences 214 (2019): 01020. http://dx.doi.org/10.1051/epjconf/201921401020.

Full text
Abstract:
Modern experiments demand a powerful and efficient Data Acquisition System (DAQ). The intelligent, FPGA-based Data Acquisition System (iFDAQ) of the COMPASS experiment at CERN is composed of many processes communicating between each other. The DIALOG library covers a communication mechanism between processes and establishes a communication layer to each of them. It has been introduced to the iFDAQ in the Run 2016 and improved significantly the stability of the system. The paper presents the online monitoring API for the DIALOG library. Communication between processes is challenging from a synchronization, reliability and robustness point of view. Online monitoring tools of the communication between processes are capable to reveal communication problems to be fixed in future. The debugging purpose has been crucial during introduction period to the iFDAQ. On the other hand, based on the measurement of communication between processes, the proper load balancing of processes among machines can improve the stability of the system. The online monitoring API offers a general approach for the implementation of many monitoring tools with different purposes. In the paper, it is discussed its fundamental concept, integration to a new monitoring tool and a few examples of monitoring tools are given.
APA, Harvard, Vancouver, ISO, and other styles
44

Hoque, Mohammad A., Ashwin Rao, and Sasu Tarkoma. "Network and Application Performance Measurement Challenges on Android Devices." ACM SIGMETRICS Performance Evaluation Review 48, no. 3 (2021): 6–11. http://dx.doi.org/10.1145/3453953.3453955.

Full text
Abstract:
Modern mobile systems are optimized for energy-efficient computation and communications, and these optimizations affect the way they use the network, and thus the performance of the applications. Therefore, understanding network and application performance are essential for debugging, improving user experience, and performance comparison. In recent years, several tools have emerged that analyze network performance of mobile applications in situ with the help of the VPN service. However, there is a limited understanding of how these measurement tools and system optimizations affect the network and application performance. This paper first demonstrates that mobile systems employ energy-aware system hardware tuning, affecting network latency and throughput. We next show that the VPN-based tools, such as Lumen, PrivacyGuard, and Video Optimizer, aid in ambiguous network performance measurements and degrade the application performance. Our findings suggest that sound Internet traffic measurement on Android devices requires a good understanding of the device, networks, measurement tools, and applications.
APA, Harvard, Vancouver, ISO, and other styles
45

Adler, Alexander, and Udo Kebschull. "ANaN — ANalyse And Navigate: Debugging Compute Clusters with Techniques from Functional Programming and Text Stream Processing." EPJ Web of Conferences 245 (2020): 01041. http://dx.doi.org/10.1051/epjconf/202024501041.

Full text
Abstract:
Monitoring is an indispensable tool for the operation of any large installation of grid or cluster computing, be it high energy physics or elsewhere. Usually, monitoring is configured to collect a small amount of data, just enough to enable detection of abnormal conditions. Once detected, the abnormal condition is handled by gathering all information from the affected components. This data is processed by querying it in a manner similar to a database. This contribution shows how the metaphor of a debugger (for software applications) can be transferred to a compute cluster. The concepts of variables, assertions and breakpoints that are used in debugging can be applied to monitoring by defining variables as the quantities recorded by monitoring and breakpoints as invariants formulated via these variables. It is found that embedding fragments of a data extracting and reporting tool such as the UNIX tool awk facilitates concise notations for commonly used variables since tools like awk are designed to process large event streams (in textual representations) with bounded memory. A functional notation similar to both the pipe notation used in the UNIX shell and the point-free style used in functional programming simplify the combination of variables that commonly occur when formulating breakpoints.
APA, Harvard, Vancouver, ISO, and other styles
46

Zachary, Wayne W., Jean-Christophe Le Mentec, and Serge Schremmer. "GINA: A Workbench for Constructing Interface Agents." Proceedings of the Human Factors and Ergonomics Society Annual Meeting 40, no. 17 (1996): 864. http://dx.doi.org/10.1177/154193129604001705.

Full text
Abstract:
The Generator of INterface Agents (GINA) is a software workbench that supports the development of interface agents. Viewing agent development as a cognitive engineering process, GINA supports development of agents from cognitive models of the human whose functions are being automated and/or supported by the agent. Built around the COGNET cognitive task analysis language, GINA provides software tools to support building and editing cognitive models, translating the models into executable forms that provide the reasoning kernel of an intelligent agent, building a software shell that allows this kernel to communicate with the targeted application environment, and testing and debugging the resulting agent.
APA, Harvard, Vancouver, ISO, and other styles
47

Foster, Ian, Robert Olson, and Steven Tuecke. "Productive Parallel Programming: The PCN Approach." Scientific Programming 1, no. 1 (1992): 51–66. http://dx.doi.org/10.1155/1992/519840.

Full text
Abstract:
We describe the PCN programming system, focusing on those features designed to improve the productivity of scientists and engineers using parallel supercomputers. These features include a simple notation for the concise specification of concurrent algorithms, the ability to incorporate existing Fortran and C code into parallel applications, facilities for reusing parallel program components, a portable toolkit that allows applications to be developed on a workstation or small parallel computer and run unchanged on supercomputers, and integrated debugging and performance analysis tools. We survey representative scientific applications and identify problem classes for which PCN has proved particularly useful.
APA, Harvard, Vancouver, ISO, and other styles
48

SILVA, JOSEP, and GERMÁN VIDAL. "Forward slicing of functional logic programs by partial evaluation." Theory and Practice of Logic Programming 7, no. 1-2 (2007): 215–47. http://dx.doi.org/10.1017/s1471068406002870.

Full text
Abstract:
AbstractProgram slicing has been mainly studied in the context of imperative languages, where it has been applied to a wide variety of software engineering tasks, like program understanding, maintenance, debugging, testing, code reuse, etc. This work introduces the first forward slicing technique for declarative multi-paradigm programs which integrate features from functional and logic programming. Basically, given a program and aslicing criterion(a function call in our setting), the computed forward slice contains those parts of the original program which arereachablefrom the slicing criterion. Our approach to program slicing is based on an extension of (online) partial evaluation. Therefore, it provides a simple way to develop program slicing tools from existing partial evaluators and helps to clarify the relation between both methodologies. A slicing tool for the multi-paradigm language Curry, which demonstrates the usefulness of our approach, has been implemented in Curry itself.
APA, Harvard, Vancouver, ISO, and other styles
49

Holubek, Radovan, Daynier Rolando Delgado Sobrino, Peter Košťál, and Roman Ružarovský. "Offline Programming of an ABB Robot Using Imported CAD Models in the RobotStudio Software Environment." Applied Mechanics and Materials 693 (December 2014): 62–67. http://dx.doi.org/10.4028/www.scientific.net/amm.693.62.

Full text
Abstract:
Current trend in automation area is focused to the innovation in all fields of the technologies and technological devices. Probably industrial robots and manipulators belong to development too. Industrial robots and manipulators belong to progressive elements of automation. Modern concept uses the offline programming as a tools integration of the virtual CAD models into programming environment. Offline programming carries a lot of advantages for example possibility of the programming without real robot system, possibility of the collision state debugging. Implementation of CAD models in virtual environment of Robot studio achieves better workplace station of creating robotic system and also it generates rather trajectories of the robot path in this system.
APA, Harvard, Vancouver, ISO, and other styles
50

Zhang, Xiao Dong, Xin Jun Yu, Yan Ping Wang, and Jie Zhang. "Experimental Investigation of Environmental Monitoring System for Large Granary Based on WinCE." Applied Mechanics and Materials 339 (July 2013): 211–16. http://dx.doi.org/10.4028/www.scientific.net/amm.339.211.

Full text
Abstract:
In order to meet the monitoring needs of grain conditions, an embedded environmental monitoring system based on WinCE was introduced in detail in this paper. The hardware of the embedded environmental monitoring platform integrated a S3C2410 ARM microprocessor for grain signals processing. A four wire resistive touch screen was adopted as the input and output tools in this environmental monitoring equipment. Furthermore, Windows CE.net was selected as the embedded operating system of the slave computer terminals. The use of Windows CE.net emulator supported the debugging and simulation of the user application programs for environmental monitoring system. Finally, the experimental investigation results proved the stability and reliability of the environmental monitoring system.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Debugging tools' for other source types:
Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography