An Intensional Investigation of Parallelism (1994)

View PDF

Download Links

by Denis Dancanet

Active Bibliography

Intensional Investigations – Denis R. Dancanet, Guy Blelloch
994 Active Messages: a Mechanism for Integrated Communication and Computation – Thorsten Von Eicken, David E. Culler, Seth Copen Goldstein, Klaus Erik Schauser - 1992
582 Cilk: An Efficient Multithreaded Runtime System – Robert D. Blumofe , Christopher F. Joerg, Bradley C. Kuszmaul, Charles E. Leiserson, Keith H. Randall, Yuli Zhou - 1995
715 A classification and comparison framework for software architecture description languages – Nenad Medvidovic, Richard N. Taylor - 2000
642 Breaking and Fixing the Needham-Schroeder Public-Key Protocol using FDR – Gavin Lowe - 1996
599 A Survey of Rollback-Recovery Protocols in Message-Passing Systems – E. N. ( Mootaz) Elnozahy, Lorenzo Alvisi, Yi-min Wang, David B. Johnson - 1996
701 A formal basis for architectural connection – Robert Allen, David Garlan - 1997
506 An introduction to input/output automata – Nancy A. Lynch, Mark R. Tuttle - 1989
1246 Automatic verification of finite-state concurrent systems using temporal logic specifications – E. M. Clarke, E. A. Emerson, A. P. Sistla - 1986