ミーティングでサーベイされる論文。
- Fritz Henglein and Jakob Rehof,
Safe polymorphic type inference for a Dynamically
Typed Language: Translating {Scheme} to {ML},
FPCA 1995
- James W. Stamos and David K. Gifford,
Remote Evaluation,
TOPLAS Vol. 12, No. 4, pp 537-565, 1990.
-
Zhong Shao, Flexible Representation Analysis,
ICFP 1997.
PS file is available.
- 田浦 1997 10 23
- Executing Multithreaded Programs Efficiently. By Robert D. Blumofe.
Ph.D. Thesis, Department of Electrical Engineering and Computer
Science, Massachusetts Institute of Technology.
- Cilk: An Efficient Multithreaded Runtime System. By Robert
D. Blumofe, Christopher F. Joerg, Bradley C. Kuszmaul, Charles
E. Leiserson, Keith H. Randall, and Yuli Zhou. The Journal of
Parallel and Distributed Computing, 37(1), pages 55-69, August,
1996. A shorter version of this paper appeared in Proceedings of the
Fifth ACM SIGPLAN Symposium on Principles and Practice of Parallel
Programming (PPoPP), pages 207-216, Santa Barbara, California, July
19-21, 1995.
- Scheduling Multithreaded Computations by Work Stealing. By Robert D.
Blumofe, and Charles E. Leiserson. Proceedings of the 35th Annual
Symposium on Foundations of Computer Science (FOCS), pages 356-368,
Santa Fe, New Mexico, November 20-22,1994.
- Space-Efficient Scheduling of Multithreaded Computations. By Robert D.
Blumofe, and Charles E. Leiserson. Proceedings of the Twenty Fifth
Annual ACM Symposium on Theory of Computing (STOC), pages 362-371, San
Diego, California, May 16-18,1993.
- Managing Storage for Multithreaded Computations. By Robert D. Blumofe.
M.S. Thesis, Department of Electrical Engineering and Computer
Science, Massachusetts Institute of Technology, September,1992.
- Cilk Home Page
- Nesl Home Page
- Jan 22 1998 人見、Distributed Garbage Collection for Network objects, by Andrew Birrell, David Evers, Greg Nelson,
Susan Owicki, and Edward Wobber.
Research Report 115, Digital Equipmet Corp. System Research Center, December, 1993.
Abstract and PS file.
- May 7 1998 たうら
-
Efficient detection
of determinacy races in Cilk programs. by Mingdong Feng and
Charles E. Leiserson. In Proceedings of the Ninth
Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA),
pages 1--11, 1997.
- Cilk Home
Page.
- May 21 1998 田端
- Olden:Parallelizing Programs with Dynamic Data Structures on Distributed-
Memory Machines. by Martin C.Carlisle. PhD Thesis,
Princeton University Department of Computer Science, June 1996.
- Olden Home
Page.
- Jun 2 1998 人見、
- Engineering Component-Based Systems with Distributed Object Technology.
by K. Wallnau, et al. In Proceedings of the
First Int. Conf. on Worldwide Computing and Its Applications
(WWCA '97), pp. 58--73, Mar. 1997.
- Worldwide component scripting with the PLANET mobile
object system. by Katsuya Matsubara, Takahiro Maekawa, and Kazuhiko Kato.
ibid., pp.29--42.
- WWCA '98 HomePage, and WWCA '97 Homepage.
- June 11 1998 住井
- June 25 1998 假家