Concepedia

Norman Scaife

NS

11

Publications

517

Citations

11

H-Index

1995

Active since

Affiliations

Heriot-Watt University(Current)

Japan Advanced Institute of Science and Technology

Université Joseph Fourier

Norman Scaife is an author at Heriot-Watt University specializing in engineering, computer engineering, and computer science.

Top concepts

EngineeringComputer ScienceComputer EngineeringFormal MethodsSystem SoftwareSystems EngineeringFormal VerificationComputer ArchitectureProgram AnalysisReal-time Systems

Publications per year

1995–2008

11

Publications

11

Defining and translating a "safe" subset of simulink/stateflow into lustre

Norman Scaife, Christos Sofronis, P. Caspi et al. · 2004 · 111 citations

Engineering, Stateflow Designs, Verification +18

Comparing Parallel Functional Languages: Programming and Performance

Hans Loidl, Fernando Rubio, Norman Scaife et al. · LISP and Symbolic Computation · 2003 · 73 citations

Guidelines for a graduate curriculum on embedded software and systems

P. Caspi, Alberto Sangiovanni‐Vincentelli, Lúıs Almeida et al. · ACM Transactions on Embedded Computing Systems · 2005 · 69 citations

Engineering, Graduate Curriculum, Embedded Design +19

Integrating model-based design and preemptive scheduling in mixed time- and event-triggered systems

Norman Scaife, P. Caspi · Euromicro Conference on Real-Time Systems · 2004 · 52 citations

Event-driven Architecture, Event-triggered Systems, Engineering +23

NESTED ALGORITHMIC SKELETONS FROM HIGHER ORDER FUNCTIONS

Greg Michaelson, Norman Scaife, Paul Bristow et al. · Parallel algorithms and applications · 2001 · 43 citations

Mathematical Programming, Algorithmic Skeletons, Engineering +20

Rows per page

1–5 of 11