المؤلفون: Glenn J. Fitzgerald, Michael Tausz, Roger Armstrong, Joe Panozzo, Piotr Trębicki, Mahabubur Mollah, Sabine Tausz-Posch, Cassandra Walker, James G. Nuttall, Maryse Bourgault, Markus Löw, Debra Partington, Clayton R. Butterly, Shu Kee Lam, Robert M. Norton, Garry J. O'Leary

المصدر: Advances in Agronomy ISBN: 9780323988414

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::bb986c4759eb1c32473e4652de6a32d2Test
https://doi.org/10.1016/bs.agron.2021.08.001Test

المؤلفون: Christopher Pulte, Robert M. Norton, Ian Stark, Jon French, Alastair Reid, Shaked Flur, Alasdair Armstrong, Mark Wassell, Kathryn E. Gray, Peter Sewell, Neel Krishnaswami, Thomas Bauereiss, Brian Campbell, Prashanth Mundkur

المصدر: Proceedings of the ACM on Programming Languages
Armstrong, A, Bauereiss, T, Campbell, B, Reid, A, Gray, K E, Norton, R M, Mundkur, P, Wassell, M, French, J, Pulte, C, Flur, S, Stark, I, Krishnaswami, N & Sewell, P 2019, ' ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS ', Proceedings of the ACM on Programming Languages, vol. 3, no. POPL, 71 . https://doi.org/10.1145/3290384Test

مصطلحات موضوعية: Correctness, Semantics (computer science), Computer science, Concurrency, Instruction Set Architectures, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, 0202 electrical engineering, electronic engineering, information engineering, Safety, Risk, Reliability and Quality, Pseudocode, Soundness, business.industry, Programming language, Theorem Proving, Software development, 020207 software engineering, computer.file_format, Semantics, 010201 computation theory & mathematics, RISC-V, Executable, business, computer, Software

وصف الملف: application/pdf

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b03d45b0127eedfeee57ea420de43824Test
https://doi.org/10.1145/3290384Test

المؤلفون: Peter Sewell, Khilan Gudka, David Chisnall, Alexander Richardson, Robert N. M. Watson, Alexandre Joannou, Stacey Son, John Baldwin, Edward Napierala, Michael Roe, Robert M. Norton, Nathaniel Wesley Filardo, Alfredo Mazzinghi, Simon W. Moore, Jessica Clarke, Jonathan Woodruff, Sam Ainsworth, Brooks Davis, Brett F. Gutstein, Peter G. Neumann, Lucian Paul-Trifu, A. Theodore Markettos, Hongyan Xia, Timothy M. Jones

المصدر: Proceedings of the 41st IEEE Symposium on Security and Privacy (SP)
2020 IEEE Symposium on Security and Privacy (SP)
IEEE Symposium on Security and Privacy

مصطلحات موضوعية: 010302 applied physics, Revocation, Computer science, Spec#, 02 engineering and technology, computer.software_genre, 3301 Architecture, 01 natural sciences, 020202 computer hardware & architecture, Allocator, Memory management, 46 Information and Computing Sciences, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, Operating system, Test suite, Hardware acceleration, 33 Built Environment and Design, Memory safety, computer, Booting, computer.programming_language, Heap (data structure)

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::aca2234b627b684664fc034652d5b50cTest

المؤلفون: Matthew Naylor, Michael Roe, Thomas Bauereiss, Brian Campbell, Kyndylan Nienhuis, Simon W. Moore, Ian Stark, Peter Sewell, Robert M. Norton, Peter G. Neumann, Alexandre Joannou, Robert N. M. Watson, Anthony Fox

المصدر: Nienhuis, K, Joannou, A, Bauereiss, T, Fox, A, Roe, M, Campbell, B, Naylor, M, Norton, R M, Moore, S W, Neumann, P G, Stark, I, Watson, R N M & Sewell, P 2020, Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process . in 2020 IEEE Symposium on Security and Privacy (SP) . Institute of Electrical and Electronics Engineers (IEEE), San Francisco, CA, USA, pp. 1003-1020, 41st IEEE Symposium on Security and Privacy, San Francisco, California, United States, 18/05/20 . https://doi.org/10.1109/SP40000.2020.00055Test
2020 IEEE Symposium on Security and Privacy (SP)
Proceedings of the 41st IEEE Symposium on Security and Privacy (SP)
IEEE Symposium on Security and Privacy

مصطلحات موضوعية: Hardware security module, Computer science, business.industry, Vulnerability, 02 engineering and technology, 3301 Architecture, Oracle, 020202 computer hardware & architecture, Microarchitecture, Instruction set, Documentation, Software, Software bug, 46 Information and Computing Sciences, Scalability, 0202 electrical engineering, electronic engineering, information engineering, 4604 Cybersecurity and Privacy, 020201 artificial intelligence & image processing, Software engineering, business, Engineering design process, 33 Built Environment and Design, Formal verification, 4612 Software Engineering

وصف الملف: application/pdf

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::088194b0b16081fc68eabf7d11140121Test

المؤلفون: Alexandre Joannou, Khilan Gudka, Peter G. Neumann, David Chisnall, Robert M. Norton, A. Theodore Markettos, Jonathan Woodruff, Simon W. Moore, Nathaniel Wesley Filardo, Brooks Davis, Michael Roe, Robert N. M. Watson, Anthony Fox, Hongyan Xia

المساهمون: Xia, Hongyan [0000-0002-8047-899X], Norton-Wright, Robert [0000-0002-6095-6405], Moore, Simon [0000-0002-2806-495X], Apollo - University of Cambridge Repository

مصطلحات موضوعية: memory safety, Correctness, business.industry, Computer science, Processor design, Legacy system, 02 engineering and technology, Capabilities, compression, 020202 computer hardware & architecture, Theoretical Computer Science, Instruction set, Uncompressed video, Software, Computational Theory and Mathematics, Computer engineering, Hardware and Architecture, Pointer (computer programming), 0202 electrical engineering, electronic engineering, information engineering, fat pointers, computer architecture, business

وصف الملف: application/pdf

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d0e95515760db766c3e26d5ad557891aTest
https://www.repository.cam.ac.uk/handle/1810/292406Test

المؤلفون: Robert N. M. Watson, Brooks Davis, Peter Sewell, Alexandre Joannou, Alfredo Mazzinghi, Nathaniel Wesley Filardo, Jonathan Woodruff, Alexander Richardson, Khilan Gudka, Jessica Clarke, Robert M. Norton, Ben Laurie, Stacey Son, David Chisnall, Simon W. Moore, Michael Roe, Peter G. Neumann, John Baldwin, Edward Napierala, J. Edward Maste, A. Theodore Markettos

المصدر: ASPLOS
Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems

مصطلحات موضوعية: operating systems, 010302 applied physics, Computer science, Distributed computing, security, 02 engineering and technology, 01 natural sciences, CHERI, 020202 computer hardware & architecture, POSIX, Pointer (computer programming), 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, hardware, Notional amount, Architecture, Memory safety

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f1e757dbf0968dafc0479d4c9f8a8c46Test

المؤلفون: Robert M. Norton

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::2919fd4948d482b496ba188891d93d68Test

المؤلفون: Chamindathee L, Thilakarathne, Sabine, Tausz-Posch, Karen, Cane, Robert M, Norton, Glenn J, Fitzgerald, Michael, Tausz, Saman, Seneweera

المصدر: Functional plant biology : FPB. 42(3)

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=pmid________::dc15c9a173df79442465fc3524c20147Test
https://pubmed.ncbi.nlm.nih.gov/32480675Test

المؤلفون: Robert M. Norton

المصدر: Mathematics Teaching in the Middle School. 7:78-82

مصطلحات موضوعية: Reform mathematics, Connected Mathematics, Mathematics education, Structure (category theory), Mathematics

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::5651146ed70da48a52bcf9c8b847d0eeTest
https://doi.org/10.5951/mtms.7.2.0078Test

المؤلفون: Sabine, Tausz-Posch, Robert M, Norton, Saman, Seneweera, Glenn J, Fitzgerald, Michael, Tausz

المصدر: Physiologia plantarum. 148(2)

مصطلحات موضوعية: Chlorophyll, Plant Leaves, Light, Acclimatization, Plant Stomata, Water, Biological Transport, Plant Transpiration, Carbon Dioxide, Photosynthesis, Triticum, Circadian Rhythm

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=pmid________::ac65396467c9c9ef0af9f6a5866653c7Test
https://pubmed.ncbi.nlm.nih.gov/23035842Test