Ewing L. Lusk

dblp:l/EwingLLusk · DBLP profile ↗
← Back
56ranked-venue papers
18as first author
0since 2021 · last 2013
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 25 · 2 first-authorArtificial intelligence and machine learning · 18 · 11 first-authorTheory of computation · 17 · 9 first-authorDatabases, data management, data science and information retrieval · 5 · 3 first-authorSoftware engineering, systems software and programming languages · 2Human-computer interaction and ubiquitous computing · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
7 papers
Parallel and multicore computing · 52% High-performance computing · 36% Distributed systems · 5%
Databases, data mining, and information retrieval
1 paper
Data models and query languages · 56% Database system architecture and tuning · 44%

Topics — the 18 heaviest of 20, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Parallel and multicore computing
parallel programming models
0.362013
Swift/T: scalable data flow programming for many-task applications · PPoPP 2013
S01 - Advanced MPI: I/O and one-sided communication · SC 2006
M01 - Application supercomputing and multiscale simulation techniques · SC 2006
Parallel and multicore computing › parallel programming models
dataflow programming
0.212013
Swift/T: scalable data flow programming for many-task applications · PPoPP 2013
High-performance computing › high-throughput computing
many-task computing
0.212013
Swift/T: scalable data flow programming for many-task applications · PPoPP 2013
Parallel and multicore computing
MPI
0.122006
S01 - Advanced MPI: I/O and one-sided communication · SC 2006
Interfacing Parallel Jobs to Process Managers · HPDC 2001
High-performance computing
parallel i/o
0.122006
S01 - Advanced MPI: I/O and one-sided communication · SC 2006
A Case for Using MPI's Derived Datatypes to Improve I/O Performance · SC 1998
High-performance computing
multiscale simulation
0.112006
M01 - Application supercomputing and multiscale simulation techniques · SC 2006
Parallel and multicore computing › parallel computing › parallel communication
one-sided communication
0.112006
S01 - Advanced MPI: I/O and one-sided communication · SC 2006
High-performance computing › supercomputing
supercomputing applications
0.112006
M01 - Application supercomputing and multiscale simulation techniques · SC 2006
Performance modeling and evaluation
performance analysis tools
0.012000
From Trace Generation to Visualization: A Performance Framework for Distributed Parallel Systems · SC 2000
High-performance computing
performance optimization at scale
0.012000
From Trace Generation to Visualization: A Performance Framework for Distributed Parallel Systems · SC 2000
Storage systems › i/o optimization
collective i/o
0.011998
A Case for Using MPI's Derived Datatypes to Improve I/O Performance · SC 1998
High-performance computing › parallel i/o
MPI-IO
0.011998
A Case for Using MPI's Derived Datatypes to Improve I/O Performance · SC 1998
Storage systems › file systems › distributed file system
parallel file system
0.011998
A Case for Using MPI's Derived Datatypes to Improve I/O Performance · SC 1998
Parallel and multicore computing › parallel programming models › concurrent programming languages
linda
0.011993
P4-Linda: A Portable Implementation of Linda · HPDC 1993
Performance modeling and evaluation › tracing
MPI tracing
0.012000
From Trace Generation to Visualization: A Performance Framework for Distributed Parallel Systems · SC 2000
Parallel and multicore computing › parallel programming models › hybrid programming models
shared memory and message passing
0.011993
P4-Linda: A Portable Implementation of Linda · HPDC 1993
Data models and query languages
entity-relationship model
0.011980
A Practical Design Methodology for the Implementation of IMS Databases, Using the Entity-Relationship Model · SIGMOD Conference 1980
Data models and query languages › data modeling
hierarchical data model
0.011980
A Practical Design Methodology for the Implementation of IMS Databases, Using the Entity-Relationship Model · SIGMOD Conference 1980

Methods — techniques the papers use, named apart from their topics

data flow language implementation · 0.2UPC · 0.1OpenMP · 0.1MPI · 0.1HPF · 0.1CAF · 0.1API design · 0.0visualization · 0.0trace generation · 0.0interval file format · 0.0schema translation · 0.0
YearPublicationVenuePosition
2013 Swift/T: Large-Scale Application Composition via Distributed-Memory Dataflow Processing
abstract
Many scientific applications are conceptually built up from independent component tasks as a parameter study, optimization, or other search. Large batches of these tasks may be executed on high-end computing systems, however, the coordination of the independent processes, their data, and their data dependencies is a significant scalability challenge. Many problems must be addressed, including load balancing, data distribution, notifications, concurrent programming, and linking to existing codes. In this work, we present Swift/T, a programming language and runtime that enables the rapid development of highly concurrent, task-parallel applications. Swift/Tis composed of several enabling technologies to address scalability challenges, offers a high-level optimizing compiler for user programming and debugging, and provides tools for binding user code in C/C++/Fortran into a logical script. In this work, we describe the Swift/T solution and present scaling results from the IBM Blue Gene/Pand Blue Gene/Q.
Justin M. Wozniak, Timothy G. Armstrong, Michael Wilde, Daniel S. Katz, Ewing L. Lusk, Ian T. Foster
CCGRID5
2013 Swift/T: scalable data flow programming for many-task applications
abstract
Swift/T, a novel programming language implementation for highly scalable data flow programs, is presented.
Justin M. Wozniak, Timothy G. Armstrong, Michael Wilde, Daniel S. Katz, Ewing L. Lusk, Ian T. Foster
PPoPP5
2013 Dataflow coordination of data-parallel tasks via MPI 3.0
abstract
Scientific applications are often complex collections of many large-scale tasks. Mature tools exist for describing task-parallel workflows consisting of serial tasks, and a variety of tools exist for programming a single data-parallel operation. However, few tools cover the intersection of these two models. In this work, we extend the load balancing library ADLB to support parallel tasks. We demonstrate how applications can easily be composed of parallel tasks using Swift dataflow scripts, which are compiled to ADLB programs with performance comparable to hand-coded equivalents. By combining this framework with data-parallel analysis libraries, we are able to dynamically execute many instances of a parallel data analysis application in support of a parameter exploration workload.
Justin M. Wozniak, Tom Peterka, Timothy G. Armstrong, James Dinan, Ewing L. Lusk, Michael Wilde, Ian T. Foster
EuroMPI5
2013 Turbine: A Distributed-memory Dataflow Engine for High Performance Many-task Applications
abstract
Efficiently utilizing the rapidly increasing concurrency of multi-petaflop computing systems is a significant programming challenge. One approach is to structure applications with an upper layer of many loosely coupled coarse-grained tasks, each comp
Justin M. Wozniak, Timothy G. Armstrong, Ketan Maheshwari, Ewing L. Lusk, Daniel S. Katz, Michael Wilde, Ian T. Foster
Fundam. Informaticae4
2012 Advanced MPI Including New MPI-3 Features
William Gropp, Ewing L. Lusk, Rajeev Thakur
EuroMPI2
2010 PMI: A Scalable Parallel Process-Management Interface for Extreme-Scale Systems
Pavan Balaji, Darius Buntinas, David Goodell, William Gropp, Jayesh Krishna, Ewing L. Lusk, Rajeev Thakur
EuroMPI6
2010 Implementing MPI on Windows: Comparison with Common Approaches on Unix
Jayesh Krishna, Pavan Balaji, Ewing L. Lusk, Rajeev Thakur, Fabian Tiller
EuroMPI3
2010 Global-scale distributed I/O with ParaMEDIC
abstract
Abstract Achieving high performance for distributed I/O on a wide‐area network continues to be an elusive holy grail. Despite enhancements in network hardware as well as software stacks, achieving high‐performance remains a challenge. In this paper, our worldwide team took a completely new and non‐traditional approach to distributed I/O, calledParaMEDIC: Parallel Metadata Environment for Distributed I/O and Computing, by utilizing application‐specifictransformationof data to orders of magnitude smaller metadata before performing the actual I/O. Specifically, this paper details our experiences in deploying a large‐scale system to facilitate the discovery of missing genes and constructing a genome similarity tree by encapsulating the mpiBLAST sequence‐search algorithm into ParaMEDIC. The overall project involved nine computational sites spread across the U.S. and generated more than a petabyte of data that was ‘teleported’ to a large‐scale facility in Tokyo for storage. Copyright © 2010 John Wiley & Sons, Ltd.
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
Concurr. Comput. Pract. Exp.8
2009 CIFTS: A Coordinated Infrastructure for Fault-Tolerant Systems
abstract
Considerable work has been done on providing fault tolerance capabilities for different software components on large-scale high-end computing systems. Thus far, however, these fault-tolerant components have worked insularly and independently and information about faults is rarely shared. Such lack of system-wide fault tolerance is emerging as one of the biggest problems on leadership-class systems. In this paper, we propose a coordinated infrastructure, named CIFTS, that enables system software components to share fault information with each other and adapt to faults in a holistic manner. Central to the CIFTS infrastructure is a Fault Tolerance Backplane (FTB) that enables fault notification and awareness throughout the software stack, including fault-aware libraries, middleware, and applications. We present details of the CIFTS infrastructure and the interface specification that has allowed various software programs, including MPICH2, MVAPICH, Open MPI, and PVFS, to plug into the CIFTS infrastructure. Further, through a detailed evaluation we demonstrate the nonintrusive low-overhead capability of CIFTS that lets applications run with minimal performance degradation.
Rinku Gupta, Pete Beckman, Ewing L. Lusk, Paul Hargrove, Al Geist, Dhabaleswar K. Panda 0001, Andrew Lumsdaine, Jack J. Dongarra
ICPP4
2007 The computer as software component: A mechanism for developing and testing resource management software
abstract
In this paper, we present an architecture that encapsulates system hardware inside a software component used for job execution and status monitoring. The development of this interface has enabled system simulation, which yields a number of novel benefits, including dramatically improved debug and testing capabilities.
Narayan Desai, Theron Voran, Ewing L. Lusk, Andrew Cherry
CLUSTER3
2006 S01 - Advanced MPI: I/O and one-sided communication
abstract
This tutorial is about advanced use of MPI, in particular the parallel I/O and one-sided communication features added in MPI-2. Implementations are now available both from vendors and from open-source projects so that these MPI-2 capabilities can now really be used in practice. The tutorial will be heavily example-driven. For each example we introduce concepts, describe the problem being solved, then walk through the code and its execution.Examples were chosen to cover scenarios seen in real applications, such as 1D and 2D mesh decomposition, checkpointing of sparse data structures, and providing atomic access to shared memory data structures. Attendees will leave the tutorial with both an understanding of these advanced concepts and a collection of working example codes that they are familiar with and have seen in action. This will prepare them for applying these concepts in their own applications.
William Gropp, Ewing L. Lusk, Rajeev Thakur, Robert B. Ross
SC2
2006 M01 - Application supercomputing and multiscale simulation techniques
abstract
Teraflop performance is no longer something of the future as complex integrated and multiscale 3D simulations drive supercomputer development. This tutorial addresses computation at the highest end. An overview of architectures is given (BlueGene/L, Columbia, NEC SX-8, Cray and IBM lines, high-performing clusters) along with programming tools necessary for application development. Parallel programming concepts (MPI, OpenMP, HPF, UPC, CAF) are reviewed and compared. What are the major issues facing application code developers today? How do the challenges vary from cluster computing to the complex hybrid architectures with superscalar and vector processors? What are the barriers we must overcome to achieve true sustained petascale performance? We address these questions and give tips, tricks, and tools of the trade for large mulitscale application development. We discuss some advanced MPI including dynamic process management and optimization. We draw from a series of terascale and multiscale applications and discuss specific challenges and performance issues.
Alice E. Koniges, William Gropp, Ewing L. Lusk, David C. Eder
SC3
2004 Component-based cluster systems software architecture a case study
abstract
We describe the use of component architecture in an area to which this approach has not been classically applied, the area of cluster system software. By "cluster system software," we mean the collection of programs used in configuring and maintaining individual nodes, together with the software involved in submission, scheduling, monitoring, and termination of jobs. We describe how the component approach maps onto the cluster systems software problem, together with our experiences with the approach in implementing an all-new suite of systems software for a medium-sized cluster with unusually complex systems software requirements.
Narayan Desai, Rick Bradshaw, Ewing L. Lusk, Ralf Butler
CLUSTER3
2003 The ProcessManagement Component of a Scalable Systems Software Environment
abstract
The systems software necessary to operate large-scale parallel computers presents a variety of research and development issues. One approach is to consider systems software as a collection of interacting components, with well-defined published interfaces. The scalable systems software SciDAC project is currently exploring the feasibility of architecting systems software this way. In this paper we present a prototype process manager component for such a system. We describe the component abstractly in terms of its functionality and the interface by which its functionality may be invoked. We propose a precise syntax for this interface and describe one implementation of the process manager component, based on an existing scalable process management system called MPD. We conclude with some experiences using this process manager component in conjunction with other systems software components on a medium-sized Linux cluster.
Ralph M. Butler, Narayan Desai, Andrew Lusk, Ewing L. Lusk
CLUSTER4
2003 Using MPI-2: Advanced Features of the Message Passing Interface
William Gropp, Ewing L. Lusk, Robert B. Ross, Rajeev Thakur
CLUSTER2
2002 Goals Guiding Design: PVM and MP
abstract
PVM and MPI, two systems for programming clusters, are often compared. The comparisons usually start with the unspoken assumption that PVM and MPI represent different solutions to the same problem. In this paper we show that, in fact, the two systems often are solving different problems. In cases where the problems do match but the solutions chosen by PVM and MPI are different, we explain the reasons for the differences. Usually such differences can be traced to explicit differences in the goals of the two systems, their origins, or the relationship between their specifications and their implementations. For example, we show that the requirement for portability and performance across many platforms caused MPI to choose approaches different from those made by PVM, which is able to exploit the similarities of network-connected systems.
William Gropp, Ewing L. Lusk
CLUSTER2
2002 MPI in 2002: Has it Been Ten Years Already?
abstract
Summary form only given. In April of 1992, a group of parallel computing vendors, computer science researchers, and application scientists met at a one-day workshop and agreed to cooperate on the development of a community standard for the message-passing model of parallel computing. The MPI Forum that eventually emerged from that workshop became a model of how a broad community could work together to improve an important component of the high performance computing environment. The Message Passing Interface (MPI) definition that resulted from this effort has been widely adopted and implemented, and is now virtually synonymous with the message-passing model itself MPI not only standardized existing practice in the service of making applications portable in the rapidly changing world of parallel computing, but also consolidated research advances into novel features that extended existing practice and have proven useful in developing a new generation of applications. This talk will discuss some of the procedures and approaches of the MPI Forum that led to MPI's early adoption, and then describe some of the features that have led to its persistence as a reference model for parallel computing. Although clusters were only just emerging as a significant parallel computing production platform as MPI was being defined, MPI has proven to be a useful way of programming them for high performance, and we will discuss the current situation in MPI implementations for clusters. MPI was deliberately designed to grant considerable flexibility to implementors, and thus provides a useful framework for implementation research. Successful implementation techniques within the MPI standard can be utilized immediately by applications already using MPI, thus providing an unusually fast path front research results to their application. At Argonne National Laboratory we have been developing and distributing MPICH, a portable, high performance implementation of MPI, from the very beginning of the MPI effort. We will describe MPICH-2, a completely new version of MPICH just being released. We will present some of its novel design features that we hope will stimulate both further research and a new generation of complete MPI-2 implementations, along with some early performance results. We will conclude with a speculative look at the future of MPI, including its role in other programming approaches, fault tolerance, and its applicability to advanced architectures.
Ewing L. Lusk
CLUSTER1
2002 Optimizing noncontiguous accesses in MPI-IO
Rajeev Thakur, William Gropp, Ewing L. Lusk
Parallel Comput.3
2001 Programming with MPI on Clusters
abstract
The authors discuss the current state of development for the key aspects of MPI programming on clusters. These aspects are the evolution of the MPI Standard itself, developments in cluster hardware and system software that directly affect MPI implementations, and supporting software that facilitates the use of MPI on scalable clusters. In each case we give a brief background and summarize the current status.
Ewing L. Lusk
CLUSTER1
2001 Interfacing Parallel Jobs to Process Managers
abstract
A variety of projects worldwide are developing what we call "heterogeneous MPI". These MPI implementations are designed to operate on multiple computers, perhaps of different types, ranging in complexity from a set of desktop workstations to several supercomputers connected via a wide area network. These considerations led us to investigate the feasibility of defining a common API that could be used within MPI implementations to access process startup, initialization, monitoring, and control functions provided by an underlying process management system. If various MPI implementations coded to that API, one could then develop multiple "process management" modules that could be reused within different MPI implementations, thus allowing partitioning of effort between different development groups. In pursuit of this goal, we have designed such an API, which we call BNR. The major goals of the BNR interface are outlined.
Brian R. Toonen, David Ashton, Ewing L. Lusk, Ian T. Foster, William Gropp, Edgar Gabriel, Ralph M. Butler, Nicholas T. Karonis
HPDC3
2001 Components and interfaces of a process management system for parallel programs
Ralph M. Butler, William Gropp, Ewing L. Lusk
Parallel Comput.3
2000 Exploiting Hierarchy in Parallel Computer Networks to Optimize Collective Operation Performance
abstract
The efficient implementation of collective communication operations has received much attention. Initial efforts modeled network communication and produced "optimal" trees based on those models. However, the models used by these initial efforts assumed equal point-to-point latencies between any two processes. This assumption is violated in heterogeneous systems such as clusters of SMPs and wide-area "computational grids", and as a result, collective operations that utilize the trees generated by these models perform suboptimally. In response, more recent work has focused on creating topology-aware trees for collective operations that minimize communication across slower channels (e.g., a wide-area network). While these efforts have significant communication benefits, they all limit their view of the network to only two layers. We present a strategy based upon a multilayer view of the network. By creating multilevel topology trees we take advantage of communication cost differences at every level in the network. We used this strategy to implement topology-aware versions of several MPI collective operations in MPICH-G, the Globus-enabled version of the popular MPICH implementation of the MPI standard. Using information about topology discovered by Globus, we construct these topology-aware trees automatically during execution, thus freeing the MPI application programmer from having to write special files or functions to describe the topology to the MPICH library. We present results demonstrating the advantages of our multilevel approach by comparing it to the default (topology-unaware) implementation provided by MPICH and a topology-aware two-layer implementation.
Nicholas T. Karonis, Bronis R. de Supinski, Ian T. Foster, William Gropp, Ewing L. Lusk, John Bresnahan
IPDPS5
2000 From Trace Generation to Visualization: A Performance Framework for Distributed Parallel Systems
abstract
In this paper we describe a trace analysis framework, from trace generation to visualization. It includes a unified tracing facility on IBMâ SPä systems, a self-defining interval file format, an API for framework extensions, utilities for merging and statistics generation, and a visualization tool with preview and multiple time-space diagrams. The trace environment is extremely scalable, and combines MPI events with system activities in the same set of trace files, one for each SMP node. Since the amount of trace data may be very large, utilities are developed to convert and merge individual trace files into a self-defining interval trace file with multiple frame directories. The interval format allows the development of multiple time-space diagrams, such as thread-activity view, processor-activity view, etc., from the same interval file. A visualization tool, Jumpshot, is modified to visualize these views. A statistics utility is developed using the API, along with its graphics viewer.
Ching-Farn Eric Wu, Anthony Bolmarcich, Marc Snir, David Wootton, Farid Parpia, Ewing L. Lusk, William Gropp
SC7
1998 A Case for Using MPI's Derived Datatypes to Improve I/O Performance
abstract
MPI-IO, the I/O part of the MPI-2 standard, is a promising new interface for parallel I/O. A key feature of MPI-IO is that it allows users to access several noncontiguous pieces of data from a file with a single I/O function call by defining file views with derived datatypes. We explain how critical this feature is for high performance, why users must create and use derived datatypes whenever possible, and how it enables implementations to perform optimizations. In particular, we describe two optimizations our MPI-IO implementation, ROMIO, performs: data sieving and collective I/O. We demonstrate the performance and portability of the approach with performance results on five different parallel machines: HP Exemplar, IBM SP, Intel Paragon, NEC SX-4, and SGI Origin2000.
Rajeev Thakur, William Gropp, Ewing L. Lusk
SC3
1998 Wide-Area Implementation of the Message Passing Interface
Ian T. Foster, Jonathan Geisler, William Gropp, Nicholas T. Karonis, Ewing L. Lusk, George K. Thiruvathukal, Steven Tuecke
Parallel Comput.5
1997 A High-Performance MPI Implementation on a Shared-Memory Vector Supercomputer
William Gropp, Ewing L. Lusk
Parallel Comput.2
1996 A High-Performance, Portable Implementation of the MPI Message Passing Interface Standard
William Gropp, Ewing L. Lusk, Nathan E. Doss, Anthony Skjellum
Parallel Comput.2
1994 SCOTT: Semantically Constrained Otter System Description
John K. Slaney, Ewing L. Lusk, William McCune
CADE2
1994 Monitors, Messages, and Clusters: The p4 Parallel Programming System
Ralph M. Butler, Ewing L. Lusk
Parallel Comput.2
1993 P4-Linda: A Portable Implementation of Linda
abstract
Facilities such as interprocess communication and protection of shared resources have been added to operating systems to support multiprogramming and have since been adapted to exploit explicit multiprocessing within the scope of two models: the shared-memory model and the distributed (message-passing) model. When multiprocessors (or networks of heterogeneous processors) are used for explicit parallelism, the difference between these models is exposed to the programmer. The p4 tool set was originally developed to buffer the programmer from synchronization issues while offering an added advantage in portability, however two models are often still needed to develop parallel algorithms. The authors provide two implementations of Linda in an attempt to support a single high-level programming model on top of the existing paradigms in order to provide a consistent semantics regardless of the underlying model. Linda's fundamental properties associated with generative communication eliminate the distinction between shared and distributed memory.>
Ralph M. Butler, Alan L. Leveton, Ewing L. Lusk
HPDC3
1993 Commentary - Speedups and Insights
abstract
It is a pleasure to be invited to participate in the discussion of this thoughtful paper, “Reporting Computational Experiments with Parallel Algorithms: Issues, Measures, and Experts' Opinions” by Richard S. Barr and Betty L. Hickman. As one who has published many a table of speedups, I feel very much in the authors' audience, perhaps even in their crosshairs. Their paper focuses attention on an issue faced by every reader as well as writer of articles that report the results of experiments with parallel programs running on real parallel machines. I believe the paper can contribute to more accurate communication in the parallel processing community through a heightened awareness of the issues surrounding reporting of experiments. The survey is a novel addition to the discussion, and seems to indicate that the field's participants are seriously grappling with this problem, although no consensus has developed. What I hope to contribute here are a few opinions on why there is still a quite legitimate variation in what results are reported and how they are measured and presented, as well as some experiences in my own research that might reinforce some of the conclusions in the paper. INFORMS Journal on Computing, ISSN 1091-9856, was published as ORSA Journal on Computing from 1989 to 1995 under ISSN 0899-1499.
Ewing L. Lusk
INFORMS J. Comput.1
1993 Uniform Strategies: The CADE-11 Theorem Proving Contest
Ewing L. Lusk, William McCune
J. Autom. Reason.1
1992 ROO: A Parallel Theorem Prover
Ewing L. Lusk, William McCune, John K. Slaney
CADE1
1992 Benchmark Problems in Which Equality Plays the Major Role
Ewing L. Lusk, Larry Wos
CADE1
1992 Controlling Redundancy in Large Search Spaces: Argonne-Style Theorem Proving Through the Years
Ewing L. Lusk
LPAR1
1990 Tutorial on High-Performance Automated Theorem Proving
Ewing L. Lusk, William McCune
CADE1
1990 Parallelizing the Closure Computation in Automated Deduction
John K. Slaney, Ewing L. Lusk
CADE2
1990 Automated Reasoning Contributed to Mathematics and Logic
Larry Wos, Steven K. Winker, William McCune, Ross A. Overbeek, Ewing L. Lusk, Rick L. Stevens, Ralph M. Butler
CADE5
1987 Experiments with OR-Parallel Logic Programs
Terry Disz, Ewing L. Lusk, Ross A. Overbeek
ICLP2
1986 Paths to High-Performance Automated Theorem Proving
Ralph M. Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek
CADE2
1986 ITP at Argonne National Laboratory
Ewing L. Lusk, William McCune, Ross A. Overbeek
CADE1
1986 Parallel Logic Programming for Numeric Applications
Ralph M. Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek
ICLP2
1986 Set Theory in First-Order Logic: Clauses for Gödel's Axioms
Robert S. Boyer, Ewing L. Lusk, William McCune, Ross A. Overbeek, Mark E. Stickel, Larry Wos
J. Autom. Reason.2
1985 The Design of Entity-Relationship Models for General Ledger Systems
Bruce D. Parrello, Ross A. Overbeek, Ewing L. Lusk
Data Knowl. Eng.3
1985 Non-Horn Problems
Ewing L. Lusk, Ross A. Overbeek
J. Autom. Reason.1
1985 Reasoning about Equality
Ewing L. Lusk, Ross A. Overbeek
J. Autom. Reason.1
1985 A technique for achieving portability among multiprocessors: Implementation on the Lemur
J. A. Clausing, Ray Hagstrom, Ewing L. Lusk, Ross A. Overbeek
Parallel Comput.3
1984 A Portable Environment for Research in Automated Reasoning
Ewing L. Lusk, Ross A. Overbeek
CADE1
1983 Tools for the Creation of IMS Database Designs from Entity-Relationship Diagrams
G. Margrave, Ewing L. Lusk, Ross A. Overbeek
ER2
1982 Logic Machine Architecture: Kernel Funtions
Ewing L. Lusk, William McCune, Ross A. Overbeek
CADE1
1982 Logic Machine Architecture: Inference Mechanisms
Ewing L. Lusk, William McCune, Ross A. Overbeek
CADE1
1981 Item Tracking Entity-Relationship Models
Ewing L. Lusk, Gene Petrie, Ross A. Overbeek
ER1
1980 Data Structures and Control Architectures for Implementation of Theorem-Proving Programs
Ross A. Overbeek, Ewing L. Lusk
CADE2
1980 A Practical Design Methodology for the Implementation of IMS Databases, Using the Entity-Relationship Model
abstract
Article Free Access Share on A practical design methodology for the implementation of IMS databases, using the entity-relationship model Authors: Ewing L. Lusk Northern Illinois University, DeKalb, Illinois Northern Illinois University, DeKalb, IllinoisView Profile , Ross A. Overbeek Northern Illinois University, DeKalb, Illinois Northern Illinois University, DeKalb, IllinoisView Profile , Bruce Parrello Northern Illinois University, DeKalb, Illinois Northern Illinois University, DeKalb, IllinoisView Profile Authors Info & Claims SIGMOD '80: Proceedings of the 1980 ACM SIGMOD international conference on Management of dataMay 1980Pages 9–21https://doi.org/10.1145/582250.582253Published:14 May 1980Publication History 2citation582DownloadsMetricsTotal Citations2Total Downloads582Last 12 Months50Last 6 weeks10 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Publisher SiteeReaderPDF
Ewing L. Lusk, Ross A. Overbeek, Bruce D. Parrello
SIGMOD Conference1
1979 A DML for Entity-Relationship Models
Ewing L. Lusk, Ross A. Overbeek
ER1
1977 An advanced undergraduate course in applied computer science
abstract
The purpose of this paper is to describe a senior level course in the applied computer science curriculum at Northern Illinois University. The course, Database and Data Communications, has been taught for four semesters, and enrollment has steadily grown.
Ewing L. Lusk
SIGCSE-21