Matthew Naylor

11 papers A 1C 3Misc 1Journal 3Unranked 3
YearRankTypeTitle / Venue / Authors
2014 J jnl
Adapting FreeRTOS for multicores: an experience report.
Softw. Pract. Exp.
James Mistry, Matthew Naylor, Jim Woodcock
2012 — conf
Advances in Lazy SmallCheck.
IFL
Jason S. Reich, Matthew Naylor, Colin Runciman
2012 J jnl
The Reduceron reconfigured and re-evaluated.
J. Funct. Program.
Matthew Naylor, Colin Runciman
2011 — conf
Lazy Generation of Canonical Test Programs.
IFL
Jason S. Reich, Matthew Naylor, Colin Runciman
2010 A conf
The reduceron reconfigured.
ICFP
Matthew Naylor, Colin Runciman
2009 J jnl
Expressible sharing for functional circuit description.
High. Order Symb. Comput.
Matthew Naylor, Colin Runciman
2008 C conf
Smallcheck and lazy smallcheck: automatic exhaustive testing for small values.
Haskell
Colin Runciman, Matthew Naylor, Fredrik Lindblad
2007 C conf
A functional-logic library for wired.
Haskell
Matthew Naylor, Emil Axelsson, Colin Runciman
2007 C conf
Finding Inputs that Reach a Target Expression.
SCAM
Matthew Naylor, Colin Runciman
2007 — conf
The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA.
IFL
Matthew Naylor, Colin Runciman
2005 Misc conf
Pixel Behaviour Metrics for Dynamic Background Modelling with the Projected Difference Pattern Method.
DICTA
Peter Pakulski, Karl Sammut, Fangpo He, Matthew Naylor