We stand with Ukraine  

Matthew Naylor

This page is a disambiguation page, it actually contains multiple papers from persons of the same or a similar name.

Bibliography

2014
Adapting FreeRTOS for multicores: an experience report.
[BibTeX]
[DOI]
James Mistry
,
Matthew Naylor
,
Jim Woodcock
Softw. Pract. Exp., 2014

2012
The Reduceron reconfigured and re-evaluated.
[BibTeX]
[DOI]
Matthew Naylor
,
Colin Runciman
J. Funct. Program., 2012

Advances in Lazy SmallCheck.
[BibTeX]
[DOI]
Jason S. Reich
,
Matthew Naylor
,
Colin Runciman
Proceedings of the Implementation and Application of Functional Languages, 2012

2011
Lazy Generation of Canonical Test Programs.
[BibTeX]
[DOI]
Jason S. Reich
,
Matthew Naylor
,
Colin Runciman
Proceedings of the Implementation and Application of Functional Languages, 2011

2010
The reduceron reconfigured.
[BibTeX]
[DOI]
Matthew Naylor
,
Colin Runciman
Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming, 2010

2009
Expressible sharing for functional circuit description.
[BibTeX]
[DOI]
Matthew Naylor
,
Colin Runciman
High. Order Symb. Comput., 2009

2008
Smallcheck and lazy smallcheck: automatic exhaustive testing for small values.
[BibTeX]
[DOI]
Colin Runciman
,
Matthew Naylor
,
Fredrik Lindblad
Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008

2007
Finding Inputs that Reach a Target Expression.
[BibTeX]
[DOI]
Matthew Naylor
,
Colin Runciman
Proceedings of the Seventh IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2007), September 30, 2007

The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA.
[BibTeX]
[DOI]
Matthew Naylor
,
Colin Runciman
Proceedings of the Implementation and Application of Functional Languages, 2007

A functional-logic library for wired.
[BibTeX]
[DOI]
Matthew Naylor
,
Emil Axelsson
,
Colin Runciman
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2007

2005
Pixel Behaviour Metrics for Dynamic Background Modelling with the Projected Difference Pattern Method.
[BibTeX]
[DOI]
Peter Pakulski
,
Karl Sammut
,
Fangpo He
,
Matthew Naylor
Proceedings of the International Conference on Digital Image Computing: Techniques and Applications, 2005


  Loading...