Norman Scaife
Université Clermont Auvergne(FR)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Embedded Systems Design Techniques, Formal Methods in Verification, Distributed and Parallel Computing Systems, Real-Time Systems Scheduling
Most-Cited Works
- → Defining and translating a "safe" subset of simulink/stateflow into lustre(2004)111 cited
- → Comparing Parallel Functional Languages: Programming and Performance(2003)74 cited
- → Guidelines for a graduate curriculum on embedded software and systems(2005)69 cited
- → Integrating model-based design and preemptive scheduling in mixed time- and event-triggered systems(2004)52 cited
- → “Carbon Credits” for Resource-Bounded Computations Using Amortised Analysis(2009)49 cited
- → NESTED ALGORITHMIC SKELETONS FROM HIGHER ORDER FUNCTIONS(2001)44 cited
- → Semantics-preserving multitask implementation of synchronous programs(2008)42 cited
- → A parallel SML compiler based on algorithmic skeletons(2005)35 cited
- → Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers(2005)32 cited
- → Integrating model-based design and preemptive scheduling in mixed time-and event-triggered systems(2004)30 cited