Norman Scaife - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2009

Carbon Credits for Resource-Bounded Computations Using Amortised AnalysisSteffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann. FM 2009: 354-369 [doi]

2008

Semantics-preserving multitask implementation of synchronous programsPaul Caspi, Norman Scaife, Christos Sofronis, Stavros Tripakis. tecs, 7(2), 2008. [doi]

2006

2005

Discovering applications of higher order functions through proof planningAndrew Cook, Andrew Ireland, Greg Michaelson, Norman Scaife. fac, 17(1):38-57, 2005. [doi]

The Embounded project (project start paper)Kevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace. sfp 2007: 195-210

A parallel SML compiler based on algorithmic skeletonsNorman Scaife, Susumu Horiguchi, Greg Michaelson, Paul Bristow. JFP, 15(4):615-650, 2005. [doi]

Empirical Parallel Performance Prediction from Semantics-Based ProfilingNorman Scaife, Greg Michaelson, Susumu Horiguchi. iccS 2005: 781-789 [doi]

Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulersStavros Tripakis, Christos Sofronis, Norman Scaife, Paul Caspi. emsoft 2005: 353-360 [doi]

2004

Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered SystemsNorman Scaife, Paul Caspi. ecrts 2004: 119-126 [doi]

Defining and translating a safe subset of simulink/stateflow into lustreNorman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi. emsoft 2004: 259-268 [doi]

2003

2001

Comparative Cross-Platform Performance Results from a Parallelizing SML CompilerNorman Scaife, Greg Michaelson, Susumu Horiguchi. IFL 2002: 138-154 [doi]

1998

A Dual Source, Parallel Architecture for Computer VisionAndrew M. Wallace, Greg Michaelson, Norman Scaife, W. J. Austin. tjs, 12(1-2):37-56, 1998. [doi]

1995

Prototyping a Parallel Vision System in Standard MLGreg Michaelson, Norman Scaife. JFP, 5(3):345-382, 1995.

Prototyping Parallel Algorithms using Standard MLNorman Scaife, Greg J. Michaelson, Andrew M. Wallace. bmvc 1995: 1-10 [doi]

Sign in or sign up to see more results.

runs on WebDSL