|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005, pp. 143-148, 2005, ACM, 1-59593-050-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 24(2), pp. 157-188, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 13(2), pp. 149-198, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 1524-1530, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 20th International Conference on Software Maintenance (ICSM 2004), 11-17 September 2004, Chicago, IL, USA, pp. 114-123, 2004, IEEE Computer Society, 0-7695-2213-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, SOSP 2003, Bolton Landing, NY, USA, October 19-22, 2003, pp. 74-89, 2003, ACM, 1-58113-757-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 2002 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'02, Charleston, South Carolina, USA, November 18-19, 2002, pp. 18-25, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VRML ![In: Proceedings of the Second Symposium on Virtual Reality Modeling Language, VRML 1997, Monterey, California, USA, February 24-26, 1997, pp. 101-, 1997, ACM, 0-89791-886-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, pp. 297-298, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 13(4), pp. 491-530, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(8), pp. 897-916, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 36(4), pp. 471-482, 1987. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 30(7), pp. 519-523, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
testing, Debugging, microprogramming, processor simulation |
20 | Kevin J. Hoffman, Patrick Eugster, Suresh Jagannathan |
Semantics-aware trace analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 453-464, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '95, The 9th International Parallel Processing Symposium, April 25-28, 1995, Santa Barbara, California, USA, pp. 606-613, 1995, IEEE Computer Society, 0-8186-7074-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 5(3), pp. 299-307, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(9), pp. 845-855, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(3), pp. 345-355, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(6), pp. 774-786, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: Proceedings of the 9th International Conference on Information Processing in Sensor Networks, IPSN 2010, April 12-16, 2010, Stockholm, Sweden, pp. 186-196, 2010, ACM, 978-1-60558-988-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPC ![In: The 17th IEEE International Conference on Program Comprehension, ICPC 2009, Vancouver, British Columbia, Canada, May 17-19, 2009, pp. 70-79, 2009, IEEE Computer Society, 978-1-4244-3998-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Chin-Yu Huang, Wei-Chih Huang |
Software Reliability Analysis and Measurement Using Finite and Infinite Server Queueing Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 57(1), pp. 192-203, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia, November 9-10, 2008, pp. 77-83, 2008, ACM, 978-1-60558-382-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Liang Bao, Sheng Chen 0002, Xiyang Liu, Shengming Hu, Ping Chen |
Towards a Reversible BPEL Debugger. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2008 IEEE International Conference on Web Services (ICWS 2008), September 23-26, 2008, Beijing, China, pp. 832-833, 2008, IEEE Computer Society, 978-0-7695-3310-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: Proceedings of the 21st Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2008, Gramado, Brazil, September 1-4, 2008, pp. 22-27, 2008, ACM, 978-1-60558-231-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (4) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 4: Embedded Programming / Database Technology / Neural Networks and Applications / Other Applications, December 12-14, 2008, Wuhan, China, pp. 13-17, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL/HCC ![In: IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2008, Herrsching am Ammersee, Germany, 15-19 September 2008, Proceedings, pp. 149-156, 2008, IEEE Computer Society, 978-1-4244-2528-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAMOS ![In: Embedded Computer Systems: Architectures, Modeling, and Simulation, 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings, pp. 13-23, 2007, Springer, 978-3-540-73622-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Stephen F. Siegel |
Verifying Parallel Programs with MPI-Spin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 14th European PVM/MPI User's Group Meeting, Paris, France, September 30 - October 3, 2007, Proceedings, pp. 13-14, 2007, Springer, 978-3-540-75415-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Magnus Strengert, Thomas Klein, Thomas Ertl |
A hardware-aware debugger for the OpenGL shading language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphics Hardware ![In: Proceedings of the ACM SIGGRAPH/EUROGRAPHICS Conference on Graphics Hardware 2007, San Diego, California, USA, August 4-5, 2007, pp. 81-88, 2007, Eurographics Association, 978-1-59593-625-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Christian Genz, Rolf Drechsler, Gerhard Angst, Lothar Linhard |
Visualization of SystemC Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2007), 27-20 May 2007, New Orleans, Louisiana, USA, pp. 413-416, 2007, IEEE, 1-4244-0920-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Leitner, Manuel Oriol, Andreas Zeller, Ilinca Ciupa, Bertrand Meyer 0001 |
Efficient unit test case minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, pp. 417-420, 2007, ACM, 978-1-59593-882-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
unit testing, minimization, slicing |
17 | Nuno Lau, Luís Paulo Reis, João Certo |
Understanding Dynamic Agent's Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA Workshops ![In: Progress in Artificial Intelligence, 13th Portuguese Conference on Aritficial Intelligence, EPIA 2007, Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW, BI, CMBSB, IROBOT, MASTA, STCS, and TEMA, Guimarães, Portugal, December 3-7, 2007, Proceedings, pp. 542-551, 2007, Springer, 978-3-540-77000-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Milos Prvulovic |
CORD: cost-effective (and nearly overhead-free) order-recording and data race detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: 12th International Symposium on High-Performance Computer Architecture, HPCA-12 2006, Austin, Texas, USA, February 11-15, 2006, pp. 232-243, 2006, IEEE Computer Society, 0-7803-9368-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Haixia Wang 0001, Dongsheng Wang 0002, Peng Li 0031 |
Acceleration Techniques for Chip-Multiprocessor Simulator Debug. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asia-Pacific Computer Systems Architecture Conference ![In: Advances in Computer Systems Architecture, 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings, pp. 509-515, 2006, Springer, 3-540-40056-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Andrei, Albert Mo Kim Cheng |
Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 5-8 December 2006, Rio de Janeiro, Brazil, pp. 67-76, 2006, IEEE Computer Society, 0-7695-2761-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 18-20 December, 2006, University of California, Riverside, USA, pp. 194-201, 2006, IEEE Computer Society, 0-7695-2724-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRAC ![In: Innovative Concepts for Autonomic and Agent-Based Systems, Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005. Revised Papers, pp. 86-97, 2005, Springer, 978-3-540-69265-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: 16th IEEE International Workshop on Rapid System Prototyping (RSP 2005), 8-10 June 2005, Montreal, Canada, pp. 258-260, 2005, IEEE Computer Society, 0-7695-2361-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Marsha Chechik, Arie Gurfinkel |
A Framework for Counterexample Generation and Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 220-236, 2005, Springer, 3-540-25420-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: 37th Annual International Symposium on Microarchitecture (MICRO-37 2004), 4-8 December 2004, Portland, OR, USA, pp. 269-280, 2004, IEEE Computer Society, 0-7695-2126-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Field Programmable Logic and Application, 14th International Conference , FPL 2004, Leuven, Belgium, August 30-September 1, 2004, Proceedings, pp. 1062-1066, 2004, Springer, 3-540-22989-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Rohit N. Kundaji, R. K. Shyamasundar |
Development of Semantic Debuggers Based on Refinement Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings, pp. 460-461, 2004, Springer, 3-540-22671-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 22nd IEEE VLSI Test Symposium (VTS 2004), 25-29 April 2004, Napa Valley, CA, USA, pp. 97-102, 2004, IEEE Computer Society, 0-7695-2134-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Yukio Okuda |
Panel Synopsis - Diagnosis Meets Physical Failure Analysis: How Long Can We Succeed? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Proceedings 2004 International Test Conference (ITC 2004), October 26-28, 2004, Charlotte, NC, USA, pp. 1438, 2004, IEEE Computer Society, 0-7803-8581-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Clinton Jeffery, Mikhail Auguston, Scott Underwood |
Towards Fully Automatic Execution Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RISSEF ![In: Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers, pp. 204-218, 2002, Springer, 3-540-21179-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | María Alpuente, Marco Comini, Santiago Escobar 0001, Moreno Falaschi, Salvador Lucas |
Abstract Diagnosis of Functional Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers, pp. 1-16, 2002, Springer, 3-540-40438-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Tobias Müller |
Practical Investigation of Constraints with Graph Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings, pp. 320-336, 2000, Springer, 3-540-41053-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 17th IEEE VLSI Test Symposium (VTS '99), 25-30 April 1999, San Diego, CA, USA, pp. 473-486, 1999, IEEE Computer Society, 0-7695-0146-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Richard Kelsey, William D. Clinger, Jonathan Rees |
Revised5 Report on the Algorithmic Language Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 33(9), pp. 26-76, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
SCHEME |
17 | Hee-Dong Park, Yong-Kee Jun |
Detecting the First Races in Parallel Programs with Ordered Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: International Conference on Parallel and Distributed Systems, ICPADS '98, Tainan, Taiwan, December 14-16, 1998, pp. 201-, 1998, IEEE Computer Society, 0-8186-8603-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Yasuhiro Ajiro, Kazunori Ueda, Kenta Cho 0003 |
Error-Correcting Source Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP98, 4th International Conference, Pisa, Italy, October 26-30, 1998, Proceedings, pp. 40-54, 1998, Springer, 3-540-65224-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Sekhar R. Sarukkai, A. Beers |
Monitoring Data-Structure Evolution in Distributed Message-Passing Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: 29th Annual Hawaii International Conference on System Sciences (HICSS-29), January 3-6, 1996, Maui, Hawaii, USA, pp. 310-319, 1996, IEEE Computer Society, 0-8186-7324-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Marc Khouzam, Thomas Kunz |
Single stepping in event-visualization tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative Research, November 12-14, 1996, Toronto, Ontario, Canada, pp. 19, 1996, IBM. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
17 | Philip W. Hall IV |
Parsing with C++ Constructors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 28(4), pp. 67-68, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
C++ |
17 | Baowen Xu |
CRL/Pascal: A Pascal-oriented Cross Reference Language And Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 28(4), pp. 49-54, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSEE ![In: Software Engineering Education, SEI Conference, Pittsburgh, Pennsylvania, USA, October7-8, 1991, Proceedings, pp. 261-270, 1991, Springer, 3-540-54502-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Ziya Aral, Ilya Gertner |
Parasight: a high-level debugger/profiler architecture for shared-memory multiprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 2nd international conference on Supercomputing, ICS 1988, Saint Malo, France, July 4-8, 1988, pp. 131-139, 1988, ACM, 0-89791-272-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Ziya Aral, Ilya Gertner |
Non-Intrusive and Interactive Profiling in Parasight. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPOPP/PPEALS ![In: Proceedings of the ACM/SIGPLAN PPEALS 1988, Parallel Programming: Experience with Applications, Languages and Systems, New Haven, Connecticut, USA, July 19-21, 1988, pp. 21-30, 1988, ACM, 0-89791-276-4. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Norman M. Delisle, David E. Menicosy, Mayer D. Schwartz |
Viewing a Programming Environment as a Single Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Development Environments (SDE) ![In: Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Pittsburgh, Pennsylvania, USA, April 23-25, 1984, pp. 49-56, 1984, ACM, 0-89791-131-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: Proceedings of the 10th International Conference on Information Processing in Sensor Networks, IPSN 2011, April 12-14, 2011, Chicago, IL, USA, pp. 141-142, 2011, IEEE, 978-1-61284-854-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 15(2), pp. 234-248, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (1) ![In: Bio-Inspired Systems: Computational and Ambient Intelligence, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part I, pp. 1090-1097, 2009, Springer, 978-3-642-02477-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Robert Könighofer, Georg Hofferek, Roderick Bloem |
Debugging formal specifications using simple counterstrategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009, 15-18 November 2009, Austin, Texas, USA, pp. 152-159, 2009, IEEE, 978-1-4244-4966-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the ACM/IEEE Conference on High Performance Computing, SC 2009, November 14-20, 2009, Portland, Oregon, USA, 2009, ACM, 978-1-60558-744-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Ivo Swartjes, Mariët Theune |
Iterative Authoring Using Story Generation Feedback: Debugging or Co-creation? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIDS ![In: Interactive Storytelling, Second Joint International Conference on Interactive Digital Storytelling, ICIDS 2009, Guimarães, Portugal, December 9-11, 2009. Proceedings, pp. 62-73, 2009, Springer, 978-3-642-10642-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADTAD ![In: Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009, 2009, ACM, 978-1-60558-655-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Learn. Technol. ![In: IEEE Trans. Learn. Technol. 1(3), pp. 176-189, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Kai-Hui Chang, Igor L. Markov, Valeria Bertacco |
Automating Postsilicon Debugging and Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 41(7), pp. 47-54, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Robert Schaefer |
Debugging debugged, a metaphysical manifesto of systems integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 33(3), 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Bart Vermeulen, Kees Goossens, Siddharth Umrani |
Debugging Distributed-Shared-Memory Communication at Multiple Granularities in Networks on Chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOCS ![In: Second International Symposium on Networks-on-Chips, NOCS 2008, 5-6 April 2008, Newcastle University, UK. Proceedings, pp. 3-12, 2008, IEEE Computer Society, 978-0-7695-3098-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings, pp. 239-247, 2008, Springer, 978-3-540-87474-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Kevin Camera, Robert W. Brodersen |
An integrated debugging environment for FPGA computing platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPGA ![In: Proceedings of the ACM/SIGDA 16th International Symposium on Field Programmable Gate Arrays, FPGA 2008, Monterey, California, USA, February 24-26, 2008, pp. 260, 2008, ACM, 978-1-59593-934-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
simulation, FPGA, design, verification |
16 | Husain Aljazzar, Stefan Leue |
Debugging of Dependability Models Using Interactive Visualization of Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 September 2008, Saint-Malo, France, pp. 189-198, 2008, IEEE Computer Society, 978-0-7695-3360-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Kevin Camera, Robert W. Brodersen |
An integrated debugging environment for FPGA computing platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: FPL 2008, International Conference on Field Programmable Logic and Applications, Heidelberg, Germany, 8-10 September 2008, pp. 311-316, 2008, IEEE, 978-1-4244-1961-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 128-135, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
evaluation sequence, fault localization |
16 | Robin Abraham, Martin Erwig |
Test-driven goal-directed debugging in spreadsheets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL/HCC ![In: IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2008, Herrsching am Ammersee, Germany, 15-19 September 2008, Proceedings, pp. 131-138, 2008, IEEE Computer Society, 978-1-4244-2528-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SimuTools ![In: Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems & Workshops, SimuTools 2008, Marseille, France, March 3-7, 2008, pp. 74, 2008, ICST/ACM, 978-963-9799-20-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIDS ![In: Interactive Storytelling, First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008, Erfurt, Germany, November 26-29, 2008, Proceedings, pp. 285-296, 2008, Springer, 978-3-540-89424-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADTAD ![In: Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), PADTAD 2008, Seattle, Washington, USA, July 20-21, 2008, pp. 2, 2008, ACM, 978-1-60558-052-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Madan Musuvathi |
Systematic concurrency testing using CHESS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADTAD ![In: Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), PADTAD 2008, Seattle, Washington, USA, July 20-21, 2008, pp. 10, 2008, ACM, 978-1-60558-052-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
testing, concurrency, race conditions |
16 | Vijay Nagarajan, Rajiv Gupta 0001 |
Support for symmetric shadow memory in multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADTAD ![In: Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), PADTAD 2008, Seattle, Washington, USA, July 20-21, 2008, pp. 5, 2008, ACM, 978-1-60558-052-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy, pp. 3723-3729, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: 13st International Conference on High-Performance Computer Architecture (HPCA-13 2007), 10-14 February 2007, Phoenix, Arizona, USA, pp. 273-284, 2007, IEEE Computer Society, 1-4244-0804-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
All About Maude ![In: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, pp. 697-736, 2007, Springer, 978-3-540-71940-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2007 IEEE International Conference on Web Services (ICWS 2007), July 9-13, 2007, Salt Lake City, Utah, USA, pp. 330-337, 2007, IEEE Computer Society, 0-7695-2924-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA, pp. 1-10, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies, 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings, pp. 230-239, 2007, Springer, 978-3-540-73939-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2007, April 3-6, 2007, Bellevue, Washington, USA, pp. 183-192, 2007, IEEE Computer Society, 978-0-7695-2800-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Rick Chern, Kris De Volder |
Debugging with control-flow breakpoints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 6th International Conference on Aspect-Oriented Software Development, AOSD 2007, Vancouver, British Columbia, Canada, March 12-16, 2007, pp. 96-106, 2007, ACM, 1-59593-615-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML 2007, 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007, Proceedings, pp. 6-17, 2007, Springer, 978-3-540-74957-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | James A. Clause, Alessandro Orso |
A Technique for Enabling and Supporting Debugging of Field Failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, pp. 261-270, 2007, IEEE Computer Society, 0-7695-2828-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Samarjit Chakraborty, Abhik Roychoudhury |
Tutorial T8B: Performance Debugging of Complex Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 20th International Conference on VLSI Design (VLSI Design 2007), Sixth International Conference on Embedded Systems (ICES 2007), 6-10 January 2007, Bangalore, India, pp. 13, 2007, IEEE Computer Society, 0-7695-2762-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2007 IEEE International Conference on Granular Computing, GrC 2007, San Jose, California, USA, 2-4 November 2007, pp. 745-750, 2007, IEEE Computer Society, 0-7695-3032-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Robert Palmer, Ganesh Gopalakrishnan, Robert M. Kirby |
Semantics driven dynamic partial-order reduction of MPI-based parallel programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADTAD ![In: Proceedings of the 5th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2007), PADTAD 2007, London, UK, July 9, 2007, pp. 43-53, 2007, ACM, 978-1-59593-748-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 55(11), pp. 1356-1366, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGIV ![In: Third International Conference on Computer Graphics, Imaging and Visualization (CGIV 2006), 26-28 July 2006, Sydney, Australia, pp. 71-75, 2006, IEEE Computer Society, 0-7695-2606-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings, pp. 115-122, 2006, Springer, 3-540-39110-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Nobuyuki Ohba, Kohji Takano |
Hardware debugging method based on signal transitions and transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, Yokohama, Japan, January 24-27, 2006, pp. 454-459, 2006, IEEE, 0-7803-9451-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Cara Winterbottom, Edwin H. Blake, James E. Gain |
Using Visualizations to Support Design and Debugging in Virtual Reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVC (1) ![In: Advances in Visual Computing, Second International Symposium, ISVC 2006, Lake Tahoe, NV, USA, November 6-8, 2006 Proceedings, Part I, pp. 465-474, 2006, Springer, 3-540-48628-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
|
|