Frédéric Boussinot EMP-CMA/INRIA - Mimosa Project 2004 route des Lucioles - BP 93 F-06902 Sophia-Antipolis <frederic.boussinot@sophia.inria.fr> |
|
[1] Bigloo Web Site . [2] CAML Web Site . [3] Java Web Site . [4] LinuxThreads Web Site . [5] Next Generation POSIX Threading Web Site . [6] Reactive Programming Web Site . [7] Acosta-Bermejo, R. -- Thesis -- ENSMP, 2003. [8] Arnold, Ken and Goslin, James -- The Java Programming Language -- Addison-Wesley, 1996. [9] Berry, G. and Gonthier G. -- The Esterel Synchronous Programming Language: Design, Semantics, Implementation -- Science of Computer Programming, 19(2), 1992, pp. 87-152. [10] Boudol G. and Berry G. -- Chemical Abstract Machines -- . [11] Boussinot, F. -- Reactive C: An Extension of C to Program Reactive Systems -- Software-Practice and Experience, 21(4), 1991. [12] Boussinot, F. -- Java Fair Threads -- Inria research report, RR-4139, 2001. [13] Boussinot, F. and Susini, J-F. -- The SugarCubes Tool Box: A Reactive Java Framework -- Software Practice and Experience, 18(14), 1998, pp. 1531-1550. [14] Brinch Hansen, P. -- The Origin of Concurrent Programming -- Springer, 2002. [15] Christopher, Thomas W. and Thiruvathukal, George K. -- High Performance Java Platform Computing: Multithreaded and Networked Programming -- Sun Microsystems Press Java Series, Prentice Hall, 2001. [16] Eager, Derek L. and Zahorjan, John -- Chores: Enhanced run-time support for shared memory parallel computing -- ACM Transaction on Computer Systems, 11(1), 1993. [17] Engelschall, Ralf S. -- Portable Multithreading -- Proc. USENIX Annual Technical Conference, San Diego, California, 2000. [18] Gardner, M. -- Lucky Numbers and 2187 -- Math. Intell., 19(26), 1997. [19] Halbwachs, Nicolas -- Synchronous Programming of Reactive Systems -- Kluwer Academic Publishers, New York, 1993. [20] Harel, D. and Pnueli A. -- . [21] Hazard, L. and Susini, J-F. and Boussinot, F. -- The Junior reactive kernel -- Inria Research Report, (3732), 1999. [22] Hollub, A. -- Taming Java Threads -- Apress, 2000. [23] Kahn, G. and MacQueen, D.B. -- Coroutines and Networks of Parallel Processes -- Proceeding of the IFIP'74 Congress, 1974. [24] Keppel, D. -- Tools and Techniques for Building Fast Portable Threads Packages -- Technical Report UWCSE 93-05-06, University of Washington, 1993. [25] Larus, James R. and Parkes Michael. -- Using Cohort Scheduling to Enhance Server Performance -- Proc. of USENIX Conference, Monterey Cal., 2002, pp. 103-114. [26] Lowenthal, David K. and Freech, Vincent W. and Andrews, Gregory R. -- Efficient Support for Fine-Grain Parallelism on Shared-Memory Machines -- TR 96-1, University of Arizona, 1996. [27] Maraninchi, F. and Remond, Y. -- Running-Modes of Real-Time Systems: A Case-Study with Mode-Automata -- Proc. 12th Euromicro Conference on Real-Time Systems, Stockholm, Sweden, 2000. [28] Nichols, B. and Buttlar, D. and Proulx Farrell J. -- Pthreads Programming -- O'Reilly, 1996. [29] Plotkin, G. -- A Structural Approach to Operational Semantics -- Aarhus University Report DAIMI FN-19, 1981. [30] Reppy, John H. -- Concurrent Programming in ML -- Cambridge University Press, 1999. |