Norman Scaife

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