MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Christian Ferdinand" – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 9 documents found, showing 1 through 9.
ATOM RSS
  • Analysis of Loops  
  • by Florian Martin Martin, Martin Alt, Reinhard Wilhelm, Christian Ferdinand — 1998 — In Proceedings of the 7th International Conference on Compiler Construction, volume 1383 of Lecture Notes in Computer Science
  • …Analysis of Loops Florian Martin Martin Alt Reinhard Wilhelm Christian Ferdinand Universitat des…
  • Cited by 13 (8 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
  • … ∗ Christian Ferdinand † Reinhold Heckmann † Roy Dyckhoff ∗ Martin Hofmann ‡ Steffen Jost ∗ Hans-Wolfgang Loidl…
  • Cited by 1 (1 self)Add To MetaCart
Help! Showing 1 through 9.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB