The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Norman Scaife: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002