Debugging - PDFSEARCH.IO - Document Search Engine

Debugging
Results: 1704

#	Item
741	Using Time in Loom Thomas A. Russ  U S C Add to Reading List Source URL: www.isi.edu Language: English - Date: 2009-06-12 15:13:08 FO Mathematics Computing Logic Logic in computer science Assertion Debugging
742	PerfXplain: Debugging MapReduce Job Performance Nodira Khoussainova, Magdalena Balazinska, and Dan Suciu Department of Computer Science and Engineering, University of Washington, Seattle, WA, USA {nodira, magda, suciu}@c Add to Reading List Source URL: vldb.org Language: English - Date: 2012-03-24 02:44:28 Distributed computing architecture MapReduce Parallel computing Models of computation Information retrieval Internet search Join Apache Hadoop Predicate Computing Concurrent computing Information science
743	Debugging Hygienic Macros 1 Ryan Culpepper, Matthias Felleisen College of Computer and Information Science, Northeastern University, Boston MA 02115, USA Abstract Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Functional languages Transformation languages Procedural programming languages Source code Lisp programming language Hygienic macro Macro Common Lisp Scheme Software engineering Computing Computer programming
744	© 2012 Abdullah Al Muzahid EFFECTIVE ARCHITECTURAL SUPPORT FOR DETECTING CONCURRENCY BUGS BY ABDULLAH AL MUZAHID Add to Reading List Source URL: iacoma.cs.uiuc.edu Language: English - Date: 2012-09-12 16:38:51 Concurrency control Data Software bugs Databases Parallel computing Atomicity Linearizability Lock Debugging Transaction processing Computing Data management
745	Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT Favio Demarco, Jifeng Xuan, Daniel Le Berre, Martin Monperrus To cite this version: Favio Demarco, Jifeng Xuan, Daniel Le Berre, Martin Monperrus Add to Reading List Source URL: hal.inria.fr Language: English - Date: 2015-04-15 11:05:08 Software bugs Software testing Logic in computer science Debugging Test case Infinite loop ALGOL 68 Precondition Pointer Software engineering Computer programming Computing
746	A1_13421_Cover page 1.indd Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2013-10-01 08:19:49 Assertion Debugging Logic in computer science Information science Axiom Truth Mental model Philosophy Logic Ethology
747	Friday: Global Comprehension for Distributed Replay Dennis Geels∗ , Gautam Altekar‡ , Petros Maniatisφ , Timothy Roscoe† , Ion Stoica‡ ∗ Google, Inc.,‡ University of California at Berkeley, φ Intel Research Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2007-09-13 17:09:34 Debuggers Distributed data storage Debugging GNU Debugger Breakpoint Application checkpointing Python Chord Distributed hash table Computer programming Computing Software engineering
748	J-Link GDB Server User Guide Add to Reading List Source URL: www.segger.com Language: English - Date: 2013-04-11 05:26:50 Computing GNU Debugger Electronic engineering Segger Microcontroller Systems Joint Test Action Group Debugging Microcontroller Embedded systems Debuggers Electronics
749	Real-world debugging in OCaml Mark Shinwell Jane Street Europe OCaml Users and Developers Workshop 2012 Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-09-26 17:36:02 Debuggers Debugging GNU Debugger Computer errors Strace OCaml Core dump Gdbserver Computer programming Computing Software
750	Replay Debugging for Distributed Applications Dennis Geels Gautam Altekar Scott Shenker University of California, Berkeley Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2006-06-30 17:09:24 Application checkpointing Replication Distributed computing Transmission Control Protocol GNU Debugger Debugging Kernel Parallel computing Scheduling Computing Fault-tolerant computer systems Computer programming

UPDATE