|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4309 occurrences of 1739 keywords
|
|
|
Results
Found 5653 publication records. Showing 5653 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Ludovic Langevine, Mireille Ducassé |
A tracer driver for hybrid execution analyses. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
tracer, visualization, monitoring, debugging |
21 | David Kortenkamp, Reid G. Simmons, Tod Milam, Joaquín Lopez Fernández |
A Suite of Tools for Debugging Distributed Autonomous Systems. |
Formal Methods Syst. Des. |
2004 |
DBLP DOI BibTeX RDF |
distributed data logging, verification of distributed control programs, debugging autonomous systems, data visualization, run-time verification, interval logic |
21 | Tankut Akgul, Vincent John Mooney III |
Assembly instruction level reverse execution for debugging. |
ACM Trans. Softw. Eng. Methodol. |
2004 |
DBLP DOI BibTeX RDF |
reverse code generation, reverse execution, Debugging |
21 | Camil Demetrescu, Irene Finocchi |
A portable virtual machine for program debugging and directing. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
directors, virtual machines, debugging, reversible computing |
21 | Markus Gälli, Michele Lanza, Oscar Nierstrasz, Roel Wuyts |
Ordering Broken Unit Tests for Focused Debugging. |
ICSM |
2004 |
DBLP DOI BibTeX RDF |
debugging, Unit testing |
21 | Marcos Kawazoe Aguilera, Jeffrey C. Mogul, Janet L. Wiener, Patrick Reynolds, Athicha Muthitacharoen |
Performance debugging for distributed systems of black boxes. |
SOSP |
2003 |
DBLP DOI BibTeX RDF |
black box systems, distributed systems, performance analysis, performance debugging |
21 | Tankut Akgul, Vincent John Mooney |
Instruction-level reverse execution for debugging. |
PASTE |
2002 |
DBLP DOI BibTeX RDF |
reverse code generation, reverse execution, debugging |
21 | Noritaka Osawa, Hisaya Morita, Toshitsugu Yuba |
Animation for Performance Debugging of Parallel Computing Systems. |
VRML |
1997 |
DBLP DOI BibTeX RDF |
VRML 2.0, parallel program, VRML, dynamic system, performance debugging |
21 | Ronan Gaugne |
A Static Analysis for Program Understanding and Debugging. |
ASE |
1997 |
DBLP DOI BibTeX RDF |
static pointer analysis technique, C subset, user-defined assertions, static assertions, hypothetical assertions, circular structures, reverse engineering, program understanding, program debugging, automatic verification, assumptions, recursive data structures |
21 | Jong-Deok Choi, Barton P. Miller, Robert H. B. Netzer |
Techniques for Debugging Parallel Programs with Flowback Analysis. |
ACM Trans. Program. Lang. Syst. |
1991 |
DBLP DOI BibTeX RDF |
flowback analysis, incremental tracing, parallel program, debugging, semantic analysis, program dependence graph |
21 | Jeffrey J. P. Tsai, Kwang-Ya Fang, Horng-Yuan Chen, Yao-Dong Bi |
A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
real-time software testing, recorded execution history, noninterference monitoring architecture, program execution data, target real-time software system, replay mechanism, Motorola 68000 computer, Unix system environment, real-time software systems, real-time systems, program testing, program debugging, monitoring system, program behavior, timing errors |
21 | Thomas J. LeBlanc, John M. Mellor-Crummey |
Debugging Parallel Programs with Instant Replay. |
IEEE Trans. Computers |
1987 |
DBLP DOI BibTeX RDF |
CREW protocols, execution replay, parallel programming, shared objects, distributed debugging, program instrumentation |
21 | Glenford J. Myers, David G. Hocker |
The Use of Software Simulators in the Testing and Debugging of Microprogram Logic. |
IEEE Trans. Computers |
1981 |
DBLP DOI BibTeX RDF |
testing, Debugging, microprogramming, processor simulation |
20 | Kevin J. Hoffman, Patrick Eugster, Suresh Jagannathan |
Semantics-aware trace analysis. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
semantic tracing, trace views, tracing, testing tools, automated debugging, debugging aids |
20 | B. Robert Helm, Allen D. Malony, Stephen Fickas |
Capturing and automating performance diagnosis: the Poirot approach. |
IPPS |
1995 |
DBLP DOI BibTeX RDF |
Poirot, diagnosis methods, knowledge-based diagnosis, software engineering, parallel programming, software performance evaluation, program debugging, performance tools, performance debugging, diagnostic expert systems, performance diagnosis |
20 | Vijay K. Garg, Brian Waldecker |
Detection of Weak Unstable Predicates in Distributed Programs. |
IEEE Trans. Parallel Distributed Syst. |
1994 |
DBLP DOI BibTeX RDF |
programtesting, weak unstable predicates, weakconjunctive predicates, distributed debugger, testing, distributed algorithms, debugging, Unix, UNIX, communication complexity, distributed programs, distributed memory systems, program debugging, message complexity, Sun workstations, global predicates |
20 | Mohan Ahuja, Timothy Carlson, Ashwani Gahlot |
Passive-space and Time View: Vector Clocks for Achieving Higher Performance, Program Correction, and Distributed Computing. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
time view, passive-space view, intraprocess concurrency, global logical clocks, distributed computing, distributed computations, debugging, distributed processing, concurrency control, high performance, program debugging, timestamps, vector clocks, program correction, sequential computations |
20 | Yoshihiro Tohma, Kenshin Tokunaga, Shinji Nagase, Yukihisa Murata |
Structural Approach to the Estimation of the Number of Residual Software Faults Based on the Hyper-Geometric Distribution. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
residual software faults, hyper-geometric distribution, segmentation technique, composite estimation, growth curve, debugging, software reliability, software reliability, statistical analysis, programming theory, program debugging, hypergeometric distribution |
20 | Gene Fisher |
An Overview of a Graphical Multilanguage Applications Environment. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
graphical multilanguage applications environment, Pascal-class languages, multilanguage interpreter, interactive development, graphical program interface, software control panel, graphical design tool, executable block diagrams, user interfaces, user interfaces, software tools, software tools, programming environment, programming environments, program debugging, program debugging, program interpreters, engineering graphics, engineering graphics, program execution, engineering applications |
17 | Raimondas Sasnauskas, Olaf Landsiedel, Muhammad Hamad Alizai, Carsten Weise, Stefan Kowalewski, Klaus Wehrle |
KleeNet: discovering insidious interaction bugs in wireless sensor networks before deployment. |
IPSN |
2010 |
DBLP DOI BibTeX RDF |
automated protocol testing, wireless sensor networks, experimentation, failure detection |
17 | Dennis Jeffrey, Min Feng 0001, Neelam Gupta, Rajiv Gupta 0001 |
BugFix: A learning-based tool to assist developers in fixing bugs. |
ICPC |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Chin-Yu Huang, Wei-Chih Huang |
Software Reliability Analysis and Measurement Using Finite and Infinite Server Queueing Models. |
IEEE Trans. Reliab. |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Sai Zhang 0001, Yu Lin, Zhongxian Gu, Jianjun Zhao 0001 |
Effective identification of failure-inducing changes: a hybrid approach. |
PASTE |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Liang Bao, Sheng Chen 0002, Xiyang Liu, Shengming Hu, Ping Chen |
Towards a Reversible BPEL Debugger. |
ICWS |
2008 |
DBLP DOI BibTeX RDF |
|
17 | André V. Fidalgo, Gustavo R. Alves, Manuel G. Gericota, José Manuel Martins Ferreira |
A comparative analysis of fault injection methods via enhanced on-chip debug infrastructures. |
SBCCI |
2008 |
DBLP DOI BibTeX RDF |
real time systems, dependability, fault injection |
17 | Xiaoxing Gao, Xueyong Li, Xu Han |
Studying and Implementation of Embedded System's Code Replacement Technique. |
CSSE (4) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Valentina Grigoreanu, Jill Cao, Todd Kulesza, Christopher Bogart, Kyle Rector, Margaret M. Burnett, Susan Wiedenbeck |
Can feature design reduce the gender gap in end-user software development environments? |
VL/HCC |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Max R. de O. Schultz, Alexandre Keunecke Ignácio Mendonça, Felipe G. Carvalho, Olinto J. V. Furtado, Luiz C. V. dos Santos |
A Model-Driven Automatically-Retargetable Debug Tool for Embedded Systems. |
SAMOS |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Stephen F. Siegel |
Verifying Parallel Programs with MPI-Spin. |
PVM/MPI |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Magnus Strengert, Thomas Klein, Thomas Ertl |
A hardware-aware debugger for the OpenGL shading language. |
Graphics Hardware |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Christian Genz, Rolf Drechsler, Gerhard Angst, Lothar Linhard |
Visualization of SystemC Designs. |
ISCAS |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Leitner, Manuel Oriol, Andreas Zeller, Ilinca Ciupa, Bertrand Meyer 0001 |
Efficient unit test case minimization. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
unit testing, minimization, slicing |
17 | Nuno Lau, Luís Paulo Reis, João Certo |
Understanding Dynamic Agent's Reasoning. |
EPIA Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Milos Prvulovic |
CORD: cost-effective (and nearly overhead-free) order-recording and data race detection. |
HPCA |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Haixia Wang 0001, Dongsheng Wang 0002, Peng Li 0031 |
Acceleration Techniques for Chip-Multiprocessor Simulator Debug. |
Asia-Pacific Computer Systems Architecture Conference |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Andrei, Albert Mo Kim Cheng |
Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension. |
RTSS |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Wei-Chih Huang, Chin-Yu Huang, Chuan-Ching Sue |
Software Reliability Prediction and Assessment Using both Finite and Infinite Server Queueing Approaches. |
PRDC |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Boby George, Shawn A. Bohner, Nannan He |
Towards a Model Level Debugger for the Cougaar Model Driven Architecture System. |
WRAC |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Rolf Drechsler, Görschwin Fey, Christian Genz, Daniel Große |
SyCE: An Integrated Environment for System Design in SystemC. |
IEEE International Workshop on Rapid System Prototyping |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Marsha Chechik, Arie Gurfinkel |
A Framework for Counterexample Generation and Exploration. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Pin Zhou, Wei Liu 0014, Long Fei, Shan Lu 0001, Feng Qin, Yuanyuan Zhou 0001, Samuel P. Midkiff, Josep Torrellas |
AccMon: Automatically Detecting Memory-Related Bugs via Program Counter-Based Invariants. |
MICRO |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Jonathan Noel Tombs, Miguel Angel Aguirre Echánove, Fernando Muñoz 0001, Vicente Baena Lecuyer, Antonio Jesús Torralba Silgado, A. Fernandez-León, Francisco Tortosa |
The Implementation of a FPGA Hardware Debugger System with Minimal System Overhead. |
FPL |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Rohit N. Kundaji, R. K. Shyamasundar |
Development of Semantic Debuggers Based on Refinement Calculus. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Debashis Nayak, Srikanth Venkataraman, Paul J. Thadikaran |
Razor: A Tool for Post-Silicon Scan ATPG Pattern Debug and Its Application. |
VTS |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Yukio Okuda |
Panel Synopsis - Diagnosis Meets Physical Failure Analysis: How Long Can We Succeed? |
ITC |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Clinton Jeffery, Mikhail Auguston, Scott Underwood |
Towards Fully Automatic Execution Monitoring. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
17 | María Alpuente, Marco Comini, Santiago Escobar 0001, Moreno Falaschi, Salvador Lucas |
Abstract Diagnosis of Functional Programs. |
LOPSTR |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Tobias Müller |
Practical Investigation of Constraints with Graph Views. |
CP |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Gustavo R. Alves, José Manuel Martins Ferreira |
From Design-for-Test to Design-for-Debug-and-Test: Analysis of Requirements and Limitations for 1149.1. |
VTS |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Richard Kelsey, William D. Clinger, Jonathan Rees |
Revised5 Report on the Algorithmic Language Scheme. |
ACM SIGPLAN Notices |
1998 |
DBLP DOI BibTeX RDF |
SCHEME |
17 | Hee-Dong Park, Yong-Kee Jun |
Detecting the First Races in Parallel Programs with Ordered Synchronization. |
ICPADS |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Yasuhiro Ajiro, Kazunori Ueda, Kenta Cho 0003 |
Error-Correcting Source Code. |
CP |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Sekhar R. Sarukkai, A. Beers |
Monitoring Data-Structure Evolution in Distributed Message-Passing Programs. |
HICSS (1) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Marc Khouzam, Thomas Kunz |
Single stepping in event-visualization tools. |
CASCON |
1996 |
DBLP BibTeX RDF |
|
17 | Philip W. Hall IV |
Parsing with C++ Constructors. |
ACM SIGPLAN Notices |
1993 |
DBLP DOI BibTeX RDF |
C++ |
17 | Baowen Xu |
CRL/Pascal: A Pascal-oriented Cross Reference Language And Its Applications. |
ACM SIGPLAN Notices |
1993 |
DBLP DOI BibTeX RDF |
Pascal |
17 | Thomas R. Riedl, Julian S. Weitzenfeld, Jared T. Freeman, Gary A. Klein, John D. Musa |
What We Have Learned About Software Engineering Expertise. |
CSEE |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Ziya Aral, Ilya Gertner |
Parasight: a high-level debugger/profiler architecture for shared-memory multiprocessor. |
ICS |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Ziya Aral, Ilya Gertner |
Non-Intrusive and Interactive Profiling in Parasight. |
PPOPP/PPEALS |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Norman M. Delisle, David E. Menicosy, Mayer D. Schwartz |
Viewing a Programming Environment as a Single Tool. |
Software Development Environments (SDE) |
1984 |
DBLP DOI BibTeX RDF |
Pascal, Smalltalk |
16 | Richard Huber, Philipp Sommer, Roger Wattenhofer |
Demo abstract: Debugging wireless sensor network simulations with YETI and COOJA. |
IPSN |
2011 |
DBLP BibTeX RDF |
|
16 | Jyh-Da Wei, Ming-Hung Tsai, Gen-Cher Lee, Jeng-Hung Huang, Der-Tsai Lee |
GeoBuilder: A Geometric Algorithm Visualization and Debugging System for 2D and 3D Geometric Computing. |
IEEE Trans. Vis. Comput. Graph. |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Emilio Serrano, Juan A. Botía Blaya, José Manuel Cadenas |
Construction and Debugging of a Multi-Agent Based Simulation to Study Ambient Intelligence Applications. |
IWANN (1) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Robert Könighofer, Georg Hofferek, Roderick Bloem |
Debugging formal specifications using simple counterstrategies. |
FMCAD |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Dong H. Ahn, Bronis R. de Supinski, Ignacio Laguna, Gregory L. Lee, Ben Liblit, Barton P. Miller, Martin Schulz 0001 |
Scalable temporal order analysis for large scale debugging. |
SC |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Ivo Swartjes, Mariët Theune |
Iterative Authoring Using Story Generation Feedback: Debugging or Co-creation? |
ICIDS |
2009 |
DBLP DOI BibTeX RDF |
methodology, authoring, Interactive storytelling, co-creation |
16 | Yao Qi, Raja Das, Zhi Da Luo, Martin Trotter |
MulticoreSDK: a practical and efficient data race detector for real-world applications. |
PADTAD |
2009 |
DBLP DOI BibTeX RDF |
concurrent program analysis, multicore platform, data race detection |
16 | Freya H. Lin, Timothy K. Shih |
Automatic Trap Detection: A Debugging Mechanism for Abnormal Specification in the IMS Sequencing Controls. |
IEEE Trans. Learn. Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Kai-Hui Chang, Igor L. Markov, Valeria Bertacco |
Automating Postsilicon Debugging and Repair. |
Computer |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Robert Schaefer |
Debugging debugged, a metaphysical manifesto of systems integration. |
ACM SIGSOFT Softw. Eng. Notes |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Bart Vermeulen, Kees Goossens, Siddharth Umrani |
Debugging Distributed-Shared-Memory Communication at Multiple Granularities in Networks on Chip. |
NOCS |
2008 |
DBLP DOI BibTeX RDF |
communication-centric debug, debug, network-on-chip, design for debug |
16 | Basile Schaeli, Ali Al-Shabibi, Roger D. Hersch |
Visual Debugging of MPI Applications. |
PVM/MPI |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Kevin Camera, Robert W. Brodersen |
An integrated debugging environment for FPGA computing platforms. |
FPGA |
2008 |
DBLP DOI BibTeX RDF |
simulation, FPGA, design, verification |
16 | Husain Aljazzar, Stefan Leue |
Debugging of Dependability Models Using Interactive Visualization of Counterexamples. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Kevin Camera, Robert W. Brodersen |
An integrated debugging environment for FPGA computing platforms. |
FPL |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Zhenyu Zhang 0004, Bo Jiang 0001, W. K. Chan 0001, T. H. Tse |
Debugging through Evaluation Sequences: A Controlled Experimental Study. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
evaluation sequence, fault localization |
16 | Robin Abraham, Martin Erwig |
Test-driven goal-directed debugging in spreadsheets. |
VL/HCC |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Dreibholz, Erwin P. Rathgeb |
A powerful tool-chain for setup, distributed processing, analysis and debugging of OMNeT++ simulations. |
SimuTools |
2008 |
DBLP DOI BibTeX RDF |
simulation run distribution, analysis, simulation model, parametrization, plotting |
16 | David Pizzi, Marc Cavazza |
From Debugging to Authoring: Adapting Productivity Tools to Narrative Content Description. |
ICIDS |
2008 |
DBLP DOI BibTeX RDF |
Character-based Storytelling, Planning, Authoring Tools, Content Creation |
16 | Basile Schaeli, Roger D. Hersch |
Dynamic testing of flow graph based parallel applications. |
PADTAD |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Madan Musuvathi |
Systematic concurrency testing using CHESS. |
PADTAD |
2008 |
DBLP DOI BibTeX RDF |
testing, concurrency, race conditions |
16 | Vijay Nagarajan, Rajiv Gupta 0001 |
Support for symmetric shadow memory in multiprocessors. |
PADTAD |
2008 |
DBLP DOI BibTeX RDF |
symmetric shadow memory, monitoring |
16 | Michael DeRosa, Jason Campbell, Padmanabhan Pillai, Seth Copen Goldstein, Peter Lee 0001, Todd C. Mowry |
Distributed Watchpoints: Debugging Large Multi-Robot Systems. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Guru Venkataramani, Brandyn Roemer, Yan Solihin, Milos Prvulovic |
MemTracker: Efficient and Programmable Support for Memory Access Monitoring and Debugging. |
HPCA |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
Debugging and Troubleshooting. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Qiang Yue, Zhiwei Xu 0002, Haiyan Yu, Wei Li 0008, Li Zha |
An Approach to Debugging Grid or Web Services. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Dorian C. Arnold, Dong H. Ahn, Bronis R. de Supinski, Gregory L. Lee, Barton P. Miller, Martin Schulz 0001 |
Stack Trace Analysis for Large Scale Debugging. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Young-Joo Kim, Mun-Hye Kang, Ok-Kyoon Ha, Yong-Kee Jun |
Efficient Race Verification for Debugging Programs with OpenMP Directives. |
PaCT |
2007 |
DBLP DOI BibTeX RDF |
OpenMP directive, protocol scheme, verification, labeling scheme, races |
16 | Joaquín Entrialgo, Javier García 0002, José Luis Díaz, Daniel F. García |
Stochastic Metrics for Debugging the Timing Behaviour of Real-Time Systems. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Rick Chern, Kris De Volder |
Debugging with control-flow breakpoints. |
AOSD |
2007 |
DBLP DOI BibTeX RDF |
debugger interface, pointcut language, case studies |
16 | David Andrzejewski, Anne Mulhern, Ben Liblit, Xiaojin Zhu 0001 |
Statistical Debugging Using Latent Topic Models. |
ECML |
2007 |
DBLP DOI BibTeX RDF |
|
16 | James A. Clause, Alessandro Orso |
A Technique for Enabling and Supporting Debugging of Field Failures. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Samarjit Chakraborty, Abhik Roychoudhury |
Tutorial T8B: Performance Debugging of Complex Embedded Systems. |
VLSI Design |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Mi-Young Park, Seok Young Kim, Hyuk-Ro Park |
Visualization of Affect-Relations of Message Races for Debugging MPI Programs. |
GrC |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Robert Palmer, Ganesh Gopalakrishnan, Robert M. Kirby |
Semantics driven dynamic partial-order reduction of MPI-based parallel programs. |
PADTAD |
2007 |
DBLP DOI BibTeX RDF |
concurrent program semantics, transition independence, model checking, MPI, partial-order reduction |
16 | Chia-Chih Yen, Jing-Yang Jou |
An Optimum Algorithm for Compacting Error Traces for Efficient Design Error Debugging. |
IEEE Trans. Computers |
2006 |
DBLP DOI BibTeX RDF |
simulation, Verification, diagnosis, satisfiability, error checking |
16 | Lami Kaya, Mohammad Al-Qudah |
Debugging Trellis Decoding of Augmented RAC Array Codes Using a Visual Tool. |
CGIV |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Christopher Gottbrath, Brian Barrett, William D. Gropp, Ewing L. Lusk, Jeffrey M. Squyres |
An Interface to Support the Identification of Dynamic MPI 2 Processes for Scalable Parallel Debugging. |
PVM/MPI |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Nobuyuki Ohba, Kohji Takano |
Hardware debugging method based on signal transitions and transactions. |
ASP-DAC |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Cara Winterbottom, Edwin H. Blake, James E. Gain |
Using Visualizations to Support Design and Debugging in Virtual Reality. |
ISVC (1) |
2006 |
DBLP DOI BibTeX RDF |
|
|
|