M. Moy, Techniques and tools for the verification of systems-ona-chip at the transaction level, 2005.

F. Ghenassia, Transaction-Level Modeling with SystemC: TLM Concepts and Applications for Embedded Systems, 2006.
DOI : 10.1007/b137175

S. V. Adve and K. Gharachorloo, Shared memory consistency models: a tutorial, Computer, vol.29, issue.12, pp.66-76, 1995.
DOI : 10.1109/2.546611

M. Moy, F. Maraninchi, and L. Maillet-contoz, LusSy: an open tool for the analysis of systems-on-a-chip at the transaction level Design Automation for Embedded Systems, 2006.

C. Helmstetter, F. Maraninchi, and L. Maillet-contoz, Full simulation coverage for SystemC transaction-level models of systems-on-a-chip, Formal Methods in System Design, vol.26, issue.2, pp.152-189, 2009.
DOI : 10.1007/s10703-009-0075-z
URL : https://hal.archives-ouvertes.fr/hal-00429058

H. C. Lauer and R. M. Needham, On the duality of operating system structures, Operating Systems Review, pp.3-19, 1979.
DOI : 10.1145/850657.850658

A. Adya, J. Howell, M. Theimer, W. J. Bolosky, and J. R. Douceur, Cooperative task management without manual stack management or, event-driven programming is not the opposite of threaded programming, Proc. of the 2002 Usenix ATC

F. Bellard, QEMU, a fast and portable dynamic translator, Proc. of the 2005 Usenix ATC, pp.41-41

J. Dike, User mode linux, 2006.

J. Cornet, F. Maraninchi, and L. Maillet-contoz, A method for the efficient development of timed and untimed transaction-level models of systems-on-chip, Design, Automation and Test in Europe (DATE), pp.9-14, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00281589

M. D. Hill, Multiprocessors should support simple memory consistency models, Computer, vol.31, issue.8, pp.28-34, 1998.
DOI : 10.1109/2.707614
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.4728

K. Gharachorloo, A. Gupta, and J. Hennessy, Hiding memory latency using dynamic scheduling in shared-memory multiprocessors, Proc. of the 1992 International Symposium on Computer Architecture, pp.22-33

J. P. Shen and M. H. Lipasti, Modern Processor Design: Fundamentals of Superscalar Processors, Linux Kernel Documentation, 2004.

H. Boehm, Threads cannot be implemented as a library, ACM SIGPLAN Notices, vol.40, issue.6, pp.261-268, 2005.
DOI : 10.1145/1064978.1065042

L. Lamport, How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, IEEE Transactions on Computers, vol.28, issue.9, pp.690-691, 1979.
DOI : 10.1109/TC.1979.1675439

P. E. Mckenney, Is parallel programming hard, and, if so, what can you do about it?, 2010.