The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ewing L. Lusk: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ewing L. Lusk, Ross A. Overbeek, Bruce D. Parrello
    A Practical Design Methodology for the Implementation of IMS Databases, Using the Entity-Relationship Model. [Citation Graph (15, 4)][DBLP]
    SIGMOD Conference, 1980, pp:9-21 [Conf]
  2. Ewing L. Lusk, Ross A. Overbeek
    A DML for Entity-Relationship Models. [Citation Graph (7, 0)][DBLP]
    ER, 1979, pp:445-462 [Conf]
  3. Ewing L. Lusk, Gene Petrie, Ross A. Overbeek
    Item Tracking Entity-Relationship Models. [Citation Graph (3, 5)][DBLP]
    ER, 1981, pp:213-233 [Conf]
  4. G. Margrave, Ewing L. Lusk, Ross A. Overbeek
    Tools for the Creation of IMS Database Designs from Entity-Relationship Diagrams. [Citation Graph (3, 6)][DBLP]
    ER, 1983, pp:501-515 [Conf]
  5. Bruce D. Parrello, Ross A. Overbeek, Ewing L. Lusk
    The Design of Entity-Relationship Models for General Ledger Systems. [Citation Graph (1, 0)][DBLP]
    Data Knowl. Eng., 1985, v:1, n:2, pp:155-180 [Journal]
  6. Rajeev Thakur, William Gropp, Ewing L. Lusk
    An Experimental Evaluation of the Parallel I/O Systems of the IBM SP and Intel Paragon Using a Production Application. [Citation Graph (0, 0)][DBLP]
    ACPC, 1996, pp:24-35 [Conf]
  7. Larry Wos, Ross A. Overbeek, Ewing L. Lusk
    Subsumption, a Sometimes Undervalued Procedure. [Citation Graph (0, 0)][DBLP]
    Computational Logic - Essays in Honor of Alan Robinson, 1991, pp:3-40 [Conf]
  8. Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek
    Paths to High-Performance Automated Theorem Proving. [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:588-597 [Conf]
  9. Ewing L. Lusk, William McCune
    Tutorial on High-Performance Automated Theorem Proving. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:681- [Conf]
  10. Ewing L. Lusk, William McCune, Ross A. Overbeek
    Logic Machine Architecture: Kernel Funtions. [Citation Graph (0, 0)][DBLP]
    CADE, 1982, pp:70-84 [Conf]
  11. Ewing L. Lusk, William McCune, Ross A. Overbeek
    Logic Machine Architecture: Inference Mechanisms. [Citation Graph (0, 0)][DBLP]
    CADE, 1982, pp:85-108 [Conf]
  12. Ewing L. Lusk, William McCune, Ross A. Overbeek
    ITP at Argonne National Laboratory. [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:697-698 [Conf]
  13. Ewing L. Lusk, William McCune, John K. Slaney
    ROO: A Parallel Theorem Prover. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:731-734 [Conf]
  14. Ewing L. Lusk, Ross A. Overbeek
    A Portable Environment for Research in Automated Reasoning. [Citation Graph (0, 0)][DBLP]
    CADE, 1984, pp:43-52 [Conf]
  15. Ewing L. Lusk, Larry Wos
    Benchmark Problems in Which Equality Plays the Major Role. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:781-785 [Conf]
  16. Ross A. Overbeek, Ewing L. Lusk
    Data Structures and Control Architectures for Implementation of Theorem-Proving Programs. [Citation Graph (0, 0)][DBLP]
    CADE, 1980, pp:232-249 [Conf]
  17. John K. Slaney, Ewing L. Lusk
    Parallelizing the Closure Computation in Automated Deduction. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:28-39 [Conf]
  18. John K. Slaney, Ewing L. Lusk, William McCune
    SCOTT: Semantically Constrained Otter System Description. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:764-768 [Conf]
  19. Larry Wos, S. Winker, William McCune, Ross A. Overbeek, Ewing L. Lusk, Rick L. Stevens, Ralph Butler
    Automated Reasoning Contributed to Mathematics and Logic. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:485-499 [Conf]
  20. William Gropp, Ewing L. Lusk
    Goals Guiding Design: PVM and MP. [Citation Graph (0, 0)][DBLP]
    CLUSTER, 2002, pp:257-265 [Conf]
  21. William D. Gropp, Ewing L. Lusk, Robert B. Ross, Rajeev Thakur
    Using MPI-2: Advanced Features of the Message Passing Interface. [Citation Graph (0, 0)][DBLP]
    CLUSTER, 2003, pp:- [Conf]
  22. Narayan Desai, Rick Bradshaw, Ewing L. Lusk, Ralf Butler
    Component-based cluster systems software architecture a case study. [Citation Graph (0, 0)][DBLP]
    CLUSTER, 2004, pp:319-326 [Conf]
  23. Ralph Butler, Narayan Desai, Andrew Lusk, Ewing L. Lusk
    The ProcessManagement Component of a Scalable Systems Software Environment. [Citation Graph (0, 0)][DBLP]
    CLUSTER, 2003, pp:190-198 [Conf]
  24. Ewing L. Lusk
    Programming with MPI on Clusters. [Citation Graph (0, 0)][DBLP]
    CLUSTER, 2001, pp:360-0 [Conf]
  25. Ewing L. Lusk
    MPI in 2002: Has it Been Ten Years Already? [Citation Graph (0, 0)][DBLP]
    CLUSTER, 2002, pp:435-435 [Conf]
  26. Ewing L. Lusk, William McCune
    Experiments with ROO: A Parallel Automated Deduction System. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:139-162 [Conf]
  27. Ewing L. Lusk, William McCune, John K. Slaney
    Parallel Closure-Based Automated Reasoning. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:347- [Conf]
  28. Al Geist, William Gropp, Steven Huss-Lederman, Andrew Lumsdaine, Ewing L. Lusk, William Saphir, Anthony Skjellum, Marc Snir
    MPI-2: Extending the Message-Passing Interface. [Citation Graph (0, 0)][DBLP]
    Euro-Par, Vol. I, 1996, pp:128-135 [Conf]
  29. Ewing L. Lusk, Ralph Butler, Terry Disz, Robert Olson, Ross A. Overbeek, Rick L. Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi, Per Brand, Mats Carlsson, Andrzej Ciepielewski, Bogumil Hausman
    The Aurora Or-Parallel Prolog System. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:819-830 [Conf]
  30. Ralph Butler, Alan L. Leveton, Ewing L. Lusk
    P4-Linda: A Portable Implementation of Linda. [Citation Graph (0, 0)][DBLP]
    HPDC, 1993, pp:50-58 [Conf]
  31. Brian R. Toonen, David Ashton, Ewing L. Lusk, Ian T. Foster, William Gropp, Edgar Gabriel, Ralph Butler, Nicholas T. Karonis
    Interfacing Parallel Jobs to Process Managers. [Citation Graph (0, 0)][DBLP]
    HPDC, 2001, pp:431-432 [Conf]
  32. Ralph Butler, Terry Disz, Ewing L. Lusk, Robert Olson, Ross A. Overbeek, Rick L. Stevens
    Scheduling OR-Parallelism: An Argonne Perspective. [Citation Graph (0, 0)][DBLP]
    ICLP/SLP, 1988, pp:1590-1605 [Conf]
  33. Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek
    Parallel Logic Programming for Numeric Applications. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:375-388 [Conf]
  34. Terry Disz, Ewing L. Lusk, Ross A. Overbeek
    Experiments with OR-Parallel Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1987, pp:576-600 [Conf]
  35. Ewing L. Lusk, Ross A. Overbeek, Shyam Mudambi, Péter Szeredi
    Applications of the Aurora Parallel Prolog System to Computational Molecular Biology. [Citation Graph (0, 0)][DBLP]
    IJCSLP Workshop on Concurrent and Parallel Implementations, 1992, pp:- [Conf]
  36. Rajeev Thakur, William Gropp, Ewing L. Lusk
    On Implementing MPI-IO Portably and with High Performance. [Citation Graph (0, 0)][DBLP]
    IOPADS, 1999, pp:23-32 [Conf]
  37. Narayan Desai, Andrew Lusk, Rick Bradshaw, Ewing L. Lusk
    MPISH: A Parallel Shell for MPI Programs. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2005, pp:- [Conf]
  38. Nicholas T. Karonis, Bronis R. de Supinski, Ian T. Foster, William Gropp, Ewing L. Lusk, John Bresnahan
    Exploiting Hierarchy in Parallel Computer Networks to Optimize Collective Operation Performance. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2000, pp:377-0 [Conf]
  39. Ewing L. Lusk
    Controlling Redundancy in Large Search Spaces: Argonne-Style Theorem Proving Through the Years. [Citation Graph (0, 0)][DBLP]
    LPAR, 1992, pp:96-106 [Conf]
  40. Ralph Butler, William Gropp, Ewing L. Lusk
    A Scalable Process-Management Environment for Parallel Programs. [Citation Graph (0, 0)][DBLP]
    PVM/MPI, 2000, pp:168-175 [Conf]
  41. Narayan Desai, Rick Bradshaw, Andrew Lusk, Ewing L. Lusk
    MPI Cluster System Software. [Citation Graph (0, 0)][DBLP]
    PVM/MPI, 2004, pp:277-286 [Conf]
  42. Narayan Desai, Ewing L. Lusk, Rick Bradshaw
    MPISH2: Unix Integration for MPI Programs. [Citation Graph (0, 0)][DBLP]
    PVM/MPI, 2005, pp:333-342 [Conf]
  43. Chris Falzone, Anthony Chan, Ewing L. Lusk, William Gropp
    Collective Error Detection for MPI Collective Operations. [Citation Graph (0, 0)][DBLP]
    PVM/MPI, 2005, pp:138-147 [Conf]
  44. Christopher Gottbrath, Brian Barrett, William D. Gropp, Ewing L. Lusk, Jeffrey M. Squyres
    An Interface to Support the Identification of Dynamic MPI 2 Processes for Scalable Parallel Debugging. [Citation Graph (0, 0)][DBLP]
    PVM/MPI, 2006, pp:115-122 [Conf]
  45. William Gropp, Ewing L. Lusk
    MPI on the Grid. [Citation Graph (0, 0)][DBLP]
    PVM/MPI, 2002, pp:12- [Conf]
  46. William Gropp, Ewing L. Lusk
    High-Level Programming in MPI. [Citation Graph (0, 0)][DBLP]
    PVM/MPI, 2003, pp:27- [Conf]
  47. William D. Gropp, Ewing L. Lusk
    Using MPI-2: A Problem-Based Approach. [Citation Graph (0, 0)][DBLP]
    PVM/MPI, 2005, pp:8- [Conf]
  48. William D. Gropp, Ewing L. Lusk
    Using MPI-2: A Problem-Based Approach. [Citation Graph (0, 0)][DBLP]
    PVM/MPI, 2006, pp:7- [Conf]
  49. William Gropp, Ewing L. Lusk
    Why Are PVM and MPI So Different? [Citation Graph (0, 0)][DBLP]
    PVM/MPI, 1997, pp:3-10 [Conf]
  50. William Gropp, Ewing L. Lusk
    Reproducible Measurements of MPI Performance Characteristics. [Citation Graph (0, 0)][DBLP]
    PVM/MPI, 1999, pp:11-18 [Conf]
  51. Ewing L. Lusk
    Isolating and Interfacing the Components of a Parallel Computing Environment. [Citation Graph (0, 0)][DBLP]
    PVM/MPI, 2000, pp:5-6 [Conf]
  52. Ewing L. Lusk
    Process Management for Scalable Parallel Programs. [Citation Graph (0, 0)][DBLP]
    PVM/MPI, 2002, pp:9- [Conf]
  53. Ewing L. Lusk
    Integrating Scalable Process Management into Component-Based Systems Software. [Citation Graph (0, 0)][DBLP]
    PVM/MPI, 2003, pp:16-22 [Conf]
  54. Ewing L. Lusk
    An Open Cluster System Software Stack. [Citation Graph (0, 0)][DBLP]
    PVM/MPI, 2004, pp:9- [Conf]
  55. Ewing L. Lusk
    Components of Systems Software for Parallel Systems. [Citation Graph (0, 0)][DBLP]
    PVM/MPI, 2005, pp:5- [Conf]
  56. Emil Ong, Ewing L. Lusk, William Gropp
    Scalable Unix Commands for Parallel Processors: A High-Performance Implementation. [Citation Graph (0, 0)][DBLP]
    PVM/MPI, 2001, pp:410-418 [Conf]
  57. Ching-Farn Eric Wu, Anthony Bolmarcich, Marc Snir, David Wootton, Farid Parpia, Anthony Chan, Ewing L. Lusk, William Gropp
    From Trace Generation to Visualization: A Performance Framework for Distributed Parallel Systems. [Citation Graph (0, 0)][DBLP]
    SC, 2000, pp:- [Conf]
  58. Alice E. Koniges, William Gropp, Ewing L. Lusk, David C. Eder
    M01 - Application supercomputing and multiscale simulation techniques. [Citation Graph (0, 0)][DBLP]
    SC, 2006, pp:215- [Conf]
  59. William Gropp, Ewing L. Lusk, Rajeev Thakur, Robert B. Ross
    S01 - Advanced MPI: I/O and one-sided communication. [Citation Graph (0, 0)][DBLP]
    SC, 2006, pp:202- [Conf]
  60. Terry Disz, Ewing L. Lusk
    A Graphical Tool for Observing the Behavior of Parallel Logic Programs. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:46-53 [Conf]
  61. Ewing L. Lusk, Shyam Mudambi, Ross A. Overbeek, Péter Szeredi
    Applications of the Aurora Parallel Prolog System to Computational Molecular Biology. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:353-369 [Conf]
  62. Olga Shumsky Matlin, Ewing L. Lusk, William McCune
    SPINning Parallel Systems Software. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:213-220 [Conf]
  63. Alan H. Karp, Ewing L. Lusk, David H. Bailey
    1997 Gordon Bell Prize Winners. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1998, v:31, n:, pp:86-92 [Journal]
  64. Ralph Butler, William Gropp, Ewing L. Lusk
    Components and Interfaces of a Process Management System for Parallel Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  65. Emil Ong, Ewing L. Lusk, William Gropp
    Scalable Unix Commands for Parallel Processors: A High-Performance Implementation [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  66. Nicholas T. Karonis, Bronis R. de Supinski, Ian T. Foster, William Gropp, Ewing L. Lusk
    A Multilevel Approach to Topology-Aware Collective Operations in Computational Grids [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  67. Rajeev Thakur, William Gropp, Ewing L. Lusk
    Optimizing Noncontiguous Accesses in MPI-IO [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  68. Olga Shumsky Matlin, Ewing L. Lusk, William McCune
    SPINning Parallel Systems Software [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  69. Olga Shumsky Matlin, William McCune, Ewing L. Lusk
    Methods to Model-Check Parallel Systems Software [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  70. William Gropp, Ewing L. Lusk
    Experiences with the IBM SP1. [Citation Graph (0, 0)][DBLP]
    IBM Systems Journal, 1995, v:34, n:2, pp:249-262 [Journal]
  71. Robert S. Boyer, Ewing L. Lusk, William McCune, Ross A. Overbeek, Mark E. Stickel, Larry Wos
    Set Theory in First-Order Logic: Clauses for Gödel's Axioms. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1986, v:2, n:3, pp:287-327 [Journal]
  72. Ewing L. Lusk, William McCune
    Uniform Strategies: The CADE-11 Theorem Proving Contest. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1993, v:11, n:3, pp:317-331 [Journal]
  73. Ewing L. Lusk, Ross A. Overbeek
    Non-Horn Problems. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1985, v:1, n:1, pp:103-114 [Journal]
  74. Ewing L. Lusk, Ross A. Overbeek
    Reasoning about Equality. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1985, v:1, n:2, pp:209-228 [Journal]
  75. Robert J. Harrison, Martyn F. Guest, Ricky A. Kendall, David E. Bernholdt, Adrian T. Wong, Mark Stave, James L. Anchell, Anthony C. Hess, Rik J. Littlefield, George L. Fann, Jarek Nieplocha, Greg S. Thomas, David Elwood, Jeffrey L. Tilson, Ron L. Shepard, Albert F. Wagner, Ian T. Foster, Ewing L. Lusk, Rick Stevens
    Toward high-performance computational chemistry: II. A scalable self-consistent field program. [Citation Graph (0, 0)][DBLP]
    Journal of Computational Chemistry, 1996, v:17, n:1, pp:124-132 [Journal]
  76. Ralph Butler, William Gropp, Ewing L. Lusk
    Components and interfaces of a process management system for parallel programs. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 2001, v:27, n:11, pp:1417-1429 [Journal]
  77. Ralph Butler, Ewing L. Lusk
    Monitors, Messages, and Clusters: The p4 Parallel Programming System. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 1994, v:20, n:4, pp:547-564 [Journal]
  78. Ian T. Foster, Jonathan Geisler, William Gropp, Nicholas T. Karonis, Ewing L. Lusk, George K. Thiruvathukal, Steven Tuecke
    Wide-Area Implementation of the Message Passing Interface. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 1998, v:24, n:12-13, pp:1735-1749 [Journal]
  79. William Gropp, Ewing L. Lusk
    A High-Performance MPI Implementation on a Shared-Memory Vector Supercomputer. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 1997, v:22, n:11, pp:1513-1526 [Journal]
  80. William Gropp, Ewing L. Lusk, Nathan E. Doss, Anthony Skjellum
    A High-Performance, Portable Implementation of the MPI Message Passing Interface Standard. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 1996, v:22, n:6, pp:789-828 [Journal]
  81. Rajeev Thakur, William Gropp, Ewing L. Lusk
    Optimizing noncontiguous accesses in MPI-IO. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 2002, v:28, n:1, pp:83-105 [Journal]
  82. William D. Gropp, Ewing L. Lusk
    Using MPI-2: A Problem-Based Approach. [Citation Graph (0, 0)][DBLP]
    PVM/MPI, 2007, pp:12- [Conf]
  83. Ewing L. Lusk
    New and Old Tools and Programming Models for High-Performance Computing. [Citation Graph (0, 0)][DBLP]
    PVM/MPI, 2007, pp:7- [Conf]

  84. An automated reasoning system. [Citation Graph (, )][DBLP]


  85. Hybrid parallel programming with MPI and unified parallel C. [Citation Graph (, )][DBLP]


  86. The computer as software component: A mechanism for developing and testing resource management software. [Citation Graph (, )][DBLP]


  87. CIFTS: A Coordinated Infrastructure for Fault-Tolerant Systems. [Citation Graph (, )][DBLP]


  88. Simulating Failures on Large-Scale Systems. [Citation Graph (, )][DBLP]


  89. Disparity: Scalable Anomaly Detection for Clusters. [Citation Graph (, )][DBLP]


  90. EuroPVM/MPI Full-Day Tutorial. Using MPI-2: A Problem-Based Approach. [Citation Graph (, )][DBLP]


  91. Non-data-communication Overheads in MPI: Analysis on Blue Gene/P. [Citation Graph (, )][DBLP]


  92. MPI on a Million Processors. [Citation Graph (, )][DBLP]


  93. Using MPI to Implement Scalable Libraries. [Citation Graph (, )][DBLP]


  94. Processing MPI Datatypes Outside MPI. [Citation Graph (, )][DBLP]


  95. Early Experiments with the OpenMP/MPI Hybrid Programming Model. [Citation Graph (, )][DBLP]


  96. DARPA's HPCS Program- History, Models, Tools, Languages. [Citation Graph (, )][DBLP]


Search in 0.023secs, Finished in 0.030secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002