Search results for "DEBUG"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Guillaume Waignier, Anne-Françoise Le Meur, Laurence Duchien	A Model-Based Framework to Design and Debug Safe Component-Based Autonomic Systems.	QoSA	2009	DBLP DOI BibTeX RDF
25	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
25	Ganesh R. Shamnur, Rajesh R. Berigei	XStatic: A Simulation Based ESD Verification and Debug Environment.	ISQED	2008	DBLP DOI BibTeX RDF	XStatic, ESD
25	Kai Yang, Kwang-Ting Cheng	Silicon Debug for Timing Errors.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
25	Bart Vermeulen, Kees Goossens, Remco van Steeden, Martijn T. Bennebroek	Communication-Centric SoC Debug Using Transactions.	ETS	2007	DBLP DOI BibTeX RDF
25	Frankie Liu, Ron Ho, Robert J. Drost, Scott Fairbanks	On-chip samplers for test and debug of asynchronous circuits.	ASYNC	2007	DBLP DOI BibTeX RDF
25	Thomas Østerlie	Producing and Interpreting Debug Texts. (PDF / PS)	OSS	2006	DBLP DOI BibTeX RDF
25	Leon van de Logt, Frank van der Heyden, Tom Waayers	An extension to JTAG for at-speed debug on a system.	ITC	2003	DBLP DOI BibTeX RDF
25	Amruth N. Kumar	Model-Based Reasoning for Domain Modeling in a Web-Based Intelligent Tutoring System to Help Students Learn to Debug C++ Programs.	Intelligent Tutoring Systems	2002	DBLP DOI BibTeX RDF
25	Rainer Oechsle, Thomas Schmitt	JAVAVIS: Automatic Program Visualization with Object and Sequence Diagrams Using the Java Debug Interface (JDI).	Software Visualization	2001	DBLP DOI BibTeX RDF
25	Allan K. Y. Wong, Tharam S. Dillon, May T. W. Ip, Wilfred W. K. Lin	A Generic Visualization Framework to Help Debug Mobile-Object-Based Distributed Programs Running on Large Networks.	WORDS	2001	DBLP DOI BibTeX RDF	Visualization Data Structures, Public Intranet, reliability, Mobility, debugging, Visualization User Interface
25	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
25	Steve Guccione	WebScope: A Circuit Debug Tool.	FPL	1998	DBLP DOI BibTeX RDF
25	André Arnold, Didier Bégay, Jean-Pierre Radoux	An Example of Use of Formal Methods to Debug an Embedded Software.	FME	1996	DBLP DOI BibTeX RDF
25	Paul Edward McKechnie, Michaela Blott, Wim Vanderbauwhede	Debugging FPGA-based packet processing systems through transaction-level communication-centric monitoring.	LCTES	2009	DBLP DOI BibTeX RDF	fpga, monitoring, debug, transaction, instrumentation
25	Alicia Strang, David Potts, Shankar Hemmady	A Holistic Approach to SoC Verification.	ISQED	2008	DBLP DOI BibTeX RDF	holistic verification, verification management, right-brained thinking, verification, debug, SoC, visualization environments
25	André V. Fidalgo, Manuel G. Gericota, Gustavo R. Alves, José M. Ferreira 0001	Using NEXUS compliant debuggers for real time fault injection on microprocessors.	SBCCI	2006	DBLP DOI BibTeX RDF	on chip debug, real time systems, fault injection
25	Greg Yeric, Ethan Cohen, John Garcia, Kurt Davis, Esam Salem, Gary Green	Infrastructure for Successful BEOL Yield Ramp, Transfer to Manufacturing, and DFM Characterization at 65 nm and Below.	IEEE Des. Test Comput.	2005	DBLP DOI BibTeX RDF	systematic yield loss, test structure, BEOL, DFM, process monitoring, silicon debug, infrastructure IP
25		Panel Summaries.	IEEE Des. Test Comput.	2005	DBLP DOI BibTeX RDF	IEEE European Test Symposium, IEEE Infrastructure IP Workshop, silicon debug, microelectronics, infrastructure IP
25	Tsuyoshi Ohta, Tadanori Mizuno	Towards an Algorithmic Debugging for Distributed Programs.	APSEC	1999	DBLP DOI BibTeX RDF	debug, programming environment, distributed programs
25	Osamu Mizuno, Shinji Kusumoto, Tohru Kikuno, Yasunari Takagi, Keishi Sakamoto	Estimating the Number of Faults using Simulator based on Generalized Stochastic Petri-Net Model.	Asian Test Symposium	1997	DBLP DOI BibTeX RDF	software test and debug, software development, software fault, Petri-net model
25	David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, Mark B. Trakhtenbrot	STATEMATE: A Working Environment for the Development of Complex Reactive Systems.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	complex reactive systems, graphical orientation, debug diagrammatic, software engineering, design, specification, programming environments, analysis, documentation, systems analysis, development, statecharts, functionality, behavior, graphical languages, working environment, STATEMATE
18	Sebastian Fischmeister, Yanmeng Ba	Sampling-based program execution monitoring.	LCTES	2010	DBLP DOI BibTeX RDF	embedded system, monitoring, debugging, sampling, tracing
18	Huandong Wang, Xiang Gao, Yunji Chen, Dan Tang, Weiwu Hu	A multi-FPGA based platform for emulating a 100m-transistor-scale processor with high-speed peripherals (abstract only).	FPGA	2010	DBLP DOI BibTeX RDF	loongson, multi-fpga, fpga, evaluation, verification, emulation
18	Martin T. Vechev, Eran Yahav, Greta Yorsh	PHALANX: parallel checking of expressive heap assertions.	ISMM	2010	DBLP DOI BibTeX RDF	parallel garbage collector, virtual machine, ownership
18	Jagannath Keshava, Nagib Hakim, Chinna Prudvi	Post-silicon validation challenges: how EDA and academia can help.	DAC	2010	DBLP DOI BibTeX RDF	design, verification, test, validation, emulation
18	Todd Kulesza, Weng-Keen Wong, Simone Stumpf, Stephen Perona, Rachel White, Margaret M. Burnett, Ian Oberst, Amy J. Ko	Fixing the program my computer learned: barriers for end users, challenges for the machine.	IUI	2009	DBLP DOI BibTeX RDF	machine learning, debugging, end-user programming
18	B. Asvija, K. V. Shamjith, T. Ravi, R. Sridharan	Gridhra A Web Launched Parallel Application Debugger for Grids with Heterogeneous Resources.	WETICE	2009	DBLP DOI BibTeX RDF
18	Marek Olszewski, Jason Ansel, Saman P. Amarasinghe	Kendo: efficient deterministic multithreading in software.	ASPLOS	2009	DBLP DOI BibTeX RDF	deterministic multithreading, parallel programming, debugging, multicore, determinism
18	Chi-Neng Wen, Shu-Hsuan Chou, Tien-Fu Chen, Alan Peisheng Su	NUDA: a non-uniform debugging architecture and non-intrusive race detection for many-core.	DAC	2009	DBLP DOI BibTeX RDF	architecture, debugging, many-core, race detection
18	Tsong Yueh Chen, Robert G. Merkel	An upper bound on software testing effectiveness.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	failure patterns, failure-causing inputs, testing effectiveness metrics, Software testing, random testing, adaptive random testing
18	Shaz Qadeer	The Case for Context-Bounded Verification of Concurrent Programs.	SPIN	2008	DBLP DOI BibTeX RDF
18	Kevin Camera, Robert W. Brodersen	An integrated debugging environment for FPGA computing platforms.	FPL	2008	DBLP DOI BibTeX RDF
18	Neeraja Subrahmaniyan, Laura Beckwith, Valentina Grigoreanu, Margaret M. Burnett, Susan Wiedenbeck, Vaishnavi Narayanan, Karin Bucht, Russell Drummond, Xiaoli Z. Fern	Testing vs. code inspection vs. what else?: male and female end users' debugging strategies.	CHI	2008	DBLP DOI BibTeX RDF	debugging, gender, end-user programming, strategy, end-user software engineering
18	Madan Musuvathi	Systematic concurrency testing using CHESS.	PADTAD	2008	DBLP DOI BibTeX RDF	testing, concurrency, race conditions
18	Jingde Cheng	Testing and Debugging Persistent Computing Systems: A New Challenge in Ubiquitous Computing.	EUC (1)	2008	DBLP DOI BibTeX RDF
18	Antoine Fraboulet, Guillaume Chelius, Eric Fleury	Worldsens: development and prototyping tools for application specific wireless sensors networks.	IPSN	2007	DBLP DOI BibTeX RDF	simulation, sensor networks, performance, development
18	Sukeshini, Kalaiselvan K., Vallinayagam P., Vijaya Nagamani M. S., N. Mangala, B. B. Prahlada Rao, N. Mohanram	Integrated Development Environment for GARUDA Grid (G-IDE).	eScience	2007	DBLP DOI BibTeX RDF
18	Marina Polishchuk, Ben Liblit, Chloë W. Schulze	Dynamic heap type inference for program understanding and debugging.	POPL	2007	DBLP DOI BibTeX RDF	dynamic type inference, heap visualization, physical subtyping, constraints, debugging tools, conservative garbage collection
18	Udaya Seshua, Nagaraju Bussa, Bart Vermeulen	A Run-Time Memory Protection Methodology.	ASP-DAC	2007	DBLP DOI BibTeX RDF
18	Donny Kurniawan, David Abramson 0001	A WSRF-Compliant Debugger for Grid Applications.	IPDPS	2007	DBLP DOI BibTeX RDF
18	Veljko Krunic, Eric Trumpler, Richard Han 0001	NodeMD: diagnosing node-level faults in remote wireless sensor systems.	MobiSys	2007	DBLP DOI BibTeX RDF	wireless sensor networks, diagnosis, deployment, software fault
18	Zhiyi Huang 0001, Wenguang Chen	Revisit of View-Oriented Parallel Programming.	CCGRID	2007	DBLP DOI BibTeX RDF
18	Joon-Myung Kang, Hong-Taek Ju, Mi-Jung Choi, James Won-Ki Hong	OMA DM Based Remote Software Debugging of Mobile Devices.	APNOMS	2007	DBLP DOI BibTeX RDF	Mobile Device Diagn-ostics, OMA DM, OMA DM DiagMon, Software Debugging, Device Management
18	Marc Eaddy, Alfred V. Aho, Weiping Hu, Paddy McDonald, Julian Burger	Debugging Aspect-Enabled Programs.	SC@ETAPS	2007	DBLP DOI BibTeX RDF
18	Pieter Sartain, Andrew B. T. Hopkins, Klaus D. McDonald-Maier, W. Gareth J. Howells	A System Level Framework for Monitoring and Self Diagnosis in ESPACENET.	AHS	2007	DBLP DOI BibTeX RDF
18	Wouter Swierstra, Thorsten Altenkirch	Beauty in the beast.	Haskell	2007	DBLP DOI BibTeX RDF
18	Michael E. Imhof, Christian G. Zoellin, Hans-Joachim Wunderlich, Nicolas Mäding, Jens Leenstra	Scan Test Planning for Power Reduction.	DAC	2007	DBLP DOI BibTeX RDF
18	Rem W. Collier	Debugging Agents in Agent Factory.	PROMAS	2006	DBLP DOI BibTeX RDF
18	André V. Fidalgo, Gustavo R. Alves, José M. Ferreira 0001	Real Time Fault Injection Using a Modified Debugging Infrastructure.	IOLTS	2006	DBLP DOI BibTeX RDF
18	Andrew B. T. Hopkins, Klaus D. McDonald-Maier	A Generic On-Chip Debugger for Wireless Sensor Networks.	AHS	2006	DBLP DOI BibTeX RDF
18	Limin Sun, Yuyan Sun, Jian Shu, Qingwei He	MotePlat: A Monitoring and Control Platform for Wireless Sensor Networks.	GCC Workshops	2006	DBLP DOI BibTeX RDF
18	Mircea Popa 0001, Voicu Groza, Alina Botas	Lin Bus Testing Software.	CCECE	2006	DBLP DOI BibTeX RDF
18	Ramyanshu Datta, Gary D. Carpenter, Kevin J. Nowka, Jacob A. Abraham	A Scheme for On-Chip Timing Characterization.	VTS	2006	DBLP DOI BibTeX RDF
18	Grant Martin	Overview of the MPSoC design challenge.	DAC	2006	DBLP DOI BibTeX RDF	MPSoC, system-level design, multi-processor system-on-chip
18	Nithya Ramanathan, Eddie Kohler, Deborah Estrin	Towards a debugging system for sensor networks.	Int. J. Netw. Manag.	2005	DBLP DOI BibTeX RDF
18	Naveen Kumar 0002, Bruce R. Childers, Mary Lou Soffa	Tdb: a source-level debugger for dynamically translated programs.	AADEBUG	2005	DBLP DOI BibTeX RDF	debugging, dynamic instrumentation, dynamic binary translation
18	Alex Potanin, James Noble 0001, Robert Biddle	Snapshot Query-Based Debugging.	Australian Software Engineering Conference	2004	DBLP DOI BibTeX RDF
18	Matthew W. Heath, Wayne P. Burleson, Ian G. Harris	Synchro-Tokens: Eliminating Nondeterminism to Enable Chip-Level Test of Globally-Asynchronous Locally-Synchronous SoC?s.	DATE	2004	DBLP DOI BibTeX RDF
18	Wes Masri, Andy Podgurski, David Leon	Detecting and Debugging Insecure Information Flows.	ISSRE	2004	DBLP DOI BibTeX RDF
18	Panayiotis Neophytou, Neophytos Neophytou, Paraskevas Evripidou	Net-dbx-G: a Web-based debugger of MPI programs over Grid environments.	CCGRID	2004	DBLP DOI BibTeX RDF
18	Yu Huang 0005, Wu-Tung Cheng, Cheng-Ju Hsieh, Huan-Yung Tseng, Alou Huang, Yu-Ting Hung	Efficient Diagnosis for Multiple Intermittent Scan Chain Hold-Time Faults.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF
18	Ludovic Langevine, Mireille Ducassé, Pierre Deransart	A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation.	ICLP	2003	DBLP DOI BibTeX RDF
18	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
18	Peter Dahlgren, Paul Dickinson, Ishwar Parulkar	Latch Divergency In Microprocessor Failure Analysis.	ITC	2003	DBLP DOI BibTeX RDF
18	Emmanuel Briot, Franco Gasperoni, Robert Dewar, Dirk Craeynest, Philippe Waroquiers	Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada.	Ada-Europe	2003	DBLP DOI BibTeX RDF
18	Barry S. Fagin, Laurence D. Merkle	Quantitative analysis of the effects of robots on introductory Computer Science education.	ACM J. Educ. Resour. Comput.	2002	DBLP DOI BibTeX RDF	Ada, robots, Lego Mindstorms
18	Timothe Litt	Support for Debugging in the Alpha 21364 Microprocessor.	ITC	2002	DBLP DOI BibTeX RDF
18	Brad L. Hutchings, Brent E. Nelson	Unifying simulation and execution in a design environment for FPGA systems.	IEEE Trans. Very Large Scale Integr. Syst.	2001	DBLP DOI BibTeX RDF
18	Neophytos Neophytou, Paraskevas Evripidou	Net-dbx: A Web-Based Debugger of MPI Programs Over Low-Bandwidth Lines.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	WWW, Parallel processing, message passing, teleworking, Java applets, parallel debugging
18	Gustavo R. Alves, Tito G. B. Amaral, José Manuel Martins Ferreira	Board-level prototype validation: a built-in controller and extended BST architecture.	ISCAS (1)	1999	DBLP DOI BibTeX RDF
18	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
18	Gary Brooks, Gilbert J. Hansen, Steve Simmons	A New Approach to Debugging Optimized Code.	PLDI	1992	DBLP DOI BibTeX RDF	FORTRAN
18	Raymond R. Glenn, Daniel V. Pryor	Instrumentation for a Massively Parallel MIMD Application.	SIGMETRICS	1991	DBLP DOI BibTeX RDF
16	Mohammad Kianpisheh, Alex Mariakakis, Khai N. Truong	exHAR: An Interface for Helping Non-Experts Develop and Debug Knowledge-based Human Activity Recognition Systems.	Proc. ACM Interact. Mob. Wearable Ubiquitous Technol.	2024	DBLP DOI BibTeX RDF
16	Jean-Baptiste Döderlein, Riemer van Rozen, Tijs van der Storm	LiveRec: Prototyping Probes by Framing Debug Protocols.	Art Sci. Eng. Program.	2024	DBLP DOI BibTeX RDF
16	Zheng Zhang, Jingfeng Xue, Tianshi Mu, Ting Yu, Kefan Qiu, Tian Chen, Yuanzhang Li	Bypassing software-based remote attestation using debug registers.	Connect. Sci.	2024	DBLP DOI BibTeX RDF
16	Jean-Baptiste Döderlein, Riemer van Rozen, Tijs van der Storm	LiveRec: Prototyping Probes by Framing Debug Protocols.	CoRR	2024	DBLP DOI BibTeX RDF
16	Andy Huang, Zhiming Wang, Wenhui Ni, Sheng Chen, Nithin George	CodePin: An Instrumentation-Based Debug Tool of SYCLomatic.	IWOCL	2024	DBLP DOI BibTeX RDF
16	Vinod Viswanath, Kanad Chakraborty	DFT Static Verification using Early RTL Exploration and Debug for Mobile SoC and Edge AI Applications.	VLSID	2024	DBLP DOI BibTeX RDF
16	Anshunkang Zhou, Chengfeng Ye, Heqing Huang, Yuandao Cai, Charles Zhang	Plankton: Reconciling Binary Code and Debug Information.	ASPLOS (2)	2024	DBLP DOI BibTeX RDF
16	Sidhartha Sankar Rout, Badri M, Mitali Sinha, Sujay Deb	ReDeSIGN: Reuse of Debug Structures for Improvement in Performance Gain of NoC Based MPSoCs.	IEEE Trans. Emerg. Top. Comput.	2023	DBLP DOI BibTeX RDF
16	Raghu Rajan, Jessica Lizeth Borja Diaz, Suresh Guttikonda, Fabio Ferreira, André Biedenkapp, Jan Ole von Hartz, Frank Hutter	MDP Playground: An Analysis and Debug Testbed for Reinforcement Learning.	J. Artif. Intell. Res.	2023	DBLP DOI BibTeX RDF
16	Xinyun Chen, Maxwell Lin, Nathanael Schärli, Denny Zhou	Teaching Large Language Models to Self-Debug.	CoRR	2023	DBLP DOI BibTeX RDF
16	Hengshuai Yao	Baird Counterexample Is Solved: with an example of How to Debug a Two-time-scale Algorithm.	CoRR	2023	DBLP DOI BibTeX RDF
16	Zheng Zhang, Jingfeng Xue, Tianshi Mu, Ting Yu, Kefan Qiu, Tian Chen, Yuanzhang Li	DRSA: Debug Register-Based Self-relocating Attack Against Software-Based Remote Authentication.	BlockTEA	2023	DBLP DOI BibTeX RDF
16	Max Eisele, Daniel Ebert, Christopher Huth, Andreas Zeller	Fuzzing Embedded Systems using Debug Interfaces.	ISSTA	2023	DBLP DOI BibTeX RDF
16	Nischal Shrestha, Bhavya Chopra, Austin Z. Henley, Chris Parnin	Detangler: Helping Data Scientists Explore, Understand, and Debug Data Wrangling Pipelines.	VL/HCC	2023	DBLP DOI BibTeX RDF
16	Muxi Chen, Yu Li, Qiang Xu	HiBug: On Human-Interpretable Model Debug.	NeurIPS	2023	DBLP BibTeX RDF
16	Theodore Luo Wang, Yongqiang Tian 0001, Yiwen Dong 0002, Zhenyang Xu, Chengnian Sun	Compilation Consistency Modulo Debug Information.	ASPLOS (2)	2023	DBLP DOI BibTeX RDF
16	Cristian Assaiante, Daniele Cono D'Elia, Giuseppe Antonio Di Luna, Leonardo Querzoni	Where Did My Variable Go? Poking Holes in Incomplete Debug Information.	ASPLOS (2)	2023	DBLP DOI BibTeX RDF
16	Tapas Nandy, Ashish Joshi, Sanjoy Kumar Dey	Large Network of Wide- Range Analog Voltage Observers for Debug & Testability.	APCCAS	2023	DBLP DOI BibTeX RDF
16	Fiorella Artuso, Giuseppe Antonio Di Luna, Leonardo Querzoni	Debugging Debug Information With Neural Networks.	IEEE Access	2022	DBLP DOI BibTeX RDF
16	Nimisha Limaye, Christian Wachsmann, Mohammed Nabeel 0001, Mohammed Ashraf, Arun K. Kanuparthi, Ozgur Sinanoglu	AntiDOTE: Protecting Debug Against Outsourced Test Entities.	IEEE Trans. Emerg. Top. Comput.	2022	DBLP DOI BibTeX RDF
16	Lefan Zhang, Cyrus Zhou, Michael L. Littman, Blase Ur, Shan Lu 0001	Helping Users Debug Trigger-Action Programs.	Proc. ACM Interact. Mob. Wearable Ubiquitous Technol.	2022	DBLP DOI BibTeX RDF
16	Zurab Khasidashvili	Accelerating System-Level Debug Using Rule Learning and Subgroup Discovery Techniques.	CoRR	2022	DBLP DOI BibTeX RDF
16	Pierre-Yves Lajoie, Christophe Bédard, Giovanni Beltrame	Analyze, Debug, Optimize: Real-Time Tracing for Perception and Mapping Systems in ROS 2.	CoRR	2022	DBLP DOI BibTeX RDF
16	Mariam Guizani, Igor Steinmacher, Jillian Emard, Abrar Fallatah, Margaret Burnett, Anita Sarma	How to Debug Inclusivity Bugs? A Debugging Process with Information Architecture.	CoRR	2022	DBLP BibTeX RDF
16	Ester Comellas, Jean-Paul Pelteret, Wolfgang Bangerth	I'm stuck! How to efficiently debug computational solid mechanics models so you can enjoy the beauty of simulations.	CoRR	2022	DBLP DOI BibTeX RDF
16	Hazem M. Fahmy, Fabrizio Pastore, Lionel C. Briand	HUDD: A tool to debug DNNs for safety analysis.	CoRR	2022	DBLP DOI BibTeX RDF