Alan Mycroft - PDFSEARCH.IO - Document Search Engine

Alan Mycroft
Results: 16

#	Item
1	Logical Testing Hoare-style Specification Meets Executable Validation Kathryn E. Gray Alan Mycroft Add to Reading List Source URL: www.cl.cam.ac.uk - Date: 2012-07-16 09:41:41
2	Lambdas, streams, and functional-style programming IN ACTION Raoul-Gabriel Urma Mario Fusco Alan Mycroft Add to Reading List Source URL: manning-content.s3.amazonaws.com - Date: 2015-11-06 11:28:43
3	Lambdas, streams, and functional-style programming IN ACTION Raoul-Gabriel Urma Mario Fusco Alan Mycroft Add to Reading List Source URL: manning-content.s3.amazonaws.com - Date: 2015-11-06 11:28:14
4	Polymorphism, Subtyping, and Type Inference in MLsub Alan Mycroft tifact OPL * Add to Reading List Source URL: www.cl.cam.ac.uk - Date: 2016-11-07 17:18:10
5	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Higher-Level Techniques for Hardware Description and Synthesis Alan Mycroft, Richard Sharp Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:02 Software engineering Computer programming Computing Subroutines Electronic design automation Compiler construction Programming language implementation Theoretical computer science High-level synthesis Recursion Compiler Inline expansion
6	AUTOMATIC IN-FLIGHT REPAIR OF FPGA COSMIC RAY DAMAGE Sarah THOMPSON, Alan MYCROFT Computer Laboratory, University of Cambridge, William Gates Building, JJ Thomson Avenue, Cambridge, CB3 0FD, UK Add to Reading List Source URL: ti.arc.nasa.gov Language: English - Date: 2012-09-04 16:57:55
7	A Lightweight In-Place Implementation for Software Thread-Level Speculation Cosmin E. Oancea Alan Mycroft Add to Reading List Source URL: timharris.uk Language: English - Date: 2014-08-25 06:24:53
8	Rendezvous: A Search Engine for Binary Code Wei Ming Khoo Alan Mycroft Ross Anderson Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-04-16 12:00:31 Directed acyclic graph Graph N-gram Static single assignment form Graph theory Mathematics Combinatorics
9	Presenting OCaml Labs Wednesday, 26 September 12 What is OCaml Labs? Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-09-26 17:36:02 Functional languages OCaml ML Alan Mycroft Mycroft Software engineering Computing Computer programming
10	Concise analysis using implication algebras for task-local memory optimisation Leo White and Alan Mycroft Computer Laboratory, University of Cambridge William Gates Building, 15 JJ Thomson Avenue, Cambridge CB3 0FD, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-04-17 08:32:31 Software engineering Application programming interfaces Fortran OpenMP Model theory Task parallelism Stack Stable model semantics Term algebra Computing Computer programming Parallel computing

UPDATE