ACCORDS

Publications

(Listed in reverse chronological order)

First year

• Ferreira, A., Goldman vel Lejbman, A. and Song, S. W. Broadcasting in bus interconnected networks. Journal of Interconnection Networks, to appear.
• Mongelli, H. and Song, S. W. Parallel Range Minima on Coarse Grained Multicomputers. International Journal of Foundations of Computer Science. To appear.
• Caceres, E., Dehne, F., Ferreira, A., Flocchini, P., Rieping, I., Roncato, A., Santoro, N. and Song, S. W. Efficient Parallel Graph Algorithms For Coarse Grained Multicomputers and BSP. Algorithmica. Accepted, under revision.
• Saukas, E. L. G. and Song, S. W. Parallel Programming Techniques for Distributed Memory Computers. IFIP World Computer Congress 2000 - International Conference on Software: Theory and Practice, Beijing, China, August 21 - 25, 2000. To appear.
• Cáceres, E., Chan, A., Dehne, F. and Song, S. W. Coarse Grained Parallel Graph Planarity Testing. Proceedings 2000 International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, June 26 - 29, 2000. To appear.
• Garcia, A. and Rubira, C. M. F. An Exception Handling Software Architecture for Developing Robust Software. In Proceedings of the Exception Handling in Object-Oriented Systems Workshop, ECOOP'2.000 (14th European Conference on Object-Oriented Programming), Sophia Antipolis and Cannes, France, June 12-16, 2000.
• Rocha, R. A. and Endler, M. Um Simulador de Protocolos Distribuídos para Computação Móvel, 2nd Brazilian Workshop on Wireless Communication (2o. Workshop de Comunicação sem Fio- WCSF), SBC, Belo Horizonte, May 2000.
• Endler, M., Silva, D. M., Silva e Silva, F., Rocha, R. A., Moura, M. A. Project SIDAM: Overview and Preliminary Results, 2nd Brazilian Workshop on Wireless Communication (2o. Workshop de Comunicação sem Fio - WCSF), Belo Horizonte, May 2000.
• Moura, M. A. and Endler, M. Juggler: A Configuration Management Service for CORBA Object Groups. Proc. Simpósio Brasileiro de Redes de Computadores (SBRC 2000), Belo Horizonte, May 2000.
• Endler, M., Silva, D. M., Okuda, K. RDP: A Result Delivery Protocol for Mobile Computing, Proc. of the Int. Workshop on Wireless Networks and Mobile Computing (WNMC) at the 20th Int. Conference on Distributed Computing Systems (ICDCS), IEEE, Taiwan, R.O.C., April 2000.
• Endler, M., Silva, D. M., Okuda, K. A Reliable Connectionless Protocol for Mobile Clients, Communication Networks and Distributed Systems Modeling and Simulation Conference (CNDS'00), San Diego, 149-154, Society for Computer Simulation International (SCS), January 2000.
• Saukas, E. L. G. and Song, S. W. A Note on Parallel Selection on Coarse Grained Multicomputers. Algorithmica 24: 371-380 (1999).
• Vieira, Jorge E. and Silva, Dilma M. The SMART Scheduling for Linux. {\it Proc. of the Workshop in Real Time Linux}. Vienna, Austria, December 1999.
• Braga, A. M., Rubira, C. M. F. and Dahab, R. Tropyc: A Pattern Language for Cryptographic Object-Oriented Software. In the book Pattern Languages of Program Design 4, Neil Harrison, Brian Foot and Hans Rohnert (Eds.), Software Patterns Series, December 1999, chapter 16, pp. 337-371, Addison-Wesley Longman, ISBN 0-201-43304-4.
• Garcia, I. C. and Buzato, L. E., Checkpointing using Local Knowledge about Recovery Lines, Technical Report No. IC-99-22, Instituto de Computação, UNICAMP, Campinas, SP, em novembro de 1999, with 16 pages.
• Garcia, A., Beder, D. M. and Rubira, C. M. F. An Exception Handling Mechanism for Developing Dependable Object-Oriented Software based on a Meta-level Approach. In Proceedings of the {\em 10th IEEE International Symposium on Software Reliability Engineering}, Boca Raton, Florida, USA, November 1-4, 1999, pp. 52-61.
• Endler, M. An Atomic Multicast Protocol for Mobile Computing. Proc. of the 3rd International Workshop on Discrete Algorithms and Methods for Mobile Computing and Communication/MobiCom'99, Seattle, ACM SIGMOBILE, 56-63, August 1999.
• Garcia, I. C. and Buzato, L. E. Monitorização e Recuperação por Retrocesso utilizando Visões Progressivas de Computações Distribuídas, Anais do VIII Simpósio de Computação Tolerante a Falhas, Campinas, SP, Brasil, pp. 147-151, julho, 1999.
• Endler, M. A Protocol for Atomic Multicast among Mobile Hosts, 1st Brazilian Workshop on Wireless Communication (1o. Workshop de Comunicação sem Fio - WCSF) , UFMG/PRONEX, Belo Horizonte, pp. 99-109, July 1999.
• Silva, Dilma Menezes. Introdução à Programação Concorrente para a Internet. JAI - Jornada de Atualização em Informática. pp. 209-262, Julho 1999.
• Beder, D. M. and Rubira, C. M. F. Uma abordagem Reflexiva baseada em Padr\~oes de Projeto para o Desenvolvimento de Aplica\c{c}\~oes Distribu\'{\i}das Confi\'aveis. Nos Anais do {\em VIII Simp\'{o}sio Brasileiro de Computa\c{c}\~ao Tolerante a Falhas (SCTF'99)}, Campinas, SP, 7-9 de julho de 1999, pp. 152-166.
• Garcia, A. F. and Rubira, C. M. F. Um Mecanismo Orientado a Objetos para Tratamento de Exce\c{c}\~oes em Software Concorrente Tolerante a Falhas. Nos Anais do {\em VIII Simp\'{o}sio Brasileiro de Computa\c{c}\~ao Tolerante a Falhas (SCTF'99)}, Campinas, SP, 7-9 de julho de 1999, pp. 167-181.
• Garcia, I. C. and Buzato, L. E. Progressive Construction of Consistent Global Checkpoints, Proc. of the 19th IEEE International Conference on Distributed Computing Systems (ICDCS), Austin, Texas, USA, pp. 55-62, may 31-June 5, 1999.
• Kulesza, Uira and Silva, Dilma M. Reengineering of the JAWS Web Server Design Using Aspect Oriented Programming. Proceedings of the Workshop of Aspects and Dimension of Concerns (part of ECOOP). Junho, 2000.
• Oliva, A. and Buzato, L. E. The Design and Implementation of Guaraná, Proceedings of the Fifth USENIX Conference on Object-Oriented Technologies and Systems (COOTS), San Diego, California, USA, pp. 203-216, 3-5 May, 1999
• Euler, Jorge, Noronha, Maria do Carmo e Silva, Dilma M. Estudo de Caso: Desempenho do Sistema Operacional Linux para Aplicações Multimídia em Tempo Real. Proc. II Workshop de Tempo Real - Simpósio Brasileiro de Redes de Computadores. Maio, 1999, pp. 88-95.
• Mongelli, H. and Song, S. W. A Range Minima Parallel Algorithm for Coarse Grained Multicomputers. IPPS99/Irregular - Sixth International Workshop on Solving Irregularly Structured Problems in Parallel. San Juan, Puerto Rico, April 12 - 16, 1999. in LNCS, Vol. 1586, pp. 1075 -1084, José Rolim et al. (eds), Springer-Verlag.
• Vieira, G. and Buzato, L. E., Determinação de Estados Globais Consistentes em Sistemas Distribuídos, Technical Report No. IC-99-09, Instituto de Computação, UNICAMP, Campinas, SP, em março de 1999, with 20 pages.
• Tsai, Jya-Jang and Silva, Dilma M. Aggregated Cells in a Java-Based Distributed ATM Simulator. Proc. of the SCS International Conference On Web-Based Modelling and Simulation. Jan. 1999.
• Vieira, Jorge Euler, Noronha, Maria do Carmo, e Silva, Dilma Menezes. Estudo de Caso: Desempenho Deficiente do Sistema Operacional LINUX para Carga Mista de Aplicações. Relatório Técnico RT-MAC-9904, IME-USP, 1999.
• Silva, D., Gubitoso, M. D. and Endler, M. Sistemas de Informação Distribuídos para Agentes Móveis. SEMISH'98, Belo Horizonte, August 1998.

Second year

• Dehne, F., Ferreira, A., Cáceres, E., Song, S. W., and Roncato, A. Efficient Parallel Graph Algorithms For Coarse Grained Multicomputers and BSP. Algorithmica. To appear.
• A. Garcia, C. M. F. Rubira, A. Romanovsky & J. Xu. A Comparative Study of Exception Handling Mechanisms for Building Dependable Object-Oriented Software. Journal of Systems and Software, Elsevier, North-Holland, April 2002, ISSN 0164-1212. To appear.
• A. Garcia, D. Beder & C. M. F. Rubira. A Unified Meta-Level Software Architecture for Sequential and Concurrent Exception Handling. Computer Journal, Vol. 44, Issue 4, Oxford University Press, September 2001, ISSN 0010-4620. To appear.
• A. Garcia & C. M. F. Rubira. An Architectural-based Reflective Approach to Incorporating Exception Handling into Dependable Software. chapter 4, p. 189-206, In the book Advances in Exception Handling Techniques. 289 p. Editors: A. Romanovsky, C. Dony, J. L. Knudsen, A. Tripathi. Springer-Verlag, LNCS-2022, April 2001. (ISSN 0302-9743. ISBN 3-540-41952-7).
• Song, S. W. Editorial: Design of Efficient and Scalable Parallel Algorithms. Parallel and Distributed Computing Practices, Vol. 3, 2001. To appear.
• Song, S. W. Parallel Graph Algorithms for Coarse-Grained Multicomputers. Models for Parallel and Distributed Computation: Theory, Algorithmic Techniques and Applications. Applied Optimization Book Series. Kluwer. To appear.
• Dilma Menezes da Silva and Fabio Kon, Adaptive Directory Services for Highly Dynamic Environments. ACM/IFIP Middleware'2001 WIP Heidelberg, Germany, November, 2001.
• G. R. M. Ferreira, C. M. F. Rubira & R. de Lemos. Explicit Representation of Exception Handling in the Development of Dependable Component-Based Systems. In Proceedings of the 6th IEEE International Symposium on High Assurance Systems Engineering (HASE'01), October 24-26 , 2001, Boca Raton, Florida, USA, IEEE Computer Society Press.
• Mongelli, H. and Song, S. W. Efficient Two-Dimensional Parallel Pattern Matching with Scaling. Proceedings 13th International Conference on Parallel and Distributed Computing and Systems. August 21 - 24, 2001, pp. 360-364.
• Rocha, R. C. A. and Endler, M. MobiCS: An environment for prototyping and simulating distributed protocols for mobile networks , Proc. 3rd. IEEE International Conference in Mobile and Wireless Communication Networks (MWCN2001), Recife, 44-51, Brazil, August 2001.
• Nagamuta, V. e Endler. M. Simulando um Protocolo para NotificaÁ“o Confi·vel baseado em Proxies MÛveis. Proc. of the 3rd. Brazilian Workshop on Wireless Communication and Mobile Computing (WCSF2001), 18-26, Recife, Agosto 2001.
• Silva, F. S. e Endler, M. Desenvolvendo Software Adapt·vel para Computacao Movel. Proc. of the 3rd. Brazilian Workshop on Wireless Communication and Mobile Computing (WCSF2001), 93-101, Recife, Agosto 2001.
• Ribeiro, M. F. e Endler, M. Um protocolo indireto para Multicast Atomico em Computacao MÛvel. Proc. of the 3rd. Brazilian Workshop on Wireless Communication and Mobile Computing (WCSF2001), 84-91, Recife, Agosto 2001.
• Manuel Román and Fabio Kon and Roy Campbell. Reflective Middleware: From Your Desk to Your Hand. IEEE Distributed Systems Online, Vol. 2, No. 5, July, 2001.
• Cáceres, E. N. and Mongelli, H. and Song, S.W. Algoritmos Paralelos usando CGM/PVM: Uma Introdução, texto preparado para o XXI Congresso da Sociedade Brasileira da Computação, Jornada de Atualização em Informática, Fortaleza, julho de 2001, pp. 219-278.
• Mongelli, H. and Song, S.W. Parallel String Matching with Scaling. Proc. 2001 International Conference on Parallel and Distributed Processing Techniques and Applications, Vol. 2, June 25-28, 2001, pp. 605-609.
• Cáceres, E.N. and Song, S. W. and Szwarcfiter, J. L. A Parallel Unrestricted Depth Search Algorithm. Proc. 2001 International Conference on Parallel and Distributed Processing Techniques and Applications, Vol. 1, June 25-28, 2001, pp. 521-526.
• D. M. Beder, B. Randell, A. Romanovsky, & C. M. F. Rubira. On Applying Coordinated Atomic Actions and Dependable Software Architectures for Developing Complex Systems. In Proceedings of the 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'2001), Magdeburg, Germany, May 2-4, 2001, pp. 103-112, IEEE Computer Society Press.
• Caceres, E.N., Song, S. W. and Szwarcfiter, J. L. A Coarse-Grained Parallel Algorithm for Maximal Cliques in Circle Graphs. The 2001 International Conference on Computational Science. Lecture Notes in Computer Science, Vol. 2074, V. Alexandrov, J. Dongarra, K. Tan (eds), Springer-Verlag. San Francisco, May 28-30, 2001, pp. 638-647.
• Nagamuta, V. e Endler, M. Coordinating Mobile Agents through the Broadcast Channel, Anais do Simposio Brasileiro de Redes de Computadores (SBRC-2001), CD-ROM, Florianopolis, May 2001.
• Islene C. Garcia, Gustavo M. D. Vieira e Luiz E. Buzato. RDT-Partner: An Efficient Checkpointing Protocol that Enforces Rollback-Dependency Trackability, Anais do Simposio Brasileiro de Redes de Computadores (SBRC-2001), CD-ROM, Florianopolis, May 2001.
• Islene Calciolari Garcia e Luiz Eduardo Buzato. On the Minimal Characterization of Rollback-Dependency Trackability Property, Proceedings of the 21th IEEE Int. Conf. on Distributed Computing Systems, Phoenix, Arizona, EUA, April, 2001.

• Gustavo Maciel Dias Veira, Islene Calciolari Garcia e Luiz Eduardo Buzato. Systematic Analysis of Index-Based Checkpointing Algorithms using Simulation, IX Simpósio de Computação Tolerante a Falhas, Florianópolis, Santa Catarina, March 2001.

• Mongelli, H. and Song, S. W. Parallel Pattern Matching with Scaling. Parallel Processing Letters. Vol. 11, pp. 125-138, March 2001.
• Fabio Kon, Tomonori Yamane, Christopher Hess, Roy Campbell and M. Dennis Mickunas. Dynamic Resource Management and Automatic Configuration of Distributed Component Systems. Proceedings of the 6th USENIX Conference on Object-Oriented Technologies and Systems (COOTS'2001), San Antonio, Texas, February, 2001.
• Fabio Kon, Roy H. Campbell and Klara Nahrstedt. Using Dynamic Configuration to Manage a Scalable Multimedia Distribution System. Computer Communications Journal (Special Issue on QoS-Sensitive Distributed Systems and Applications), Vol. 24, Elsevier Science Publisher, January, 2001, pp. 105-123.
• Francisco JosÈ da Silva e Silva, Markus Endler, Fabio Kon, Roy H. Campbell, and M. Dennis Mikunas. Modeling Dynamic Adaptation of Distributed Systems. University of Illinois at Urbana-Champaign. Report UIUCDCS-R-2000-2196, December, 2000.
• A. Garcia, D. M. Beder & C. M. F. Rubira. An Exception Handling Software Architecture for Developing Fault-Tolerant Software. In Proceedings of the 5th IEEE International Symposium on High Assurance Systems Engineering (HASE'00), November 15-17, 2000, Albuquerque, New Mexico, USA, pp. 311-320, IEEE Computer Society Press.
• Fabio Kon, Jalal Al-Muhtadi, Roy H. Campbell and M. Dennis Mickunas. My Dream of Jini. OOPSLA'2000 Workshop on the Jini Pattern Language, Minneapolis, October, 2000.
• Fabio Kon, Christopher Hess, Manuel Roman, Roy H. Campbell and M. Dennis Mickunas. A Flexible, Interoperable Framework for Active Spaces. OOPSLA'2000 Workshop on Pervasive Computing, Minneapolis, October, 2000.
• Dilma M. Silva, Fabio Kon and Roy Campbell. Dynamic Configuration of a Directory Service Using the ComponentConfigurator Framework. Proceedings of the Project SIDAM Workshop, Sao Paulo, September, 2000.
• Okuda, K. and Song, S. W. Revisiting Hamiltonian Decomposition of the Hypercube. SBCCI2000 - XIII Symposium on Integrated Circuits and System Design. Manaus, Brazil, September 18-24, 2000, pp. 55-60.
• Saukas, E. L. G. and Song, S. W. Parallel Programming Techniques for Distributed Memory Computers. IFIP World Computer Congress 2000 - International Conference on Software: Theory and Practice. Beijing, China, August 21 - 25, 2000, pp. 760-763.
• Islene Calciolari Garcia e Luiz Eduardo Buzato. Using Common Knowledge to Improve Fixed-Dependency-After-Send, Workshop de Testes e Tolerância a Falhas, Curitiba, July, 2000.

• Ferreira, A., Goldman, A. and Song, S. W. Broadcasting in bus interconnected networks. Journal of Interconnection Networks, Vol. 1, No. 2, June 2000, pp. 73-94.
• Mongelli, H. and Song, S. W. Parallel Range Minima on Coarse Grained Multicomputers. International Journal of Foundations of Computer Science. Vol. 10, No. 4, December 1999, pp. 375 - 389.