2008 |
14 | EE | Paul Caspi,
Norman Scaife,
Christos Sofronis,
Stavros Tripakis:
Semantics-preserving multitask implementation of synchronous programs.
ACM Trans. Embedded Comput. Syst. 7(2): (2008) |
2006 |
13 | EE | 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 |
2005 |
12 | EE | 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: 353-360 |
11 | EE | Norman Scaife,
Greg Michaelson,
Susumu Horiguchi:
Empirical Parallel Performance Prediction from Semantics-Based Profiling.
International Conference on Computational Science (2) 2005: 781-789 |
10 | | 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: 195-210 |
9 | EE | 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. Embedded Comput. Syst. 4(3): 587-611 (2005) |
8 | EE | Andrew Cook,
Andrew Ireland,
Greg Michaelson,
Norman Scaife:
Discovering applications of higher order functions through proof planning.
Formal Asp. Comput. 17(1): 38-57 (2005) |
7 | EE | Norman Scaife,
Susumu Horiguchi,
Greg Michaelson,
Paul Bristow:
A parallel SML compiler based on algorithmic skeletons.
J. Funct. Program. 15(4): 615-650 (2005) |
2004 |
6 | EE | Norman Scaife,
Paul Caspi:
Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered Systems.
ECRTS 2004: 119-126 |
5 | EE | Norman Scaife,
Christos Sofronis,
Paul Caspi,
Stavros Tripakis,
Florence Maraninchi:
Defining and translating a "safe" subset of simulink/stateflow into lustre.
EMSOFT 2004: 259-268 |
2003 |
4 | EE | 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
Higher-Order and Symbolic Computation 16(3): 203-251 (2003) |
2001 |
3 | EE | Norman Scaife,
Greg Michaelson,
Susumu Horiguchi:
Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler.
IFL 2001: 138-154 |
1998 |
2 | EE | Andrew M. Wallace,
Greg Michaelson,
Norman Scaife,
W. J. Austin:
A Dual Source, Parallel Architecture for Computer Vision.
The Journal of Supercomputing 12(1-2): 37-56 (1998) |
1995 |
1 | | Greg Michaelson,
Norman Scaife:
Prototyping a Parallel Vision System in Standard ML.
J. Funct. Program. 5(3): 345-382 (1995) |