Searching for authors named Roy Hammond – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Towards Formally Verifiable WCET Analysis for a Functional Programming Language
by Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Reinhold Heckmann Roy Dyckhoff, Martin Hofmann, Steffen Jost, Hans-wolfgang Loidl, Greg Michaelson, Robert Pointon, Norman Scaife, Jocelyn Serot, Andy Wallace — Proceedings of the 6th International Workshop on Worst-Case Execution Time (WCET) Analysis, Dagstuhl
…Towards Formally Verifiable WCET Analysis for a Functional Programming Language Kevin Hammond…
Cited by 1 (1 self) – Add To MetaCart

Towards formally verifiable resource bounds for real-time embedded systems
by Kevin Hammond, Christian Ferdin, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann, Steffen Jost, Hans-wolfgang Loidl, Greg Michaelson, Robert Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace — 2006 — ACM SIGBED Review— Special issues
…Towards Formally Verifiable Resource Bounds for Real-Time Embedded Systems Kevin Hammond…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB