default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: David May 0001
@article{DBLP:journals/cj/GeorgiouCGME22,
author = {Kyriakos Georgiou and
Zbigniew Chamski and
Andr{\'{e}}s Amaya Garc{\'{\i}}a and
David May and
Kerstin Eder},
title = {Lost In Translation: Exposing Hidden Compiler Optimization Opportunities},
journal = {Comput. J.},
volume = {65},
number = {3},
pages = {718--735},
year = {2022},
url = {https://doi.org/10.1093/comjnl/bxaa103},
doi = {10.1093/COMJNL/BXAA103},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/GeorgiouCGME22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/GarciaMN21,
author = {Andr{\'{e}}s Amaya Garc{\'{\i}}a and
David May and
Ed Nutting},
title = {Integrated Hardware Garbage Collection},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {20},
number = {5},
pages = {40:1--40:25},
year = {2021},
url = {https://doi.org/10.1145/3450147},
doi = {10.1145/3450147},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/GarciaMN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/May21,
author = {David May},
editor = {Cliff B. Jones and
Jayadev Misra},
title = {CSP, Occam, and Inmos},
booktitle = {Theories of Programming: The Life and Works of Tony Hoare},
series = {{ACM} Books},
volume = {39},
pages = {271--284},
publisher = {{ACM} / Morgan {\&} Claypool},
year = {2021},
url = {https://doi.org/10.1145/3477355.3477368},
doi = {10.1145/3477355.3477368},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/mc/21/May21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieeesec/GarciaMN20,
author = {Andr{\'{e}}s Amaya Garc{\'{\i}}a and
David May and
Ed Nutting},
title = {Garbage Collection for Edge Computing},
booktitle = {5th {IEEE/ACM} Symposium on Edge Computing, {SEC} 2020, San Jose,
CA, USA, November 12-14, 2020},
pages = {319},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SEC50012.2020.00044},
doi = {10.1109/SEC50012.2020.00044},
timestamp = {Tue, 02 Mar 2021 09:16:51 +0100},
biburl = {https://dblp.org/rec/conf/ieeesec/GarciaMN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-11397,
author = {Kyriakos Georgiou and
Zbigniew Chamski and
Andr{\'{e}}s Amaya Garc{\'{\i}}a and
David May and
Kerstin Eder},
title = {Lost in translation: Exposing hidden compiler optimization opportunities},
journal = {CoRR},
volume = {abs/1903.11397},
year = {2019},
url = {http://arxiv.org/abs/1903.11397},
eprinttype = {arXiv},
eprint = {1903.11397},
timestamp = {Wed, 03 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-11397.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcsoc/KerrisonME16,
author = {Steve Kerrison and
David May and
Kerstin Eder},
title = {A Benes Based NoC Switching Architecture for Mixed Criticality Embedded
Systems},
booktitle = {10th {IEEE} International Symposium on Embedded Multicore/Many-core
Systems-on-Chip, {MCSOC} 2016, Lyon, France, September 21-23, 2016},
pages = {125--132},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/MCSoC.2016.50},
doi = {10.1109/MCSOC.2016.50},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mcsoc/KerrisonME16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KerrisonME16,
author = {Steve Kerrison and
David May and
Kerstin Eder},
title = {A Benes Based NoC Switching Architecture for Mixed Criticality Embedded
Systems},
journal = {CoRR},
volume = {abs/1606.08686},
year = {2016},
url = {http://arxiv.org/abs/1606.08686},
eprinttype = {arXiv},
eprint = {1606.08686},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KerrisonME16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/May12,
author = {David May},
title = {The {XMOS} Architecture and {XS1} Chips},
journal = {{IEEE} Micro},
volume = {32},
number = {6},
pages = {28--37},
year = {2012},
url = {https://doi.org/10.1109/MM.2012.87},
doi = {10.1109/MM.2012.87},
timestamp = {Mon, 20 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/micro/May12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-1157,
author = {James W. Hanlon and
Simon J. Hollis and
David May},
title = {Scalable data abstractions for distributed parallel computations},
journal = {CoRR},
volume = {abs/1210.1157},
year = {2012},
url = {http://arxiv.org/abs/1210.1157},
eprinttype = {arXiv},
eprint = {1210.1157},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-1157.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-1158,
author = {James W. Hanlon and
Simon J. Hollis and
David May},
title = {Emulating a large memory sequential machine with a collection of small
memory ones},
journal = {CoRR},
volume = {abs/1210.1158},
year = {2012},
url = {http://arxiv.org/abs/1210.1158},
eprinttype = {arXiv},
eprint = {1210.1158},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-1158.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/KharmehEM11,
author = {Suleiman Abu Kharmeh and
Kerstin Eder and
David May},
editor = {Uli Fahrenberg and
Stavros Tripakis},
title = {A Design-for-Verification Framework for a Configurable Performance-Critical
Communication Interface},
booktitle = {Formal Modeling and Analysis of Timed Systems - 9th International
Conference, {FORMATS} 2011, Aalborg, Denmark, September 21-23, 2011.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6919},
pages = {335--351},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24310-3\_23},
doi = {10.1007/978-3-642-24310-3\_23},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/KharmehEM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/YuanWEM11,
author = {Fangfang Yuan and
Stephen Wright and
Kerstin Eder and
David May},
editor = {Shengchao Qin and
Zongyan Qiu},
title = {Managing Complexity through Abstraction: {A} Refinement-Based Approach
to Formalize Instruction Set Architectures},
booktitle = {Formal Methods and Software Engineering - 13th International Conference
on Formal Engineering Methods, {ICFEM} 2011, Durham, UK, October 26-28,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6991},
pages = {585--600},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24559-6\_39},
doi = {10.1007/978-3-642-24559-6\_39},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/YuanWEM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nocs/May08,
author = {David May},
title = {Invited Talk 1- Past, Present, and Future Communicating Processors},
booktitle = {Second International Symposium on Networks-on-Chips, {NOCS} 2008,
5-6 April 2008, Newcastle University, {UK.} Proceedings},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.ieeecomputersociety.org/10.1109/NOCS.2008.36},
doi = {10.1109/NOCS.2008.36},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nocs/May08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wotug/May07,
author = {David May},
editor = {Alistair A. McEwan and
Steve A. Schneider and
Wilson Ifill and
Peter H. Welch},
title = {Communicating Process Architecture for Multicores},
booktitle = {The 30th Communicating Process Architectures Conference, {CPA} 2007,
organised under the auspices of WoTUG and the University of Surrey,
Guildford, Surrey, UK, 8-11 July 2007},
series = {Concurrent Systems Engineering Series},
volume = {65},
pages = {21--32},
publisher = {{IOS} Press},
year = {2007},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5964},
timestamp = {Mon, 20 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wotug/May07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/May04,
author = {David May},
editor = {Ali E. Abdallah and
Cliff B. Jones and
Jeff W. Sanders},
title = {CSP, occam and Transputers},
booktitle = {Communicating Sequential Processes: The First 25 Years, Symposium
on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3525},
pages = {75--84},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11423348\_5},
doi = {10.1007/11423348\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/May04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asap/IrwinMMP02,
author = {James Irwin and
David May and
Henk L. Muller and
Dan Page},
title = {Predictable Instruction Caching for Media Processors},
booktitle = {13th {IEEE} International Conference on Application-Specific Systems,
Architectures, and Processors {(ASAP} 2002), 17-19 July 2002, San
Jose, CA, {USA}},
pages = {141--150},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ASAP.2002.1030713},
doi = {10.1109/ASAP.2002.1030713},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asap/IrwinMMP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/samos/MullerPIM02,
author = {Henk L. Muller and
Dan Page and
James Irwin and
David May},
editor = {Ed F. Deprettere and
J{\"{u}}rgen Teich and
Stamatis Vassiliadis},
title = {Caches with Compositional Performance},
booktitle = {Embedded Processor Design Challenges: Systems, Architectures, Modeling,
and Simulation - {SAMOS}},
series = {Lecture Notes in Computer Science},
volume = {2268},
pages = {242--259},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45874-3\_14},
doi = {10.1007/3-540-45874-3\_14},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/samos/MullerPIM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acisp/MayMS01,
author = {David May and
Henk L. Muller and
Nigel P. Smart},
editor = {Vijay Varadharajan and
Yi Mu},
title = {Non-deterministic Processors},
booktitle = {Information Security and Privacy, 6th Australasian Conference, {ACISP}
2001, Sydney, Australia, July 11-13, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2119},
pages = {115--129},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47719-5\_11},
doi = {10.1007/3-540-47719-5\_11},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/acisp/MayMS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ches/MayMS01,
author = {David May and
Henk L. Muller and
Nigel P. Smart},
editor = {{\c{C}}etin Kaya Ko{\c{c}} and
David Naccache and
Christof Paar},
title = {Random Register Renaming to Foil {DPA}},
booktitle = {Cryptographic Hardware and Embedded Systems - {CHES} 2001, Third International
Workshop, Paris, France, May 14-16, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2162},
pages = {28--38},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44709-1\_4},
doi = {10.1007/3-540-44709-1\_4},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/ches/MayMS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/MayMS00,
author = {David May and
Henk L. Muller and
Shondip Sen},
editor = {Arndt Bode and
Thomas Ludwig and
Wolfgang Karl and
Roland Wism{\"{u}}ller},
title = {Hardware Migratable Channels (Research Note)},
booktitle = {Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference,
Munich, Germany, August 29 - September 1, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1900},
pages = {545--549},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44520-X\_74},
doi = {10.1007/3-540-44520-X\_74},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/MayMS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hipc/MayPIM99,
author = {David May and
Dan Page and
James Irwin and
Henk L. Muller},
editor = {Prithviraj Banerjee and
Viktor K. Prasanna and
Bhabani P. Sinha},
title = {Microcaches},
booktitle = {High Performance Computing - HiPC'99, 6th International Conference,
Calcutta, India, December 17-20, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1745},
pages = {21--27},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-540-46642-0\_3},
doi = {10.1007/978-3-540-46642-0\_3},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/hipc/MayPIM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/MayM99,
author = {David May and
Henk L. Muller},
title = {Using Channels for Multimedia Communication},
booktitle = {13th International Parallel Processing Symposium / 10th Symposium
on Parallel and Distributed Processing {(IPPS} / {SPDP} '99), 12-16
April 1999, San Juan, Puerto Rico, Proceedings},
pages = {93--98},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/IPPS.1999.760441},
doi = {10.1109/IPPS.1999.760441},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/MayM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/MullerM98,
author = {Henk L. Muller and
David May},
editor = {David J. Pritchard and
Jeff Reeve},
title = {A Simple Protocol to Communicate Channels over Channels},
booktitle = {Euro-Par '98 Parallel Processing, 4th International Euro-Par Conference,
Southampton, UK, September 1-4, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1470},
pages = {591--600},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0057905},
doi = {10.1007/BFB0057905},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/MullerM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mm/PollardM98,
author = {Neil Pollard and
David May},
editor = {Wolfgang Effelsberg and
Brian C. Smith},
title = {Using Interval Arithmetic the Calculate Data Sizes for Compilation
to Multimedia Instruction Sets},
booktitle = {Proceedings of the 6th {ACM} International Conference on Multimedia
'98, Bristol, England, September 12-16, 1998},
pages = {279--284},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/290747.290782},
doi = {10.1145/290747.290782},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mm/PollardM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/May93,
author = {David May},
editor = {Lawrence Snyder},
title = {Components for Computing and Communications},
booktitle = {Proceedings of the 5th Annual {ACM} Symposium on Parallel Algorithms
and Architectures, {SPAA} '93, Velen, Germany, June 30 - July 2, 1993},
pages = {68},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165231.165241},
doi = {10.1145/165231.165241},
timestamp = {Mon, 29 Jul 2024 11:07:21 +0200},
biburl = {https://dblp.org/rec/conf/spaa/May93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/MayST92,
author = {David May and
Roger Shepherd and
Peter Thompson},
title = {The {T9000} Transputer},
booktitle = {Proceedings 1992 {IEEE} International Conference on Computer Design:
{VLSI} in Computer {\&} Processors, {ICCD} '92, Cambridge, MA,
USA, October 11-14, 1992},
pages = {209--212},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/ICCD.1992.276250},
doi = {10.1109/ICCD.1992.276250},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/MayST92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edmcc/May91,
author = {David May},
editor = {Arndt Bode},
title = {The Next Generation Transputers and Beyond},
booktitle = {Distributed Memory Computing, 2nd European Conference, EDMCC2, Munich,
FRG, April 22-24, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {487},
pages = {7--22},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0032918},
doi = {10.1007/BFB0032918},
timestamp = {Fri, 17 Nov 2023 09:27:30 +0100},
biburl = {https://dblp.org/rec/conf/edmcc/May91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/May91,
author = {David May},
title = {How to Design a Parallel Computer},
booktitle = {Proceedings 1991 {IEEE} International Conference on Computer Design:
{VLSI} in Computer {\&} Processors, {ICCD} '91, Cambridge, MA,
USA, October 14-16, 1991},
pages = {2},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/ICCD.1991.139826},
doi = {10.1109/ICCD.1991.139826},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/May91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/MayS89,
author = {David May and
David Shepherd},
editor = {Jan L. A. van de Snepscheut},
title = {Towards Totally Verified Systems},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen
University, International Conference, Groningen, The Netherlands,
June 26-30, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {375},
pages = {48--65},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51305-1\_4},
doi = {10.1007/3-540-51305-1\_4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/MayS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/MayS88,
author = {David May and
Roger Shepherd},
editor = {Grzegorz Rozenberg},
title = {Occam and the transputer},
booktitle = {Advances in Petri Nets 1989, covers the 9th European Workshop on Applications
and Theory in Petri Nets, held in Venice, Italy in June 1988, selected
papers},
series = {Lecture Notes in Computer Science},
volume = {424},
pages = {329--353},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-52494-0\_36},
doi = {10.1007/3-540-52494-0\_36},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/apn/MayS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/HomewoodMSS87,
author = {Mark Homewood and
David May and
David Shepherd and
Roger Shepherd},
title = {The {IMS} {T800} Transputer},
journal = {{IEEE} Micro},
volume = {7},
number = {5},
pages = {10--26},
year = {1987},
url = {https://doi.org/10.1109/MM.1987.305012},
doi = {10.1109/MM.1987.305012},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/micro/HomewoodMSS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/MaySK86,
author = {David May and
Roger Shepherd and
Catherine Keane},
editor = {Philip C. Treleaven and
Marco Vanneschi},
title = {Communicating Process Architecture: Transputers and Occam},
booktitle = {Future Parallel Computers, An Advanced Course, Pisa, Italy, June 9-20,
1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {272},
pages = {35--81},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18203-9\_2},
doi = {10.1007/3-540-18203-9\_2},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/MaySK86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/MayT84,
author = {David May and
Richard James Taylor},
title = {OCCAM-an overview},
journal = {Microprocess. Microsystems},
volume = {8},
number = {2},
pages = {73--79},
year = {1984},
url = {https://doi.org/10.1016/0141-9331(84)90119-4},
doi = {10.1016/0141-9331(84)90119-4},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mam/MayT84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/MayS84,
author = {David May and
Roger Shepherd},
title = {The Transputer Implementation of Occam},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems, {FGCS} 1984, Tokyo, Japan, November 6-9, 1984},
pages = {533--541},
publisher = {{OHMSHA} Ltd. Tokyo and North-Holland},
year = {1984},
timestamp = {Wed, 31 Jul 2019 10:45:49 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/MayS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/May83,
author = {David May},
title = {{OCCAM}},
journal = {{ACM} {SIGPLAN} Notices},
volume = {18},
number = {4},
pages = {69--79},
year = {1983},
url = {https://doi.org/10.1145/948176.948183},
doi = {10.1145/948176.948183},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/May83.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.
last updated on 2025-03-14 17:53 CET 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:
