Search results for "DEBUG"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Chang-Hsien Tsai, Shih-Kun Huang	Detection and Diagnosis of Control Interception.	ICICS	2007	DBLP DOI BibTeX RDF
9	Wei Li 0020, Tzi-cker Chiueh	Automated Format String Attack Prevention for Win32/X86 Binaries.	ACSAC	2007	DBLP DOI BibTeX RDF
9	Narayan Desai, Theron Voran, Ewing L. Lusk, Andrew Cherry	The computer as software component: A mechanism for developing and testing resource management software.	CLUSTER	2007	DBLP DOI BibTeX RDF
9	Atsushi Kasuya, Tesh Tesfaye	Verification Methodologies in a TLM-to-RTL Design Flow.	DAC	2007	DBLP DOI BibTeX RDF
9	Farhad Mehta	Supporting Proof in a Reactive Development Environment.	SEFM	2007	DBLP DOI BibTeX RDF
9	Mi-Young Park, Seok Young Kim, Hyuk-Ro Park	Visualization of Affect-Relations of Message Races for Debugging MPI Programs.	GrC	2007	DBLP DOI BibTeX RDF
9	Satish Narayanasamy, Gilles Pokam, Brad Calder	BugNet: Recording Application-Level Execution for Deterministic Replay Debugging.	IEEE Micro	2006	DBLP DOI BibTeX RDF	BugNet, debugging, DMA
9	Ming Zhang 0017, Subhasish Mitra, T. M. Mak, Norbert Seifert, Nicholas J. Wang, Quan Shi, Kee Sup Kim, Naresh R. Shanbhag, Sanjay J. Patel	Sequential Element Design With Built-In Soft Error Resilience.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF
9	David C. Thompson 0001, Philippe P. Pébay	Embarrassingly parallel mesh refinement by edge subdivision.	Eng. Comput.	2006	DBLP DOI BibTeX RDF	Adaptive tetrahedral tessellation, Parallel mesh refinement, Streaming subdivision, Symmetric groups
9	Syed Suhaib, Deepak Mathaikutty, David Berner, Sandeep K. Shukla	Validating Families of Latency Insensitive Protocols.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	long interconnects, latency insensitive protocols, splitter, verification framework, Simulation, formal verification, merger, relay station
9	Priya Nagpurkar, Hussam Mousa, Chandra Krintz, Timothy Sherwood	Efficient remote profiling for resource-constrained devices.	ACM Trans. Archit. Code Optim.	2006	DBLP DOI BibTeX RDF	phased behavior, sampling, Profiling, resource-constrained devices
9	Sihan Qing, Gaicheng Li	Formal analysis and design of multi-party fair exchange protocols.	Sci. China Ser. F Inf. Sci.	2006	DBLP DOI BibTeX RDF	logical protocol, formal model, security requirement, fair exchange
9	Mehrdad Reshadi, Nikil D. Dutt, Prabhat Mishra 0001	A retargetable framework for instruction-set architecture simulation.	ACM Trans. Embed. Comput. Syst.	2006	DBLP DOI BibTeX RDF	Retargetable instruction-set simulation, generic instruction model, instruction binary encoding, architecture description language, decode algorithm
9	Eric Van Hensbergen	P.R.O.S.E.: partitioned reliable operating system environment.	ACM SIGOPS Oper. Syst. Rev.	2006	DBLP DOI BibTeX RDF	Linux
9	John Regehr, Usit Duongsaa	Deriving abstract transfer functions for analyzing embedded software.	LCTES	2006	DBLP DOI BibTeX RDF	static analysis, abstract interpretation, embedded software, transfer functions
9	Smruti R. Sarangi, Brian Greskamp, Josep Torrellas	CADRE: Cycle-Accurate Deterministic Replay for Hardware Debugging.	DSN	2006	DBLP DOI BibTeX RDF
9	Ruben Gamboa, John R. Cowles	Implementing a cost-aware evaluator for ACL2 expressions.	ACL2	2006	DBLP DOI BibTeX RDF	ACL2 evaluator, function cost, evaluators
9	Andrés Moreno	Algorithm Animation.	Human-Centered Visualization Environments	2006	DBLP DOI BibTeX RDF
9	Adam Dunkels, Oliver Schmidt, Thiemo Voigt, Muneeb Ali	Protothreads: simplifying event-driven programming of memory-constrained embedded systems.	SenSys	2006	DBLP DOI BibTeX RDF	wireless sensor networks, embedded systems, threads
9	Tracy Hammond, Randall Davis	Interactive learning of structural shape descriptions from automatically generated near-miss examples.	IUI	2006	DBLP DOI BibTeX RDF	near-miss, user interfaces, active learning, shape description, sketch recognition, structural description, ladder
9	Calin Ciordas, Andreas Hansson 0001, Kees Goossens, Twan Basten	A Monitoring-Aware Network-on-Chip Design Flow.	DSD	2006	DBLP DOI BibTeX RDF
9	Patrick Reynolds, Janet L. Wiener, Jeffrey C. Mogul, Marcos Kawazoe Aguilera, Amin Vahdat	WAP5: black-box performance debugging for wide-area systems.	WWW	2006	DBLP DOI BibTeX RDF	black box systems, distributed systems, performance analysis, performance debugging
9	Bill Eklow, Ben Bennetts	New Techniques for Accessing Embedded Instrumentation: IEEE P1687 (IJTAG).	ETS	2006	DBLP DOI BibTeX RDF
9	Akash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit	Path Optimization in Programs and Its Application to Debugging.	ESOP	2006	DBLP DOI BibTeX RDF
9	Syed M. Rahman, Paul L. Juell	Applying Software Development Lifecycles in Teaching Introductory Programming Courses.	CSEE&T	2006	DBLP DOI BibTeX RDF	software testing, software quality, programming language, Software development method, software cost
9	Manuel Freire 0001, Pilar Rodríguez 0001	A Graph-Based Monitoring Tool for Adaptive Hypermedia Course Systems.	AH	2006	DBLP DOI BibTeX RDF
9	Stephen Weeks	Whole-program compilation in MLton.	ML	2006	DBLP DOI BibTeX RDF
9	Ranveer Chandra, Venkata N. Padmanabhan, Ming Zhang	WiFiProfiler: cooperative diagnosis in wireless LANs.	MobiSys	2006	DBLP DOI BibTeX RDF	peer-to-peer performance problems, wireless networks, fault diagnosis, 802.11
9	Cesare Pautasso, Win Bausch, Gustavo Alonso	Autonomic Computing for Virtual Laboratories.	Research Results of the DICS Program	2006	DBLP DOI BibTeX RDF
9	Paulo Blikstein, Uri Wilensky	The Missing Link: A Case Study of Sensing-and-Modeling Toolkits for Constructionist Scientific Investigation.	ICALT	2006	DBLP DOI BibTeX RDF
9	Thinh M. Le, Xiaohua Tian, B. L. Ho, J. Nankoo, Yong Lian 0001	System-on-Chip Design Methodology for a Statistical Coder.	IEEE International Workshop on Rapid System Prototyping	2006	DBLP DOI BibTeX RDF	statistical coder, SoC, design methodology, CABAC
9	Wlodzimierz Funika, Pawel Swierszcz	Dynamic Instrumentation of Distributed Java Applications Using Bytecode Modifications.	International Conference on Computational Science (2)	2006	DBLP DOI BibTeX RDF	J-OMIS, J-OCM, Java, instrumentation, bytecode
9	Lawrence Cabac, Nicolas Knaak, Daniel Moldt, Heiko Rölke	Analysis of Multi-Agent Interactions with Process Mining Techniques.	MATES	2006	DBLP DOI BibTeX RDF
9	Wei-Hsiang Cheng, Chin-Lung Chuang, Chien-Nan Jimmy Liu	An efficient mechanism to provide full visibility for hardware debugging.	ISCAS	2006	DBLP DOI BibTeX RDF
9	Thippaya Chintakovid, Susan Wiedenbeck, Margaret M. Burnett, Valentina Grigoreanu	Pair Collaboration in End-User Debugging.	VL/HCC	2006	DBLP DOI BibTeX RDF
9	Caroline Appert, Michel Beaudouin-Lafon	SwingStates: adding state machines to the swing toolkit.	UIST	2006	DBLP DOI BibTeX RDF	java swing, toolkit, state machine, widget
9	André V. Fidalgo, Gustavo R. Alves, José M. Ferreira 0001	Real Time Fault Injection Using Enhanced OCD -- A Performance Analysis.	DFT	2006	DBLP DOI BibTeX RDF
9	Arnaud Epinat, N. Vijayaraghavan, Matthieu Sautier, Olivier Callen, Sebastien Fabre, Ryan Ross, Paul Simon, Robin Wilson	Yield Enhancement Methodology for CMOS Standard Cells.	ISQED	2006	DBLP DOI BibTeX RDF
9	Ajay Khoche	Session Abstract.	VTS	2006	DBLP DOI BibTeX RDF
9	Nicolas Loriant, Jean-Marc Menaud	The Case for Distributed Execution Replay Using a Virtual Machine.	WETICE	2006	DBLP DOI BibTeX RDF
9	Michael Rudgyard	Software tools II - Novel techniques for debugging and optimizing parallel applications.	SC	2006	DBLP DOI BibTeX RDF
9	Phillip Dykstra	M07 - High performance data transfer.	SC	2006	DBLP DOI BibTeX RDF
9	Christopher Gottbrath	S09 - Eliminating parallel application memory bugs with TotalView.	SC	2006	DBLP DOI BibTeX RDF
9	Suresh Balasubramanian, Narayanan Natarajan, Olivier Franza, Chris Gianos	Deterministic Low-Latency Data Transfer across Non-Integral Ratio Clock Domains.	VLSI Design	2006	DBLP DOI BibTeX RDF
9	David Himmelstrup	Interactive debugging with GHCi.	Haskell	2006	DBLP DOI BibTeX RDF	interactive, debugging, Haskell, Haskell, breakpoints
9	Jeffrey C. Mogul	Emergent (mis)behavior vs. complex software systems.	EuroSys	2006	DBLP DOI BibTeX RDF	emergent misbehavior, complex systems, emergent behavior
9	Atul Singh, Petros Maniatis, Timothy Roscoe, Peter Druschel	Using queries for distributed monitoring and forensics.	EuroSys	2006	DBLP DOI BibTeX RDF	declarative overlays, invariant checking, distributed debugging, distributed monitoring
9	Sanjeev Kumar, Michael Chu, Christopher J. Hughes, Partha Kundu, Anthony D. Nguyen	Hybrid transactional memory.	PPoPP	2006	DBLP DOI BibTeX RDF	transactions, transactional memory, nonblocking, architecture support
9	George K. Baah, Alexander G. Gray, Mary Jean Harrold	On-line anomaly detection of deployed software: a statistical machine learning approach.	SOQUA	2006	DBLP DOI BibTeX RDF	anomaly diagnosis, machine learning, anomaly detection, Markov models, fault localization
9	Wei Wang 0076, Binxing Fang	Grid Service Based Parallel Debugging Environment.	APWeb Workshops	2006	DBLP DOI BibTeX RDF
9	Subhasish Mitra, Norbert Seifert, Ming Zhang 0017, Quan Shi, Kee Sup Kim	Subhasish Mitra, Norbert Seifert, Ming Zhang, Quan Shi, Kee Sup Kim.	Computer	2005	DBLP DOI BibTeX RDF
9	Sylvain Piechowiak, Joaquin Rodriguez	The Localization and Correction of Errors in Models: A Constraint-Based Approach.	Appl. Intell.	2005	DBLP DOI BibTeX RDF	debugging constraint networks, model-based reasoning, constraint reasoning
9		Panel Summaries.	IEEE Des. Test Comput.	2005	DBLP DOI BibTeX RDF	IEEE VLSI Test Symposium, VTS 05, IEEE 1500, IOLTS 05
9	Cliff B. Jones	Some Interdisciplinary Observations about Getting the "Right" Specification.	VSTTE	2005	DBLP DOI BibTeX RDF
9	Eitan Farchi, Gabriel Kliot, Yoel Krasny, Alex Krits, Roman Vitenberg	Effective Testing and Debugging Techniques for a Group Communication System.	DSN	2005	DBLP DOI BibTeX RDF
9	Jonny Vinter, Olof Hannius, Torbjörn Norlander, Peter Folkesson, Johan Karlsson	Experimental Dependability Evaluation of a Fail-Bounded Jet Engine Control System for Unmanned Aerial Vehicles.	DSN	2005	DBLP DOI BibTeX RDF
9	Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel	An empirical framework for comparing effectiveness of testing and property-based formal analysis.	PASTE	2005	DBLP DOI BibTeX RDF	model checking, static analysis, empirical software engineering, mutation testing, bug detection
9	Mihai Christodorescu, Nicholas Kidd, Wen-Han Goh	String analysis for x86 binaries.	PASTE	2005	DBLP DOI BibTeX RDF
9	Vincent Nollet, Prabhat Avasare, Jean-Yves Mignolet, Diederik Verkest	Low Cost Task Migration Initiation in a Heterogeneous MP-SoC.	DATE	2005	DBLP DOI BibTeX RDF
9	Jinyong Jo, Woojin Seok, JaiSeung Kwak, Okhwan Byeon	Design and Implementation of QoS Measurement and Network Diagnosing Framework for IP Multicast in Advanced Collaborative Environment.	ACIS-ICIS	2005	DBLP DOI BibTeX RDF
9	Abdul Sahid Khan, Madhavan Mukund, S. P. Suresh	Generic Verification of Security Protocols.	SPIN	2005	DBLP DOI BibTeX RDF
9	Jules White, Boris Kolpackov, Balachandran Natarajan, Douglas C. Schmidt	Reducing application code complexity with vocabulary-specific XML language bindings.	ACM Southeast Regional Conference (2)	2005	DBLP DOI BibTeX RDF	W3C XML schema, vocabulary-specific language binding, XML, C++, DOM, SAX
9	Amir Hekmatpour, Azadeh Salehi	Block-based Schema-driven Assertion Generation for Functional Verification.	Asian Test Symposium	2005	DBLP DOI BibTeX RDF
9	Marzieh Ahmadzadeh, Dave Elliman, Colin Higgins	An analysis of patterns of debugging among novice computer science students.	ITiCSE	2005	DBLP DOI BibTeX RDF	debugging, programming
9	Renzo Davoli, Michael Goldweber	Virtual square (V2) in computer science education.	ITiCSE	2005	DBLP DOI BibTeX RDF	security, networking, virtual machine, operating systems, teaching, laboratory, administration
9	Juan Fernández 0001, Fabrizio Petrini, Eitan Frachtenberg	Monitoring and Debugging Parallel Software with BCS-MPI on Large-Scale Clusters.	IPDPS	2005	DBLP DOI BibTeX RDF
9	Mike Muller	The challenges of embedded system design.	CODES+ISSS	2005	DBLP DOI BibTeX RDF
9	Cristiano Pereira, Jeremy Lau, Brad Calder, Rajesh K. Gupta 0001	Dynamic phase analysis for cycle-close trace generation.	CODES+ISSS	2005	DBLP DOI BibTeX RDF	SimPoint, simulation, tracing, phase
9	Wen Y. Su, John C. Hart	A Programmable Particle System Framework for Shape Modeling.	SMI	2005	DBLP DOI BibTeX RDF
9	Min Xu, Rastislav Bodík, Mark D. Hill	A serializability violation detector for shared-memory server programs.	PLDI	2005	DBLP DOI BibTeX RDF	multithreading, serializability, race conditions
9	Kevin Camera, Hayden Kwok-Hay So, Robert W. Brodersen	An integrated debugging environment for reprogrammble hardware systems.	AADEBUG	2005	DBLP DOI BibTeX RDF
9	Adrian Pop, Peter Fritzson	Debugging natural semantics specifications.	AADEBUG	2005	DBLP DOI BibTeX RDF	logical functional languages, proof-trees, debugging, rule-based
9	Adrian Chirila-Rus, Kristof Denolf, Bart Vanhoof, Paul R. Schumacher, Kees A. Vissers	Communication Primitives Driven Hardware Design and Test Methodology Applied on Complex Video Applications.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
9	Milind Kulkarni 0003, J. Benita Bommi	Assertion-Based Verification for the SpaceCAKE Multiprocessor - A Case Study.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
9	Bhanu Pisupati, Geoffrey Brown	File System Interfaces for Embedded Software Development.	ICCD	2005	DBLP DOI BibTeX RDF
9	Arun Shrimali, Anand Venkitachalam, Ravi Arora	Issues and Challenges in Ramp to Production.	ISQED	2005	DBLP DOI BibTeX RDF
9	Leonard Lee, Li-C. Wang, Praveen Parvathala, T. M. Mak	On Silicon-Based Speed Path Identification.	VTS	2005	DBLP DOI BibTeX RDF
9	Don S. Batory	Feature Models, Grammars, and Propositional Formulas.	SPLC	2005	DBLP DOI BibTeX RDF
9	Jeremy Singer	Concept Assignment as a Debugging Technique for Code Generators.	SCAM	2005	DBLP DOI BibTeX RDF
9	Jinyong Jo, JaiSeung Kwak, Okhwan Byeon	MEET : Multicast Debugging Toolkit with End-to-End Packet Trace.	PCM (2)	2005	DBLP DOI BibTeX RDF
9	Aravind Menon, Jose Renato Santos, Yoshio Turner, G. John Janakiraman, Willy Zwaenepoel	Diagnosing performance overheads in the xen virtual machine environment.	VEE	2005	DBLP DOI BibTeX RDF	statistical profiling, performance analysis, virtual machine monitors
9	Nick Feamster	Practical verification techniques for wide-area routing.	Comput. Commun. Rev.	2004	DBLP DOI BibTeX RDF
9	Kamil Saraç, Kevin C. Almeroth	Tracetree: a scalable mechanism to discover multicast tree topologies in the internet.	IEEE/ACM Trans. Netw.	2004	DBLP DOI BibTeX RDF	forwarding state, tree topology discovery, Internet, routing, multicast, monitoring, management
9	Philip K. McKinley, Seyed Masoud Sadjadi, Eric P. Kasten, Betty H. C. Cheng	Composing Adaptive Software.	Computer	2004	DBLP DOI BibTeX RDF
9	Ludovic Apvrille, Jean-Pierre Courtiat, Christophe Lohr, Pierre de Saqui-Sannes	TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF
9	Matt Bishop, Deborah A. Frincke	Teaching Robust Programming.	IEEE Secur. Priv.	2004	DBLP DOI BibTeX RDF
9	Franz Wotawa	Debugging VHDL Designs: Introducing Multiple Models and First Empirical Results.	Appl. Intell.	2004	DBLP DOI BibTeX RDF	debugging hardware designs, modeling for diagnosis, model-based diagnosis
9	Jayanta Bhadra, Narayanan Krishnamurthy, Magdy S. Abadir	Enhanced Equivalence Checking: Toward a Solidarity of Functional Verification and Manufacturing Test Generation.	IEEE Des. Test Comput.	2004	DBLP DOI BibTeX RDF
9	Áine Mitchell, James F. Power	An empirical investigation into the dimensions of run-time coupling in Java programs.	PPPJ	2004	DBLP DOI BibTeX RDF
9	Jia Zeng, Cristian Soviani, Stephen A. Edwards	Generating fast code from concurrent program dependence graphs.	LCTES	2004	DBLP DOI BibTeX RDF	sequencial, concurrent, esterel, program dependence graph
9	Chia-Chu Chiang	A Formal Specification-Based Approach to Distributed Parallel Programming.	HASE	2004	DBLP DOI BibTeX RDF
9	Jung Hee Kim, Hyun-chul Sim, Yong-hyeog Kang, Young Ik Eom	Design and Implementation of a Remote Debugger for Concurrent Debugging of Multiple Processes in Embedded Linux Systems.	NPC	2004	DBLP DOI BibTeX RDF
9	Anshuman S. Nadkarni, Tom Kenville	TiGeR, the Transmeta Instruction GEneratoR: A Production Based, Pseudo Random Instruction x86 Test Generator.	MTV	2004	DBLP DOI BibTeX RDF
9	Deepak Bandyopadhyay, Jack Snoeyink	Almost-Delaunay simplices: nearest neighbor relations for imprecise points.	SODA	2004	DBLP BibTeX RDF
9	Håkan Mattsson, Christoph W. Kessler	Towards a Bulk-Synchronous Distributed Shared Memory Programming Environment for Grids.	PARA	2004	DBLP DOI BibTeX RDF
9	María del Milagro Bolado, Hector Posadas, Javier Castillo, Pablo Huerta, Pablo Sánchez, Carlos Sánchez, Häkan Fouren, Francisco Blasco	Platform Based on Open-Source Cores for Industrial Applications.	DATE	2004	DBLP DOI BibTeX RDF
9	Janusz Rajski, Kan Thapar	Nanometer Design: What are the Requirements for Manufacturing Test?	DATE	2004	DBLP DOI BibTeX RDF
9	Chia-Chu Chiang	High-level heterogeneous distributed parallel programming.	ISICT	2004	DBLP DOI BibTeX RDF
9	Martin Burtscher, Ilya Ganusov	Automatic Synthesis of High-Speed Processor Simulators.	MICRO	2004	DBLP DOI BibTeX RDF
9	Christos Papadopoulos, Chris Kyriakakis, Alexander A. Sawchuk, Xinming He	CyberSeer: 3D audio-visual immersion for network security and management.	VizSEC	2004	DBLP DOI BibTeX RDF	network security, monitoring, network visualization