References

Previous |

Veríssimo, P. (1996). Causal delivery protocols in real-time systems: A generic model. Journal of Real-Time Systems, 10(1):45-73.

Veríssimo, P. and Almeida, C. (1995). Quasi-synchronism: a step away from the traditional fault-tolerant real-time system models. Bulletin of the Tech. Commit. on Operating Systems and Application Environments (TCOS), 7(4):35-39.

Veríssimo, P., Rodrigues, L., and Baptista, M. (1989). AMp: A highly parallel atomic multicast protocol. In Proceedings of the ACM SIGCOM'89 Symposium, pages 83-93, Austin, USA.

Veríssimo, P., Rodrigues, L., and Casimiro, A. (1997). Cesiumspray: a precise and accurate global clock service for large-scale systems. Journal of Real-Time Systems, 12(3):243-294.

Veríssimo, P. (1988). Redundant media mechanisms for dependable communication in token-bus LANs. In Proceedings of the 13th IEEE Local Computer Network Conference, Minneapolis-USA.

Veríssimo, P. (1993). Real-time Communication. In Mullender, S., editor, Distributed Systems, 2nd Ed., ACM-Press, chapter 17, pages 447-490. Addison-Wesley.

Veríssimo, P. (1994). Ordering and Timeliness Requirements of Dependable Real- Time Programs. Journal of Real-Time Systems, Kluwer, 7(2):105-128.

Veríssimo, P., Barrett, P., Bond, P., Hilborne, A., Rodrigues, L., and Seaton, D. (1991). The Extra Performance Architecture (XPA). In Powell, D., editor, Delta-4 - A Generic Architecture for Dependable Distributed Computing, ESPRIT Research Reports, pages 211-266. Springer Verlag.

Veríssimo, P., Casimiro, A., and Fetzer, C. (2000). The timely computing base: Timely actions in the presence of uncertain timeliness. In Procs. of DSN 2000, the IEEE/IFIP Int'l Conf. on Dependable Systems and Networks.

Veríssimo, P. and Marques, J. (1990). Reliable broadcast for fault-tolerance on local computer networks. In Procs. of the 9th IEEE Symp. on Reliable Distributed Systems, Huntsville, Alabama-USA. Also INESC AR/24-90.

Veríssimo, P., Melro, S., Casimiro, A., and Silva, L. (1996). Distributed industrial information systems: Design and experience. In Proceedings of BASYS'96, the 2nd IEEE/IFI International Conference on Information Technology for Balanced Automation SYStems in Manufacturing.

Veríssimo, P. and Raynal, M. (2000). Time, clocks and temporal order. In Krakowiak, S. and Shrivastava, S., editors, Recent Advances in Distributed Systems, volume 1752 of LNCS, chapter 1. Springer-Verlag.

Veríssimo, P. and Rodrigues, L. (1992). A posteriori Agreement for Fault-tolerant Clock Synchronization on Broadcast Networks. In Digest of Papers, The 22nd IEEE Int'l Symp. on F/T Computing, Boston - USA.

Veríssimo, P., Rufino, J., and Ming, L. (1997). How hard is hard real-time communication on field-buses? In Digest of Papers, The 27th IEEE International Symposium on Fault-Tolerant Computing, Seattle - USA.

Vogels, W., Rodrigues, L., and Veríssimo, P. (1992). Fast group communication for standard workstations. In Proceedings of the OpenForum'92 Technical Conference, Utrecht, the Netherlands. EurOpen, UniForum.

Volg, C., Wolf, L., Herrtwich, R., and Wittig, H. (1996). Heirat - quality of service management for distributed multimedia systems. Multimedia Systems Journal.

Previous |