Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Ewing L. Lusk" ( http://dblp.L3S.de/Authors/Ewing_L._Lusk )

URL (Homepage):  http://www.mcs.anl.gov/people/lusk/index.html  Author page on DBLP  Author page in RDF  Community of Ewing L. Lusk in ASPL-2

Publication years (Num. hits)
1979-1986 (16) 1987-1992 (16) 1993-1998 (16) 1999-2002 (20) 2003-2005 (15) 2006-2008 (19) 2009-2011 (13)
Publication types (Num. hits)
article(35) book(2) inproceedings(77) proceedings(1)
Venues (Conferences, Journals, ...)
PVM/MPI(24) CADE(13) CLUSTER(7) CoRR(6) IJHPCA(6) Parallel Computing(6) J. Autom. Reasoning(4) ER(3) SC(3) Dagstuhl Seminar on Paralleliz...(2) EuroMPI(2) HPDC(2) ICLP(2) ICPP Workshops(2) IPDPS(2) Parallel Processing Letters(2) More (+10 of total 43)
Authors
Ewing L. Lusk(115) William Gropp(38) Ross A. Overbeek(24) Rajeev Thakur(17) William McCune(16) Ralph Butler(14) Narayan Desai(10) Pavan Balaji(9) Anthony Chan(8) Rick Bradshaw(7) William D. Gropp(7) Ian T. Foster(6) Larry Wos(5) Andrew Lusk(4) Anthony Skjellum(4) John K. Slaney(4) More (+10 of total 135)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 21 occurrences of 18 keywords
Results
Found 115 publication records. Showing 115 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Ganesh 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. Search on Bibsonomy Commun. ACM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pavan 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. Search on Bibsonomy Parallel Processing Letters The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pavan 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. Search on Bibsonomy Concurrency and Computation: Practice and Experience The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pavan Balaji, Anthony Chan, William Gropp, Rajeev Thakur, Ewing L. Lusk The Importance of Non-Data-Communication Overheads in MPI. Search on Bibsonomy IJHPCA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1James Dinan, Pavan Balaji, Ewing L. Lusk, P. Sadayappan, Rajeev Thakur Hybrid parallel programming with MPI and unified parallel C. Search on Bibsonomy Conf. Computing Frontiers The full citation details ... 2010 DBLP  DOI  BibTeX  RDF mpi, upc, pgas, hybrid parallel programming
1Pavan 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. Search on Bibsonomy EuroMPI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jayesh Krishna, Pavan Balaji, Ewing L. Lusk, Rajeev Thakur, Fabian Tiller Implementing MPI on Windows: Comparison with Common Approaches on Unix. Search on Bibsonomy EuroMPI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pavan 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. Search on Bibsonomy Computer Science - R&D The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ewing L. Lusk Slouching Towards Exascale. Search on Bibsonomy IJHPCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Rinku Gupta, Peter H. Beckman, Byung-Hoon Park, Ewing L. Lusk, Paul Hargrove, Al Geist, Dhabaleswar K. Panda, Andrew Lumsdaine, Jack Dongarra CIFTS: A Coordinated Infrastructure for Fault-Tolerant Systems. Search on Bibsonomy ICPP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Robert B. Ross, Robert Latham, William Gropp, Ewing L. Lusk, Rajeev Thakur Processing MPI Datatypes Outside MPI. Search on Bibsonomy PVM/MPI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pavan Balaji, Darius Buntinas, David Goodell, William Gropp, Sameer Kumar, Ewing L. Lusk, Rajeev Thakur, Jesper Larsson Träff MPI on a Million Processors. Search on Bibsonomy PVM/MPI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ewing L. Lusk Using MPI to Implement Scalable Libraries. Search on Bibsonomy PVM/MPI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Anthony Chan, William Gropp, Ewing L. Lusk An efficient format for nearly constant-time access to arbitrary time intervals in large trace files. Search on Bibsonomy Scientific Programming The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jack Dongarra, Robert Graybill, William 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. Search on Bibsonomy Advances in Computers The full citation details ... 2008 DBLP  BibTeX  RDF
1Ewing L. Lusk, Anthony Chan Early Experiments with the OpenMP/MPI Hybrid Programming Model. Search on Bibsonomy IWOMP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Pavan Balaji, Anthony Chan, William Gropp, Rajeev Thakur, Ewing L. Lusk Non-data-communication Overheads in MPI: Analysis on Blue Gene/P. Search on Bibsonomy PVM/MPI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1William Gropp, Ewing L. Lusk EuroPVM/MPI Full-Day Tutorial. Using MPI-2: A Problem-Based Approach. Search on Bibsonomy PVM/MPI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Narayan Desai, Rick Bradshaw, Ewing L. Lusk Disparity: Scalable Anomaly Detection for Clusters. Search on Bibsonomy ICPP Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Narayan Desai, Ewing L. Lusk, Daniel Buettner, Andrew Cherry, Theron Voran Simulating Failures on Large-Scale Systems. Search on Bibsonomy ICPP Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ewing L. Lusk, Katherine A. Yelick Languages for High-Productivity Computing: the DARPA HPCS Language Project. Search on Bibsonomy Parallel Processing Letters The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Christopher Falzone, Anthony Chan, Ewing L. Lusk, William Gropp A Portable Method for Finding User Errors in the Usage of MPI Collective Operations. Search on Bibsonomy IJHPCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Narayan Desai, Ewing L. Lusk, Rick Bradshaw A Composition Environment for MPI Programs. Search on Bibsonomy IJHPCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1William D. Gropp, Ewing L. Lusk, Anthony Skjellum MPI - eine Einführung: portable parallele Programmierung mit dem Message-Passing Interface. Search on Bibsonomy 2007   RDF
1Narayan Desai, Theron Voran, Ewing L. Lusk, Andrew Cherry The computer as software component: A mechanism for developing and testing resource management software. Search on Bibsonomy CLUSTER The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ewing L. Lusk New and Old Tools and Programming Models for High-Performance Computing. Search on Bibsonomy PVM/MPI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1William D. Gropp, Ewing L. Lusk Using MPI-2: A Problem-Based Approach. Search on Bibsonomy PVM/MPI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ewing L. Lusk, Narayan Desai, Rick Bradshaw, Andrew Lusk, Ralph Butler An Interoperability Approach to System Software, Tools, and Libraries for Clusters. Search on Bibsonomy IJHPCA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alice E. Koniges, William Gropp, Ewing L. Lusk, David C. Eder M01 - Application supercomputing and multiscale simulation techniques. Search on Bibsonomy SC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1William Gropp, Ewing L. Lusk, Rajeev Thakur, Robert B. Ross S01 - Advanced MPI: I/O and one-sided communication. Search on Bibsonomy SC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Christopher 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. Search on Bibsonomy PVM/MPI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1William D. Gropp, Ewing L. Lusk Using MPI-2: A Problem-Based Approach. Search on Bibsonomy PVM/MPI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Narayan Desai, Andrew Lusk, Rick Bradshaw, Ewing L. Lusk MPISH: A Parallel Shell for MPI Programs. Search on Bibsonomy IPDPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Scalability, MPI, System Management, System Software
1Narayan Desai, Ewing L. Lusk, Rick Bradshaw MPISH2: Unix Integration for MPI Programs. Search on Bibsonomy PVM/MPI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Christopher Falzone, Anthony Chan, Ewing L. Lusk, William Gropp Collective Error Detection for MPI Collective Operations. Search on Bibsonomy PVM/MPI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF MPI, errors, hashing, collective, datatype
1William D. Gropp, Ewing L. Lusk Using MPI-2: A Problem-Based Approach. Search on Bibsonomy PVM/MPI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ewing L. Lusk Components of Systems Software for Parallel Systems. Search on Bibsonomy PVM/MPI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1William Gropp, Ewing L. Lusk Fault Tolerance in Message Passing Interface Programs. Search on Bibsonomy IJHPCA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Narayan Desai, Rick Bradshaw, Ewing L. Lusk, Ralf Butler Component-based cluster systems software architecture a case study. Search on Bibsonomy CLUSTER The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Ewing L. Lusk An Open Cluster System Software Stack. Search on Bibsonomy PVM/MPI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Narayan Desai, Rick Bradshaw, Andrew Lusk, Ewing L. Lusk MPI Cluster System Software. Search on Bibsonomy PVM/MPI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Olga Shumsky Matlin, William McCune, Ewing L. Lusk Methods to Model-Check Parallel Systems Software Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Rajeev Thakur, William Gropp, Ewing L. Lusk Optimizing Noncontiguous Accesses in MPI-IO Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1William D. Gropp, Ewing L. Lusk, Robert B. Ross, Rajeev Thakur Using MPI-2: Advanced Features of the Message Passing Interface. Search on Bibsonomy CLUSTER The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ralph Butler, Narayan Desai, Andrew Lusk, Ewing L. Lusk The ProcessManagement Component of a Scalable Systems Software Environment. Search on Bibsonomy CLUSTER The full citation details ... 2003 DBLP  DOI  BibTeX  RDF XML, scalability, parallel programming, process management, Systems software
1William Gropp, Ewing L. Lusk High-Level Programming in MPI. Search on Bibsonomy PVM/MPI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ewing L. Lusk Integrating Scalable Process Management into Component-Based Systems Software. Search on Bibsonomy PVM/MPI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Rajeev Thakur, William Gropp, Ewing L. Lusk Optimizing noncontiguous accesses in MPI-IO. Search on Bibsonomy Parallel Computing The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Olga Shumsky Matlin, Ewing L. Lusk, William McCune SPINning Parallel Systems Software Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
1Nicholas 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 Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
1Olga Shumsky Matlin, Ewing L. Lusk, William McCune SPINning Parallel Systems Software. Search on Bibsonomy SPIN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Ewing L. Lusk MPI in 2002: Has it Been Ten Years Already? (PDF / PS) Search on Bibsonomy CLUSTER The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1William Gropp, Ewing L. Lusk Goals Guiding Design: PVM and MP. Search on Bibsonomy CLUSTER The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Ewing L. Lusk Process Management for Scalable Parallel Programs. Search on Bibsonomy PVM/MPI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1William Gropp, Ewing L. Lusk MPI on the Grid. Search on Bibsonomy PVM/MPI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Ralph Butler, William Gropp, Ewing L. Lusk Components and interfaces of a process management system for parallel programs. Search on Bibsonomy Parallel Computing The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Ralph Butler, William Gropp, Ewing L. Lusk Components and Interfaces of a Process Management System for Parallel Programs Search on Bibsonomy CoRR The full citation details ... 2001 DBLP  BibTeX  RDF
1Emil Ong, Ewing L. Lusk, William Gropp Scalable Unix Commands for Parallel Processors: A High-Performance Implementation Search on Bibsonomy CoRR The full citation details ... 2001 DBLP  BibTeX  RDF
1Brian 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. (PDF / PS) Search on Bibsonomy HPDC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Ewing L. Lusk Programming with MPI on Clusters. Search on Bibsonomy CLUSTER The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Emil Ong, Ewing L. Lusk, William Gropp Scalable Unix Commands for Parallel Processors: A High-Performance Implementation. Search on Bibsonomy PVM/MPI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Ching-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. Search on Bibsonomy SC The full citation details ... 2000 DBLP  BibTeX  RDF
1Nicholas 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. (PDF / PS) Search on Bibsonomy IPDPS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF message passing, computational grids, collective operations
1Ewing L. Lusk Isolating and Interfacing the Components of a Parallel Computing Environment. Search on Bibsonomy PVM/MPI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Ralph Butler, William Gropp, Ewing L. Lusk A Scalable Process-Management Environment for Parallel Programs. Search on Bibsonomy PVM/MPI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Rajeev Thakur, William Gropp, Ewing L. Lusk On Implementing MPI-IO Portably and with High Performance. Search on Bibsonomy IOPADS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1William Gropp, Ewing L. Lusk Reproducible Measurements of MPI Performance Characteristics. Search on Bibsonomy PVM/MPI The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Ian 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. Search on Bibsonomy Parallel Computing The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Alan H. Karp, Ewing L. Lusk, David H. Bailey 1997 Gordon Bell Prize Winners. Search on Bibsonomy IEEE Computer The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1William Gropp, Ewing L. Lusk A High-Performance MPI Implementation on a Shared-Memory Vector Supercomputer. Search on Bibsonomy Parallel Computing The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1William Gropp, Ewing L. Lusk Why Are PVM and MPI So Different? Search on Bibsonomy PVM/MPI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1William Gropp, Ewing L. Lusk, Nathan E. Doss, Anthony Skjellum A High-Performance, Portable Implementation of the MPI Message Passing Interface Standard. Search on Bibsonomy Parallel Computing The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Robert 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. Search on Bibsonomy Journal of Computational Chemistry The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Al Geist, William Gropp, Steven Huss-Lederman, Andrew Lumsdaine, Ewing L. Lusk, William Saphir, Anthony Skjellum, Marc Snir MPI-2: Extending the Message-Passing Interface. Search on Bibsonomy Euro-Par, Vol. I The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Rajeev 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. Search on Bibsonomy ACPC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1William Gropp, Ewing L. Lusk Experiences with the IBM SP1. Search on Bibsonomy IBM Systems Journal The full citation details ... 1995 DBLP  BibTeX  RDF
1Ralph Butler, Ewing L. Lusk Monitors, Messages, and Clusters: The p4 Parallel Programming System. Search on Bibsonomy Parallel Computing The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1William D. Gropp, Ewing L. Lusk, Anthony Skjellum Using MPI - portable parallel programming with the message-parsing interface. Search on Bibsonomy 1994   RDF
1John K. Slaney, Ewing L. Lusk, William McCune SCOTT: Semantically Constrained Otter System Description. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Ewing L. Lusk, William McCune Uniform Strategies: The CADE-11 Theorem Proving Contest. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Ewing L. Lusk Commentary - Speedups and Insights. Search on Bibsonomy INFORMS Journal on Computing The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Ralph Butler, Alan L. Leveton, Ewing L. Lusk P4-Linda: A Portable Implementation of Linda. Search on Bibsonomy HPDC The full citation details ... 1993 DBLP  BibTeX  RDF
1Ewing L. Lusk, Shyam Mudambi, Ross A. Overbeek, Péter Szeredi Applications of the Aurora Parallel Prolog System to Computational Molecular Biology. Search on Bibsonomy ILPS The full citation details ... 1993 DBLP  BibTeX  RDF
1Ewing L. Lusk, Larry Wos Benchmark Problems in Which Equality Plays the Major Role. Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Ewing L. Lusk, William McCune, John K. Slaney ROO: A Parallel Theorem Prover. Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Ewing L. Lusk Controlling Redundancy in Large Search Spaces: Argonne-Style Theorem Proving Through the Years. Search on Bibsonomy LPAR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Ewing L. Lusk, Ross A. Overbeek, Shyam Mudambi, Péter Szeredi Applications of the Aurora Parallel Prolog System to Computational Molecular Biology. Search on Bibsonomy IJCSLP Workshop on Concurrent and Parallel Implementations The full citation details ... 1992 DBLP  BibTeX  RDF
1Larry Wos, Ross A. Overbeek, Ewing L. Lusk Subsumption, a Sometimes Undervalued Procedure. Search on Bibsonomy Computational Logic - Essays in Honor of Alan Robinson The full citation details ... 1991 DBLP  BibTeX  RDF
1Ewing 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. Search on Bibsonomy New Generation Comput. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Larry Wos, S. Winker, William McCune, Ross A. Overbeek, Ewing L. Lusk, Rick L. Stevens, Ralph Butler Automated Reasoning Contributed to Mathematics and Logic. Search on Bibsonomy CADE The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Ewing L. Lusk, William McCune Tutorial on High-Performance Automated Theorem Proving. Search on Bibsonomy CADE The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1John K. Slaney, Ewing L. Lusk Parallelizing the Closure Computation in Automated Deduction. Search on Bibsonomy CADE The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Ewing L. Lusk, William McCune, John K. Slaney Parallel Closure-Based Automated Reasoning. Search on Bibsonomy Dagstuhl Seminar on Parallelization in Inference Systems The full citation details ... 1990 DBLP  BibTeX  RDF
1Ewing L. Lusk, William McCune Experiments with ROO: A Parallel Automated Deduction System. Search on Bibsonomy Dagstuhl Seminar on Parallelization in Inference Systems The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Ewing L. Lusk, Ross A. Overbeek (eds.) 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings Search on Bibsonomy CADE The full citation details ... 1988 DBLP  BibTeX  RDF
1Ralph Butler, Terry Disz, Ewing L. Lusk, Robert Olson, Ross A. Overbeek, Rick L. Stevens Scheduling OR-Parallelism: An Argonne Perspective. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Ewing 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. Search on Bibsonomy FGCS The full citation details ... 1988 DBLP  BibTeX  RDF
1Terry Disz, Ewing L. Lusk, Ross A. Overbeek Experiments with OR-Parallel Logic Programs. Search on Bibsonomy ICLP The full citation details ... 1987 DBLP  BibTeX  RDF
1Terry Disz, Ewing L. Lusk A Graphical Tool for Observing the Behavior of Parallel Logic Programs. Search on Bibsonomy SLP The full citation details ... 1987 DBLP  BibTeX  RDF
1Robert 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. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 115 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.