المؤلفون: Wrenger, Lars^Aff12, Töllner, Dominik^Aff12, Lohmann, Daniel^Aff12

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Goumas, Georgios, editor^Aff7, Tomforde, Sven, editor^Aff8, Brehm, Jürgen, editor^Aff9, Wildermann, Stefan, editor^Aff10, Pionteck, Thilo, editor^Aff11

المصدر: Architecture of Computing Systems : 36th International Conference, ARCS 2023, Athens, Greece, June 13–15, 2023, Proceedings. 13949:139-152

المؤلفون: Lustig, Daniel, Sethi, Geet, Bhattacharjee, Abhishek, Martonosi, Margaret

المصدر: IEEE Micro Micro, IEEE. 37(3):88-97 2017

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Riedlinger, R., Arnold, R., Biro, L., Bowhill, B., Crop, J., Duda, K., Fetzer, E. S., Franza, O., Grutkowski, T., Little, C., Morganti, C., Moyer, G., Munch, A., Nagarajan, M., Parks, C., Poirier, C., Repasky, B., Roytman, E., Singh, T., Stefaniw, M. W.

المصدر: IEEE Journal of Solid-State Circuits IEEE J. Solid-State Circuits Solid-State Circuits, IEEE Journal of. 47(1):177-193 Jan, 2012

المؤلفون: Taubenfeld, Gadi^Aff21

المساهمون: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Frey, Davide, editor^Aff16, Raynal, Michel, editor^Aff17, Sarkar, Saswati, editor^Aff18, Shyamasundar, Rudrapatna K., editor^Aff19, Sinha, Prasun, editor^Aff20

المصدر: Distributed Computing and Networking : 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings. 7730:423-427

المؤلفون: Mikko H. Lipasti, Sooraj Puthoor

المصدر: ACM Transactions on Architecture and Code Optimization. 18:1-27

مصطلحات موضوعية: 010302 applied physics, Sequential consistency, Computer science, Consistency model, 02 engineering and technology, Lockstep, Parallel computing, 01 natural sciences, 020202 computer hardware & architecture, Hardware and Architecture, Memory ordering, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, Memory model, Baseline (configuration management), Implementation, Software, Information Systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::7744c9ca65eccee9f8e926a4322d000d
https://doi.org/10.1145/3428153

المؤلفون: Gopalakrishnan, Ganesh^Aff17, Yang, Yue^Aff17, Sivaraj, Hemanthkumar^Aff17

المساهمون: Kanade, Takeo, editor^Aff1, Kittler, Josef, editor^Aff2, Kleinberg, Jon M., editor^Aff3, Mattern, Friedemann, editor^Aff4, Mitchell, John C., editor^Aff5, Naor, Moni, editor^Aff6, Nierstrasz, Oscar, editor^Aff7, Pandu Rangan, C., editor^Aff8, Steffen, Bernhard, editor^Aff9, Sudan, Madhu, editor^Aff10, Terzopoulos, Demetri, editor^Aff11, Tygar, Dough, editor^Aff12, Vardi, Moshe Y., editor^Aff13, Weikum, Gerhard, editor^Aff14, Alur, Rajeev, editor^Aff15, Peled, Doron A., editor^Aff16

المصدر: Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings. 3114:401-413

المؤلفون: Mengda He, Shengchao Qin, Zhiwu Xu

المصدر: IEEE Access, Vol 8, Pp 173874-173903 (2020)

مصطلحات موضوعية: formal semantics, General Computer Science, Computer science, 02 engineering and technology, C11, computer.software_genre, release-sequence, Synchronization, Instruction set, program verification, Memory ordering, 0202 electrical engineering, electronic engineering, information engineering, General Materials Science, Formal verification, Protocol (object-oriented programming), Soundness, Programming language, General Engineering, 020207 software engineering, Program logic, 020201 artificial intelligence & image processing, Memory model, lcsh:Electrical engineering. Electronics. Nuclear engineering, computer, C11 weak memory model, lcsh:TK1-9971

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1db05c32528e367b50d71fc379e7ffd6
https://ieeexplore.ieee.org/document/9200342/

المؤلفون: Rajeev Balasubramonian, Anirban Nag

المصدر: MICRO

مصطلحات موضوعية: Hardware_MEMORYSTRUCTURES, Speedup, Correctness, Computer science, Memory ordering, Distributed computing, Key (cryptography), Byte, Use case, Granularity, Host (network)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::014def77e7c5d000f457993cbf97f1fa
https://doi.org/10.1145/3466752.3480103

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.