Publications



Books and Book Chapters Journals Conferences

Please note that the copyrights of the papers with
full citations have been signed over to the publishers.



Books and Book Chapters

  1. G Bilardi and G. Pucci
    Universality in VLSI Computation. In Encyclopedia of Parallel Computing pages 2112-2118, Springer, 2011.
    Publisher's Info

  2. G. Pucci (Global Chair), C. Leon (Local Chair), I. Caragiannis and K.T. Herley (Co-Chairs).
    Topic 12: Theory and Algorithms for Parallel Computation. In Euro-Par 2008 - Parallel Processing, Proceedings of the 14th International Euro-Par Conference
    LNCS 5168, Springer Verlag, Berlin, D, 2008.
    Publisher's Info

  3. P. Crescenzi, G. Prencipe and G. Pucci (eds).
    Fun with Algorithms - FUN 2007. Proceedings of the 4th International Conference.
    LNCS 4475, Springer Verlag, Berlin, D, 2007.
    Publisher's Info

  4. G. Bilardi, A. Pietracaprina and G. Pucci.
    Decomposable BSP: A Bandwidth-Latency Model for Paral lel and Hierarchical Computation
    In John Reif and Sanguthevar Rajasekaran (eds) Handbook of Parallel Computing: Models, Algorithms, and Applications. CRC Press, Boca Raton Fl USA, 2007.
    PDF file

  5. G. Bilardi, G. Italiano, A. Pietracaprina and G. Pucci (eds).
    Algorithms - ESA'98. Proceedings of the 6th Annual European Symposium.
    LNCS 1461, Springer Verlag, Berlin, D, 1998.
    Publisher's Info


Journal Papers

  1. M. Ceccarello, C. Fantozzi, A. Pietracaprina, G. Pucci and F. Vandin.
    Clustering Uncertain Graphs. PVLDB 2018. To appear. (IF:4.27.)
    arXiv version

  2. M. Ceccarello, A. Pietracaprina, G. Pucci and E. Upfal.
    MapReduce and Streaming Algorithms for Diversity Maximization in Metric Spaces of Bounded Doubling Dimension. PVLDB, 10(5):469-480, January 2017. (IF:4.27.)
    arXiv version

  3. G. Bilardi, A. Pietracaprina, G. Pucci, F. Silvestri, and M. Scquizzato.
    Network-Oblivious Algorithms.
    Journal of the ACM, 63(1):3.1-3.36, 2016. (IF:3.30.)

  4. P. Crescenzi, P. Fraigniaud, M. Halldorsson, H.A. Harutyunyan, C. Pierucci, A. Pietracaprina, and G. Pucci.
    On the Complexity of the Shortest-Path Broadcast Problem
    Discrete and Applied Mathematics, 199:101-109, 2016. (IF:0.722.)
    Corrected Proofs

  5. N. Lazzarini, L. Nanni, C. Fantozzi, A. Pietracaprina, G. Pucci, T.M. Seccia, and G.P. Rossi.
    Heterogeneous machine learning system for improving the diagnosis of primary aldosteronism.
    Pattern Recognition Letters, 6:124-130, 2015. (IF:1.586.)

  6. A. Pietracaprina, G. Pucci, F. Silvestri and F. Vandin.
    Space-Efficient Parallel Algorithms for Combinatorial Search Problems
    Journal of Parallel and Distributed Computing, Special Issue on Architectures and Algorithms for Irregular Applications. 76:58-65, 2015. (IF:1.320)
    arXiv version

  7. G. Pucci, V. Luchangco, and R. Rajaraman(Guest Editors).
    Foreword: Parallelism in Algorithms and Architectures.
    Theory of Computing Systems, Special Issue on SPAA 2011, 55(3):449-450, 2014. (IF:0.766.)
    PDF File

  8. N. Lazzarini, L. Nanni, C. Fantozzi, A. Pietracaprina, G. Pucci, T.M. Seccia, G.P. Rossi.
    Heterogeneous Machine Learning System for Diagnosing Primary Aldosteronism
    Journal of Hypertension (e-supplement) 31:e409, 2013. (IF:4.021.) Also in Proc. European Meeting on Hypertension and Cardiovascular Protection (ESH13) (Poster Session), Milan I, June 2013.
    PDF

  9. A. Pettarin, A. Pietracaprina, and G. Pucci.
    On the Expansion and Diameter of Bluetooth-like Topologies.
    Theory of Computing Systems 52(2):319-339, 2013. (IF:0.766.)
    PDF

  10. A. Kirsch, M. Mitzenmacher, A. Pietracaprina, G. Pucci, E. Upfal, and F. Vandin.
    An Efficient Rigorous Approach for Identifying Statistically Significant Frequent Itemsets.
    Journal of the ACM 59(3):12-1-12-22, 2012. (IF:2.717.)
    (Proofs).

  11. R. Grossi, A. Pietracaprina, N. Pisanti, G. Pucci, E. Upfal, and F. Vandin.
    MADMX: A Strategy for Maximal Dense Motif Extraction
    Journal of Computational Biology, 18(4):535-545, 2011. (IF:1.694.)
    PDF File

  12. P. Crescenzi, C. Nocentini, A. Pietracaprina, and G. Pucci.
    On the Connectivity of Bluetooth-Based Ad Hoc Networks.
    Concurrency and Computation: Practice and Experience, 21(7):875-887, 2009. Special Issue on Selected Papers from EUROPAR 2007. (IF:1.791.)
    PDF File

  13. S.N. Bhatt, G. Bilardi, and G. Pucci.
    Area-Time Tradeoffs for Universal VLSI Circuits.
    Theoretical Computer Science, 408(2-3):143-150, 2009. Special Issue Excursions in Algorithmics: A Collection of Papers in Honor of Franco P. Preparata. (IF:0.806.)
    PDF File

  14. P. Crescenzi, F.Luccio, and G. Pucci (Guest Editors).
    Foreword.
    Theory of Computing Systems, Special Issue on FUN 2007, 44(2):141-142, 2009. (IF:0.766.)
    PDF File

  15. P. Bertasi, M. Bianco, A. Pietracaprina, and G. Pucci.
    Obtaining Performance Measures through Microbenchmarking in a Peer-to-Peer Overlay Computer.
    International Journal of Computational Intelligence Research, 4(1):1-8, 2008. Special Issue on Computational Intelligence in Scheduling and Simulation.
    PDF File

  16. K.T. Herley, A. Pietracaprina and G. Pucci.
    Store-and-Forward Multicast Routing on the Mesh
    Theory of Computing Systems, 42(4):519-535, 2008. (IF:0.766.)
    PDF File

  17. C. Fantozzi, A. Pietracaprina and G. Pucci.
    Translating Submachine Locality into Locality of Reference
    Journal of Parallel and Distributed Computing, 66(6):633-646, 2006. Special Issue on the 18th International Parallel and Distributed Processing Symposium. (IF: 1.168.)
    PDF File

  18. A. Pietracaprina and G. Pucci.
    Optimal Many-to-One Routing on the Mesh with Constant Queues
    Information Processing Letters, 96(1):24-29, 2005. (IF: 0.706.)
    PDF File

  19. G. Bilardi, K.T. Herley, A. Pietracaprina, and G. Pucci.
    On Stalling in LogP.
    Journal of Parallel and Distributed Computing, 65:307-312, 2005. (IF: 1.168.)
    PDF File

  20. C. Fantozzi, A. Pietracaprina and G. Pucci.
    A General PRAM Simulation Scheme for Clustered Machines.
    International Journal on Foundations of Computer Science, 14(6):1147-1164, 2003. (IF: 0.554.) )
    PDF File

  21. M. Bianco, G. Bilardi, F. Pesavento, G. Pucci and B.A. Schrefler.
    A frontal solver tuned for fully-coupled non-linear hygro-thermo-mechanical problems.
    International Journal for Numerical Methods in Engineering, 57(13):1801-1818, 2003. (IF: 2.229.)
    PDF File

  22. K.T. Herley, A. Pietracaprina, and G. Pucci.
    Parallel Deterministic Backtrack Search
    Theoretical Computer Science, 270:309-324, 2002. (IF:0.806.)
    PDF File

  23. R. Grossi, A. Pietracaprina, and G. Pucci.
    Optimal Deterministic Protocols for Mobile Robots on a Grid.
    Information and Computation, 173:132-142, 2002. (IF:1.504.)
    PDF File

  24. K.T. Herley, A. Pietracaprina, and G. Pucci.
    Implementing shared memory on mesh-connected computers and on the fat-tree.
    Information and Computation, 165(2):123-143, 2001. (IF:1.504.)
    PDF File

  25. K.T. Herley, A. Pietracaprina, and G. Pucci.
    Deterministic branch-and-bound on distributed memory machines.
    International Journal on Foundations of Computer Science, 10(4):391-404, 1999. Special Issue on IRREGULAR'99. (IF: 0.554.)
    PDF File

  26. A. Pietracaprina, G. Pucci, and J. Sibeyn.
    Constructive, Deterministic implementation of shared memory on meshes.
    SIAM Journal on Computing, 30(2):625--648, 2000. (IF: 1.459.)
    PDF File

  27. K.T. Herley, A. Pietracaprina, and G. Pucci.
    Fast Deterministic Parallel Branch-and-Bound.
    Parallel Processing Letters, 9(3):325-334, 1999.
    PDF File

  28. G. Bilardi, K.T. Herley, A. Pietracaprina, G. Pucci, and P. Spirakis.
    BSP versus LogP.
    Algorithmica, 24:405-422, 1999. Special Issue on Coarse Grained Parallel Algorithms. (IF: 0.825.)
    PDF File

  29. S.N. Bhatt, G. Bilardi, K.T. Herley, G. Pucci, and A. Ranade.
    Tight bounds on parallel list marking.
    Journal of Parallel and Distributed Computing, 51:75-78, 1998. (IF: 1.168.)
    PDF File

  30. A. Pietracaprina and G. Pucci.
    The complexity of deterministic PRAM simulation on distributed memory machines.
    Theory of Computing Systems, 30(3):231-247, 1997. (IF: 0.766.)
    PDF File

  31. S.N. Bhatt, G. Bilardi, G. Pucci, A. Ranade, A.L. Rosenberg, and E.J. Schwabe.
    On bufferless routing of variable length messages in leveled networks.
    IEEE Trans. on Computers, C-45:714-729, 1996. (IF: 2.611.)
    PDF File

  32. M.C. Pinotti and G. Pucci.
    Optimal parallel algorithms for priority queue operations.
    Theoretical Computer Science, 148:171-180, 1995. (IF:0.806.)
    PDF File

  33. L. Pagli and G. Pucci.
    Counting the number of fault patterns in redundant VLSI arrays.
    Information Processing Letters, 50:337-342, 1994. (IF:0.706.)
    PDF File

  34. S.N. Bhatt, G. Pucci, A. Ranade, and A.L. Rosenberg.
    Scattering and gathering messages in networks of processors.
    IEEE Trans. on Computers, C-42:938-949, 1993. (IF: 2.611.)
    PDF File

  35. F. Luccio, A. Pietracaprina, and G. Pucci.
    Analysis and implementation of parallel uniform hashing.
    International Journal on Foundations of Computer Science, 3(1):55-63, 1992. (IF: 0.554.)
    PDF File

  36. G. Pucci.
    A new approach to the modeling of recovery block structures.
    IEEE Trans. on Software Engineering, SE-17(2):159-167, 1992. (IF: 3.569.)

  37. M.C. Pinotti and G. Pucci.
    Parallel priority queues.
    Information Processing Letters, 40:33-40, 1991. (IF:0.706.)
    PDF File

  38. F. Luccio, A. Pietracaprina, and G. Pucci.
    Analysis of parallel uniform hashing.
    Information Processing Letters, 37:67-69, 1991. (IF:0.706.)

  39. F. Luccio, A. Pietracaprina, and G. Pucci.
    A new scheme for the deterministic simulation of PRAMs in VLSI.
    Algorithmica, 5(4):529-544, 1990. (IF: 0.825.)

  40. F. Luccio, A. Pietracaprina, and G. Pucci.
    A probabilistic simulation of PRAMs on a bounded degree network.
    Information Processing Letters, 28:141-147, 1988. (IF:0.706.)


Conference Papers

Note If a conference paper is not available for dowload it means that more extensive coverage of the same material can be found in the corresponding jurnal version.

  1. M. Ceccarello, A. Pietracaprina, G. Pucci.
    Fast Coreset-Based Max-Sum Diversity under Matroid Constraints . In Proc. 11th ACM International Conference on Web Search and Data Mining (WSDM 2018), Los Angeles, California, USA, Feb. 2018. To appear.

  2. M. Ceccarello, A. Pietracaprina, G. Pucci and E. Upfal.
    A Practical Parallel Algorithm for Diameter Approximation of Massive Weighted Graphs. In Proc. of the 30th IEEE International Parallel & Distributed Processing Symposium (IPDPS) , Chicago IL USA, May 2016.
    arXiv version

  3. M. Ceccarello, A. Pietracaprina, G. Pucci and E. Upfal.
    Space and Time Efficient Parallel Graph Decomposition, Clustering and Diameter Approximation. .
    In Proc. 27th ACM Symp. on Parallelism in Algorithms and Architectures, SPAA'15, pages 182-191, Portland OR USA, Jun. 2015.
    arXiv version

  4. A. Pietracaprina, G. Pucci, F. Silvestri and F. Vandin.
    Space-Efficient Parallel Algorithms for Combinatorial Search Problems.
    In Proc. 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, Klosterneuburg OST, pages 717-728, August 2013.

  5. A. Pietracaprina, G. Pucci, M. Riondato, F. Silvestri and E. Upfal.
    Space-Round Tradeoffs for MapReduce Computations.
    In Proc. 26th ACM International Conference on Supercomputing, ICS 2012, Venice I, June 2012.
    arXiv version

  6. A. Pettarin, A. Pietracaprina G. Pucci, and E. Upfal.
    Tight Bounds on Information Dissemination in Sparse Mobile Networks.
    In Proc. 30th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, PODC 2011, San Jose, CA USA, June 2011.
    PDF File

  7. A. Pettarin, A. Pietracaprina, and G. Pucci.
    On the Expansion and Diameter of Bluetooth-like Topologies.
    In Proc. 17th Annual European Symposium on Algorithms, ESA 2009, pages 528-539, Copenhagen, D, September 2009.

  8. R. Grossi, A. Pietracaprina, N. Pisanti, G. Pucci, E. Upfal, and F. Vandin.
    MADMX: A Novel Strategy for Maximal Dense Motif Extraction.
    In Proc. 9th Workshop on Algorithms in Bioinformatics, WABI 2009, Philadelphia, PA, September 2009.

  9. A. Kirsch, M. Mitzenmacher, A. Pietracaprina, G. Pucci, E. Upfal, and F. Vandin.
    An Efficient Rigorous Approach for Identifying Statistically Significant Frequent Itemsets.
    In Proc. 27th ACM Symposium on Principles of Database Systems, PODS 2009, pages 117-126, Providence, RI, July 2009.

  10. P. Crescenzi, C. Nocentini, A. Pietracaprina, G. Pucci, and C. Sandri.
    On the Connectivity of Bluetooth-Based Ad Hoc Networks
    In Proc. EURO-PAR'2007 Parallel Processing, pages 960-969, Rennes, F, August 2007.

  11. G. Bilardi, A. Pietracaprina, G. Pucci, and F. Silvestri.
    Network-Oblivious Algorithms.
    In Proc. 21st International Parallel and Distributed Processing Symposium, IPDPS 2007, pages 1-10, Laguna Beach CA, USA, March 2007.
    PDF File

  12. P. Bertasi, M. Bianco, A. Pietracaprina, and G. Pucci.
    Obtaining Performance Measures through Microbenchmarking in a Peer-to-Peer Overlay Computer.
    In Proc. 1st International Workshop on P2P, Parallel, Grid and Internet Computing, 3PGIC 2007, pages 285-290, Vienna, A, March 2007.

  13. A. Bertoldo, M. Bianco, and G. Pucci
    A Static Parallel Multifrontal Solver for Finite Element Meshes
    In Proc. of the 2006 IEEE International Symposium on Parallel and Distributed Processing and Applications (ISPA'06)., pages 734-746, Sorrento, I, December 2006.
    PDF File

  14. A. Pietracaprina, G. Pucci, F. Silvestri
    Cache-Oblivious Simulation of Parallel Programs
    In Proc. Workshop on Advances in Parallel and Distributed Computational Models Rhodes Island, GR, Apr 2006.
    PDF File

  15. G. Bilardi, A. Pietracaprina, G. Pucci, F. Schifano and R. Tripiccione
    The Potential of On-Chip Multiprocessing for QCD Machines
    In Proc. 12th Annual IEEE International Conference on High-Performance Computing, HiPC 2005, pages 386-397, Goa, IN, December 2005.
    PDF File

  16. A. Bertoldo, M. Bianco, and G. Pucci
    A Fast Multifrontal Solver for Non-Linear Multi-Physics Problems
    In Proc. International Conference on Computational Science, ICCS 2004, pages 614-617, Kracow, P, June 2004. Poster recipient of the Best Poster Award (120 entries).
    PDF File
    Poster (PDF File)

  17. C. Fantozzi, A. Pietracaprina and G. Pucci.
    Translating Network Locality into Locality of Reference.
    In Proc. 18th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2004, Santa Fe, NM USA, April 2004. Paper recipient of the Best Paper Award, Algorithms Track (4 Tracks, 142 entries).

  18. C. Fantozzi, A. Pietracaprina and G. Pucci.
    Seamless Integration of Parallelism and Memory Hierarchy.
    In Proc. 29th International Colloquium on Automata, Languages, and Programming, ICALP'02, pages 856-867, Malaga, E, July 2002.

  19. M. Bianco, G. Bilardi, F. Pesavento, G. Pucci and B.A. Schrefler.
    An accurate and efficient frontal solver for fully-coupled hygro-thermo-mechanical problems.
    In Proc. International Conference on Computational Science, ICCS 2002, pages 733-742, Amsterdam, NL, April 2002.

  20. A. Pietracaprina and G. Pucci.
    Optimal many-to-one routing on the mesh.
    In Proc. EURO-PAR'2001 -- Parallel Processing, pages 645-650, Manchester, UK, August 2001.

  21. K.T. Herley, A. Pietracaprina and G. Pucci.
    One-to-many routing on the mesh.
    In Proc. 13th ACM Symp. on Parallel Algorithms and Architectures, SPAA'01, pages 31-37, Heraklion, GR, Jun. 2001.

  22. G. Bilardi, C. Fantozzi, A. Pietracaprina and G. Pucci.
    On the effectiveness of D-BSP as a bridging model of parallel computation.
    In Proc. International Conference on Computational Science, ICCS 2001, pages 579-588, San Francisco, USA, May 2001.

  23. C. Fantozzi, A. Pietracaprina and G. Pucci.
    Implementing shared memory on clustered machines.
    In Proc. IEEE International Parallel and Distributed Processing Symposium, IPDPS 2001, San Francisco, USA, April 2001.

  24. M. Bianco and G. Pucci.
    On the predictive quality of BSP-like cost functions for NOWs.
    In Proc. EURO-PAR'2000 Parallel Processing, pages 638-646, Munich, D, Aug./Sep. 2000.
    PDF File

  25. G. Bilardi, K.T. Herley, A. Pietracaprina, and G. Pucci.
    On Stalling in LogP.
    In Proc. Workshop on Advances in Parallel and Distributed Computational Models, pages 109-115, Cancun, MEX, May 2000.

  26. N.M. Amato, J. Perdue, A. Pietracaprina, G. Pucci, and M. Mathis.
    Predicting performance on SMP's. A case study: The SGI Power Challenge.
    In Proc. IEEE International Parallel and Distributed Processing Symposium, IPDPS 2000, Cancun, MEX, pages 729-737, May 2000.
    PDF File

  27. G. Bilardi, A. Pietracaprina, and G. Pucci.
    A quantitative measure of portability with application to bandwidth-latency models for parallel computing.
    In Proc. EURO-PAR'99 Parallel Processing, pages 543-551, Toulouse, F, Aug./Sep. 1999.
    PDF File

  28. K.T. Herley, A. Pietracaprina and G. Pucci.
    Deterministic Branch-and-Bound on Distributed Memory Machines.
    In Proc. IRREGULAR'99, pages 1085-1094, Puerto Rico, USA, April 1999.

  29. S.N. Bhatt, G. Bilardi and G. Pucci.
    Area-universal Circuits with Constant Slowdown.
    In Proc. 20th Anniversary Conference on Advanced Research in VLSI, pages 89-98, Atlanta, GA, USA, March 1999.

  30. R. Grossi, A. Pietracaprina and G. Pucci.
    Optimal Deterministic Protocols for Mobile Robots on a Grid.
    In Proc. 6th Scandinavian Workshop on Algorithm Theory, pages 181-192, Stockholm, S, July 1998.

  31. A. Pietracaprina, G. Pucci, N. Amato, L.K. Dale and J. Perdue.
    A cost model for communication on a symmetric multiprocessor.
    10th ACM Symp. on Parallel Algorithms and Architectures, Revue Session, Puerto Vallarta, MEX, June-July 1998.
    PDF File

  32. K.T. Herley, A. Pietracaprina, and G. Pucci.
    Fast deterministic backtrack search.
    In Proc. 23rd International Colloquium on Automata, Languages, and Programming, ICALP'96, pages 598-609, Paderborn, D, July 1996.

  33. G. Bilardi, K.T. Herley, A. Pietracaprina, G. Pucci, and P. Spirakis.
    BSP vs LogP.
    In Proc. 8th ACM Symp. on Parallel Algorithms and Architectures, SPAA'96, pages 25-32, Padova, I, Jun. 1996.

  34. K.T. Herley, A. Pietracaprina, and G. Pucci.
    Implementing shared memory on multi-dimensional meshes and on the fat-tree.
    In Proc. 3rd European Symposium on Algorithms, ESA'95, pages 60-74, Corfu, GR, Sep. 1995.

  35. S.N. Bhatt, G. Bilardi, K.T. Herley, G. Pucci, and A. Ranade.
    Tight bounds on parallel list marking.
    In Proc. EURO-PAR'95 Parallel Processing, pages 231-242, Stockolm, S, Aug. 1995.

  36. A. Pietracaprina and G. Pucci.
    Improved deterministic PRAM simulation on the mesh.
    In Proc. 22nd International Colloquium on Automata, Languages, and Programming, ICALP'95, pages 372-383, Szeged, H, July 1995.

  37. A. Pietracaprina and G. Pucci.
    Tight bounds on deterministic PRAM emulations with constant redundancy.
    In Proc. 2nd European Symposium on Algorithms, ESA'94, pages 319-400, Utrecht, NL, Sep. 1994.

  38. A. Pietracaprina, G. Pucci, and J. Sibeyn.
    Constructive deterministic PRAM simulation on a mesh-connected computer.
    In Proc. 6th ACM Symp. on Parallel Algorithms and Architectures, SPAA'94, pages 248-256, Cape May NJ, USA, Jun. 1994.

  39. S.N. Bhatt, G. Bilardi, G. Pucci, A. Ranade, A.L. Rosenberg, and E.J. Schwabe.
    On bufferless routing of variable length messages in leveled networks.
    In Proc. 1st European Symposium on Algorithms, ESA'93, pages 49-60, Bonn, D, Oct. 1993.

  40. F. Luccio, L. Pagli, and G. Pucci.
    Three non conventional paradigms of parallel computation (invited paper).
    In Proc. 1st Heinz Nixdorf Symposium on Parallel Architectures and Their Efficient Use, pages 166-175, Paderborn, D, Nov. 1992.
    PDF File

  41. M.C. Pinotti and G. Pucci.
    Optimal parallel algorithms for priority queue operations.
    In Proc. 3rd Scandinavian Workshop on Algorithm Theory, SWAT'92, pages 130-139, Helsinki, SF, July 1992.

  42. S.N. Bhatt, G. Pucci, A. Ranade, and A.L. Rosenberg.
    Scattering and gathering messages in networks of processors.
    In Proc. Joint Brown-MIT Conference on Advanced Research in VLSI and Parallel Systems, pages 318-332, Providence RI, USA, Mar. 1992.

  43. M.C. Pinotti and G. Pucci.
    Parallel priority queues.
    In Proc. 28th Allerton Conference, pages 926-935, Monticello Il, USA, Oct. 1990.

  44. F. Luccio, A. Pietracaprina, and G. Pucci.
    Analysis and implementation of parallel uniform hashing.
    In Proc. 1st Italian Conference on Algorithms and Complexity, CIAC'90, pages 1-12, Roma, I, Oct. 1990.

  45. G. Pucci.
    On the modelling and testing of recovery block structures.
    In Proc. 20th International IEEE Symp. on Fault Tolerant Computing Systems, FTCS'90, pages 356-363, Newcastle-upon-Tyne, UK, Jun. 1990.