Search results for "Bruce M. Adcock"

Found 7 publication records. Showing 7 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Murali Sitaraman, Bruce M. Adcock, Jeremy Avigad, Derek Bronish, Paolo Bucci, David Frazier, Harvey M. Friedman, Heather K. Harton, Wayne D. Heym, Jason Kirschenbaum, Joan Krone, Hampton Smith, Bruce W. Weide	Building a push-button RESOLVE verifier: Progress and challenges.	Formal Asp. Comput.	2011	DBLP DOI BibTeX RDF
1	Timothy N. Miller, Renji Thomas, James Dinan, Bruce M. Adcock, Radu Teodorescu	Parichute: Generalized Turbocode-Based Error Correction for Near-Threshold Caches.	MICRO	2010	DBLP DOI BibTeX RDF
1	Scott M. Pike, Wayne D. Heym, Bruce M. Adcock, Derek Bronish, Jason Kirschenbaum, Bruce W. Weide	Traditional assignment considered harmful.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	parameter passing, aliasing, assignment, swapping, data movement
1	Jason Kirschenbaum, Bruce M. Adcock, Derek Bronish, Hampton Smith, Heather K. Harton, Murali Sitaraman, Bruce W. Weide	Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?	ICSR	2009	DBLP DOI BibTeX RDF
1	Bruce W. Weide, Murali Sitaraman, Heather K. Harton, Bruce M. Adcock, Paolo Bucci, Derek Bronish, Wayne D. Heym, Jason Kirschenbaum, David Frazier	Incremental Benchmarks for Software Verification Tools and Techniques.	VSTTE	2008	DBLP DOI BibTeX RDF
1	Bruce M. Adcock, Paolo Bucci, Wayne D. Heym, Joseph E. Hollingsworth, Timothy J. Long, Bruce W. Weide	Which pointer errors do students make?	SIGCSE	2007	DBLP DOI BibTeX RDF	data structures, C++, CS2, pointers, references, linked list
1	Bruce M. Adcock, Kevin C. Jones, Clifford A. Reiter, Lisa M. Vislocky	Iterated function systems with symmetry in the hyperbolic plane.	Computers & Graphics	2000	DBLP DOI BibTeX RDF

Displaying result #1 - #7 of 7 (100 per page; Change: )

Publications of "Bruce M. Adcock" ( http://dblp.L3S.de/Authors/Bruce_M._Adcock )