![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Norman Scaife
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2009
- [c9]Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond
, Norman Scaife, Martin Hofmann:
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis. FM 2009: 354-369 - 2008
- [j9]Paul Caspi, Norman Scaife, Christos Sofronis, Stavros Tripakis
:
Semantics-preserving multitask implementation of synchronous programs. ACM Trans. Embed. Comput. Syst. 7(2): 15:1-15:40 (2008) - 2006
- [j8]Norman Scaife, Greg Michaelson, Susumu Horiguchi:
Parallel Standard ML with Skeletons. Scalable Comput. Pract. Exp. 7(2) (2006) - [j7]Norman Scaife, Greg Michaelson, Susumu Horiguchi:
Empirical Parallel Performance Prediction From Semantics-Based Profiling. Scalable Comput. Pract. Exp. 7(3) (2006) - [c8]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
- [j6]Andrew Cook, Andrew Ireland, Greg Michaelson, Norman Scaife:
Discovering applications of higher order functions through proof planning. Formal Aspects Comput. 17(1): 38-57 (2005) - [j5]Norman Scaife, Susumu Horiguchi, Greg Michaelson, Paul Bristow:
A parallel SML compiler based on algorithmic skeletons. J. Funct. Program. 15(4): 615-650 (2005) - [j4]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. Embed. Comput. Syst. 4(3): 587-611 (2005) - [c7]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 - [c6]Norman Scaife, Greg Michaelson, Susumu Horiguchi:
Empirical Parallel Performance Prediction from Semantics-Based Profiling. International Conference on Computational Science (2) 2005: 781-789 - [c5]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 - 2004
- [c4]Norman Scaife, Paul Caspi:
Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered Systems. ECRTS 2004: 119-126 - [c3]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
- [j3]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. High. Order Symb. Comput. 16(3): 203-251 (2003) - [p1]Greg Michaelson, Norman Scaife:
Skeleton Realisations from Functional Prototypes. Patterns and Skeletons for Parallel and Distributed Computing 2003: 129-153 - 2001
- [c2]Norman Scaife, Greg Michaelson, Susumu Horiguchi:
Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler. IFL 2001: 138-154
1990 – 1999
- 1998
- [j2]Andrew M. Wallace, Greg Michaelson, Norman Scaife, W. J. Austin:
A Dual Source, Parallel Architecture for Computer Vision. J. Supercomput. 12(1-2): 37-56 (1998) - 1995
- [j1]Greg Michaelson, Norman Scaife:
Prototyping a Parallel Vision System in Standard ML. J. Funct. Program. 5(3): 345-382 (1995) - [c1]Norman Scaife, Greg J. Michaelson, Andrew M. Wallace:
Prototyping Parallel Algorithms using Standard ML. BMVC 1995: 1-10
Coauthor Index
aka: Greg Michaelson
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint