If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2006

    Using MPI-2: A problem-based approach

    Gropp, W. D. & Lusk, E., 2006, Recent Advances in Parallel Virtual Machine and Message Passing Interface - 13th European PVM/MPI User's Group Meeting, Proceedings. Springer, Vol. 4192 LNCS. p. 7 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4192 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Where does MPI need to grow?

    Gropp, W. D., 2006, Recent Advances in Parallel Virtual Machine and Message Passing Interface - 13th European PVM/MPI User's Group Meeting, Proceedings. Springer, p. 3 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4192 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2005

    An evaluation of implementation options for MPI one-sided communication

    Gropp, W. & Thakur, R., 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 415-424 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3666 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Collective error detection for MPI collective operations

    Falzone, C., Chan, A., Lusk, E. & Gropp, W., Dec 1 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 138-147 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3666 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Designing a common communication subsystem

    Buntinas, D. & Gropp, W., Dec 1 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 156-166 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3666 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Implementing MPI-IO atomic mode without file system support

    Ross, R., Latham, R., Gropp, W. D., Thakur, R. & Toonen, B., 2005, 2005 IEEE International Symposium on Cluster Computing and the Grid, CCGrid 2005. p. 1135-1142 8 p. 1558687. (2005 IEEE International Symposium on Cluster Computing and the Grid, CCGrid 2005; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Towards a productive MPI environment

    Gropp, W. D., Dec 1 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3666 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Using MPI-2: A problem-based approach

    Gropp, W. & Lusk, E., Dec 1 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3666 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2004

    Design and implementation of MPICH2 over InfiniBand with RDMA support

    Liu, J., Jiang, W., Wyckoff, P., Panda, D. K., Ashton, D., Buntinas, D., Gropp, W. & Toonen, B., 2004, Proceedings - 18th International Parallel and Distributed Processing Symposium, IPDPS 2004 (Abstracts and CD-ROM). p. 223-232 10 p. (Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2004 (Abstracts and CD-ROM); vol. 18).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • High performance MPI-2 one-sided communication over InfiniBand

    Jiang, W., Liu, J., Jin, H. W., Panda, D. K., Gropp, W. D. & Thakur, R., Sep 29 2004, 2004 IEEE International Symposium on Cluster Computing and the Grid, CCGrid 2004. p. 531-538 8 p. (2004 IEEE International Symposium on Cluster Computing and the Grid, CCGrid 2004).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • MPI and high productivity programming

    Gropp, W. D., Jan 1 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Kranzlmuller, D., Dongarra, J. & Kacsuk, P. (eds.). Springer, 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3241).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Predicting memory-access cost based on data-access patterns

    Byna, S., Sun, X. H., Gropp, W. D. & Thakur, R., 2004, 2004 IEEE International Conference on Cluster Computing, ICCC 2004. p. 327-336 10 p. (Proceedings - IEEE International Conference on Cluster Computing, ICCC).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2003

    Efficient structured data access in parallel file systems

    Ching, A., Choudhary, A., Liao, W. K., Ross, R. & Gropp, W., 2003, Proceedings - IEEE International Conference on Cluster Computing, CLUSTER 2003. Institute of Electrical and Electronics Engineers Inc., p. 326-335 10 p. 1253331. (Proceedings - IEEE International Conference on Cluster Computing, ICCC; vol. 2003-January).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Improving the performance of MPI derived datatypes by optimizing memory-access cost

    Byna, S., Gropp, W., Sun, X. H. & Thakur, R., 2003, Proceedings - IEEE International Conference on Cluster Computing, CLUSTER 2003. Institute of Electrical and Electronics Engineers Inc., p. 412-419 8 p. 1253341. (Proceedings - IEEE International Conference on Cluster Computing, ICCC; vol. 2003-January).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Noncontiguous I/O accesses through MPI-IO

    Ching, A., Choudhary, A., Coloma, K., Liao, W. K., Ross, R. & Gropp, W., 2003, Proceedings - CCGrid 2003: 3rd IEEE/ACM International Symposium on Cluster Computing and the Grid. p. 104-111 8 p. 1199358. (Proceedings - CCGrid 2003: 3rd IEEE/ACM International Symposium on Cluster Computing and the Grid).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Parallel netCDF: A high-performance scientific I/O interface

    Li, J., Liao, W. K., Choudhary, A., Ross, R., Thakur, R., Gropp, W., Latham, R., Siegel, A., Gallagher, B. & Zingale, M., Dec 1 2003, Proceedings of the 2003 ACM/IEEE Conference on Supercomputing, SC 2003. (Proceedings of the 2003 ACM/IEEE Conference on Supercomputing, SC 2003).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Toward understanding soft faults in high performance cluster networks

    Evans, J. J., Baik, S., Hood, C. S. & Gropp, W., 2003, Integrated Network Management VIII: Managing It All - IFIP/IEEE 8th International Symposium on Integrated Network Management, IM 2003. Springer, p. 117-120 4 p. (IFIP Advances in Information and Communication Technology; vol. 118).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2002

    An evaluation of object-based data transfers on high performance networks

    Dickens, P. M. & Gropp, W., 2002, Proceedings - 11th IEEE International Symposium on High Performance Distributed Computing, HPDC 2002. Institute of Electrical and Electronics Engineers Inc., p. 255-264 10 p. 1029925. (Proceedings of the IEEE International Symposium on High Performance Distributed Computing; vol. 2002-January).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Building library components that can use any MPI implementation

    Gropp, W., 2002, Recent Advances in Parallel Virtual Machine and Message Passing Interface - 9th European PVM/MPI Users' Group Meeting, Proceedings. Kranzlmüller, D., Volkert, J., Kacsuk, P. & Dongarra, J. (eds.). Springer, p. 280-287 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2474 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Goals guiding design: PVM and MPI

    Gropp, W. & Lusk, E., 2002, Proceedings - IEEE International Conference on Cluster Computing, CLUSTER 2002. Gropp, B., Buyya, R., Pennington, R., Brown, M., Baker, M. & Reed, D. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 257-265 9 p. 1137754. (Proceedings - IEEE International Conference on Cluster Computing, ICCC; vol. 2002-January).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • High performance wide area data transfers over high performance networks

    Dickens, P., Gropp, W. & Woodward, P., 2002, Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2002. Institute of Electrical and Electronics Engineers Inc., p. 254 1 p. 1016675. (Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2002).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • MPICH2: A new start for MPI implementations

    Gropp, W., Jan 1 2002, Recent Advances in Parallel Virtual Machine and Message Passing Interface - 9th European PVM/MPI Users' Group Meeting, Proceedings. Kacsuk, P., Dongarra, J., Kranzlmüller, D. & Volkert, J. (eds.). Springer, 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2474).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • MPI on the grid

    Gropp, W. & Lusk, E., Jan 1 2002, Recent Advances in Parallel Virtual Machine and Message Passing Interface - 9th European PVM/MPI Users' Group Meeting, Proceedings. Kacsuk, P., Dongarra, J., Kranzlmüller, D. & Volkert, J. (eds.). Springer, 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2474).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Noncontiguous I/O through PVFS

    Ching, A., Choudhary, A., Liao, W. K., Ross, R. & Gropp, W., 2002, Proceedings - IEEE International Conference on Cluster Computing, CLUSTER 2002. Gropp, B., Buyya, R., Pennington, R., Brown, M., Baker, M. & Reed, D. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 405-414 10 p. 1137773. (Proceedings - IEEE International Conference on Cluster Computing, ICCC; vol. 2002-January).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Prototype of AM3: Active mapper and monitoring module for Myrinet environments

    Baik, S., Hood, C. S. & Gropp, W. D., 2002, Proceedings - LCN 2002: 27th Annual IEEE Conference on Local Computer Networks. IEEE Computer Society, p. 703-707 5 p. 1181847. (Proceedings - Conference on Local Computer Networks, LCN; vol. 2002-January).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2001

    Challenges and successes in achieving the potential of MPI

    Gropp, W. D., Jan 1 2001, Recent Advances in Parallel Virtual Machine and Message Passing Interface - 8th European PVM/MPI Users’ Group Meeting, Proceedings. Cotronis, Y. & Dongarra, J. (eds.). Springer, 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2131).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Learning from the success of MPI

    Gropp, W. D., 2001, High Performance Computing - HiPC 2001 - 8th International Conference, Proceedings. Monien, B., Prasanna, V. K. & Vajapeyam, S. (eds.). Springer, p. 81-92 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2228).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • PETSc and Overture: Lessons learned developing an interface between components

    Buschelman, K. R., Gropp, W. D., McInnes, L. C. & Smith, B. F., 2001, Architecture of Scientific Software - IFlP TC2/WG2.5 Working Conference on the Architecture of Scientific Software. Springer, p. 57-67 11 p. (IFIP Advances in Information and Communication Technology; vol. 60).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Scalable unix commands for parallel processors: A high-performance implementation

    Ong, E., Lusk, E. & Gropp, W., 2001, Recent Advances in Parallel Virtual Machine and Message Passing Interface - 8th European PVM/MPI Users’ Group Meeting, Proceedings. Cotronis, Y. & Dongarra, J. (eds.). Springer, p. 410-418 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2131).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Solving CFD problems with open source parallel libraries

    Gropp, B., Jan 1 2001, Applied Parallel Computing: New Paradigms for HPC in Industry and Academia - 5th International Workshop, PARA 2000, Proceedings. Sorevik, T., Manne, F., Gebremedhin, A. H. & Moe, R. (eds.). Springer, 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1947).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2000

    Analyzing the parallel scalability of an implicit unstructured mesh CFD code

    Gropp, W. D., Kaushik, D. K., Keyes, D. E. & Smith, B. F., 2000, High Performance Computing - HiPC 2000 - 7th International Conference, Proceedings. Valero, M., Prasanna, V. K. & Vajapeyam, S. (eds.). Springer, p. 395-404 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1970).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A scalable process-management environment for parallel programs

    Butler, R., Gropp, W. & Lusk, E., 2000, Recent Advances in Parallel Virtual Machine and Message Passing Interface - 7th European PVM/MPI Users’ Group Meeting, Proceedings. Dongarra, J., Kacsuk, P. & Podhorszki, N. (eds.). Springer, p. 168-175 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1908).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • From trace generation to visualization: A performance framework for distributed parallel systems

    Wu, C. E., Bolmarcich, A., Snir, M., Wootton, D., Parpia, F., Chan, A., Lusk, E. & Gropp, W., 2000, SC 2000 - Proceedings of the 2000 ACM/IEEE Conference on Supercomputing. Association for Computing Machinery, (Proceedings of the International Conference on Supercomputing; vol. 2000-November).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • MPICH-GQ: Quality-of-service for message passing programs

    Roy, A., Foster, I., Gropp, W., Karonis, N., Sander, V. & Toonen, B., 2000, SC 2000 - Proceedings of the 2000 ACM/IEEE Conference on Supercomputing. Association for Computing Machinery, (Proceedings of the International Conference on Supercomputing; vol. 2000-November).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Performance modeling and tuning of an unstructured mesh CFD application

    Gropp, W. D., Kaushik, D. K., Keyes, D. E. & Smith, B. F., 2000, SC 2000 - Proceedings of the 2000 ACM/IEEE Conference on Supercomputing. Association for Computing Machinery, (Proceedings of the International Conference on Supercomputing; vol. 2000-November).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Runtime checking of datatype signatures in MPI

    Gropp, W. D., 2000, Recent Advances in Parallel Virtual Machine and Message Passing Interface - 7th European PVM/MPI Users’ Group Meeting, Proceedings. Dongarra, J., Kacsuk, P. & Podhorszki, N. (eds.). Springer, p. 160-167 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1908).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1999

    Achieving high sustained performance in an unstructured mesh CFD application

    Anderson, W. K., Gropp, W. D., Kaushik, D. K., Keyes, D. E. & Smith, B. F., 1999, ACM/IEEE SC 1999 Conference, SC 1999. Institute of Electrical and Electronics Engineers Inc., p. 68 1 p. 1592711. (ACM/IEEE SC 1999 Conference, SC 1999).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A standard interface for debugger access to message queue information in MPI

    Cownie, J. & Gropp, W., Jan 1 1999, Recent Advances in ParallelVirtual Machine and Message Passing Interface - 6th European PVM/MPI Users’ Group Meeting, 1999, Proceedings. Dongarra, J., Luque, E. & Margalef, T. (eds.). Springer, p. 51-58 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1697).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Data sieving and collective I/O in ROMIO

    Thakur, R., Gropp, W. & Lusk, E., 1999, Proceedings - Frontiers 1999, 7th Symposium on the Frontiers of Massively Parallel Computation. Institute of Electrical and Electronics Engineers Inc., p. 182-189 8 p. 750599. (Proceedings - Frontiers 1999, 7th Symposium on the Frontiers of Massively Parallel Computation).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Reproducible measurements of MPI performance characteristics

    Gropp, W. & Lusk, E., 1999, Recent Advances in ParallelVirtual Machine and Message Passing Interface - 6th European PVM/MPI Users’ Group Meeting, 1999, Proceedings. Dongarra, J., Luque, E. & Margalef, T. (eds.). Springer, p. 11-18 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1697).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1998

    A case for using MPI's derived datatypes to improve I/O performance

    Thakur, R., Gropp, W. & Lusk, E., 1998, SC 1998 - Proceedings of the ACM/IEEE Conference on Supercomputing. Association for Computing Machinery, (Proceedings of the International Conference on Supercomputing; vol. 1998-November).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1997

    Performance driven programmimg models

    Gropp, W. D., 1997, Proceedings - 3rd Working Conference on Massively Parallel Programming Models, MPPM 1997. Institute of Electrical and Electronics Engineers Inc., p. 61-67 7 p. 715962. (Proceedings - 3rd Working Conference on Massively Parallel Programming Models, MPPM 1997).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Which comes first: The architecture or the algorithm?

    Gropp, W. D., 1997, Proceedings of the Innovative Architecture for Future Generation High-Performance Processors and Systems. Veidenbaum, A. & Joe, K. (eds.). IEEE Comp Soc, p. 13 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Why are PVM and MPI so different?

    Gropp, W. D. & Lusk, E., 1997, Recent Advances in Parallel Virtual Machine and Message Passing Interface - 4th European PVM/MPI Users Group Meeting, Proceedings. Bubak, M., Dongarra, J. & Wasniewśki, J. (eds.). Springer, p. 3-10 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1332).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1996

    An experimental evaluation of the parallel I/O systems of the IBM SP and Intel Paragon using a production application

    Thakur, R., Gropp, W. & Lusk, E., 1996, Parallel Computation - 3rd International ACPC Conference with Special Emphasis on Parallel Databases and Parallel I/O, Proceedings. Boszormenyi, L. (ed.). Springer, p. 24-35 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1127).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • MPI-2: Extending the Message-Passing interface

    Geist, A., Gropp, W., Huss-Lederman, S., Lumsdaine, A., Lusk, E., Saphir, W., Skjellum, T. & Snir, M., 1996, Euro-Par 1996 Parallel Processing - 2nd International Euro-Par Conference, Proceedings. Bouge, L., Fraigniaud, P., Mignotte, A., Robert, Y., Bouge, L., Fraigniaud, P., Mignotte, A. & Robert, Y. (eds.). Springer, p. 127-135 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1123).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1995

    Taxonomy of programming models for symmetric multiprocessors and SMP clusters

    Gropp, W. D. & Lusk, E. L., 1995, Proceedings of the International Conference on Programming Models for Massively Parallel Computers. IEEE, p. 2-7 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1994

    Implementing MPI: The 1994 MPI Implementors' Workshop

    Gropp, W. & Lusk, E., 1994, Proceedings - Scalable Parallel Libraries Conference, SPLC 1994. Institute of Electrical and Electronics Engineers Inc., p. 55-59 5 p. 377005. (Proceedings - Scalable Parallel Libraries Conference, SPLC 1994).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • MPE graphics-scalable X11 graphics in MPI

    Gropp, W., Karrels, E. & Lusk, E., 1994, Proceedings - Scalable Parallel Libraries Conference, SPLC 1994. Institute of Electrical and Electronics Engineers Inc., p. 49-54 6 p. 377006. (Proceedings - Scalable Parallel Libraries Conference, SPLC 1994).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Scalable libraries for solving systems of nonlinear equations and unconstrained minimization problems

    Gropp, W. D., McInnes, L. C. & Smith, B. F., 1994, Proceedings - Scalable Parallel Libraries Conference, SPLC 1994. Institute of Electrical and Electronics Engineers Inc., p. 60-67 8 p. 377004. (Proceedings - Scalable Parallel Libraries Conference, SPLC 1994).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution