Search the dblp DataBase

Publications of Author

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