default search action
BibTeX records: Ralph M. Butler
@article{DBLP:journals/nar/0002WABBBCCDDGG20, author = {James J. Davis and Alice R. Wattam and Ramy K. Aziz and Thomas S. Brettin and Ralph Butler and Rory Butler and Philippe Chlenski and Neal Conrad and Allan Dickerman and Emily M. Dietrich and Joseph L. Gabbard and Svetlana Gerdes and Andrew Guard and Ronald W. Kenyon and Dustin Machi and Chunhong Mao and Daniel E. Murphy{-}Olson and Marcus Nguyen and Eric K. Nordberg and Gary J. Olsen and Robert Olson and Jamie C. Overbeek and Ross A. Overbeek and Bruce D. Parrello and Gordon D. Pusch and Maulik Shukla and Chris Thomas and Margo VanOeffelen and Veronika Vonstein and Andrew S. Warren and Fangfang Xia and Dawen Xie and Hyun Seung Yoo and Rick Stevens}, title = {The {PATRIC} Bioinformatics Resource Center: expanding data and analysis capabilities}, journal = {Nucleic Acids Res.}, volume = {48}, number = {Database-Issue}, pages = {D606--D612}, year = {2020}, url = {https://doi.org/10.1093/nar/gkz943}, doi = {10.1093/NAR/GKZ943}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/nar/0002WABBBCCDDGG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijhpca/LuskBP18, author = {Ewing L. Lusk and Ralph Butler and Steven C. Pieper}, title = {Evolution of a minimal parallel programming model}, journal = {Int. J. High Perform. Comput. Appl.}, volume = {32}, number = {1}, pages = {4--13}, year = {2018}, url = {https://doi.org/10.1177/1094342017703448}, doi = {10.1177/1094342017703448}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijhpca/LuskBP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bcb/LiSB10, author = {Cen Li and Suk Jai Seo and Ralph Butler}, editor = {Aidong Zhang and Mark Borodovsky and Gultekin {\"{O}}zsoyoglu and Armin R. Mikler}, title = {Hunting for truly relevant articles in bioinformatics literature: a preliminary study}, booktitle = {Proceedings of the First {ACM} International Conference on Bioinformatics and Computational Biology, {BCB} 2010, Niagara Falls, NY, USA, August 2-4, 2010}, pages = {481--483}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1854776.1854864}, doi = {10.1145/1854776.1854864}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/bcb/LiSB10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pdpta/ButlerEP10, author = {Ralph Butler and David Ells and Chrisila C. Pettey}, editor = {Hamid R. Arabnia and Steve C. Chiu and George A. Gravvanis and Minoru Ito and Kazuki Joe and Hiroaki Nishikawa and Ashu M. G. Solo}, title = {PySMO: Python Shared Memory Objects}, booktitle = {Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, {PDPTA} 2010, Las Vegas, Nevada, USA, July 12-15, 2010, 2 Volumes}, pages = {203--209}, publisher = {{CSREA} Press}, year = {2010}, timestamp = {Tue, 07 Dec 2010 09:22:06 +0100}, biburl = {https://dblp.org/rec/conf/pdpta/ButlerEP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pdpta/ButlerP07, author = {Ralph Butler and Chrisila C. Pettey}, editor = {Hamid R. Arabnia}, title = {A Bilingual Theorem Prover for Evaluating {HPC} Systems}, booktitle = {Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, {PDPTA} 2007, Las Vegas, Nevada, USA, June 25-28, 2007, Volume 2}, pages = {1000--1003}, publisher = {{CSREA} Press}, year = {2007}, timestamp = {Wed, 12 Dec 2007 09:04:34 +0100}, biburl = {https://dblp.org/rec/conf/pdpta/ButlerP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijhpca/LuskDBLB06, author = {Ewing L. Lusk and Narayan Desai and Rick Bradshaw and Andrew Lusk and Ralph Butler}, title = {An Interoperability Approach to System Software, Tools, and Libraries for Clusters}, journal = {Int. J. High Perform. Comput. Appl.}, volume = {20}, number = {3}, pages = {401--407}, year = {2006}, url = {https://doi.org/10.1177/1094342006067473}, doi = {10.1177/1094342006067473}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijhpca/LuskDBLB06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ACMse/ButlerPL06, author = {Ralph Butler and Chrisila C. Pettey and Zach Lowry}, editor = {Ronaldo Menezes}, title = {{CPVM:} customizable portable virtual machines}, booktitle = {Proceedings of the 44st Annual Southeast Regional Conference, 2006, Melbourne, Florida, USA, March 10-12, 2006}, pages = {616--619}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1185448.1185583}, doi = {10.1145/1185448.1185583}, timestamp = {Fri, 12 Mar 2021 15:27:48 +0100}, biburl = {https://dblp.org/rec/conf/ACMse/ButlerPL06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ACMse/UntchBP05, author = {Roland H. Untch and Ralph Butler and Chrisila C. Pettey}, editor = {M{\'{a}}rio Guimar{\~{a}}es}, title = {A small and secure submission system for {UNIX} systems}, booktitle = {Proceedings of the 43nd Annual Southeast Regional Conference, 2005, Kennesaw, Georgia, USA, March 18-20, 2005, Volume 1}, pages = {341--344}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1167350.1167445}, doi = {10.1145/1167350.1167445}, timestamp = {Fri, 12 Mar 2021 15:27:48 +0100}, biburl = {https://dblp.org/rec/conf/ACMse/UntchBP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ACMse/DriscollBK04, author = {Joseph A. Driscoll and Ralph M. Butler and Joelle M. Key}, editor = {Seong{-}Moo Yoo and Letha H. Etzkorn}, title = {A virtual machine environment for teaching the development of system software}, booktitle = {Proceedings of the 42nd Annual Southeast Regional Conference, 2004, Huntsville, Alabama, USA, April 2-3, 2004}, pages = {440--441}, publisher = {{ACM}}, year = {2004}, url = {https://doi.org/10.1145/986537.986647}, doi = {10.1145/986537.986647}, timestamp = {Fri, 12 Mar 2021 15:27:48 +0100}, biburl = {https://dblp.org/rec/conf/ACMse/DriscollBK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cluster/ButlerDLL03, author = {Ralph Butler and Narayan Desai and Andrew Lusk and Ewing L. Lusk}, title = {The ProcessManagement Component of a Scalable Systems Software Environment}, booktitle = {2003 {IEEE} International Conference on Cluster Computing {(CLUSTER} 2003), 1-4 December 2003, Kowloon, Hong Kong, China}, pages = {190--198}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/CLUSTR.2003.1253315}, doi = {10.1109/CLUSTR.2003.1253315}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cluster/ButlerDLL03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pc/ButlerGL01, author = {Ralph Butler and William Gropp and Ewing L. Lusk}, title = {Components and interfaces of a process management system for parallel programs}, journal = {Parallel Comput.}, volume = {27}, number = {11}, pages = {1417--1429}, year = {2001}, url = {https://doi.org/10.1016/S0167-8191(01)00097-7}, doi = {10.1016/S0167-8191(01)00097-7}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pc/ButlerGL01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hpdc/ToonenALFGGBK01, author = {Brian R. Toonen and David Ashton and Ewing L. Lusk and Ian T. Foster and William Gropp and Edgar Gabriel and Ralph Butler and Nicholas T. Karonis}, title = {Interfacing Parallel Jobs to Process Managers}, booktitle = {10th {IEEE} International Symposium on High Performance Distributed Computing {(HPDC-10} 2001), 7-9 August 2001, San Francisco, CA, {USA}}, pages = {431--432}, publisher = {{IEEE} Computer Society}, year = {2001}, url = {https://doi.org/10.1109/HPDC.2001.945212}, doi = {10.1109/HPDC.2001.945212}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hpdc/ToonenALFGGBK01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-DC-0102017, author = {Ralph Butler and William Gropp and Ewing L. Lusk}, title = {Components and Interfaces of a Process Management System for Parallel Programs}, journal = {CoRR}, volume = {cs.DC/0102017}, year = {2001}, url = {https://arxiv.org/abs/cs/0102017}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-DC-0102017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pvm/ButlerGL00, author = {Ralph Butler and William Gropp and Ewing L. Lusk}, editor = {Jack J. Dongarra and P{\'{e}}ter Kacsuk and Norbert Podhorszki}, title = {A Scalable Process-Management Environment for Parallel Programs}, booktitle = {Recent Advances in Parallel Virtual Machine and Message Passing Interface, 7th European {PVM/MPI} Users' Group Meeting, Balatonf{\"{u}}red, Hungary, September 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1908}, pages = {168--175}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-45255-9\_25}, doi = {10.1007/3-540-45255-9\_25}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pvm/ButlerGL00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/ButlerO94, author = {Ralph Butler and Ross A. Overbeek}, title = {Formula Databases for High-Performance Resolution/Paramodulation Systems}, journal = {J. Autom. Reason.}, volume = {12}, number = {2}, pages = {139--156}, year = {1994}, url = {https://doi.org/10.1007/BF00881885}, doi = {10.1007/BF00881885}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/ButlerO94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pc/ButlerL94, author = {Ralph Butler and Ewing L. Lusk}, title = {Monitors, Messages, and Clusters: The p4 Parallel Programming System}, journal = {Parallel Comput.}, volume = {20}, number = {4}, pages = {547--564}, year = {1994}, url = {https://doi.org/10.1016/0167-8191(94)90028-0}, doi = {10.1016/0167-8191(94)90028-0}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pc/ButlerL94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hpdc/ButlerLL93, author = {Ralph Butler and Alan L. Leveton and Ewing L. Lusk}, title = {P4-Linda: {A} Portable Implementation of Linda}, booktitle = {Proceedings of the Second International Symposium on High Performance Distributed Computing, {HPDC} '93, Spokane, WA, USA, July 20-23, 1993}, pages = {50--58}, publisher = {{IEEE}}, year = {1993}, url = {https://doi.org/10.1109/HPDC.1993.263858}, doi = {10.1109/HPDC.1993.263858}, timestamp = {Wed, 16 Oct 2019 14:14:50 +0200}, biburl = {https://dblp.org/rec/conf/hpdc/ButlerLL93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ngc/LuskBDOOSWCSH90, author = {Ewing L. Lusk and Ralph Butler and Terrence Disz and Robert Olson and Ross A. Overbeek and Rick Stevens and David H. D. Warren and Alan Calderwood and P{\'{e}}ter Szeredi and Seif Haridi}, title = {The Aurora or-parallel Prolog system}, journal = {New Gener. Comput.}, volume = {7}, number = {2-3}, pages = {243--271}, year = {1990}, url = {https://doi.org/10.1007/BF03037208}, doi = {10.1007/BF03037208}, timestamp = {Thu, 14 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ngc/LuskBDOOSWCSH90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/WosWMOLSB90, author = {Larry Wos and Steve Winker and William McCune and Ross A. Overbeek and Ewing L. Lusk and Rick L. Stevens and Ralph Butler}, editor = {Mark E. Stickel}, title = {Automated Reasoning Contributed to Mathematics and Logic}, booktitle = {10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {449}, pages = {485--499}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/3-540-52885-7\_109}, doi = {10.1007/3-540-52885-7\_109}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/WosWMOLSB90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/ButlerFJO90, author = {Ralph Butler and Ian T. Foster and Anita Jindal and Ross A. Overbeek}, editor = {Mark E. Stickel}, title = {A High-Performance Parallel Theorem Prover}, booktitle = {10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {449}, pages = {649--650}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/3-540-52885-7\_124}, doi = {10.1007/3-540-52885-7\_124}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cade/ButlerFJO90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/ButlerLO88, author = {Ralph Butler and Rasiah Loganantharaj and Robert Olson}, editor = {Ewing L. Lusk and Ross A. Overbeek}, title = {Notes on Prolog Program Transformations, Prolog Style, and Efficient Compilation to The Warren Abstract Machine}, booktitle = {9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {310}, pages = {323--332}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/BFb0012840}, doi = {10.1007/BFB0012840}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/ButlerLO88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/ButlerK88, author = {Ralph Butler and Nicholas T. Karonis}, editor = {Ewing L. Lusk and Ross A. Overbeek}, title = {Exploitation of Parallelism in Prototypical Deduction Problems}, booktitle = {9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {310}, pages = {333--343}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/BFb0012841}, doi = {10.1007/BFB0012841}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/ButlerK88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fgcs/LuskBDOOSWCSHBCCH88, author = {Ewing L. Lusk and Ralph Butler and Terry Disz and Robert Olson and Ross A. Overbeek and Rick L. Stevens and David H. D. Warren and Alan Calderwood and P{\'{e}}ter Szeredi and Seif Haridi and Per Brand and Mats Carlsson and Andrzej Ciepielewski and Bogumil Hausman}, title = {The Aurora Or-Parallel Prolog System}, booktitle = {Proceedings of the International Conference on Fifth Generation Computer Systems, {FGCS} 1988, Tokyo, Japan, November 28-December 2, 1988}, pages = {819--830}, publisher = {{OHMSHA} Ltd. Tokyo and Springer-Verlag}, year = {1988}, timestamp = {Mon, 05 Aug 2019 17:00:40 +0200}, biburl = {https://dblp.org/rec/conf/fgcs/LuskBDOOSWCSHBCCH88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/ButlerDLOOS88, author = {Ralph Butler and Terry Disz and Ewing L. Lusk and Robert Olson and Ross A. Overbeek and Rick L. Stevens}, editor = {Robert A. Kowalski and Kenneth A. Bowen}, title = {Scheduling OR-Parallelism: An Argonne Perspective}, booktitle = {Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 {(2} Volumes)}, pages = {1590--1605}, publisher = {{MIT} Press}, year = {1988}, timestamp = {Sat, 23 Jun 2018 18:45:26 +0200}, biburl = {https://dblp.org/rec/conf/iclp/ButlerDLOOS88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigcse/ButlerEW88, author = {Ralph M. Butler and Roger Eggen and Susan R. Wallace}, editor = {Herbert L. Dershem}, title = {Introducing parallel processing at the undergraduate level}, booktitle = {Proceedings of the 19th {SIGCSE} Technical Symposium on Computer Science Education, {SIGCSE} 1988, Atlanta, Georgia, USA, February 25-26, 1988}, pages = {63--67}, publisher = {{ACM}}, year = {1988}, url = {https://doi.org/10.1145/52964.52981}, doi = {10.1145/52964.52981}, timestamp = {Tue, 23 Mar 2021 10:54:19 +0100}, biburl = {https://dblp.org/rec/conf/sigcse/ButlerEW88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigcse/ButlerTW87, author = {Ralph M. Butler and Selden Y. Trimble and Ralph W. Wilkerson}, editor = {A. K. Rigler and Daniel C. St. Clair}, title = {A logic programming model of the game of sprouts}, booktitle = {Proceedings of the 18th {SIGCSE} Technical Symposium on Computer Science Education, {SIGCSE} 1987, St. Louis, Missouri, USA, February 19-20, 1987}, pages = {319--323}, publisher = {{ACM}}, year = {1987}, url = {https://doi.org/10.1145/31820.31779}, doi = {10.1145/31820.31779}, timestamp = {Tue, 23 Mar 2021 10:54:19 +0100}, biburl = {https://dblp.org/rec/conf/sigcse/ButlerTW87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/ButlerLMO86, author = {Ralph Butler and Ewing L. Lusk and William McCune and Ross A. Overbeek}, editor = {J{\"{o}}rg H. Siekmann}, title = {Paths to High-Performance Automated Theorem Proving}, booktitle = {8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {230}, pages = {588--597}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/3-540-16780-3\_123}, doi = {10.1007/3-540-16780-3\_123}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/ButlerLMO86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/ButlerLMO86, author = {Ralph Butler and Ewing L. Lusk and William McCune and Ross A. Overbeek}, editor = {Ehud Shapiro}, title = {Parallel Logic Programming for Numeric Applications}, booktitle = {Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {225}, pages = {375--388}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/3-540-16492-8\_88}, doi = {10.1007/3-540-16492-8\_88}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/iclp/ButlerLMO86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acm/ButlerD85, author = {Ralph Butler and Arlan R. DeKock}, editor = {Terry M. Walker and Wayne D. Dominick}, title = {Implementaion of a parallel subsumption algorithm (abstract only)}, booktitle = {Proceedings of the 13th {ACM} Annual Conference on Computer Science, New Orleans, Louisiana, USA, 1985}, pages = {422}, publisher = {{ACM}}, year = {1985}, url = {https://doi.org/10.1145/320599.322473}, doi = {10.1145/320599.322473}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acm/ButlerD85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.