The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Norman Scaife" ( http://dblp.L3S.de/Authors/Norman_Scaife )

  Author page on DBLP  Author page in RDF  Community of Norman Scaife in ASPL-2

Publication years (Num. hits)
1995-2006 (16) 2008-2009 (2)
Publication types (Num. hits)
article(9) inproceedings(9)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 31 occurrences of 25 keywords

Results
Found 19 publication records. Showing 18 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann 0001 "Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Paul Caspi, Norman Scaife, Christos Sofronis, Stavros Tripakis Semantics-preserving multitask implementation of synchronous programs. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF process communication, optimality, Embedded software, model-based design, preemptive scheduling, synchronous programming, semantical preservation
1Norman Scaife, Greg Michaelson, Susumu Horiguchi Empirical Parallel Performance Prediction From Semantics-Based Profiling. Search on Bibsonomy Scalable Computing: Practice and Experience The full citation details ... 2006 DBLP  BibTeX  RDF
1Norman Scaife, Greg Michaelson, Susumu Horiguchi Parallel Standard ML with Skeletons. Search on Bibsonomy Scalable Computing: Practice and Experience The full citation details ... 2006 DBLP  BibTeX  RDF
1Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann 0001, 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. Search on Bibsonomy WCET The full citation details ... 2006 DBLP  BibTeX  RDF
1Norman Scaife, Susumu Horiguchi, Greg Michaelson, Paul Bristow A parallel SML compiler based on algorithmic skeletons. Search on Bibsonomy J. Funct. Program. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida 0001, 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 0001 Guidelines for a graduate curriculum on embedded software and systems. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Graduate curriculum, architecture and design, extrafunctional properties, distributed systems, embedded systems, real-time, control, labs
1Andrew Cook, Andrew Ireland, Greg Michaelson, Norman Scaife Discovering applications of higher order functions through proof planning. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Norman Scaife, Greg Michaelson, Susumu Horiguchi Empirical Parallel Performance Prediction from Semantics-Based Profiling. Search on Bibsonomy International Conference on Computational Science (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Kevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann 0001, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace The Embounded project (project start paper). Search on Bibsonomy Trends in Functional Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Stavros Tripakis, Christos Sofronis, Norman Scaife, Paul Caspi Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers. Search on Bibsonomy EMSOFT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF process communication, scheduling, embedded software, model-based design, semantical preservation
1Norman Scaife, Paul Caspi Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered Systems. Search on Bibsonomy ECRTS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF wait-free communication, double buffers, model-based design, synchrony, preemptive scheduling, fixed priority
1Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi Defining and translating a "safe" subset of simulink/stateflow into lustre. Search on Bibsonomy EMSOFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF embedded software, simulink, lustre, automatic translation
1Hans-Wolfgang Loidl, Fernando Rubio 0001, 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. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2003 DBLP  DOI  BibTeX  RDF automatic task decomposition, load balancing, parallel computation, functional programming, Haskell, skeletons, ML, implicit parallelism
1Norman Scaife, Greg Michaelson, Susumu Horiguchi Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler. Search on Bibsonomy IFL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Andrew M. Wallace, Greg Michaelson, Norman Scaife, W. J. Austin A Dual Source, Parallel Architecture for Computer Vision. Search on Bibsonomy The Journal of Supercomputing The full citation details ... 1998 DBLP  DOI  BibTeX  RDF parallel vision, multi-source data, cooperative processing
1Greg Michaelson, Norman Scaife Prototyping a Parallel Vision System in Standard ML. Search on Bibsonomy J. Funct. Program. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Norman Scaife, Greg J. Michaelson, Andrew M. Wallace Prototyping Parallel Algorithms using Standard ML. Search on Bibsonomy BMVC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #18 of 18 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license