Search the dblp DataBase
Ewing L. Lusk :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] Ewing L. Lusk , Ross A. Overbeek A DML for Entity-Relationship Models. [Citation Graph (7, 0)][DBLP ] ER, 1979, pp:445-462 [Conf ] Ewing L. Lusk , Gene Petrie , Ross A. Overbeek Item Tracking Entity-Relationship Models. [Citation Graph (3, 5)][DBLP ] ER, 1981, pp:213-233 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] Ewing L. Lusk , William McCune Tutorial on High-Performance Automated Theorem Proving. [Citation Graph (0, 0)][DBLP ] CADE, 1990, pp:681- [Conf ] Ewing L. Lusk , William McCune , Ross A. Overbeek Logic Machine Architecture: Kernel Funtions. [Citation Graph (0, 0)][DBLP ] CADE, 1982, pp:70-84 [Conf ] Ewing L. Lusk , William McCune , Ross A. Overbeek Logic Machine Architecture: Inference Mechanisms. [Citation Graph (0, 0)][DBLP ] CADE, 1982, pp:85-108 [Conf ] Ewing L. Lusk , William McCune , Ross A. Overbeek ITP at Argonne National Laboratory. [Citation Graph (0, 0)][DBLP ] CADE, 1986, pp:697-698 [Conf ] Ewing L. Lusk , William McCune , John K. Slaney ROO: A Parallel Theorem Prover. [Citation Graph (0, 0)][DBLP ] CADE, 1992, pp:731-734 [Conf ] 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 ] 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 ] 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 ] John K. Slaney , Ewing L. Lusk Parallelizing the Closure Computation in Automated Deduction. [Citation Graph (0, 0)][DBLP ] CADE, 1990, pp:28-39 [Conf ] 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 ] 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 ] William Gropp , Ewing L. Lusk Goals Guiding Design: PVM and MP. [Citation Graph (0, 0)][DBLP ] CLUSTER, 2002, pp:257-265 [Conf ] 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 ] 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 ] 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 ] Ewing L. Lusk Programming with MPI on Clusters. [Citation Graph (0, 0)][DBLP ] CLUSTER, 2001, pp:360-0 [Conf ] Ewing L. Lusk MPI in 2002: Has it Been Ten Years Already? [Citation Graph (0, 0)][DBLP ] CLUSTER, 2002, pp:435-435 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] William Gropp , Ewing L. Lusk MPI on the Grid. [Citation Graph (0, 0)][DBLP ] PVM/MPI, 2002, pp:12- [Conf ] William Gropp , Ewing L. Lusk High-Level Programming in MPI. [Citation Graph (0, 0)][DBLP ] PVM/MPI, 2003, pp:27- [Conf ] William D. Gropp , Ewing L. Lusk Using MPI-2: A Problem-Based Approach. [Citation Graph (0, 0)][DBLP ] PVM/MPI, 2005, pp:8- [Conf ] William D. Gropp , Ewing L. Lusk Using MPI-2: A Problem-Based Approach. [Citation Graph (0, 0)][DBLP ] PVM/MPI, 2006, pp:7- [Conf ] William Gropp , Ewing L. Lusk Why Are PVM and MPI So Different? [Citation Graph (0, 0)][DBLP ] PVM/MPI, 1997, pp:3-10 [Conf ] William Gropp , Ewing L. Lusk Reproducible Measurements of MPI Performance Characteristics. [Citation Graph (0, 0)][DBLP ] PVM/MPI, 1999, pp:11-18 [Conf ] 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 ] Ewing L. Lusk Process Management for Scalable Parallel Programs. [Citation Graph (0, 0)][DBLP ] PVM/MPI, 2002, pp:9- [Conf ] Ewing L. Lusk Integrating Scalable Process Management into Component-Based Systems Software. [Citation Graph (0, 0)][DBLP ] PVM/MPI, 2003, pp:16-22 [Conf ] Ewing L. Lusk An Open Cluster System Software Stack. [Citation Graph (0, 0)][DBLP ] PVM/MPI, 2004, pp:9- [Conf ] Ewing L. Lusk Components of Systems Software for Parallel Systems. [Citation Graph (0, 0)][DBLP ] PVM/MPI, 2005, pp:5- [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Olga Shumsky Matlin , Ewing L. Lusk , William McCune SPINning Parallel Systems Software. [Citation Graph (0, 0)][DBLP ] SPIN, 2002, pp:213-220 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] Olga Shumsky Matlin , Ewing L. Lusk , William McCune SPINning Parallel Systems Software [Citation Graph (0, 0)][DBLP ] CoRR, 2002, v:0, n:, pp:- [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] William D. Gropp , Ewing L. Lusk Using MPI-2: A Problem-Based Approach. [Citation Graph (0, 0)][DBLP ] PVM/MPI, 2007, pp:12- [Conf ] 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 ] An automated reasoning system. [Citation Graph (, )][DBLP ] Hybrid parallel programming with MPI and unified parallel C. [Citation Graph (, )][DBLP ] The computer as software component: A mechanism for developing and testing resource management software. [Citation Graph (, )][DBLP ] CIFTS: A Coordinated Infrastructure for Fault-Tolerant Systems. [Citation Graph (, )][DBLP ] Simulating Failures on Large-Scale Systems. [Citation Graph (, )][DBLP ] Disparity: Scalable Anomaly Detection for Clusters. [Citation Graph (, )][DBLP ] EuroPVM/MPI Full-Day Tutorial. Using MPI-2: A Problem-Based Approach. [Citation Graph (, )][DBLP ] Non-data-communication Overheads in MPI: Analysis on Blue Gene/P. [Citation Graph (, )][DBLP ] MPI on a Million Processors. [Citation Graph (, )][DBLP ] Using MPI to Implement Scalable Libraries. [Citation Graph (, )][DBLP ] Processing MPI Datatypes Outside MPI. [Citation Graph (, )][DBLP ] Early Experiments with the OpenMP/MPI Hybrid Programming Model. [Citation Graph (, )][DBLP ] DARPA's HPCS Program- History, Models, Tools, Languages. [Citation Graph (, )][DBLP ] Search in 0.006secs, Finished in 0.011secs