Keywords: اشکال زدایی; Tracing; Debugging; Lazy evaluation; Haskell;
مقالات ISI اشکال زدایی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: اشکال زدایی; Pragmatic software reuse; Test suite reuse; Error detection; Error repair; Debugging; Maintenance; Semi-automatic; Lightweight tool;
Keywords: اشکال زدایی; Concurrency; Debugging; Promises; Smalltalk; Domain-specific tools;
Keywords: اشکال زدایی; Abstract argumentation; Stable semantics; Preferred semantics; Non-existence; Undecidedness; Inconsistency; Dynamics; Debugging;
Keywords: اشکال زدایی; Debugging; mutation analysis; Language interoperability; Foreign function interface;
Keywords: اشکال زدایی; Debugging; Null pointer; Causality analysis;
Keywords: اشکال زدایی; Dynamic dependency graphs; RTL; Fault localization; Debugging;
Keywords: اشکال زدایی; Exception analysis; Static analysis; Dynamic analysis; Exception flow; Testing; Debugging;
Keywords: اشکال زدایی; Software reliability growth model (SRGM); Change-point; Software testing; Debugging; Non-homogeneous Poisson process (NHPP)
Keywords: اشکال زدایی; Debugging; Assertion; Statistics; Parallel architecture
Keywords: اشکال زدایی; Software engineering; Model-driven; Debugging; Reconfigurable computing; System-on-Chip
Keywords: اشکال زدایی; Fault localization; Debugging; Program slices; Statistical analysis;
Keywords: اشکال زدایی; Spreadsheets; Mental models; Paradigm shift; Debugging; Errors
Debugopt: Debugging fully optimized natively compiled programs using multistage instrumentation
Keywords: اشکال زدایی; Debugging; Multistage instrumentation; Hot patching;
Fault localisation for WS-BPEL programs based on predicate switching and program slicing
Keywords: اشکال زدایی; Fault localisation; Debugging; Business process execution language for web services; Web services;
Spectrum-based fault localization in software product lines
Keywords: اشکال زدایی; Software product lines; Spectrum-based fault localization; Feature models; Debugging;
Novel architectural space exploration environment for multi-FPGA based prototyping systems
Keywords: اشکال زدایی; Multi FPGA-based prototyping; Exploration environment; Inter-FPGA routing; Debugging;
The Nexmon firmware analysis and modification framework: Empowering researchers to enhance Wi-Fi devices
Keywords: اشکال زدایی; Wi-Fi chips; Reverse engineering; Firmware; Smartphones; Debugging; Channel state information extraction; Software-defined radio; Nexmon; Broadcom;
DiaSys: Improving SoC insight through on-chip diagnosis
Keywords: اشکال زدایی; Debugging; Tracing; MPSoC; Diagnosis; Dataflow; SoC architectures;
Introducing the Facility Asynchronous Data Analysis Tool (FADAT) to optimize productive machine cycle in industrial plants*
Keywords: اشکال زدایی; Industrial robots; Information analysis; Data handling systems; Debugging; Human-machine interface; Data stream;
A qualitative study on debugging under an enterprise IDE
Keywords: اشکال زدایی; IDE; Debugging; Software productivity
Practical domain-specific debuggers using the Moldable Debugger framework
Keywords: اشکال زدایی; Debugging; Customization; Domain-specific tools; User interfaces; Programming environments; Smalltalk
ABFL: An autoencoder based practical approach for software fault localization
Keywords: اشکال زدایی; Fault localization; Debugging; SBFL; Autoencoder;
Graphics processing unit (GPU) programming strategies and trends in GPU computing
Keywords: اشکال زدایی; GPU computing; Heterogeneous computing; Profiling; Optimization; Debugging; Hardware; Future trends
Dynamic floating-point cancellation detection
Keywords: اشکال زدایی; Tools; Floating-point; Program analysis; Correctness; Debugging
Robust design of multi-agent system interactions: A testing approach based on pattern matching
Keywords: اشکال زدایی; Agent-oriented software engineering; Communication; Debugging; Interaction; Multi-agent system; Testing
Formal equivalence verification and debugging techniques with auto-correction mechanism for RTL designs
Keywords: اشکال زدایی; Equivalence checking; Formal verification; Debugging; RTL designs
gdbOF: A debugging tool for OpenFOAM®
Keywords: اشکال زدایی; Computational fluid dynamics; Finite volume method; OpenFOAM; Data structures; Debugging; gdbOF
Exploiting parallelism in deterministic shared memory multiprocessing
Keywords: اشکال زدایی; Parallelism; Determinism; Shared memory; Weak memory consistency; Debugging; FPDet
Tracing and recording interrupts in embedded software
Keywords: اشکال زدایی; Embedded Systems; Record and Replay; Debugging; Tracing
Structural analysis for static and dynamic models
Keywords: اشکال زدایی; Structural analysis; DAE; Debugging; Graph theory
An approach to debug interactions in multi-agent system software tests
Keywords: اشکال زدایی; Multi-agent systems; Testing; Debugging; Off-line analysis
Debugging reversible circuits
Keywords: اشکال زدایی; Reversible logic; Debugging; Toffoli gates; Emerging technologies
A survey on algorithmic debugging strategies
Keywords: اشکال زدایی; Debugging; Algorithmic debugging; Algorithmic debugging strategy; Divide & query; Execution tree; Software engineering
An empirical investigation into the design of auditory cues to enhance computer program comprehension
Keywords: اشکال زدایی; Auditory programming; Programming; Debugging; Program comprehension
A PC-BASED OBJECT SIMULATOR FOR SUPPORTING PLC SOFTWARE DEVELOPMENT
Keywords: اشکال زدایی; Industrial control; Programmable logic controllers; Program diagnostics; Debugging; Simulation; Process simulators; Software engineering; Software productivity
Debugging complex software systems by means of pathfinder networks
Keywords: اشکال زدایی; Multi-agent systems; Debugging; Forensic analysis; Pathfinder networks; Complex systems
Design and debugging databases for statistical analysis
Keywords: اشکال زدایی; Data file; Debugging; Statistical data analyses;
An explanation-based tools for debugging constraint satisfaction problems
Keywords: اشکال زدایی; Constraint programming; Explanations; Conflicts; Debugging; Solver
UCheck: A spreadsheet type checker for end users
Keywords: اشکال زدایی; Spreadsheet; Unit; Type; Automatic error detection; Debugging; End-user software engineering
Development of a debug module for a FPGA-Based microcontroller
Keywords: اشکال زدایی; debugging; microprocessor; hardware; SoC; VHDL; JTAG port;
Impact of high-intensity negotiated-style interruptions on end-user debugging
Keywords: اشکال زدایی; Interruptions; End-user software engineering; Debugging; Surprise-Explain-Reward; Spreadsheets
Distributed dynamic slicing of Java programs
Keywords: اشکال زدایی; Program slicing; Dynamic slicing; Program dependence graph; Debugging; Object-oriented program; Multithreading; Java; Distributed programming
Eclipse Support for Using Eli and Teaching Programming Languages
Keywords: اشکال زدایی; Language processor generation; integrated development environment; programming language education; debugging;
The test search for true mixed-signal cores
Keywords: اشکال زدایی; Mixed-signal testing; Testability transfer function; Debugging; Diagnosis; Data converter testing;
Computing dynamic slices of concurrent object-oriented programs
Keywords: اشکال زدایی; Program slicing; Static slicing; Dynamic slicing; Program dependence graph; Debugging; Concurrent object-oriented programs; Threads;
Smart debugging software architectural design in SDL
Keywords: اشکال زدایی; Architectural design; SDL; Testing; Debugging; Execution slice; Fault detection; SmartDSDL;
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
Keywords: اشکال زدایی; Program development; Global analysis; Abstract interpretation; Debugging; Verification; Partial evaluation; Program transformation; Optimization; Parallelization; Resource control; Programming environments; Multi-Paradigm programming; (Constraint) Logic p
Interactive, visual fault localization support for end-user programmers
Keywords: اشکال زدایی; End-user programming; Visual fault localization; Debugging; End-user software engineering; Testing; Slicing; Form-based visual programs;
Source-tracking unification
Keywords: اشکال زدایی; Algorithms; Debugging; Formal languages; Graph theory; Logic programming; Path problems; Term unification; Type inference;