Publications

Export 2368 results:
1993
Castro, M., N. Ferreira Neves, P. Trancoso, and P. Sousa, "MIKE: A Distributed object-oriented programming platform on top of the Mach micro-kernel", Proceedings of the 3rd conference on USENIX MACH III Symposium-Volume 1: USENIX Association, pp. 6–6, 1993.
Penz, F., and L. Carriço, "Objects feeling objects in a multiview object space", Human Computer Interaction: Springer Berlin Heidelberg, pp. 25–36, 1993.
Kopetz, H., and P. Verissimo, "Real time and dependability concepts", Distributed systems (2nd Ed.): ACM Press/Addison-Wesley Publishing Co., pp. 411–446, 1993.
Verissimo, P., "Real-time communication", Distributed Systems, 2nd Edition, ACM-Press. Addison-Wesley, 1993.
Rodrigues, L., and P. Verissimo, Replicated object management using group technology, , 1993.
Grunberg, A., R. Carlier, F. Bekkali, M. J. Silva, P. Chemouilli, and D. Doyon, "[Spinal subdural hematoma. Presentation of 2 cases studied with MRI]", Journal de radiologie, vol. 74, no. 5, pp. 291–295, 1993.
Parlier-Cuau, C., RY. Carlier, P. David, M. J. Silva, and D. Doyon, "[Subdural abscess. Rare complication of epidural infiltration. Apropos of a case and review of the literature]", Journal de radiologie, vol. 74, no. 4, pp. 205–209, 1993.
Correia, N., and N. Guimarães, "TaX: a tool for building time dependent applications", The X Resource, no. 5: O'Reilly & Associates, Inc., pp. 193–202, 1993.
J Marques, A., P. Guedes, P. Sousa, M. Sequeira, N. Guimarães, J. Monge, A. Zúquete, and P. Ferreira, A Unix Implementation of the Comandos Virtual Machine, , 1993.
Rodrigues, L., P. Verissimo, and A. Casimiro, "Using atomic broadcast to implement a posteriori agreement for clock synchronization", Reliable Distributed Systems, 1993. Proceedings., 12th Symposium on: IEEE, pp. 115–124, 1993.
1992
Langlois, T., {Algorithmes d'apprentissage par renforcement pour la commande adaptative: Texte imprimé, : Compiégne, 1992.
Langlois, T., Algorithmes d'apprentissage par renforcement pour la commande adaptative, , 1992.
Savoj, H., M. J. Silva, R. K. Brayton, and A. Sangiovanni-Vincentelli, "Boolean matching in logic synthesis", Proceedings of the conference on European design automation: IEEE Computer Society Press, pp. 168–174, 1992.
Schwarz, R., "Causality in distributed systems", Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring: ACM, pp. 1–5, 1992.
Langlois, T., and S. Canu, "Control of time-delay systems using reinforcement learning", Artificial Neural Networks, vol. 2, no. 1, 1992.
Antunes, P., N. Guimarães, and R. Nunes, "Extending the user interface to the multiuser environment", ACM SIGOIS Bulletin, vol. 13, no. 1: ACM, pp. 5–7, 1992.
Vogels, W., L. Rodrigues, and P. Verissimo, Fast group communication for standard workstations, , 1992.
Verissimo, P., and L. Rodrigues, "Group orientation: a paradigm for distributed systems of the nineties", Distributed Computing Systems, 1992., Proceedings of the Third Workshop on Future Trends of: IEEE, pp. 57–63, 1992.
Verissimo, P., and L. Rodrigues, "Group orientation: a paradigm for modern distributed systems", Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring: ACM, pp. 1–6, 1992.
Rufino, J., and P. Verissimo, An Investigation on the Inaccessibility Characteristics of Standard Token-Based LANs, , 1992.
Carlier, R., V. BATCHVAROV, ABC. IDIR, N. GAGEY, M. J. Silva, and D. Doyon, "IRM des neurinomes lombo-sacrés radiculaires et tronculaires: étude rétrospective de 15 cas", Rachis, vol. 4, no. 6: Edimédica, pp. 325–334, 1992.
Rufino, J., and P. Verissimo, "Minimizing token-bus inaccessiblity through network planning and parameterizing", EFOC LAN: EFOC & N, pp. 253–258, 1992.
Silva, MB., R. Carlier, C. Parlier-Cuau, G. Schaison, and D. Doyon, "[Normal and pathologic imaging of the pituitary stalk]", Journal de radiologie, vol. 74, no. 6-7, pp. 355–362, 1992.
Rodrigues, L., and P. Verissimo, A posteriori agreement for clock synchronization on broadcast networks, : Citeseer, 1992.
Verissimo, P., and L. Rodrigues, "A posteriori agreement for fault-tolerant clock synchronization on broadcast networks", Fault-Tolerant Computing, 1992. FTCS-22. Digest of Papers., Twenty-Second International Symposium on: IEEE, pp. 527–536, 1992.
Verissimo, P., and L. Rodrigues, A posteriori Agreement for Fault-tolerant Clock Synchronization on Broadcast Networksb, , 1992.
Guimarães, N., N. Correia, and T. A. Carmo, "Programming time in multimedia user interfaces", Proceedings of the 5th annual ACM symposium on User interface software and technology: ACM, pp. 125–134, 1992.
Melro, S., P. Verissimo, and , Real-time and dependability comparison of Delta-4/XPA and Mars systems, , 1992.
Vogels, W., P. Verissimo, and L. Rodrigues, "Requirements for high performance group support in distributed systems", Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring: ACM, pp. 1–5, 1992.
Rufino, J., and P. Verissimo, "A study on the inaccessibility characteristics of ISO 8802/4 Token-Bus LANs", INFOCOM'92. Eleventh Annual Joint Conference of the IEEE Computer and Communications Societies, IEEE: IEEE, pp. 958–967, 1992.
Rufino, J., and P. Verissimo, "A study on the inaccessibility characteristics of ISO 8802/5 Token-Ring LANs", In Proceedings of the IEEE INFOCOM'92 Conference on Computer Communications, 1992.
Rufino, J., and P. Verissimo, A study on the inaccessibility characteristics of the FDDI LAN, : Technical Report RT/25-92, INESC, Lisboa, Portugal, 1992.
Carriço, L., P. Antunes, N. Guimarães, P. Pereira, and M. Moreno, Support for open tools and systems, , 1992.
Puttress, JJ., and N. Guimarães, "The toolkit approach to hypermedia", Hypertext: concepts, systems and applications: Cambridge University Press, pp. 25–37, 1992.
Rodrigues, L., and P. Verissimo, "xAMP: a multi-primitive group communications service", Reliable Distributed Systems, 1992. Proceedings., 11th Symposium on: IEEE, pp. 112–121, 1992.
Rodrigues, L., and P. Verissimo, xAMp: A protocol suite for group communication, : Citeseer, 1992.
1991
Verissimo, P., L. Rodrigues, and J. Rufino, "The atomic multicast protocol (AMp)", Delta-4: A Generic Architecture for Dependable Distributed Computing: ESPRIT Research Papers, Springer-Verlag, pp. 267–294, 1991.
Guimarães, N., "Building generic user interface tools: an experience with multiple inheritance", ACM SIGPLAN Notices, vol. 26, no. 11: ACM, pp. 89–96, 1991.
Powell, D., P. Barrett, G. Bonn, M. Chéréque, D. Seaton, and P. Verissimo, "The delta-4 distributed fault-tolerant architecture", Laboratoire d'Automatique et d'Analyse des Systemes, Report, no. 91055, 1991.
Verissimo, P., P. Verissimo, J. Rufino, and L. Rodrigues, Enforcing Real-Time behaviour on LAN-based protocols, : Citeseer, 1991.
Antunes, P., N. Guimarães, and R. Nunes, "Extending the user interface to the multiuser environment", In ECSCW'91, CSCW Developers Workshop: Citeseer, 1991.
Powell, D., "Extra Performance Architecture (XPA)", Delta-4: A Generic Architecture for Dependable Distributed Computing: Springer Berlin Heidelberg, pp. 211–266, 1991.
Baptista, M., S. Graf, JL. Richier, L. Rodrigues, C. Rodriguez, P. Verissimo, and J. Voiron, Formal Specification and Verification of a Network Independent Atomic Multicast Protocol, : FORMAL DESCRIPTION TECHNIQUES, III. IFIP. North-Holland, 1991.
Guimarães, N., "A framework for the construction of interactive applications", The INESC Journal of Research and Development, vol. 2, no. 1: INESC, pp. 50–71, 1991.
Guimarães, N., L. Carriço, and P. Antunes, "INGRID: An Object Oriented Interface Builder", Fifth International Conference on the Technology of Object-Oriented Language and Systems, Proceedings of the Tools, vol. 91, pp. 291–300, 1991.
Guimarães, N., "INGRID: Interactive Graphical Interface Designer", Tutorial presented at the 5th Annual X Technical Conference, Boston, 1991.
Carriço, L., N. Guimarães, and P. Antunes, "INGRID-an Object-Oriented Interface Builder.", TOOLS (5), pp. 291–300, 1991.
Verissimo, P., J. Rufino, H. Fonseca, and L. Rodrigues, The performance of the xAMp protocol on token-bus and fddi nac's, : Technical Report RT/109-91, INESC, Lisboa, Portugal, 1991.
Grandvalet, Y., S. Canu, D. Meizel, and T. Langlois, "PRECONDITIONING FOR IMPROVING CONVERGENCE OF BACK PROPAGATION ALGORITHM IN CONTROL APPLICATIONS", Intelligent engineering systems through artificial neural networks: proceedings of the Artificial Neural Networks in Engineering (ANNIE'91) Conference, held November 10-13, 1991, in St. Louis, Missouri, USA, vol. 1: ASME Press, pp. 89, 1991.
Bond, P., D. Seaton, P. Verissimo, and J. Waddington, "Real-time concepts", Springer-Verlag Research Reports ESPRIT Series: Delta-4: a Generic Architecture for Dependable Distributed Computing. Springer-Verlag, 1991.
Verissimo, P., and L. Rodrigues, "Reliable multicasting in high-speed LANs", High-Capacity Local and Metropolitan Area Networks: Springer Berlin Heidelberg, pp. 397–412, 1991.
Carrigo, L., N. Guimarães, and P. Antunes, Support for Interactive Tools and Systems, , 1991.
1990
Barret, PA., A. M. Hilborne, P. G. Bond, D. T. Seaton, P. Verissimo, L. Rodrigues, and N. A. Speirs, "The Delta-4 extra performance architecture (XPA)", Fault-Tolerant Computing, 1990. FTCS-20. Digest of Papers., 20th International Symposium: IEEE, pp. 481–488, 1990.
Verissimo, P., "Design of fault tolerant distributed systems: the fail-controlled approach", Proceedings of the 4th workshop on ACM SIGOPS European workshop: ACM, pp. 1–4, 1990.
Baptista, M., S. Graf, J-L. Richier, L. Rodrigues, C. Rodriguez, P. Verissimo, and J. Voiron, "Formal specification and verification of a network independent atomic multicast protocol", Third International Conference on Formal Description Techniques (FORTE 90), 1990.
Carriço, L., N. Guimarães, and P. Antunes, INGRID: A Graphical Tool for User Interface Construction, : Citeseer, 1990.
Fonseca, H., L. Rodrigues, J. Rufino, and P. Verissimo, "Local support environment: User specification", Relatório Técnico RT/50-90, INESC, Lisboa, Portugal, 1990.
Verissimo, P., "Real-time data management with clock-less reliable broadcast protocols", Management of Replicated Data, 1990. Proceedings., Workshop on the: IEEE, pp. 20–24, 1990.
Verissimo, P., and J. Alves Marques, "Reliable broadcast for fault-tolerance on local computer networks", Reliable Distributed Systems, 1990. Proceedings., Ninth Symposium on: IEEE, pp. 54–63, 1990.
1989
Verissimo, P., L. Rodrigues, and M. Baptista, "Amp: A highly parallel atomic multicast protocol", ACM SIGCOMM Computer Communication Review, vol. 19, no. 4: ACM, pp. 83–93, 1989.
Verissimo, P., and R. de Lemos, "Confiança no funcionamento: Proposta para uma terminologia em português", Publicação conjunta INESC e LCMI/UFSC, 1989.
Verissimo, P., and L. Rodrigues, Order and synchronism properties of reliable broadcast protocols, : Technical Report RT/66-89, INESC, Lisboa, Portugal, 1989.
Silva, M. J., D. Gedye, R. Katz, and R. Newton, "Protection and versioning for OCT", Proceedings of the 26th ACM/IEEE Design Automation Conference: ACM, pp. 264–269, 1989.
Shapiro, M., and N. Guimarães, "Software integration in SOMIW: Goals, accomplishments, and problems", Esprit'89, 6th Annual Esprit Conf.: North-Holland, 1989.
1988
Powell, D., G. Bonn, D. T. Seaton, P. Verissimo, and F. Waeselynck, "The Delta-4 approach to dependability in open distributed computing systems.", FTCS, pp. 246–251, 1988.
J Marques, A., JP. Cunha, P. Guedes, N. Guimarães, and A. Cunha, "The distributed operating system of the SMD project", Software: Practice and Experience, vol. 18, no. 9: John Wiley & Sons, Ltd., pp. 859–877, 1988.
Marques, JA., L. Simões, N. Guimarães, L. Carriço, and M. Sequeira, "Images-An Approach to an Object Oriented UIMS", Proceedings of the Autumn 1988 EUUG Conference, 1988.
Verissimo, P., "Redundant media mechanisms for dependable communication in token-bus LANs", Local Computer Networks, 1988., Proceedings of the 13th Conference on: IEEE, pp. 453–462, 1988.

Pages