MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Andy Wallace" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 5 documents found, showing 1 through 5.
ATOM RSS
  • Four Skeletons and a Function  
  • by Norman Scaife, Greg Michaelson, Andy Wallace — 1997 — In Proceedings of the 9th International Workshop on Implementations of Functional Languages
  • …. Four algorithmic skeletons for low-level image processing and intermediate-level computer vision are presented, related to a common divide and conquer higher order function. The parallel operation of each skeleton is described and their use in a complete parallel multisource image segmentation sys…
  • Cited by 1 (0 self) – Add To MetaCart
  • • Tutorial Exercises  
  • by Paolo Favaro, Paolo Favaro, Rm Em, Andy Wallace, Rm Em, Module Organisation, Weeks Paolo, Weeks Andy
  • …to changes)…
  • Add To MetaCart
  • Towards resource certified image processing software  
  • by Greg Michaelson, Andy Wallace, Kevin Hammond, Iain Wallace, Armelle Bonenfant, Zezhi Chen — 2006 — In SEAS DTC Annual Technical Conference, July 2006, Edinburgh, Conference Proceedings
  • …Visual tracking requires sophisticated algorithms working in real-time, and often spacelimited, settings. While the input streams may be regular in structure, the algorithms are not, and must often deal with probabilistic metrics. To ensure progress in algorithm design without incurring excessive de…
  • Cited by 1 (1 self) – Add To MetaCart
  • 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
  • …This paper describes ongoing work aimed at the construction of formal cost models and analyses to yield verifiable guarantees of resource usage in the context of real-time embedded systems. Our work is conducted in terms of the domain-specific language Hume, a language that combines functional progr…
  • 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
  • …This paper describes ongoing work aimed at the construction of formal cost models and analyses that are capable of producing verifiable guarantees of resource usage (space, time and ultimately power consumption) in the context of real-time embedded systems. Our work is conducted in terms of the doma…
  • Cited by 2 (1 self) – Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB