Search results for "DEBUG"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Chinghway Lim, Navjot Singh 0001, Shalini Yajnik	A log mining approach to failure analysis of enterprise telephony systems.	DSN	2008	DBLP DOI BibTeX RDF
9	Sebastien Siva, Lesi Wang	A SQL database system for solving constraints.	PIKM	2008	DBLP DOI BibTeX RDF	SQL, satisfiability (sat), constraint databases
9	Mahmood Ali, Yoav Zibin, Matthew M. Papi, Michael D. Ernst	Enforcing reference and object immutability in Java.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	IGJ, java, verification, compiler, case study, type system, polymorphism, assignable, bug finding, flow-sensitive, readonly, immutability, mutable, javac
9	Jing Jin, Romeo Sanchez, Rajiv T. Maheswaran, Pedro A. Szekely	VizScript: on the creation of efficient visualizations for understanding complex multi-agent systems.	IUI	2008	DBLP DOI BibTeX RDF	multi-agent systems, software visualization, rule-based systems, scripting languages
9	Kevin Camera, Robert W. Brodersen	An integrated debugging environment for FPGA computing platforms.	FPGA	2008	DBLP DOI BibTeX RDF	simulation, FPGA, design, verification
9	Zhiyong Zhang, Tiejun Lu, Xiaobin Chu, Yamin Zhang	Design and Implementation Of Embedded Data Acquisition System Based on USB and Flash Multimediacard Memory.	ICDS	2008	DBLP DOI BibTeX RDF	Enbedded system, Data Acquisition System, USB, HW/SW co-design
9	Ho Fai Ko, Nicola Nicolici	On Automated Trigger Event Generation in Post-Silicon Validation.	DATE	2008	DBLP DOI BibTeX RDF
9	Wido Kruijtzer, Pieter van der Wolf, Erwin A. de Kock, Jan Stuyt, Wolfgang Ecker, Albrecht Mayer, Serge Hustin, Christophe Amerijckx, Serge de Paoli, Emmanuel Vaumorin	Industrial IP Integration Flows based on IP-XACT Standards.	DATE	2008	DBLP DOI BibTeX RDF
9	Mohammad Fraiwan, Manimaran Manimaran	Localization of IP Links Faults Using Overlay Measurements.	ICC	2008	DBLP DOI BibTeX RDF
9	Mingze Zhang, Mun Choon Chan, Akkihebbal L. Ananda	Location-Aided Topology Discovery for Wireless Sensor Networks.	ICC	2008	DBLP DOI BibTeX RDF
9	Liang-Bi Chen, Yung-Chih Liu, Chen-Hung Chen, Chung-Fu Kao, Ing-Jer Huang	Parameterized embedded in-circuit emulator and its retargetable debugging software for microprocessor/microcontroller/DSP processor.	ASP-DAC	2008	DBLP DOI BibTeX RDF
9	Maria S. W. Lam, Eric Ying Kwong Chan, Victor C. S. Lee, Yuen-Tak Yu	Designing an Automatic Debugging Assistant for Improving the Learning of Computer Programming.	ICHL	2008	DBLP DOI BibTeX RDF	automatic debugging assistant, PASS, test cases and annotations, computer programming
9	Lacey Montgomery, James H. Cross II, T. Dean Hendrix, Larry A. Barowski	Testing the jGRASP structure identifier with data structure examples from textbooks.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	testing, data structures, program visualization, algorithm animation
9	Andrew R. Dalton, Jason O. Hallstrom	A Toolkit for Visualizing the Runtime Behavior of TinyOS Applications.	ICPC	2008	DBLP DOI BibTeX RDF
9	Jae-Yong Yoo, Thomas Huehn, JongWon Kim 0001	Active capture of wireless traces: overcome the lack in protocol analysis.	WINTECH	2008	DBLP DOI BibTeX RDF	IEEE 802.11, wireless mesh networks, active monitoring, measurement tool
9	Jae-Yong Yoo, Thomas Huehn, JongWon Kim 0001	PaPMo: packet accurate protocol monitoring system.	WINTECH	2008	DBLP DOI BibTeX RDF	wireless mesh networks, active monitoring, measurement tool
9	Jeremy Kepner	Multicore programming in pMatlab using distributed arrays.	CLADE	2008	DBLP DOI BibTeX RDF	parallel computing, distributed arrays
9	Mechelle Gittens, Pramod Gupta, David Godwin, Hebert Pereyra, Jeff Riihimaki	Focused iterative testing: a test automation case study.	DBTest	2008	DBLP DOI BibTeX RDF	testing, database management systems, multi-threaded
9	Warren Shen, Pedro DeRose, Robert McCann, AnHai Doan, Raghu Ramakrishnan 0001	Toward best-effort information extraction.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	information extraction, approximate, best-effort
9	Han Wan, Xiaopeng Gao	ArmSim: A Complete System Simulation Environment of the ARM Embedded System.	ITNG	2008	DBLP DOI BibTeX RDF
9	Timothy Richards, Edward K. Walters II, J. Eliot B. Moss, Trek S. Palmer, Charles C. Weems	Towards universal code generator generation.	IPDPS	2008	DBLP DOI BibTeX RDF
9	Christos Kotselidis, Mohammad Ansari, Kim Jarvis, Mikel Luján, Chris C. Kirkham, Ian Watson	Investigating software Transactional Memory on clusters.	IPDPS	2008	DBLP DOI BibTeX RDF
9	Nitesh V. Chawla, Douglas Thain, Ryan Lichtenwalter, David A. Cieslak	Data mining on the grid for the grid.	IPDPS	2008	DBLP DOI BibTeX RDF
9	Don S. Batory	Using modern mathematics as an FOSD modeling language.	GPCE	2008	DBLP DOI BibTeX RDF	commuting diagrams, software product lines, features, geodesics, model driven design
9	Timothée Maret, Raphaël Kummer, Peter G. Kropf, Jean-Frédéric Wagen	Freemote Emulator: A Lightweight and Visual Java Emulator for WSN.	WWIC	2008	DBLP DOI BibTeX RDF	Lightweight Emulator, Java Based Motes, Freemote, Wireless Sensor Networks
9	Marie-Hélène Nienaltowski, Michela Pedroni, Bertrand Meyer 0001	Compiler error messages: what can help novices?	SIGCSE	2008	DBLP DOI BibTeX RDF	compiler error messages, novice programmers
9	Luca Cittadini, Tiziana Refice, Alessio Campisano, Giuseppe Di Battista, Claudio Sasso	Measuring and visualizing interdomain routing dynamics with BGPATH.	ISCC	2008	DBLP DOI BibTeX RDF
9	Miron Abramovici, Kees Goossens, Bart Vermeulen, Jack Greenbaum, Neal Stollon, Adam Donlin	You can catch more bugs with transaction level honey.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	system diagnostics, transaction-level models
9	Ryan Iwahashi, Daniela Alvim Seabra de Oliveira, Shyhtsun Felix Wu, Jedidiah R. Crandall, Young-Jun Heo, Jintae Oh, Jong-Soo Jang	Towards Automatically Generating Double-Free Vulnerability Signatures Using Petri Nets.	ISC	2008	DBLP DOI BibTeX RDF
9	Branislav Simo, Ondrej Habala, Emil Gatial, Ladislav Hluchý	Interactive In-Job Workflows.	ICCS (1)	2008	DBLP DOI BibTeX RDF
9	Yoav Hollander	Is Verification Getting Too Complex?	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
9	Yi-Ting Lin, Chien-Chou Wang, Ing-Jer Huang	AMBA AHB bus potocol checker with efficient debugging mechanism.	ISCAS	2008	DBLP DOI BibTeX RDF
9	Rafael Caballero 0001, Yolanda García-Ruiz, Fernando Sáenz-Pérez	A Theoretical Framework for the Declarative Debugging of Datalog Programs.	SDKB	2008	DBLP DOI BibTeX RDF
9	Roman Vaculín, Katia P. Sycara	Semantic Web Services Monitoring: An OWL-S Based Approach.	HICSS	2008	DBLP DOI BibTeX RDF
9	Cecilia Metra, Martin Omaña 0001, T. M. Mak, Asifur Rahman, Simon Tam 0001	Novel On-Chip Clock Jitter Measurement Scheme for High Performance Microprocessors.	DFT	2008	DBLP DOI BibTeX RDF
9	Hermann S. Lichte, Stefan Valentin	Implementing MAC protocols for cooperative relaying: a compiler-assisted approach.	SimuTools	2008	DBLP DOI BibTeX RDF
9	Ming-Chien Tsai, Ching-Hwa Cheng, Chiou-Mao Yang	An All-Digital High-Precision Built-In Delay Time Measurement Circuit.	VTS	2008	DBLP DOI BibTeX RDF
9	Jens Palsberg	Verification of Register Allocators.	VMCAI	2008	DBLP DOI BibTeX RDF
9	Huu Hai Nguyen, Viktor Kuncak, Wei-Ngan Chin	Runtime Checking for Separation Logic.	VMCAI	2008	DBLP DOI BibTeX RDF
9	Shawn Singh, Mishali Naik, Mubbasir Kapadia, Petros Faloutsos, Glenn Reinman	Watch Out! A Framework for Evaluating Steering Behaviors.	MIG	2008	DBLP DOI BibTeX RDF
9	Petros Efstathopoulos, Eddie Kohler	Manageable fine-grained information flow.	EuroSys	2008	DBLP DOI BibTeX RDF	decentralized information flow control, debugging, labels, policy language
9	Vitaliy B. Lvin, Gene Novark, Emery D. Berger, Benjamin G. Zorn	Archipelago: trading address space for reliability and security.	ASPLOS	2008	DBLP DOI BibTeX RDF	Archipelago, probabilistic memory safety, randomized algorithms, virtual memory, buffer overflow, dynamic memory allocation, memory errors
9	Eshel Haritan, Toshihiro Hattori, Hiroyuki Yagi, Pierre G. Paulin, Wayne H. Wolf, Achim Nohl, Drew Wingard, Mike Muller	Multicore design is the challenge! what is the solution?	DAC	2008	DBLP DOI BibTeX RDF	heterogeneous/homogenous multicore, symmetric/asymmetric multicore, multiprocessors, interconnect, multi-core, MPSoC, programming model, virtual prototyping, ESL, virtual platforms
9	Tsong Yueh Chen, Robert G. Merkel	Quasi-Random Testing.	IEEE Trans. Reliab.	2007	DBLP DOI BibTeX RDF
9	Dimitris Gizopoulos, Robert C. Aitken, Sandip Kundu	Guest Editorial: Special Section on "Autonomous Silicon Validation and Testing of Microprocessors and Microprocessor-Based Systems".	IEEE Trans. Very Large Scale Integr. Syst.	2007	DBLP DOI BibTeX RDF
9	João Rodrigues, João Ventura 0001, A. M. de Campos, Luís E. T. Rodrigues	Implementation and analysis of real-time communication protocol compositions.	Real Time Syst.	2007	DBLP DOI BibTeX RDF	Protocol composition and execution framework, Real-time, Schedulability analysis, Allocation, Priority assignment
9	Beth Simon, Sue Fitzgerald, Renée McCauley, Susan M. Haller, John Hamer, Brian Hanks, Michael T. Helmick, Jan Erik Moström, Judy Sheard, Lynda Thomas	Debugging assistance for novices: a video repository.	ACM SIGCSE Bull.	2007	DBLP DOI BibTeX RDF	Java, web 2.0, debugging, video, CS1, introductory programming, novice programmers
9	Torben Weis, Mirko Knoll, Andreas Ulbrich, Gero Mühl, Alexander Brändle	Rapid Prototyping for Pervasive Applications.	IEEE Pervasive Comput.	2007	DBLP DOI BibTeX RDF	application logic, context-aware, prototype, debugging, programming logic
9	Mack W. Riley, Mike Genden	Cell Broadband Engine Debugging for Unknown Events.	IEEE Des. Test Comput.	2007	DBLP DOI BibTeX RDF	unknown events, high-speed processors, debugging, Cell Broadband Engine
9	Chin-Lung Chuang, Wei-Hsiang Cheng, Dong-Jung Lu, Chien-Nan Jimmy Liu	Hybrid Approach to Faster Functional Verification with Full Visibility.	IEEE Des. Test Comput.	2007	DBLP DOI BibTeX RDF	simulator, emulator, visibility, hybrid, functional verification, debugging environment
9	John H. Kelm, Isaac Gelado, Mark J. Murphy, Nacho Navarro, Steven S. Lumetta, Wen-mei W. Hwu	CIGAR: Application Partitioning for a CPU/Coprocessor Architecture.	PACT	2007	DBLP DOI BibTeX RDF
9	Benjamin D. Rister, Jason Campbell, Padmanabhan Pillai, Todd C. Mowry	Integrated Debugging of Large Modular Robot Ensembles.	ICRA	2007	DBLP DOI BibTeX RDF
9	Donny Kurniawan, David Abramson 0001	An Integrated Grid Development Environment in Eclipse.	eScience	2007	DBLP DOI BibTeX RDF
9	Jing Yang 0003, Mary Lou Soffa, Leo Selavo, Kamin Whitehouse	Clairvoyant: a comprehensive source-level debugger for wireless sensor networks.	SenSys	2007	DBLP DOI BibTeX RDF	embedded debugging, wireless sensor networks, distributed debugging, source-level debugging
9	Aurélien Bouteiller, George Bosilca, Jack J. Dongarra	Retrospect: Deterministic Replay of MPI Applications for Interactive Distributed Debugging.	PVM/MPI	2007	DBLP DOI BibTeX RDF
9	Rajesh Thirugnanam, Dong Sam Ha, T. M. Mak	Data Recovery Block Design for Impulse Modulated Power Line Communications in a Microprocessor.	ISVLSI	2007	DBLP DOI BibTeX RDF
9	Michael Hübner 0001, Lars Braun, Jürgen Becker 0001, Christopher Claus, Walter Stechele	Physical Configuration On-Line Visualization of Xilinx Virtex-II FPGAs.	ISVLSI	2007	DBLP DOI BibTeX RDF
9	Dolev Dotan, Andrei Kirshin	Debugging and testing behavioral UML models.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	UML, software development, debugging, profiles, state machines, activities
9	Sean McDirmid	Living it up with a live programming language.	OOPSLA	2007	DBLP DOI BibTeX RDF	live programming
9	Jing Jin, Rajiv T. Maheswaran, Romeo Sanchez, Pedro A. Szekely	VizScript: visualizing complex interactions in multi-agent systems.	IUI	2007	DBLP DOI BibTeX RDF	multi-agent systems, software visualization, rule-based systems, scripting languages
9	Nathan Woods	Integrating FPGAs in high-performance computing: the architecture and implementation perspective.	FPGA	2007	DBLP DOI BibTeX RDF	compute acceleration, high-performance computinghigh-performance computing, reconfigurable computing, co-processor
9	Wenping Xiao, Chang Yan Chi, Min Yang	On-line collaborative software development via wiki.	Int. Sym. Wikis	2007	DBLP DOI BibTeX RDF	software engineering, wiki, collaborative programming
9	Yu Huang 0005	Dynamic learning based scan chain diagnosis.	DATE	2007	DBLP DOI BibTeX RDF
9	Julie Ferrigno, Philippe Perdu, Kevin Sanchez, Dean Lewis	Identification of process/design issues during 0.18 µm technology qualification for space application.	DATE	2007	DBLP DOI BibTeX RDF
9	Thuyen Le, Tilman Glökler, Jason Baumgartner	Formal verification of a pervasive interconnect bus system in a high-performance microprocessor.	DATE	2007	DBLP DOI BibTeX RDF
9	Peter Kemper, Carsten Tepper	Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior.	QEST	2007	DBLP DOI BibTeX RDF
9	Jonathan C. Rowanhill, Glenn S. Wasson, Zach Hill, Jim Basney, Yuliyan Kiryakov, John C. Knight, Anh Nguyen-Tuong, Andrew S. Grimshaw, Marty Humphrey	Dynamic System-Wide Reconfiguration of Grid Deployments in Response to Intrusion Detections.	HPCC	2007	DBLP DOI BibTeX RDF
9	Xiao Hu, Pengyong Ma, Shuming Chen	Scheduling for Combining Traffic of On-Chip Trace Data in Embedded Multi-core Processor.	ICESS	2007	DBLP DOI BibTeX RDF
9	Philipp Graf, Michael Hübner 0001, Klaus D. Müller-Glaser, Jürgen Becker 0001	A Graphical Model-Level Debugger for Heterogenous Reconfigurable Architectures.	FPL	2007	DBLP DOI BibTeX RDF
9	Alejandro Javier García, Nicolás D. Rotstein, Guillermo Ricardo Simari	Dialectical Explanations in Defeasible Argumentation.	ECSQARU	2007	DBLP DOI BibTeX RDF
9	Samuel Thibault, Raymond Namyst, Pierre-André Wacrenier	Building Portable Thread Schedulers for Hierarchical Multiprocessors: The BubbleSched Framework.	Euro-Par	2007	DBLP DOI BibTeX RDF	Scheduling, Multi-Core, Threads, SMP, SMT, NUMA, Bubbles
9	Liviu Iftode, Christine Morin, Marios D. Dikaiakos, Erich Focht	Topic 1 Support Tools and Environments.	Euro-Par	2007	DBLP DOI BibTeX RDF
9	Young-Joo Kim, Jae-Seon Lim, Yong-Kee Jun	Scalable Thread Visualization for Debugging Data Races in OpenMP Programs.	GPC	2007	DBLP DOI BibTeX RDF	OpenMP programs, data race debugging, scalable thread visualization, three-dimensional visualization
9	Mi-Young Park, Su Jeong Shim, Yong-Kee Jun, Hyuk-Ro Park	MPIRace-Check: Detection of Message Races in MPI Programs.	GPC	2007	DBLP DOI BibTeX RDF	message races, MPIRace-Check, debugging, message-passing programs
9	Peter Kemper	A trace-based visual inspection technique to detect errors in simulation models.	WSC	2007	DBLP DOI BibTeX RDF
9	W. Eric Wong, Yu Qi, Lei Zhao, Kai-Yuan Cai	Effective Fault Localization using Code Coverage.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
9	Steve Quenette, Louis Moresi, P. D. Sunter, Bill F. Appelbe	Explaining StGermain: An aspect oriented environment for building extensible computational mechanics modeling software.	IPDPS	2007	DBLP DOI BibTeX RDF
9	Ryan Culpepper, Matthias Felleisen	Debugging macros.	GPCE	2007	DBLP DOI BibTeX RDF
9	James H. Cross II, T. Dean Hendrix, Jhilmil Jain, Larry A. Barowski	Dynamic object viewers for data structures.	SIGCSE	2007	DBLP DOI BibTeX RDF	data structures, program visualization, algorithm animation
9	Jan Wen Voung, Ranjit Jhala, Sorin Lerner	RELAY: static race detection on millions of lines of code.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	static analysis, race detection
9	David Castells-Rufas, Jordi Carrabina	Jumble: A Hardware-in-the-Loop Simulation System for JHDL.	FCCM	2007	DBLP DOI BibTeX RDF
9	Gang Qian, Yisheng Dong	Tracing Data Transformations: A Preliminary Report.	DASFAA	2007	DBLP DOI BibTeX RDF
9	Jaehoon Song, Hyunbean Yi, Juhee Han, Sungju Park	An Efficient Link Controller for Test Access to IP Core-Based Embedded System Chips.	Asia-Pacific Computer Systems Architecture Conference	2007	DBLP DOI BibTeX RDF	Embedded System, Wrapper, Boundary Scan, Test Access Mechanism, SoC Testing
9	James A. Jones, Mary Jean Harrold, James F. Bowring	Debugging in Parallel.	ISSTA	2007	DBLP DOI BibTeX RDF	execution clustering, empirical study, program analysis, fault localization, automated debugging
9	Barry Kingsbury	Organizing processes and threads for debugging.	PADTAD	2007	DBLP DOI BibTeX RDF
9	James Cheney, Alberto Momigliano	Mechanized metatheory model-checking.	PPDP	2007	DBLP DOI BibTeX RDF	counterexample search, model checking, nominal logic
9	Robin Abraham, Martin Erwig, Scott Andrew	A Type System Based on End-User Vocabulary.	VL/HCC	2007	DBLP DOI BibTeX RDF
9	Orest Pilskalns, Scott Wallace, Filaret Ilas	Runtime Debugging Using Reverse-Engineered UML.	MoDELS	2007	DBLP DOI BibTeX RDF
9	Andrew B. T. Hopkins, Klaus D. McDonald-Maier, Evangelos Papoutsis, W. Gareth J. Howells	Ensuring data integrity via ICmetrics based security infrastructure.	AHS	2007	DBLP DOI BibTeX RDF
9	Lilian Janin, Doug Edwards	CSP Transactors for Asynchronous Transaction Level Modeling and IP Reuse.	ICCSA (3)	2007	DBLP DOI BibTeX RDF
9	Shilpa Gulati, Edwin H. Jung, Chetan Kapoor	Execution Engine for Robotic Surgery Support Functions in an Unmanned Operating Room.	CIRA	2007	DBLP DOI BibTeX RDF
9	Pavel V. Skribtsov, Pavel A. Kazantsev, Svetlana V. Korobkova, Dmitry V. Pantiukhin, Ilia M. Voronkov, Alexander I. Galushkin, Georgiy P. Ostapenko, Artem M. Lodyagin	"Neuromathematics" - Open platform to accelerate complex applied math problems solutions using neural network algorithms.	IJCNN	2007	DBLP DOI BibTeX RDF
9	Jun Chen 0018, Steve MacDonald	Testing concurrent programs using value schedules.	ASE	2007	DBLP DOI BibTeX RDF	value schedule, model checking, concurrent
9	Bassem Elkarablieh, Ivan Garcia, Yuk Lai Suen, Sarfraz Khurshid	Assertion-based repair of complex data structures.	ASE	2007	DBLP DOI BibTeX RDF	assertion-driven development, systematic search, symbolic execution, error recovery, data structure repair
9	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
9	Alex Kinneer, Matthew B. Dwyer, Gregg Rothermel	Sofya: Supporting Rapid Development of Dynamic Program Analyses for Java.	ICSE Companion	2007	DBLP DOI BibTeX RDF
9	Simon Marlow, José Iborra, Bernard J. Pope, Andy Gill	A lightweight interactive debugger for haskell.	Haskell	2007	DBLP DOI BibTeX RDF	debugging, lazy evaluation
9	Andrew A. Chien	Pervasive parallel computing: an historic opportunity for innovation in programming and architecture.	PPoPP	2007	DBLP DOI BibTeX RDF
9	Vijayanand Nagarajan, Dennis Jeffrey, Rajiv Gupta 0001, Neelam Gupta	ONTRAC: A system for efficient ONline TRACing for debugging.	ICSM	2007	DBLP DOI BibTeX RDF
9	Thomas Østerlie, Alf Inge Wang	Debugging Integrated Systems: An Ethnographic Study of Debugging Practice.	ICSM	2007	DBLP DOI BibTeX RDF