Norman Scaife

According to our database, Norman Scaife authored at least 18 papers between 1995 and 2009.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2009

"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis.

Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann

Proceedings of the FM 2009: Formal Methods, 2009

2008

Semantics-preserving multitask implementation of synchronous programs.

Paul Caspi, Norman Scaife, Christos Sofronis, Stavros Tripakis

ACM Trans. Embed. Comput. Syst., 2008

2006

Empirical Parallel Performance Prediction From Semantics-Based Profiling.

Norman Scaife, Greg Michaelson, Susumu Horiguchi

Scalable Comput. Pract. Exp., 2006

Parallel Standard ML with Skeletons.

Norman Scaife, Greg Michaelson, Susumu Horiguchi

Scalable Comput. Pract. Exp., 2006

Towards Formally Verifiable WCET Analysis for a Functional Programming Language.

Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace

Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006

2005

Guidelines for a graduate curriculum on embedded software and systems.

Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi

ACM Trans. Embed. Comput. Syst., 2005

A parallel SML compiler based on algorithmic skeletons.

Norman Scaife, Susumu Horiguchi, Greg Michaelson, Paul Bristow

J. Funct. Program., 2005

Discovering applications of higher order functions through proof planning.

Andrew Cook, Andrew Ireland, Greg Michaelson, Norman Scaife

Formal Aspects Comput., 2005

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

Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers.

Stavros Tripakis, Christos Sofronis, Norman Scaife, Paul Caspi

Proceedings of the EMSOFT 2005, 2005

2004

Defining and translating a "safe" subset of simulink/stateflow into lustre.

Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi

Proceedings of the EMSOFT 2004, 2004

Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered Systems.

Norman Scaife, Paul Caspi

Proceedings of the 16th Euromicro Conference on Real-Time Systems (ECRTS 2004), 30 June, 2004

2003

Comparing Parallel Functional Languages: Programming and Performance.

Hans-Wolfgang Loidl, Fernando Rubio, Norman Scaife, Kevin Hammond, Susumu Horiguchi, Ulrike Klusik, Rita Loogen, Greg Michaelson, Ricardo Pena, Steffen Priebe, Álvaro J. Rebón Portillo, Philip W. Trinder

High. Order Symb. Comput., 2003

Skeleton Realisations from Functional Prototypes.

Greg Michaelson, Norman Scaife

Proceedings of the Patterns and Skeletons for Parallel and Distributed Computing, 2003

2001

Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler.

Norman Scaife, Greg Michaelson, Susumu Horiguchi

Proceedings of the Implementation of Functional Languages, 13th International Workshop, 2001

1998

A Dual Source, Parallel Architecture for Computer Vision.

Andrew M. Wallace, Greg Michaelson, Norman Scaife, W. J. Austin

J. Supercomput., 1998

1995

Prototyping a Parallel Vision System in Standard ML.

Greg Michaelson, Norman Scaife

J. Funct. Program., 1995

Prototyping Parallel Algorithms using Standard ML.

Norman Scaife, Greg J. Michaelson, Andrew M. Wallace

Proceedings of the British Machine Vision Conference, 1995