2001 | ||
---|---|---|
4 | Roberto Baldoni, Giacomo Cioffi, Jean-Michel Hélary, Michel Raynal: Direct dependency-based determination of consistent global checkpoints. Comput. Syst. Sci. Eng. 16(1): 43-49 (2001) | |
1999 | ||
3 | Roberto Baldoni, Michel Raynal, Giacomo Cioffi, Jean-Michel Hélary: Direct Dependency-Based Determination of Consistent GlobalCheckpoints. OPODIS 1999: 11-28 | |
1995 | ||
2 | Roberto Baldoni, Bruno Ciciani, Giacomo Cioffi: On the Correctness of Goscinski's Algorithm. J. Parallel Distrib. Comput. 27(2): 201-204 (1995) | |
1978 | ||
1 | Giacomo Cioffi: Autotesting Speed-Independent Sequential Circuits. IEEE Trans. Computers 27(1): 90-94 (1978) |
1 | Roberto Baldoni | [2] [3] [4] |
2 | Bruno Ciciani | [2] |
3 | Jean-Michel Hélary | [3] [4] |
4 | Michel Raynal | [3] [4] |