MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Harvey Tuch" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 8 documents found, showing 1 through 8.
ATOM RSS
  • A unified memory model for pointers  
  • by Harvey Tuch, Gerwin Klein — 2005 — 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-12), volume 3835 of LNCS
  • …A Unified Memory Model for Pointers Harvey Tuch and Gerwin Klein National ICT Australia ⋆ , Sydney…
  • Cited by 6 (4 self) – Add To MetaCart
  • OS Verification --- Now!  
  • by Harvey Tuch Gerwin, Harvey Tuch, Gerwin Klein, Gernot Heiser — 2005 — In Proceedings of the 10th Workshop on Hot Topics in Operating Systems
  • …OS Verification — Now! Harvey Tuch Gerwin Klein Gernot Heiser National ICT Australia University…
  • Add To MetaCart
  • Legba: Fast Hardware Support for Fine-Grained Protection  
  • by Adam Wiggins, Simon Winwood, Harvey Tuch, Gernot Heiser — 2003 — In Proceedings of the 8th Australia-Pacific Computer Systems Architecture Conference (ACSAC’2003
  • … , Harvey Tuch 1 , and Gernot Heiser 1,2 1 University of New South Wales, Sydney 2052, Australia 2…
  • Cited by 4 (2 self) – Add To MetaCart
  • OS verification — now  
  • by Harvey Tuch, Gerwin Klein, Gernot Heiser — 2005 — In Proceedings of the 10th Workshop on Hot Topics in Operating Systems
  • …OS Verification — Now! Harvey Tuch Gerwin Klein Gernot Heiser National ICT Australia University…
  • Cited by 18 (5 self) – Add To MetaCart
  • Towards Verified Virtual Memory in L4  
  • by Gerwin Klein And, Gerwin Klein, Harvey Tuch — 2004 — TPHOLs Emerging Trends ’04, Park City
  • …Towards Verified Virtual Memory in L4 Gerwin Klein and Harvey Tuch 1 University of New South Wales…
  • Add To MetaCart
Help! Showing 1 through 8.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB