Publications de
Christoph Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl, Robert Pointon
Automatic Amortised Worst-Case Execution Time Analysis
Dans : International Workshop on Worst-Case Execution Time Analysis (WCET 2007), Pisa, 03/07/07, Christine Rochange (Eds.), IRIT, p. 13-18, juillet 2007.
Armelle Bonenfant, Christian Ferdinand, Kevin Hammond, Reinhold Heckmann
Worst-Case Execution Times for a Purely Functional Language
Dans : International Symposium on Implementation and Application of Functional Languages (IFL 2006), Budapest, 04/09/06-06/09/06, Springer, LNCS 4449, p. 235-253, août 2007.
Accès : http://www.springerlink.com/content/m86035r1v68k7nr1/fulltext.pdf
BibTeXArmelle Bonenfant, Zezhi Chen, Kevin Hammond, Greg Michaelson, Andy Wallace, Iain Wallace
Towards Resource-Certified Software: A Formal Cost Model for Time and its Application to an Image-Processing Example
Dans : Annual ACM Symposium on Applied Computing (SAC 2007), Seoul, Korea, 11/03/07-15/03/07, ACM : Association for Computing Machinery, p. 1307-1314, mars 2007.
Accès : http://www.irit.fr/publis/TRACES/7756_SAC07.pdf
BibTeX