Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Robert C. Armstrong
@article{DBLP:journals/isse/MorrisSHHAB22,
author = {Karla Morris and
Colin F. Snook and
Thai Son Hoang and
Geoffrey C. Hulette and
Robert C. Armstrong and
Michael J. Butler},
title = {Formal verification and validation of run-to-completion style state
charts using Event-B},
journal = {Innov. Syst. Softw. Eng.},
volume = {18},
number = {4},
pages = {523--541},
year = {2022},
url = {https://doi.org/10.1007/s11334-021-00416-4},
doi = {10.1007/S11334-021-00416-4},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/MorrisSHHAB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/EpifanovskayaMM22,
author = {Laura Epifanovskaya and
Reginald Meeson and
Christopher McCormack and
Jinseo R. Lee and
Robert C. Armstrong and
Jackson R. Mayo},
editor = {Hong Va Leong and
Sahra Sedigh Sarvestani and
Yuuichi Teranishi and
Alfredo Cuzzocrea and
Hiroki Kashiwazaki and
Dave Towey and
Ji{-}Jiang Yang and
Hossain Shahriar},
title = {Algorithmic Input Generation for More Effective Software Testing},
booktitle = {46th {IEEE} Annual Computers, Software, and Applications Conferenc,
{COMPSAC} 2022, Los Alamitos, CA, USA, June 27 - July 1, 2022},
pages = {1708--1715},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/COMPSAC54236.2022.00272},
doi = {10.1109/COMPSAC54236.2022.00272},
timestamp = {Thu, 11 Aug 2022 16:32:00 +0200},
biburl = {https://dblp.org/rec/conf/compsac/EpifanovskayaMM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/PollardABHMMRA22,
author = {Samuel D. Pollard and
Robert C. Armstrong and
John Bender and
Geoffrey C. Hulette and
Raheel S. Mahmood and
Karla Morris and
Blake C. Rawlings and
Jon M. Aytac},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {{Q:} {A} Sound Verification Framework for Statecharts and Their Implementations},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on Formal
Techniques for Safety-Critical Systems, {FTSCS} 2022, Auckland, New
Zealand, 7 December 2022},
pages = {16--26},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3563822.3568014},
doi = {10.1145/3563822.3568014},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftscs/PollardABHMMRA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/MorrisSHHAB20,
author = {Karla Morris and
Colin F. Snook and
Thai Son Hoang and
Geoffrey C. Hulette and
Robert C. Armstrong and
Michael J. Butler},
editor = {Alexander Raschke and
Dominique M{\'{e}}ry and
Frank Houdek},
title = {Refinement and Verification of Responsive Control Systems},
booktitle = {Rigorous State-Based Methods - 7th International Conference, {ABZ}
2020, Ulm, Germany, May 27-29, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12071},
pages = {272--277},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-48077-6\_23},
doi = {10.1007/978-3-030-48077-6\_23},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asm/MorrisSHHAB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/MorrisSHHAB20,
author = {Karla Morris and
Colin F. Snook and
Thai Son Hoang and
Geoffrey C. Hulette and
Robert C. Armstrong and
Michael J. Butler},
editor = {Henry Muccini and
Paris Avgeriou and
Barbora Buhnova and
Javier C{\'{a}}mara and
Mauro Caporuscio and
Mirco Franzago and
Anne Koziolek and
Patrizia Scandurra and
Catia Trubiani and
Danny Weyns and
Uwe Zdun},
title = {Formal Verification of Run-to-Completion Style Statecharts Using Event-B},
booktitle = {Software Architecture - 14th European Conference, {ECSA} 2020 Tracks
and Workshops, L'Aquila, Italy, September 14-18, 2020, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1269},
pages = {311--325},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59155-7\_24},
doi = {10.1007/978-3-030-59155-7\_24},
timestamp = {Tue, 22 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecsa/MorrisSHHAB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/KollaMTA20,
author = {Hemanth Kolla and
Jackson R. Mayo and
Keita Teranishi and
Robert C. Armstrong},
title = {Improving Scalability of Silent-Error Resilience for Message-Passing
Solvers via Local Recovery and Asynchrony},
booktitle = {10th {IEEE/ACM} Workshop on Fault Tolerance for {HPC} at eXtreme Scale,
FTXS@SC 2020, Atlanta, GA, USA, November 11, 2020},
pages = {1--10},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/FTXS51974.2020.00006},
doi = {10.1109/FTXS51974.2020.00006},
timestamp = {Fri, 30 Apr 2021 12:35:39 +0200},
biburl = {https://dblp.org/rec/conf/sc/KollaMTA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/SalloumMA19,
author = {Maher Salloum and
Jackson R. Mayo and
Robert C. Armstrong},
editor = {Ulrich Schwardmann and
Christian Boehme and
Dora B. Heras and
Valeria Cardellini and
Emmanuel Jeannot and
Antonio Salis and
Claudio Schifanella and
Ravi Reddy Manumachu and
Dieter Schwamborn and
Laura Ricci and
Oh Sangyoon and
Thomas Gruber and
Laura Antonelli and
Stephen L. Scott},
title = {Physics-Based Checksums for Silent-Error Detection in {PDE} Solvers},
booktitle = {Euro-Par 2019: Parallel Processing Workshops - Euro-Par 2019 International
Workshops, G{\"{o}}ttingen, Germany, August 26-30, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11997},
pages = {681--693},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-48340-1\_52},
doi = {10.1007/978-3-030-48340-1\_52},
timestamp = {Tue, 14 Feb 2023 22:22:15 +0100},
biburl = {https://dblp.org/rec/conf/europar/SalloumMA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/MorrisSHAB18,
author = {Karla Morris and
Colin F. Snook and
Thai Son Hoang and
Robert C. Armstrong and
Michael J. Butler},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Refinement of Statecharts with Run-to-Completion Semantics},
booktitle = {Formal Techniques for Safety-Critical Systems - 6th International
Workshop, {FTSCS} 2018, Gold Coast, Australia, November 16, 2018,
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1008},
pages = {121--138},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-12988-0\_8},
doi = {10.1007/978-3-030-12988-0\_8},
timestamp = {Tue, 22 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftscs/MorrisSHAB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/18/MayoAHSS18,
author = {Jackson R. Mayo and
Robert C. Armstrong and
Geoffrey C. Hulette and
Maher Salloum and
Andrew M. Smith},
editor = {{\c{C}}etin Kaya Ko{\c{c}}},
title = {Robust Digital Computation in the Physical World},
booktitle = {Cyber-Physical Systems Security},
pages = {1--21},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98935-8\_1},
doi = {10.1007/978-3-319-98935-8\_1},
timestamp = {Fri, 08 Mar 2019 12:57:04 +0100},
biburl = {https://dblp.org/rec/books/sp/18/MayoAHSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/host/SmithMKAV17,
author = {Andrew M. Smith and
Jackson R. Mayo and
Vivian Kammler and
Robert C. Armstrong and
Yevgeniy Vorobeychik},
title = {Using computational game theory to guide verification and security
in hardware designs},
booktitle = {2017 {IEEE} International Symposium on Hardware Oriented Security
and Trust, {HOST} 2017, McLean, VA, USA, May 1-5, 2017},
pages = {110--115},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/HST.2017.7951808},
doi = {10.1109/HST.2017.7951808},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/host/SmithMKAV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpdc/SalloumMA16,
author = {Maher Salloum and
Jackson R. Mayo and
Robert C. Armstrong},
editor = {Nathan DeBardeleben},
title = {In-Situ Mitigation of Silent Data Corruption in {PDE} Solvers},
booktitle = {Proceedings of the {ACM} Workshop on Fault-Tolerance for {HPC} at
Extreme Scale, FTXS@HPDC 2016, Kyoto, Japan, May 31, 2016},
pages = {43--48},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2909428.2909433},
doi = {10.1145/2909428.2909433},
timestamp = {Tue, 06 Nov 2018 11:07:20 +0100},
biburl = {https://dblp.org/rec/conf/hpdc/SalloumMA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/StrazdinsLHMRA16,
author = {Peter E. Strazdins and
Brendan Harding and
Chung Lee and
Jackson R. Mayo and
Jaideep Ray and
Robert C. Armstrong},
editor = {Michelle Connolly},
title = {A Robust Technique to Make a 2D Advection Solver Tolerant to Soft
Faults},
booktitle = {International Conference on Computational Science 2016, {ICCS} 2016,
6-8 June 2016, San Diego, California, {USA}},
series = {Procedia Computer Science},
volume = {80},
pages = {1917--1926},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.procs.2016.05.505},
doi = {10.1016/J.PROCS.2016.05.505},
timestamp = {Wed, 02 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccS/StrazdinsLHMRA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/MayoAH15,
author = {Jackson R. Mayo and
Robert C. Armstrong and
Geoffrey C. Hulette},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Leveraging Abstraction to Establish Out-of-Nominal Safety Properties},
booktitle = {Formal Techniques for Safety-Critical Systems - Fourth International
Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {596},
pages = {172--186},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29510-7\_10},
doi = {10.1007/978-3-319-29510-7\_10},
timestamp = {Wed, 24 May 2017 08:30:54 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/MayoAH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syscon/MayoAH15,
author = {Jackson R. Mayo and
Robert C. Armstrong and
Geoffrey C. Hulette},
title = {Digital system robustness via design constraints: The lesson of formal
methods},
booktitle = {Annual {IEEE} Systems Conference, SysCon 2015, Proceedings, Vancouver,
BC, Canada, April 13-16, 2015},
pages = {109--114},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/SYSCON.2015.7116737},
doi = {10.1109/SYSCON.2015.7116737},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/syscon/MayoAH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HuletteAMR15,
author = {Geoffrey C. Hulette and
Robert C. Armstrong and
Jackson R. Mayo and
Joseph R. Ruthruff},
editor = {Sergiy Bogomolov and
Matthieu Martel},
title = {Theorem-Proving Analysis of Digital Control Logic Interacting with
Continuous Dynamics},
booktitle = {Seventh and Eighth International Workshops on Numerical Software Verification,
{NSV} 2014, Vienna, Austria, July 17-18, 2014 {\&} {NSV} 2015,
Seattle, WA, USA, April 13, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {317},
pages = {71--83},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2015.10.008},
doi = {10.1016/J.ENTCS.2015.10.008},
timestamp = {Thu, 10 Nov 2022 15:22:15 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HuletteAMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SeshadhriSVMA14,
author = {C. Seshadhri and
Andrew M. Smith and
Yevgeniy Vorobeychik and
Jackson R. Mayo and
Robert C. Armstrong},
title = {Characterizing short-term stability for Boolean networks over any
distribution of transfer functions},
journal = {CoRR},
volume = {abs/1409.4360},
year = {2014},
url = {http://arxiv.org/abs/1409.4360},
eprinttype = {arXiv},
eprint = {1409.4360},
timestamp = {Thu, 07 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SeshadhriSVMA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/VorobeychikMAMR11,
author = {Yevgeniy Vorobeychik and
Jackson R. Mayo and
Robert C. Armstrong and
Ronald G. Minnich and
Don W. Rudish},
title = {Fault oblivious high performance computing with dynamic task replication
and substitution},
journal = {Comput. Sci. Res. Dev.},
volume = {26},
number = {3-4},
pages = {297--305},
year = {2011},
url = {https://doi.org/10.1007/s00450-011-0156-2},
doi = {10.1007/S00450-011-0156-2},
timestamp = {Wed, 02 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ife/VorobeychikMAMR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csiirw/MayoA11,
author = {Jackson R. Mayo and
Robert C. Armstrong},
editor = {Frederick T. Sheldon and
Robert K. Abercrombie and
Axel W. Krings},
title = {Tradeoffs in targeted fuzzing of cyber systems by defenders and attackers},
booktitle = {Proceedings of the 7th Cyber Security and Information Intelligence
Research Workshop, {CSIIRW} 2011, Oak Ridge, TN, USA, October 12-14,
2011},
pages = {37},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2179298.2179339},
doi = {10.1145/2179298.2179339},
timestamp = {Wed, 02 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csiirw/MayoA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-3103,
author = {Yevgeniy Vorobeychik and
Jackson R. Mayo and
Robert C. Armstrong and
Joseph R. Ruthruff},
title = {Noncooperatively Optimized Tolerance: Decentralized Strategic Optimization
in Complex Systems},
journal = {CoRR},
volume = {abs/1104.3103},
year = {2011},
url = {http://arxiv.org/abs/1104.3103},
eprinttype = {arXiv},
eprint = {1104.3103},
timestamp = {Wed, 02 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1104-3103.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-3792,
author = {C. Seshadhri and
Yevgeniy Vorobeychik and
Jackson R. Mayo and
Robert C. Armstrong and
Joseph R. Ruthruff},
title = {Influence and Dynamic Behavior in Random Boolean Networks},
journal = {CoRR},
volume = {abs/1107.3792},
year = {2011},
url = {http://arxiv.org/abs/1107.3792},
eprinttype = {arXiv},
eprint = {1107.3792},
timestamp = {Thu, 07 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-3792.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csiirw/McHughALQSF09,
author = {John McHugh and
Robert C. Armstrong and
Thomas A. Longstaff and
Daniel Quinlan and
Frederick T. Sheldon and
Deborah A. Frincke},
editor = {Frederick T. Sheldon and
Greg Peterson and
Axel W. Krings and
Robert K. Abercrombie and
Ali Mili},
title = {{DOE} grass roots panel},
booktitle = {Fifth Cyber Security and Information Intelligence Research Workshop,
{CSIIRW} '09, Knoxville, TN, USA, April 13-15, 2009},
pages = {11},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1558607.1558620},
doi = {10.1145/1558607.1558620},
timestamp = {Wed, 31 Jan 2024 20:36:02 +0100},
biburl = {https://dblp.org/rec/conf/csiirw/McHughALQSF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csiirw/ArmstrongM09,
author = {Robert C. Armstrong and
Jackson R. Mayo},
editor = {Frederick T. Sheldon and
Greg Peterson and
Axel W. Krings and
Robert K. Abercrombie and
Ali Mili},
title = {Leveraging complexity in software for cybersecurity},
booktitle = {Fifth Cyber Security and Information Intelligence Research Workshop,
{CSIIRW} '09, Knoxville, TN, USA, April 13-15, 2009},
pages = {31},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1558607.1558643},
doi = {10.1145/1558607.1558643},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csiirw/ArmstrongM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sp/AllanNEA08,
author = {Benjamin A. Allan and
Boyana Norris and
Wael R. Elwasif and
Robert C. Armstrong},
title = {Managing scientific software complexity with Bocca and {CCA}},
journal = {Sci. Program.},
volume = {16},
number = {4},
pages = {315--327},
year = {2008},
url = {https://doi.org/10.3233/SPR-2008-0270},
doi = {10.3233/SPR-2008-0270},
timestamp = {Wed, 06 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sp/AllanNEA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/ArmstrongKMPASED06,
author = {Robert C. Armstrong and
Gary Kumfert and
Lois C. McInnes and
Steven G. Parker and
Benjamin A. Allan and
Matthew J. Sottile and
Thomas Epperly and
Tamara Dahlgren},
title = {The {CCA} component model for high-performance scientific computing},
journal = {Concurr. Comput. Pract. Exp.},
volume = {18},
number = {2},
pages = {215--229},
year = {2006},
url = {https://doi.org/10.1002/cpe.911},
doi = {10.1002/CPE.911},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/ArmstrongKMPASED06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijhpca/BernholdtAABCDDEEGKKKKLLLMMNNPRSWZ06,
author = {David E. Bernholdt and
Benjamin A. Allan and
Robert C. Armstrong and
Felipe Bertrand and
Kenneth Chiu and
Tamara Dahlgren and
Kostadin Damevski and
Wael R. Elwasif and
Thomas Epperly and
Madhusudhan Govindaraju and
Daniel S. Katz and
James Arthur Kohl and
Manojkumar Krishnan and
Gary Kumfert and
Jay Walter Larson and
Sophia Lefantzi and
Michael J. Lewis and
Allen D. Malony and
Lois C. McInnes and
Jarek Nieplocha and
Boyana Norris and
Steven G. Parker and
Jaideep Ray and
Sameer Shende and
Theresa L. Windus and
Shujia Zhou},
title = {A Component Architecture for High-Performance Scientific Computing},
journal = {Int. J. High Perform. Comput. Appl.},
volume = {20},
number = {2},
pages = {163--202},
year = {2006},
url = {https://doi.org/10.1177/1094342006064488},
doi = {10.1177/1094342006064488},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijhpca/BernholdtAABCDDEEGKKKKLLLMMNNPRSWZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/siam/06/BramleyAMS06,
author = {Randall Bramley and
Robert C. Armstrong and
Lois C. McInnes and
Matthew J. Sottile},
editor = {Michael A. Heroux and
Padma Raghavan and
Horst D. Simon},
title = {High-Performance Component Software Systems},
booktitle = {Parallel Processing for Scientific Computing},
series = {Software, Environments, Tools},
volume = {20},
pages = {249--270},
publisher = {{SIAM}},
year = {2006},
url = {https://doi.org/10.1137/1.9780898718133.ch14},
doi = {10.1137/1.9780898718133.CH14},
timestamp = {Mon, 16 Sep 2019 14:43:13 +0200},
biburl = {https://dblp.org/rec/books/siam/06/BramleyAMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/MalonySTRARS05,
author = {Allen D. Malony and
Sameer Shende and
Nick Trebon and
Jaideep Ray and
Robert C. Armstrong and
Craig Edward Rasmussen and
Matthew J. Sottile},
title = {Performance technology for parallel and distributed component software},
journal = {Concurr. Pract. Exp.},
volume = {17},
number = {2-4},
pages = {117--141},
year = {2005},
url = {https://doi.org/10.1002/cpe.931},
doi = {10.1002/CPE.931},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/MalonySTRARS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/NorrisRAMBEMS04,
author = {Boyana Norris and
Jaideep Ray and
Robert C. Armstrong and
Lois C. McInnes and
David E. Bernholdt and
Wael R. Elwasif and
Allen D. Malony and
Sameer Shende},
editor = {Ivica Crnkovic and
Judith A. Stafford and
Heinz W. Schmidt and
Kurt C. Wallnau},
title = {Computational Quality of Service for Scientific Components},
booktitle = {Component-Based Software Engineering, 7th International Symposium,
{CBSE} 2004, Edinburgh, UK, May 24-25, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3054},
pages = {264--271},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24774-6\_23},
doi = {10.1007/978-3-540-24774-6\_23},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cbse/NorrisRAMBEMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/RayTASM04,
author = {Jaideep Ray and
Nick Trebon and
Robert C. Armstrong and
Sameer Shende and
Allen D. Malony},
title = {Performance Measurement and Modeling of Component Applications in
a High Performance Computing Environment: {A} Case Study},
booktitle = {18th International Parallel and Distributed Processing Symposium {(IPDPS}
2004), {CD-ROM} / Abstracts Proceedings, 26-30 April 2004, Santa Fe,
New Mexico, {USA}},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/IPDPS.2004.1303041},
doi = {10.1109/IPDPS.2004.1303041},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/RayTASM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/AllanAWRBK02,
author = {Benjamin A. Allan and
Robert C. Armstrong and
Alicia P. Wolfe and
Jaideep Ray and
David E. Bernholdt and
James Arthur Kohl},
title = {The {CCA} core specification in a distributed memory {SPMD} framework},
journal = {Concurr. Comput. Pract. Exp.},
volume = {14},
number = {5},
pages = {323--345},
year = {2002},
url = {https://doi.org/10.1002/cpe.651},
doi = {10.1002/CPE.651},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/AllanAWRBK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dais/EvenskyGWA99,
author = {David A. Evensky and
Ann C. Gentile and
Pete Wyckoff and
Robert C. Armstrong},
editor = {Lea Kutvonen and
Hartmut K{\"{o}}nig and
Martti Tienari},
title = {The Lilith framework for the rapid development of secure scalable
tools for distributed computing (short paper)},
booktitle = {Distributed Applications and Interoperable Systems II, Second {IFIP}
{WG} 6.1 International Working Conference on Distributed Applications
and Interoperable Systems, June 28 - July 1, 1999, Helsinki, Finland},
series = {{IFIP} Conference Proceedings},
volume = {143},
pages = {163--168},
publisher = {Kluwer},
year = {1999},
timestamp = {Mon, 21 Oct 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dais/EvenskyGWA99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpdc/ArmstrongGGKKMPS99,
author = {Robert C. Armstrong and
Dennis Gannon and
Al Geist and
Katarzyna Keahey and
Scott R. Kohn and
Lois C. McInnes and
Steven G. Parker and
Brent A. Smolinski},
title = {Toward a Common Component Architecture for High-Performance Scientific
Computing},
booktitle = {Proceedings of the Eighth {IEEE} International Symposium on High Performance
Distributed Computing, HPDC'99, Redondo Beach, California, USA, August
3-6, 1999},
pages = {115--124},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/HPDC.1999.805289},
doi = {10.1109/HPDC.1999.805289},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hpdc/ArmstrongGGKKMPS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpdc/GentileEA98,
author = {Ann C. Gentile and
David A. Evensky and
Robert C. Armstrong},
title = {Lilith: {A} Software Framework for the Rapid Development of Scalable
Tools for Distributed Computing},
booktitle = {Proceedings of the Seventh {IEEE} International Symposium on High
Performance Distributed Computing, {HPDC} '98, Chicago, Illinois,
USA, July 28-31, 1998},
pages = {360--361},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/HPDC.1998.710030},
doi = {10.1109/HPDC.1998.710030},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hpdc/GentileEA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BaltusVADM97,
author = {Donald G. Baltus and
Thomas Varga and
Robert C. Armstrong and
John Duh and
T. G. Matheson},
editor = {Ellen J. Yoffa and
Giovanni De Micheli and
Jan M. Rabaey},
title = {Developing a Concurrent Methodology for Standard-Cell Library Generation},
booktitle = {Proceedings of the 34st Conference on Design Automation, Anaheim,
California, USA, Anaheim Convention Center, June 9-13, 1997},
pages = {333--336},
publisher = {{ACM} Press},
year = {1997},
url = {https://doi.org/10.1145/266021.266129},
doi = {10.1145/266021.266129},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/BaltusVADM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/Armstrong97,
author = {Robert C. Armstrong},
title = {{POET} (Parallel Object-oriented Environment and Toolkit) and Frameworks
for Scientific Distributed Computing},
booktitle = {30th Annual Hawaii International Conference on System Sciences (HICSS-30),
7-10 January 1997, Maui, Hawaii, {USA}},
pages = {54--63},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/HICSS.1997.667178},
doi = {10.1109/HICSS.1997.667178},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/Armstrong97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpdc/ArmstrongWYBB97,
author = {Robert C. Armstrong and
Pete Wyckoff and
Clement Yam and
Mary Bui{-}Pham and
Nancy Brown},
title = {Frame-Based Components for Generalized Particle Methods},
booktitle = {Proceedings of the 6th International Symposium on High Performance
Distributed Computing, {HPDC} '97, Portland, OR, USA, August 5-8,
1997},
pages = {50--59},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/HPDC.1997.622362},
doi = {10.1109/HPDC.1997.622362},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hpdc/ArmstrongWYBB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpdc/EvenskyGCA97,
author = {David A. Evensky and
Ann C. Gentile and
L. Jean Camp and
Robert C. Armstrong},
title = {Lilith: Scalable Execution of User Code for Distributed Computing},
booktitle = {Proceedings of the 6th International Symposium on High Performance
Distributed Computing, {HPDC} '97, Portland, OR, USA, August 5-8,
1997},
pages = {305--314},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/HPDC.1997.626436},
doi = {10.1109/HPDC.1997.626436},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hpdc/EvenskyGCA97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpdc/ArmstrongM94,
author = {Robert C. Armstrong and
Jane MacFarlane},
title = {The Use of Frameworks for Scientific Computation in a Parallel Distributed
Environment},
booktitle = {Proceedings of the Third International Symposium on High Performance
Distributed Computing, {HPDC} '94, San Francisco, CA, USA, April 2-5,
1994},
pages = {15--25},
publisher = {{IEEE}},
year = {1994},
url = {https://doi.org/10.1109/HPDC.1994.340264},
doi = {10.1109/HPDC.1994.340264},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/hpdc/ArmstrongM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ArmstrongA92,
author = {Robert C. Armstrong and
Jonathan Allen},
editor = {Louise Trevillyan and
Michael R. Lightner},
title = {{FICOM:} a framework for incremental consistency maintenance in multi-representation,
structural {VLSI} databases},
booktitle = {1992 {IEEE/ACM} International Conference on Computer-Aided Design,
{ICCAD} 1992, Santa Clara, CA, USA, November 8-12, 1992. Digest of
Technical Papers},
pages = {336--343},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1992},
url = {https://doi.org/10.1109/ICCAD.1992.279350},
doi = {10.1109/ICCAD.1992.279350},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/ArmstrongA92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 05:50 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:
