Norman Scaife

Publication Activity (10 Years)

Years Active: 1995-2009
Publications (10 Years): 0

Publications

Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis. FM (2009)
Paul Caspi, Norman Scaife, Christos Sofronis, Stavros Tripakis
Semantics-preserving multitask implementation of synchronous programs. ACM Trans. Embed. Comput. Syst. 7 (2) (2008)
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
Towards Formally Verifiable WCET Analysis for a Functional Programming Language. WCET (2006)
Norman Scaife, Greg Michaelson, Susumu Horiguchi
Parallel Standard ML with Skeletons. Scalable Comput. Pract. Exp. 7 (2) (2006)
Norman Scaife, Greg Michaelson, Susumu Horiguchi
Empirical Parallel Performance Prediction From Semantics-Based Profiling. Scalable Comput. Pract. Exp. 7 (3) (2006)
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
Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embed. Comput. Syst. 4 (3) (2005)
Stavros Tripakis, Christos Sofronis, Norman Scaife, Paul Caspi
Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers. EMSOFT (2005)
Andrew Cook, Andrew Ireland, Greg Michaelson, Norman Scaife
Discovering applications of higher order functions through proof planning. Formal Aspects Comput. 17 (1) (2005)
Norman Scaife, Susumu Horiguchi, Greg Michaelson, Paul Bristow
A parallel SML compiler based on algorithmic skeletons. J. Funct. Program. 15 (4) (2005)
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
The Embounded project (project start paper). Trends in Functional Programming (2005)
Norman Scaife, Greg Michaelson, Susumu Horiguchi
Empirical Parallel Performance Prediction from Semantics-Based Profiling. International Conference on Computational Science (2) (2005)
Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi
Defining and translating a "safe" subset of simulink/stateflow into lustre. EMSOFT (2004)
Norman Scaife, Paul Caspi
Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered Systems. ECRTS (2004)
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
Comparing Parallel Functional Languages: Programming and Performance. High. Order Symb. Comput. 16 (3) (2003)
Norman Scaife, Greg Michaelson, Susumu Horiguchi
Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler. IFL (2001)
Andrew M. Wallace, Greg Michaelson, Norman Scaife, W. J. Austin
A Dual Source, Parallel Architecture for Computer Vision. J. Supercomput. 12 (1-2) (1998)
Greg Michaelson, Norman Scaife
Prototyping a Parallel Vision System in Standard ML. J. Funct. Program. 5 (3) (1995)
Norman Scaife, Greg J. Michaelson, Andrew M. Wallace
Prototyping Parallel Algorithms using Standard ML. BMVC (1995)