S. Gheorghita, S. Stuijk, T. Basten, и H. Corporaal. (2005)Categories and Subject Descriptors: C.3 Special-Purpose and Application-Based Systems: Real-time and embedded systems
General Terms: Algorithms, Performance, Design
Keywords: WCET, Real-Time, Scenarios.
N. Nethercote. University of Cambridge, A dissertation submitted for the degree of Doctor of Philosophy, (ноября 2004)It's related with Valgrind framework.
fulltitle:
Dynamic Binary Analysis and Instrumentation
or
Building Tools is Easy
Parts of the research presented in this dissertation have been previously published or presented in the
following papers.
Nicholas Nethercote and Alan Mycroft.
The cache behaviour of large lazy functional programs
on stock hardware. In Proceedings of the ACM SIGPLAN Workshop on Memory System Performance
(MSP 2002), pages 44–55, Berlin, Germany, July 2002.
Nicholas Nethercote and Alan Mycroft.
Redux: A dynamic dataflow tracer.
In Proceedings of
the Third Workshop on Runtime Verification (RV’03), Boulder, Colorado, USA, July 2003.
Nicholas Nethercote and Julian Seward.
Valgrind: A program supervision framework.
In Pro-
ceedings of the Third Workshop on Runtime Verification (RV’03), Boulder, Colorado, USA, July 2003.
Nicholas Nethercote and Jeremy Fitzhardinge.
Bounds-checking entire programs without recom-
piling. In Informal Proceedings of the Second Workshop on Semantics, Program Analysis, and Com-
puting Environments for Memory Management (SPACE 2004), Venice, Italy, January 2004..