-
1كتاب إلكتروني
المؤلفون: Wrenger, LarsAff12, Töllner, DominikAff12, Lohmann, DanielAff12
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Goumas, Georgios, editorAff7, Tomforde, Sven, editorAff8, Brehm, Jürgen, editorAff9, Wildermann, Stefan, editorAff10, Pionteck, Thilo, editorAff11
المصدر: Architecture of Computing Systems : 36th International Conference, ARCS 2023, Athens, Greece, June 13–15, 2023, Proceedings. 13949:139-152
-
2دورية أكاديمية
المصدر: IEEE Micro Micro, IEEE. 37(3):88-97 2017
-
3دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
4دورية أكاديمية
المؤلفون: 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
-
5كتاب إلكتروني
المؤلفون: Taubenfeld, GadiAff21
المساهمون: Hutchison, David, editorAff1, Kanade, Takeo, editorAff2, Kittler, Josef, editorAff3, Kleinberg, Jon M., editorAff4, Mattern, Friedemann, editorAff5, Mitchell, John C., editorAff6, Naor, Moni, editorAff7, Nierstrasz, Oscar, editorAff8, Pandu Rangan, C., editorAff9, Steffen, Bernhard, editorAff10, Sudan, Madhu, editorAff11, Terzopoulos, Demetri, editorAff12, Tygar, Doug, editorAff13, Vardi, Moshe Y., editorAff14, Weikum, Gerhard, editorAff15, Frey, Davide, editorAff16, Raynal, Michel, editorAff17, Sarkar, Saswati, editorAff18, Shyamasundar, Rudrapatna K., editorAff19, Sinha, Prasun, editorAff20
المصدر: Distributed Computing and Networking : 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings. 7730:423-427
-
6
المؤلفون: 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
-
7كتاب إلكتروني
المؤلفون: Gopalakrishnan, GaneshAff17, Yang, YueAff17, Sivaraj, HemanthkumarAff17
المساهمون: Kanade, Takeo, editorAff1, Kittler, Josef, editorAff2, Kleinberg, Jon M., editorAff3, Mattern, Friedemann, editorAff4, Mitchell, John C., editorAff5, Naor, Moni, editorAff6, Nierstrasz, Oscar, editorAff7, Pandu Rangan, C., editorAff8, Steffen, Bernhard, editorAff9, Sudan, Madhu, editorAff10, Terzopoulos, Demetri, editorAff11, Tygar, Dough, editorAff12, Vardi, Moshe Y., editorAff13, Weikum, Gerhard, editorAff14, Alur, Rajeev, editorAff15, Peled, Doron A., editorAff16
المصدر: Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings. 3114:401-413
-
8
المؤلفون: 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
-
9
المؤلفون: 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 -
10دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.