Giacomo Cioffi

  • Citations Per Year
Learn More
Building consistent global checkpoints that contain a given set of local checkpoints has been usually handled by using transitive dependency tracking. This imply the usage of a vector of integers piggybacked on each message of the computation (the vector size being given by the number of processes). In this paper we address the problem to get consistent(More)
In the last few years the progress of integration techniques of more and more complex digital circuits has led to the development of a new branch of the switching theory known as cellular logic. Nevertheless the integration of cellular circuits of a certain degree of complexity is hampered at present by poor yield, that is by the likelihood that one or more(More)
  • 1