Search results for "debugger"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Linda J. Moore, Angelica R. Moya	Non-Intrusive Debug Technique for Embedded Programming.	ISSRE	2003	DBLP DOI BibTeX RDF
10	Rajesh Venkatasubramanian, John P. Hayes, Brian T. Murray	Low-Cost On-Line Fault Detection Using Control Flow Assertions.	IOLTS	2003	DBLP DOI BibTeX RDF
10	James Cownie, John Del Signore Jr., Bronis R. de Supinski, Karen H. Warren	DMPL: An OpenMP DLL Debugging Interface.	WOMPAT	2003	DBLP DOI BibTeX RDF
10	Kazutaka Maruyama, Minoru Terada	Debugging with Reverse Watchpoint.	QSIC	2003	DBLP DOI BibTeX RDF
10	Jens Gustavsson	A Classification of Unanticipated Runtime Software Changes in Java.	ICSM	2003	DBLP DOI BibTeX RDF
10	Peter Bunus, Peter Fritzson	A Debugging Scheme for Declarative Equation Based Modeling Languages.	PADL	2002	DBLP DOI BibTeX RDF	Declarative equation based language, graph decomposition techniques, static analysis, debugging, bipartite graphs, modeling languages, Modelica
10	Aidan J. Delaney, Thomas J. Naughton	Emulation of an unconventional model of computation in Java.	PPPJ/IRE	2002	DBLP BibTeX RDF
10	Jing Liu, Huaikou Miao, Xiaolei Gao	A Specification-Based Software Construction Framework for Reuse.	ICFEM	2002	DBLP DOI BibTeX RDF
10	Róbert Lovas, Vaidy S. Sunderam	Debugging of Metacomputing Applications.	IPDPS	2002	DBLP DOI BibTeX RDF
10	Enrico Pontelli, Desh Ranjan, Brook Milligan, Gopal Gupta 0001	F-LOG: A Domain Specific Language for Solving Phylogenetic Inference Problems.	CSB	2002	DBLP DOI BibTeX RDF
10	David Abramson 0001, Greg Watson, Phu Dung Le	Guard: A Tool for Migrating Scientific Applications to the .NET Framework.	International Conference on Computational Science (2)	2002	DBLP DOI BibTeX RDF
10	Ricky K. K. Ma, Cho-Li Wang, Francis C. M. Lau 0001	M-JavaMPI: A Java-MPI Binding with Process Migration Support.	CCGRID	2002	DBLP DOI BibTeX RDF	JVMDI, M-JavaMPI, Java, load balancing, parallel computing, MPI, message passing, cluster computing, process migration
10	Bart Vermeulen, Tom Waayers, Sjaak Bakker	EEE 1149.1-Compliant Access Architecture for Multiple Core Debug on Digital System Chips.	ITC	2002	DBLP DOI BibTeX RDF
10	Franz Wotawa, Markus Stumptner, Wolfgang Mayer	Model-Based Debugging or How to Diagnose Programs Automatically.	IEA/AIE	2002	DBLP DOI BibTeX RDF
10	David Poutakidis, Lin Padgham, Michael Winikoff	Debugging multi-agent systems using design artifacts: the case of interaction protocols.	AAMAS	2002	DBLP DOI BibTeX RDF
10	Naraig Manjikian	More enhancements of the simplescalar tool set.	SIGARCH Comput. Archit. News	2001	DBLP DOI BibTeX RDF
10	Andreas Hoffmann 0002, Tim Kogel, Achim Nohl, Gunnar Braun, Oliver Schliebusch, Oliver Wahlen, Andreas Wieferink, Heinrich Meyr	A novel methodology for the design of application-specificinstruction-set processors (ASIPs) using a machine description language.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
10	Farinaz Koushanfar, Darko Kirovski, Inki Hong, Miodrag Potkonjak, Marios C. Papaefthymiou	Symbolic debugging of embedded hardware and software.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
10	Matthias Anlauff, Samarjit Chakraborty, Philipp W. Kutter, Alfonso Pierantonio, Lothar Thiele	Generating an action notation environment from Montages descriptions.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Formal specification of programming languages, Generating programming environments and tools, Abstract state machines, Montages, Action semantics
10	Katharina Mehner	JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs.	Software Visualization	2001	DBLP DOI BibTeX RDF
10	Caroline Essert-Villard, Pascal Mathis	Interactive Handling of a Construction Plan in CAD.	IV	2001	DBLP DOI BibTeX RDF
10	Caroline Tice, Susan L. Graham	A Practical, Robust Method for Generating Variable Range Tables.	CC	2001	DBLP DOI BibTeX RDF
10	Jan Bækgaard Pedersen, Alan S. Wagner	Correcting Errors in Message Passing Systems.	HIPS	2001	DBLP DOI BibTeX RDF
10	Marian Bubak, Wlodzimierz Funika, Bartosz Balis, Roland Wismüller	On-Line Tool Support for Parallel Applications.	HPCN	2001	DBLP DOI BibTeX RDF	Parallel programming, interoperability, monitoring systems
10	Rafael Caballero 0001, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo	Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs.	FLOPS	2001	DBLP DOI BibTeX RDF
10	Róbert Lovas, Vaidy S. Sunderam	Extension of Macrostep Debugging Methodology Towards Metacomputing Applications.	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF
10	Péter Kacsuk	Can Parallel Programming Be Made Easy for Scientists?	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF
10	Franz Wotawa	Using Multiple Models for Debugging VHDL Designs.	IEA/AIE	2001	DBLP DOI BibTeX RDF
10	Sushma Rai, D. Sampath, Srivathsa N. S.	Implementation of DDARC: Software Architecture for Debugging Distributed Programs.	AICCSA	2001	DBLP DOI BibTeX RDF
10	Roland Wismüller, Thomas Ludwig 0002	Interoperable Run-Time Tools for Distributed Systems--A Case Study.	J. Supercomput.	2000	DBLP DOI BibTeX RDF	Run-time tools, behavioral integration, distributed systems, interoperability, coordination, on-line monitoring, plug-in architecture
10	Harald P. E. Vranken	Debug Facilities in the TriMedia CPU64 Architecture.	J. Electron. Test.	2000	DBLP DOI BibTeX RDF	application debug, VLIW processor, design-for-debug
10	Stefan Pees, Andreas Hoffmann 0002, Heinrich Meyr	Retargetable compiled simulation of embedded processors using a machine description language.	ACM Trans. Design Autom. Electr. Syst.	2000	DBLP DOI BibTeX RDF	HW/SW cosimulation, machine description languages, processor modeling and simulation, system-on-chip, instruction set simulators, compiled simulation, DSP processors
10	Ralph Butler, William Gropp, Ewing L. Lusk	A Scalable Process-Management Environment for Parallel Programs.	PVM/MPI	2000	DBLP DOI BibTeX RDF
10	Marian Bubak, Wlodzimierz Funika, Bartosz Balis, Roland Wismüller	Interoperability of OCM-Based On-Line Tools.	PVM/MPI	2000	DBLP DOI BibTeX RDF	on-line tools, interoperability, monitoring, OMIS
10	Tarja Systä	Understanding the Behavior of Java Programs.	WCRE	2000	DBLP DOI BibTeX RDF
10	Ashu Guru, Paul A. Savory, Robert Williams	Web-based simulation management: a web-based interface for storing and executing simulation models.	WSC	2000	DBLP DOI BibTeX RDF
10	Michael Kölling, John Rosenberg	Objects first with Java and BlueJ (seminar session).	SIGCSE	2000	DBLP DOI BibTeX RDF	Java
10	Michael Barnett 0001, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes	Using Abstract State Machines at Microsoft: A Case Study.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
10	Neeraj Mittal, Vijay K. Garg	Debugging distributed programs using controlled re-execution.	PODC	2000	DBLP DOI BibTeX RDF
10	James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby	Bandera: a source-level interface for model checking Java programs.	ICSE	2000	DBLP DOI BibTeX RDF	debugging and testing, Java, Java, model checking, program analysis
10	Alexander D. Stoyen, Thomas J. Marlowe, Mohamed F. Younis, Plamen V. Petrov	A Development Environment for Complex Distributed Real-Time Applications.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	Engineering of complex distributed real-time systems, integrated tool suites, user-transparent handling of complexity, runtime kernels, code transformers and optimizers, schedulability analyzers, compilation, C++, monitoring, debugging, allocation, CRL
10	Cormac Flanagan, Matthias Felleisen	Componential Set-Based Analysis.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	soft typing, program analysis, scheme, static debugging, constraint-based analysis
10	Gabriella Kókai, Jörg Nilson, Christian Niss	GIDTS: A Graphical Programming Environment for Prolog.	PASTE	1999	DBLP DOI BibTeX RDF	Prolog
10	Jacques Chassin de Kergommeaux, Michiel Ronsse, Koenraad De Bosschere	MPL*: Efficient Record/Play of Nondeterministic Features of Message Passing Libraries.	PVM/MPI	1999	DBLP DOI BibTeX RDF
10	Tarja Systä	On the Relationships between Static and Dynamic Models in Reverse Engineering Java Software.	WCRE	1999	DBLP DOI BibTeX RDF
10	Clara Jaramillo, Rajiv Gupta 0001, Mary Lou Soffa	Comparison Checking: An Approach to Avoid Debugging of Optimized Code.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF
10	Péter Kacsuk, Róbert Lovas, József Kovács	Systematic Debugging of Parallel Programs in DIWIDE Based on Collective Breakpoints and Macrosteps.	Euro-Par	1999	DBLP DOI BibTeX RDF
10	Raimondas Lencevicius, Urs Hölzle, Ambuj K. Singh	Dynamic Query-Based Debugging.	ECOOP	1999	DBLP DOI BibTeX RDF
10	Sergey I. Katkov, Eugeny Y. Ruban	Parallel Programming System Based on Super Pascal Language.	PaCT	1999	DBLP DOI BibTeX RDF
10	Simon Huband, Chris McDonald	Debugging Parallel Programs Using Incomplete Information.	IWCC	1999	DBLP DOI BibTeX RDF	parallel program debugging, graph distance, maximal common subgraph, topology
10	Zhe Dang, Richard A. Kemmerer	A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications.	RTCSA	1999	DBLP DOI BibTeX RDF
10	Rolf Ernst, Kees A. Vissers, Pieter van der Wolf, Gert-Jan van Rootselaar	System level design and debug of high-performance embedded media systems (tutorial).	ICCAD	1999	DBLP BibTeX RDF
10	Péter Kacsuk	Systematic Debugging of Parallel Programs Based on Collective Breakpoints.	PDSE	1999	DBLP DOI BibTeX RDF
10	Dale Parson	Using Java reflection to automate extension language parsing.	DSL	1999	DBLP DOI BibTeX RDF
10	Jacob Frost	An Ada95 Solution for Certification of Embedded Safety Critical Applications.	Ada-Europe	1999	DBLP DOI BibTeX RDF
10	Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso	Formal Verification of a Railway Interlocking System using Model Checking.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Model checking, Formal methods, Safety critical systems, spin, Industrial applications
10	Neophytos Neophytou, Paraskevas Evripidou	Net-dbx: A Java Powered Tool for Interactive Debugging of MPI Programs Across the Internet.	Euro-Par	1998	DBLP DOI BibTeX RDF
10	Yasuhiro Ajiro, Kazunori Ueda, Kenta Cho 0003	Error-Correcting Source Code.	CP	1998	DBLP DOI BibTeX RDF
10	Reinhold Plösch	Tool Support for Design by Contract.	TOOLS (26)	1998	DBLP DOI BibTeX RDF	Requirements Engineering, Prototyping, Python, Design by Contract, Behavioral specifications
10	Knut Alfredsen, Bjørn Sæther	An Object Oriented Framework for Creating Models in Hydrology.	ACM SIGPLAN Notices	1997	DBLP DOI BibTeX RDF
10	Norman Ramsey, Mary F. Fernandez	Specifying Representations of Machine Instructions.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	encoding, decoding, compiler generation, relocation, object code, machine description, machine code
10	Patrice Godefroid	VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software.	CAV	1997	DBLP DOI BibTeX RDF
10	Gernot Koch, Udo Kebschull, Wolfgang Rosenstiel	Co-Emulation and Debugging of HW/SW-Systems.	ISSS	1997	DBLP DOI BibTeX RDF
10	Brian Dobbing, Marc Richard-Foy	T-SMART - Task-Safe, Minimal Ada Realtime Toolset.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Ada83, Software Reliability, Certification, Ada 95
10	Werner Krotz-Vogel, Hans-Christian Hoppe	The PALLAS Portable Parallel Programming Environment.	Euro-Par, Vol. II	1996	DBLP DOI BibTeX RDF
10	Richard A. DeMillo, Hsin Pan, Eugene H. Spafford	Critical Slicing for Software Fault Localization.	ISSTA	1996	DBLP DOI BibTeX RDF	critical slicing, static program slicing, testing, debugging, failures, faults, fault localization, mutation analysis, dynamic program slicing
10	Lu Xu, Michal Young	Two Dimensional Concurrent Program Debugging.	APSEC	1995	DBLP DOI BibTeX RDF	Concurrent Program Debugging, Program Dependence Analysis, Software Engineering, Dynamic Slice
10	Ming C. Hao, Alan H. Karp, Daniel Garfinkel	Collaborative computing: a multi-client multi-server environment.	COOCS	1995	DBLP DOI BibTeX RDF
10	Alain Fagot, Jacques Chassin de Kergommeaux	Formal and Experimental Validation of a Low Overhead Execution Replay Mechanism.	Euro-Par	1995	DBLP DOI BibTeX RDF	Instant Replay, deterministic reexecutions, Remote Procedure Call, parallel debugging
10	Jyh-Herng Chow, Yong-Fong Lee, Kalyan Muthukumar, Vivek Sarkar, Mauricio J. Serrano, Iris Garcia, John Hsu, Shauchi Ong, Honesty C. Young	Optimized code restructuring of OS/2 executables.	CASCON	1995	DBLP BibTeX RDF
10	Patricia Prather Pineo, Mary Lou Soffa	A Practical Approach to the Symbolic Debugging of Parallelized Code.	CC	1994	DBLP DOI BibTeX RDF
10	Thomas Kunz	Visualizing abstract events.	CASCON	1994	DBLP BibTeX RDF
10	Gilles Hurteau, Vincent Van Dongen, Guang R. Gao	EPPP - an integrated environment for portable parallel programming.	CASCON	1994	DBLP BibTeX RDF
10	Doug Bell 0001, Mike Parr	Spreadsheets: A Research Agenda.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF
10	Ali-Reza Adl-Tabatabai, Thomas R. Gross	Evicted Variables and the Interaction of Global Register Allocation and Symbolic Debugging.	POPL	1993	DBLP DOI BibTeX RDF
10	Mary Beth Rosson, John M. Carroll 0001	Active Programming Strategies in Reuse.	ECOOP	1993	DBLP DOI BibTeX RDF
10	David J. Taylor	The use of process clustering in distributed-system event displays.	CASCON	1993	DBLP BibTeX RDF
10	Bernard Thirion	Edison, a Unix and C friendly Rete based production system.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF	EDISON, C, UNIX
10	Henrik Nilsson, Peter Fritzson	Algorithmic Debugging for Lazy Functional Languages.	PLILP	1992	DBLP DOI BibTeX RDF
10	Wade Henessey	WCL: Delivering Efficient Common Lisp Applications Under Unix.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	C, UNIX, Common Lisp
10	Jonathan D. Becher, Kent L. Beck	Profiling on a massively Parallel Computer.	CONPAR	1992	DBLP DOI BibTeX RDF
10	Urs Hölzle, Craig Chambers, David M. Ungar	Debugging Optimized Code with Dynamic Deoptimization.	PLDI	1992	DBLP DOI BibTeX RDF	Self
10	Vijay K. Garg, Brian Waldecker	Detection of Unstable Predicates in Distributed Programs.	FSTTCS	1992	DBLP DOI BibTeX RDF
10	Dean Allemang	Using Functional Models in Automatic Debugging.	IEEE Expert	1991	DBLP DOI BibTeX RDF
10	Francesco Russo, Mirko Sancassani	A Declarative Debugging Environment for DATALOG.	RCLP	1991	DBLP DOI BibTeX RDF
10	Gerardus Johannes Wichardus van Dijk, A. J. van der Wal	Partial Ordering of Synchronization Events for Distributed Debugging in Tightly-coupled Multiprocessor Systems.	EDMCC	1991	DBLP DOI BibTeX RDF
10	D. K. Arvind 0001, D. Yokotsuka	Debugging concurrent programs using static analysis and run-time hardware monitoring.	SPDP	1991	DBLP DOI BibTeX RDF
10	Mariam Kamkar, Nahid Shahmehri, Peter Fritzson	Bug Localization by Algorithmic Debugging and Program Slicing.	PLILP	1990	DBLP DOI BibTeX RDF
10	Peter B. Kessler	Fast Breakpoints: Design and Implementation.	PLDI	1990	DBLP DOI BibTeX RDF	Cedar
10	Peter B. Kessler	Fast breakpoints: design and implementation (with retrospective)	Best of PLDI	1990	DBLP DOI BibTeX RDF
10	Wenwey Hseush, Gail E. Kaiser	Modeling Concurrency in Parallel Debugging.	PPoPP	1990	DBLP DOI BibTeX RDF	DEBUG
10	Wan-Hong S. Cheng, Virgil Wallentine	DEBL: A Knowledge-Based Language for Specifying and Debugging Distributed Programs.	Commun. ACM	1989	DBLP DOI BibTeX RDF
10	Stuart C. Shapiro, João P. Martins	Recent Advances and Developments - The SNePS 2.1 Report.	SNePS	1989	DBLP DOI BibTeX RDF
10	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
10	Patrick Borras, Dominique Clément, Th. Despeyroux, Janet Incerpi, Gilles Kahn, Bernard Lang, V. Pascual	CENTAUR: The System.	Software Development Environments (SDE)	1988	DBLP DOI BibTeX RDF	LISP
10	Max Mühlhäuser	Using distributed simulation for distributed application development.	Annual Simulation Symposium	1988	DBLP BibTeX RDF
10	Marcel Schelvis, Eddy Bledoeg	The Implementation of a Distributed Smalltalk.	ECOOP	1988	DBLP DOI BibTeX RDF	distribution transparency, incremental distributed garbage collection, distributed processing, replication, Smalltalk, remote procedure call
10	Deborah S. Coutant, Sue Meloy, Michelle Ruscetta	DOC: A Practical Approach to Source-Level Debugging of Globally Optimized Code.	PLDI	1988	DBLP DOI BibTeX RDF	RISC
10	Daniel J. Kopetzky	HORSE: a simulation of the horizon supercomputer.	SC	1988	DBLP DOI BibTeX RDF
10	David D. Redell	Experience with Topaz TeleDebugging.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF