default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEwing L. Lusk
Person information
- affiliation: Argonne National Laboratory, Lemont, Illinois, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2018
[j38]Ewing L. Lusk, Ralph Butler, Steven C. Pieper:
Evolution of a minimal parallel programming model. Int. J. High Perform. Comput. Appl. 32(1): 4-13 (2018)- 2014
- [b4]William D. Gropp, Ewing L. Lusk, Anthony Skjellum:
Using MPI - Portable Parallel Programming with the Message-Passing Interface, 3rd Edition. Scientific and engineering computation, MIT Press 2014, ISBN 978-0-262-52739-2, pp. I-XXIV, 1-308 - 2013
- [j37]Scott Bogner
, Aurel Bulgac, Joseph A. Carlson, Jonathan Engel, George L. Fann, Richard J. Furnstahl, Stefano Gandolfi, Gaute Hagen, Mihai Horoi, Calvin W. Johnson, Markus Kortelainen, Ewing L. Lusk, Pieter Maris, Hai Ah Nam, Petr Navratil, Witold Nazarewicz, Esmond G. Ng, Gustavo P. A. Nobre, W. Erich Ormand, Thomas Papenbrock, Junchen Pei, Steven C. Pieper, Sofia Quaglioni, Kenneth J. Roche, Jason Sarich, Nicolas Schunck, Masha Sosonkina, Jun Terasaki, Ian J. Thompson, James P. Vary, Stefan M. Wild:
Computational nuclear quantum many-body problem: The UNEDF project. Comput. Phys. Commun. 184(10): 2235-2250 (2013) - [j36]Justin M. Wozniak, Timothy G. Armstrong, Ketan Maheshwari, Ewing L. Lusk, Daniel S. Katz, Michael Wilde, Ian T. Foster:
Turbine: A Distributed-memory Dataflow Engine for High Performance Many-task Applications. Fundam. Informaticae 128(3): 337-366 (2013) - [c85]Justin M. Wozniak, Timothy G. Armstrong, Michael Wilde, Daniel S. Katz, Ewing L. Lusk, Ian T. Foster:
Swift/T: Large-Scale Application Composition via Distributed-Memory Dataflow Processing. CCGRID 2013: 95-102 - [c84]Justin M. Wozniak, Timothy G. Armstrong, Michael Wilde, Daniel S. Katz, Ewing L. Lusk, Ian T. Foster:
Swift/T: scalable data flow programming for many-task applications. PPoPP 2013: 309-310 - [c83]Justin M. Wozniak, Tom Peterka, Timothy G. Armstrong, James Dinan, Ewing L. Lusk, Michael Wilde, Ian T. Foster:
Dataflow coordination of data-parallel tasks via MPI 3.0. EuroMPI 2013: 1-6 - 2012
- [c82]William Gropp, Ewing L. Lusk, Rajeev Thakur:
Advanced MPI Including New MPI-3 Features. EuroMPI 2012: 14 - [c81]Justin M. Wozniak, Timothy G. Armstrong, Ketan Maheshwari, Ewing L. Lusk, Daniel S. Katz, Michael Wilde, Ian T. Foster:
Turbine: a distributed-memory dataflow engine for extreme-scale many-task applications. SWEET@SIGMOD 2012: 5 - 2011
- [j35]Ganesh Gopalakrishnan, Robert M. Kirby, Stephen F. Siegel, Rajeev Thakur, William Gropp, Ewing L. Lusk, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky:
Formal analysis of MPI-based parallel programs. Commun. ACM 54(12): 82-91 (2011) - [j34]Pavan Balaji, Darius Buntinas, David Goodell, William Gropp, Torsten Hoefler, Sameer Kumar, Ewing L. Lusk, Rajeev Thakur, Jesper Larsson Träff:
Mpi on millions of Cores. Parallel Process. Lett. 21(1): 45-60 (2011) - 2010
- [j33]Pavan Balaji, Wu-chun Feng, Heshan Lin, Jeremy S. Archuleta, Satoshi Matsuoka, Andrew S. Warren, João Carlos Setubal, Ewing L. Lusk, Rajeev Thakur, Ian T. Foster, Daniel S. Katz, Shantenu Jha, K. Shinpaugh, Susan Coghlan, Daniel A. Reed:
Global-scale distributed I/O with ParaMEDIC. Concurr. Comput. Pract. Exp. 22(16): 2266-2281 (2010) - [j32]Pavan Balaji, Anthony Chan, William Gropp, Rajeev Thakur, Ewing L. Lusk:
The Importance of Non-Data-Communication Overheads in MPI. Int. J. High Perform. Comput. Appl. 24(1): 5-15 (2010) - [c80]James Dinan, Pavan Balaji, Ewing L. Lusk, P. Sadayappan, Rajeev Thakur:
Hybrid parallel programming with MPI and unified parallel C. Conf. Computing Frontiers 2010: 177-186 - [c79]Pavan Balaji, Darius Buntinas, David Goodell, William Gropp, Jayesh Krishna, Ewing L. Lusk, Rajeev Thakur:
PMI: A Scalable Parallel Process-Management Interface for Extreme-Scale Systems. EuroMPI 2010: 31-41 - [c78]Jayesh Krishna, Pavan Balaji, Ewing L. Lusk, Rajeev Thakur, Fabian Tiller:
Implementing MPI on Windows: Comparison with Common Approaches on Unix. EuroMPI 2010: 160-169
2000 – 2009
- 2009
- [j31]Pavan Balaji, Anthony Chan, Rajeev Thakur, William Gropp, Ewing L. Lusk:
Toward message passing for a million processes: characterizing MPI on a massive scale blue gene/P. Comput. Sci. Res. Dev. 24(1-2): 11-19 (2009) - [j30]Ewing L. Lusk:
Slouching Towards Exascale. Int. J. High Perform. Comput. Appl. 23(4): 337-339 (2009) - [c77]Rinku Gupta, Peter H. Beckman, Byung-Hoon Park, Ewing L. Lusk, Paul Hargrove, Al Geist, Dhabaleswar K. Panda, Andrew Lumsdaine, Jack J. Dongarra:
CIFTS: A Coordinated Infrastructure for Fault-Tolerant Systems. ICPP 2009: 237-245 - [c76]Ewing L. Lusk:
Using MPI to Implement Scalable Libraries. PVM/MPI 2009: 6 - [c75]Pavan Balaji, Darius Buntinas, David Goodell, William Gropp, Sameer Kumar, Ewing L. Lusk, Rajeev Thakur, Jesper Larsson Träff:
MPI on a Million Processors. PVM/MPI 2009: 20-30 - [c74]Robert B. Ross, Robert Latham, William Gropp, Ewing L. Lusk, Rajeev Thakur:
Processing MPI Datatypes Outside MPI. PVM/MPI 2009: 42-53 - 2008
- [j29]Jack J. Dongarra, Robert B. Graybill, William J. Harrod, Robert F. Lucas, Ewing L. Lusk, Piotr Luszczek, Janice McMahon, Allan Snavely, Jeffrey S. Vetter, Katherine A. Yelick, Sadaf R. Alam, Roy L. Campbell, Laura Carrington, Tzu-Yi Chen, Omid Khalili, Jeremy S. Meredith, Mustafa M. Tikir:
DARPA's HPCS Program- History, Models, Tools, Languages. Adv. Comput. 72: 1-100 (2008) - [j28]Anthony Chan, William Gropp, Ewing L. Lusk:
An efficient format for nearly constant-time access to arbitrary time intervals in large trace files. Sci. Program. 16(2-3): 155-165 (2008) - [c73]Narayan Desai, Ewing L. Lusk, Daniel Buettner, Andrew Cherry, Theron Voran:
Simulating Failures on Large-Scale Systems. ICPP Workshops 2008: 103-108 - [c72]Narayan Desai, Rick Bradshaw, Ewing L. Lusk:
Disparity: Scalable Anomaly Detection for Clusters. ICPP Workshops 2008: 116-120 - [c71]Ewing L. Lusk, Anthony Chan:
Early Experiments with the OpenMP/MPI Hybrid Programming Model. IWOMP 2008: 36-47 - [c70]William Gropp, Ewing L. Lusk:
EuroPVM/MPI Full-Day Tutorial. Using MPI-2: A Problem-Based Approach. PVM/MPI 2008: 12 - [c69]Pavan Balaji, Anthony Chan, William Gropp, Rajeev Thakur, Ewing L. Lusk:
Non-data-communication Overheads in MPI: Analysis on Blue Gene/P. PVM/MPI 2008: 13-22 - 2007
- [b3]William D. Gropp, Ewing L. Lusk, Anthony Skjellum:
MPI - eine Einführung: portable parallele Programmierung mit dem Message-Passing Interface. Oldenbourg 2007, pp. I-XX, 1-367 - [j27]Christopher Falzone, Anthony Chan, Ewing L. Lusk, William Gropp:
A Portable Method for Finding User Errors in the Usage of MPI Collective Operations. Int. J. High Perform. Comput. Appl. 21(2): 155-165 (2007) - [j26]Narayan Desai, Ewing L. Lusk, Rick Bradshaw:
A Composition Environment for MPI Programs. Int. J. High Perform. Comput. Appl. 21(2): 166-173 (2007) - [j25]Ewing L. Lusk, Katherine A. Yelick:
Languages for High-Productivity Computing: the DARPA HPCS Language Project. Parallel Process. Lett. 17(1): 89-102 (2007) - [c68]Narayan Desai, Theron Voran, Ewing L. Lusk, Andrew Cherry:
The computer as software component: A mechanism for developing and testing resource management software. CLUSTER 2007: 58-63 - [c67]Ewing L. Lusk:
New and Old Tools and Programming Models for High-Performance Computing. PVM/MPI 2007: 7 - [c66]William D. Gropp, Ewing L. Lusk:
Using MPI-2: A Problem-Based Approach. PVM/MPI 2007: 12 - 2006
- [j24]Ewing L. Lusk, Narayan Desai, Rick Bradshaw, Andrew Lusk, Ralph Butler:
An Interoperability Approach to System Software, Tools, and Libraries for Clusters. Int. J. High Perform. Comput. Appl. 20(3): 401-407 (2006) - [c65]William D. Gropp, Ewing L. Lusk:
Using MPI-2: A Problem-Based Approach. PVM/MPI 2006: 7 - [c64]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. PVM/MPI 2006: 115-122 - [c63]William Gropp, Ewing L. Lusk, Rajeev Thakur, Robert B. Ross:
S01 - Advanced MPI: I/O and one-sided communication. SC 2006: 202 - [c62]Alice E. Koniges, William Gropp, Ewing L. Lusk, David C. Eder:
M01 - Application supercomputing and multiscale simulation techniques. SC 2006: 215 - 2005
- [c61]Narayan Desai, Andrew Lusk, Rick Bradshaw, Ewing L. Lusk:
MPISH: A Parallel Shell for MPI Programs. IPDPS 2005 - [c60]Ewing L. Lusk:
Components of Systems Software for Parallel Systems. PVM/MPI 2005: 5 - [c59]William D. Gropp, Ewing L. Lusk:
Using MPI-2: A Problem-Based Approach. PVM/MPI 2005: 8 - [c58]Christopher Falzone, Anthony Chan, Ewing L. Lusk, William Gropp:
Collective Error Detection for MPI Collective Operations. PVM/MPI 2005: 138-147 - [c57]Narayan Desai, Ewing L. Lusk, Rick Bradshaw:
MPISH2: Unix Integration for MPI Programs. PVM/MPI 2005: 333-342 - 2004
- [j23]William Gropp, Ewing L. Lusk:
Fault Tolerance in Message Passing Interface Programs. Int. J. High Perform. Comput. Appl. 18(3): 363-372 (2004) - [c56]Narayan Desai, Rick Bradshaw, Ewing L. Lusk, Ralf Butler:
Component-based cluster systems software architecture a case study. CLUSTER 2004: 319-326 - [c55]Ewing L. Lusk:
An Open Cluster System Software Stack. PVM/MPI 2004: 9 - [c54]Narayan Desai, Rick Bradshaw, Andrew Lusk, Ewing L. Lusk:
MPI Cluster System Software. PVM/MPI 2004: 277-286 - 2003
- [c53]Ralph Butler, Narayan Desai, Andrew Lusk, Ewing L. Lusk:
The ProcessManagement Component of a Scalable Systems Software Environment. CLUSTER 2003: 190-198 - [c52]William D. Gropp, Ewing L. Lusk, Robert B. Ross, Rajeev Thakur:
Using MPI-2: Advanced Features of the Message Passing Interface. CLUSTER 2003 - [c51]Ewing L. Lusk:
Integrating Scalable Process Management into Component-Based Systems Software. PVM/MPI 2003: 16-22 - [c50]William Gropp, Ewing L. Lusk:
High-Level Programming in MPI. PVM/MPI 2003: 27 - [i6]Rajeev Thakur, William Gropp, Ewing L. Lusk:
Optimizing Noncontiguous Accesses in MPI-IO. CoRR cs.DC/0310029 (2003) - [i5]Olga Shumsky Matlin, William McCune, Ewing L. Lusk:
Methods to Model-Check Parallel Systems Software. CoRR cs.LO/0312012 (2003) - 2002
- [j22]Rajeev Thakur, William Gropp, Ewing L. Lusk:
Optimizing noncontiguous accesses in MPI-IO. Parallel Comput. 28(1): 83-105 (2002) - [c49]William Gropp, Ewing L. Lusk:
Goals Guiding Design: PVM and MP. CLUSTER 2002: 257-265 - [c48]Ewing L. Lusk:
MPI in 2002: Has it Been Ten Years Already? CLUSTER 2002: 435 - [c47]Ewing L. Lusk:
Process Management for Scalable Parallel Programs. PVM/MPI 2002: 9 - [c46]William Gropp, Ewing L. Lusk:
MPI on the Grid. PVM/MPI 2002: 12 - [c45]Olga Shumsky Matlin, Ewing L. Lusk, William McCune:
SPINning Parallel Systems Software. SPIN 2002: 213-220 - [i4]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. CoRR cs.DC/0206038 (2002) - [i3]Olga Shumsky Matlin, Ewing L. Lusk, William McCune:
SPINning Parallel Systems Software. CoRR cs.LO/0203009 (2002) - 2001
- [j21]Ralph Butler, William Gropp, Ewing L. Lusk:
Components and interfaces of a process management system for parallel programs. Parallel Comput. 27(11): 1417-1429 (2001) - [c44]Ewing L. Lusk:
Programming with MPI on Clusters. CLUSTER 2001: 360- - [c43]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. HPDC 2001: 431-432 - [c42]Emil Ong, Ewing L. Lusk, William Gropp:
Scalable Unix Commands for Parallel Processors: A High-Performance Implementation. PVM/MPI 2001: 410-418 - [i2]Ralph Butler, William Gropp, Ewing L. Lusk:
Components and Interfaces of a Process Management System for Parallel Programs. CoRR cs.DC/0102017 (2001) - [i1]Emil Ong, Ewing L. Lusk, William Gropp:
Scalable Unix Commands for Parallel Processors: A High-Performance Implementation. CoRR cs.DC/0108019 (2001) - 2000
- [j20]Robert Rosner, Alan C. Calder, Jonathan Dursi, Bruce Fryxell, Donald Q. Lamb, Jens C. Niemeyer, Kevin Olson, Paul M. Ricker, Frank X. Timmes, James W. Truran, Henry M. Tufo, Yuan-Nan Young, Michael Zingale, Ewing L. Lusk, Rick Stevens:
Flash code: studying astrophysical thermonuclear flashes. Comput. Sci. Eng. 2(2): 33-41 (2000) - [c41]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. IPDPS 2000: 377-384 - [c40]Ewing L. Lusk:
Isolating and Interfacing the Components of a Parallel Computing Environment. PVM/MPI 2000: 5-6 - [c39]Ralph Butler, William Gropp, Ewing L. Lusk:
A Scalable Process-Management Environment for Parallel Programs. PVM/MPI 2000: 168-175 - [c38]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. SC 2000: 50
1990 – 1999
- 1999
- [b2]William D. Gropp, Ewing L. Lusk, Anthony Skjellum:
Using MPI: portable parallel programming with the message-passing interface, 2nd Edition. Scientific and engineering computation series, MIT Press 1999, ISBN 026257134X, pp. I-XXII, 1-371 - [j19]Omer Zaki, Ewing L. Lusk, William Gropp, Deborah Swider:
Toward Scalable Performance Visualization with Jumpshot. Int. J. High Perform. Comput. Appl. 13(3): 277-288 (1999) - [c37]Rajeev Thakur, William Gropp, Ewing L. Lusk:
On Implementing MPI-IO Portably and with High Performance. IOPADS 1999: 23-32 - [c36]William Gropp, Ewing L. Lusk:
Reproducible Measurements of MPI Performance Characteristics. PVM/MPI 1999: 11-18 - 1998
- [j18]Alan H. Karp, Ewing L. Lusk, David H. Bailey:
1997 Gordon Bell Prize Winners. Computer 31: 86-92 (1998) - [j17]Rajeev Thakur, Ewing L. Lusk, William Gropp:
I/O in Parallel Applications: the Weakest Link. Int. J. High Perform. Comput. Appl. 12(4): 389-395 (1998) - [j16]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. Parallel Comput. 24(12-13): 1735-1749 (1998) - [c35]Rajeev Thakur, William Gropp, Ewing L. Lusk:
A Case for Using MPI's Derived Datatypes to Improve I/O Performance. SC 1998: 1 - 1997
- [j15]William Gropp, Ewing L. Lusk:
Sowing Mpich: a Case Study in the Dissemination of a Portable Environment for Parallel Scientific Computing. Int. J. High Perform. Comput. Appl. 11(2): 103-114 (1997) - [j14]William Gropp, Ewing L. Lusk:
A High-Performance MPI Implementation on a Shared-Memory Vector Supercomputer. Parallel Comput. 22(11): 1513-1526 (1997) - [c34]William Gropp, Ewing L. Lusk:
Why Are PVM and MPI So Different? PVM/MPI 1997: 3-10 - 1996
- [j13]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. J. Comput. Chem. 17(1): 124-132 (1996) - [j12]William Gropp, Ewing L. Lusk, Nathan E. Doss, Anthony Skjellum:
A High-Performance, Portable Implementation of the MPI Message Passing Interface Standard. Parallel Comput. 22(6): 789-828 (1996) - [c33]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. ACPC 1996: 24-35 - [c32]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. Euro-Par, Vol. I 1996: 128-135 - 1995
- [j11]William Gropp, Ewing L. Lusk:
Experiences with the IBM SP1. IBM Syst. J. 34(2): 249-262 (1995) - [j10]Anthony Skjellum, Ewing L. Lusk, William Gropp:
Early Applications in the Message-Passing Interface (Mpi). Int. J. High Perform. Comput. Appl. 9(2): 79-94 (1995) - [c31]William Gropp, Ewing L. Lusk:
Dynamic process management in an MPI setting. SPDP 1995: 530-533 - 1994
- [b1]William D. Gropp, Ewing L. Lusk, Anthony Skjellum:
Using MPI - portable parallel programming with the message-parsing interface. MIT Press 1994, ISBN 978-0-262-57104-3, pp. I-XX, 1-307 - [j9]Ralph Butler, Ewing L. Lusk:
Monitors, Messages, and Clusters: The p4 Parallel Programming System. Parallel Comput. 20(4): 547-564 (1994) - [c30]John K. Slaney, Ewing L. Lusk, William McCune:
SCOTT: Semantically Constrained Otter System Description. CADE 1994: 764-768 - 1993
- [j8]Ewing L. Lusk:
Commentary - Speedups and Insights. INFORMS J. Comput. 5(1): 24-25 (1993) - [j7]Ewing L. Lusk, William McCune:
Uniform Strategies: The CADE-11 Theorem Proving Contest. J. Autom. Reason. 11(3): 317-331 (1993) - [c29]Ralph Butler, Alan L. Leveton, Ewing L. Lusk:
P4-Linda: A Portable Implementation of Linda. HPDC 1993: 50-58 - [c28]Ewing L. Lusk, Shyam Mudambi, Ross A. Overbeek, Péter Szeredi:
Applications of the Aurora Parallel Prolog System to Computational Molecular Biology. ILPS 1993: 353-369 - 1992
- [c27]Ewing L. Lusk, William McCune, John K. Slaney:
ROO: A Parallel Theorem Prover. CADE 1992: 731-734 - [c26]Ewing L. Lusk, Larry Wos:
Benchmark Problems in Which Equality Plays the Major Role. CADE 1992: 781-785 - [c25]Ewing L. Lusk, Ross A. Overbeek, Shyam Mudambi, Péter Szeredi:
Applications of the Aurora Parallel Prolog System to Computational Molecular Biology. IJCSLP Workshop on Concurrent and Parallel Implementations 1992 - [c24]Ewing L. Lusk:
Controlling Redundancy in Large Search Spaces: Argonne-Style Theorem Proving Through the Years. LPAR 1992: 96-106 - 1991
- [c23]Larry Wos, Ross A. Overbeek, Ewing L. Lusk:
Subsumption, a Sometimes Undervalued Procedure. Computational Logic - Essays in Honor of Alan Robinson 1991: 3-40 - 1990
- [j6]Ewing L. Lusk, Ralph Butler, Terrence Disz, Robert Olson, Ross A. Overbeek, Rick Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi:
The Aurora or-parallel Prolog system. New Gener. Comput. 7(2-3): 243-271 (1990) - [c22]John K. Slaney, Ewing L. Lusk:
Parallelizing the Closure Computation in Automated Deduction. CADE 1990: 28-39 - [c21]Larry Wos, Steve Winker, William McCune, Ross A. Overbeek, Ewing L. Lusk, Rick L. Stevens, Ralph Butler:
Automated Reasoning Contributed to Mathematics and Logic. CADE 1990: 485-499 - [c20]Ewing L. Lusk, William McCune:
Tutorial on High-Performance Automated Theorem Proving. CADE 1990: 681 - [c19]Ewing L. Lusk, William McCune:
Experiments with ROO: A Parallel Automated Deduction System. Dagstuhl Seminar on Parallelization in Inference Systems 1990: 139-162 - [c18]Ewing L. Lusk, William McCune, John K. Slaney:
Parallel Closure-Based Automated Reasoning. Dagstuhl Seminar on Parallelization in Inference Systems 1990: 347
1980 – 1989
- 1989
- [e2]Ewing L. Lusk, Ross A. Overbeek:
Logic Programming, Proceedings of the North American Conference 1989, Cleveland, Ohio, USA, October 16-20, 1989. 2 Volumes. MIT Press 1989, ISBN 0-262-62064-2 [contents] - 1988
- [c17]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. FGCS 1988: 819-830 - [c16]Ralph Butler, Terry Disz, Ewing L. Lusk, Robert Olson, Ross A. Overbeek, Rick L. Stevens:
Scheduling OR-Parallelism: An Argonne Perspective. ICLP/SLP 1988: 1590-1605 - [e1]Ewing L. Lusk, Ross A. Overbeek:
9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings. Lecture Notes in Computer Science 310, Springer 1988, ISBN 3-540-19343-X [contents] - 1987
- [c15]Terry Disz, Ewing L. Lusk, Ross A. Overbeek:
Experiments with OR-Parallel Logic Programs. ICLP 1987: 576-600 - [c14]Terry Disz, Ewing L. Lusk:
A Graphical Tool for Observing the Behavior of Parallel Logic Programs. SLP 1987: 46-53 - 1986
- [j5]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. J. Autom. Reason. 2(3): 287-327 (1986) - [c13]Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek:
Paths to High-Performance Automated Theorem Proving. CADE 1986: 588-597 - [c12]Ewing L. Lusk, William McCune, Ross A. Overbeek:
ITP at Argonne National Laboratory. CADE 1986: 697-698 - [c11]Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek:
Parallel Logic Programming for Numeric Applications. ICLP 1986: 375-388 - 1985
- [j4]Bruce D. Parrello, Ross A. Overbeek, Ewing L. Lusk:
The Design of Entity-Relationship Models for General Ledger Systems. Data Knowl. Eng. 1(2): 155-180 (1985) - [j3]Ewing L. Lusk, Ross A. Overbeek:
Non-Horn Problems. J. Autom. Reason. 1(1): 103-114 (1985) - [j2]Ewing L. Lusk, Ross A. Overbeek:
Reasoning about Equality. J. Autom. Reason. 1(2): 209-228 (1985) - [j1]J. A. Clausing, Ray Hagstrom, Ewing L. Lusk, Ross A. Overbeek:
A technique for achieving portability among multiprocessors: Implementation on the Lemur. Parallel Comput. 2(2): 137-162 (1985) - 1984
- [c10]Ewing L. Lusk, Ross A. Overbeek:
A Portable Environment for Research in Automated Reasoning. CADE 1984: 43-52 - 1983
- [c9]G. Margrave, Ewing L. Lusk, Ross A. Overbeek:
Tools for the Creation of IMS Database Designs from Entity-Relationship Diagrams. ER 1983: 501-515 - 1982
- [c8]Ewing L. Lusk, William McCune, Ross A. Overbeek:
Logic Machine Architecture: Kernel Funtions. CADE 1982: 70-84 - [c7]Ewing L. Lusk, William McCune, Ross A. Overbeek:
Logic Machine Architecture: Inference Mechanisms. CADE 1982: 85-108 - 1981
- [c6]Larry Wos, Steven K. Winker, Ewing L. Lusk:
An automated reasoning system. AFIPS National Computer Conference 1981: 697-702 - [c5]Ewing L. Lusk, Gene Petrie, Ross A. Overbeek:
Item Tracking Entity-Relationship Models. ER 1981: 213-233 - 1980
- [c4]Ross A. Overbeek, Ewing L. Lusk:
Data Structures and Control Architectures for Implementation of Theorem-Proving Programs. CADE 1980: 232-249 - [c3]Ewing L. Lusk, Ross A. Overbeek, Bruce D. Parrello:
A Practical Design Methodology for the Implementation of IMS Databases, Using the Entity-Relationship Model. SIGMOD Conference 1980: 9-21
1970 – 1979
- 1979
- [c2]Ewing L. Lusk, Ross A. Overbeek:
A DML for Entity-Relationship Models. ER 1979: 445-462 - 1977
- [c1]Ewing L. Lusk:
An advanced undergraduate course in applied computer science. SIGCSE-2 1977: 28-29
Coauthor Index
Ralph M. Butler
aka: Ralph Butler
aka: Ralph Butler
William Gropp
aka: William D. Gropp
aka: William D. Gropp
[b4] [c82] [j35] [j34] [j32] [c79] [j31] [c75] [c74] [j28] [c70] [c69] [b3] [j27] [c66] [c65] [c64] [c63] [c62] [c59] [c58] [j23] [c52] [c50] [i6] [j22] [c49] [c46] [i4] [j21] [c43] [c42] [i2] [i1] [c41] [c39] [c38] [b2] [j19] [c37] [c36] [j17] [j16] [c35] [j15] [j14] [c34] [j12] [c33] [c32] [j11] [j10] [c31] [b1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
