Zum Inhalt springen

  2. Nagarajan, Vijay [VerfasserIn]; Sorin, Daniel J. [VerfasserIn]; Hill, Mark D. [VerfasserIn]; Wood, David A. [VerfasserIn]

    A Primer on Memory Consistency and Cache Coherence, Second Edition

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer Nature, 2020

    Erschienen in: Synthesis Lectures on Computer Architecture

  3. Barroso, Luiz André [VerfasserIn]; Hölzle, Urs [VerfasserIn]; Ranganathan, Parthasarathy [VerfasserIn]

    The Datacenter as a Computer : Designing Warehouse-Scale Machines, Third Edition

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer Nature, 2019

    Erschienen in: Synthesis Lectures on Computer Architecture

  5. Chamberlain, Bradford L. [HerausgeberIn]; Varbanescu, Ana-Lucia [HerausgeberIn]; Ltaief, Hatem [HerausgeberIn]; Luszczek, Piotr [HerausgeberIn]

    High Performance Computing : 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 – July 2, 2021, Proceedings - [1st ed. 2021.]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer International Publishing, 2021. ; Cham: Imprint: Springer, 2021.

    Erschienen in: Theoretical Computer Science and General Issues ; 12728

  6. Decker, Hendrik [HerausgeberIn]; Küng, Josef [HerausgeberIn]; Wagner, Roland [HerausgeberIn]

    Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV : Special Issue on Consistency and Inconsistency in Data-Centric Applications

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2017

    Erschienen in: Lecture notes in computer science ; 10620

  7. Thomsen, Michael Kirkedal [HerausgeberIn]; Soeken, Mathias [HerausgeberIn]

    Reversible Computation : 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings - [1st ed. 2019]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, 2019

    Erschienen in: Programming and Software Engineering ; 11497- Springer eBooks ; Computer Science

  8. Liu, Leibo [VerfasserIn]; Wei, Shaojun [VerfasserIn]; Zhu, Jianfeng [VerfasserIn]; Deng, Chenchen [VerfasserIn]

    Software Defined Chips : Volume II - [1st ed. 2023.]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Singapore: Springer Nature Singapore, 2023. ; Singapore: Imprint: Springer, 2023.

  9. Wei, Shaojun [VerfasserIn]; Liu, Leibo [VerfasserIn]; Zhu, Jianfeng [VerfasserIn]; Deng, Chenchen [VerfasserIn]

    Software Defined Chips : Volume I - [1st ed. 2022.]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Singapore: Springer Nature Singapore, 2022. ; Singapore: Imprint: Springer, 2022.

  10. Henkel, Jörg [VerfasserIn]; Dutt, Nikil [VerfasserIn] ; Henkel, Jörg [HerausgeberIn]; Dutt, Nikil [HerausgeberIn]

    Dependable Embedded Systems

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Erscheinungsort nicht ermittelbar]: Springer Nature, 2021

    Erschienen in: Embedded Systems

  11. Henkel, Jörg [VerfasserIn] ; Dutt, Nikil [Sonstige Person, Familie und Körperschaft]; Henkel, Jörg [HerausgeberIn]; Dutt, Nikil [HerausgeberIn]

    Dependable Embedded Systems

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Erscheinungsort nicht ermittelbar]: Springer Nature, 2021

  14. Silvano, Cristina [HerausgeberIn]; Bertels, Koen [HerausgeberIn]; Schulte, Michael [HerausgeberIn]

    Transactions on High-Performance Embedded Architectures and Compilers V

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2019

    Erschienen in: Transactions on High-Performance Embedded Architectures and Compilers ; 11225- SpringerLink ; Bücher

  15. de Boer, Frank [HerausgeberIn]; Damiani, Ferruccio [HerausgeberIn]; Hähnle, Reiner [HerausgeberIn]; Broch Johnsen, Einar [HerausgeberIn]; Kamburjan, Eduard [HerausgeberIn]

    Active Object Languages: Current Research Trends - [1st ed. 2024.]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer Nature Switzerland, 2024. ; Cham: Imprint: Springer, 2024.

    Erschienen in: Lecture Notes in Computer Science ; 14360

  16. Kroening, Daniel [HerausgeberIn]; Păsăreanu, Corina S. [HerausgeberIn]

    Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham [u.a.]: Springer, 2015

    Erschienen in: Lecture notes in computer science ; 9206

  17. Kroening, Daniel [HerausgeberIn]; Păsăreanu, Corina S. [HerausgeberIn]

    Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham [u.a.]: Springer, 2015

    Erschienen in: Lecture notes in computer science ; 9207

  18. Bernardo, Marco [VerfasserIn] ; Inverardi, Paola [Sonstige Person, Familie und Körperschaft]

    Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg: Springer, 2003

    Erschienen in: Lecture notes in computer science ; 280400

  20. Klusáček, Dalibor [HerausgeberIn]; Cirne, Walfredo [HerausgeberIn]; Rodrigo, Gonzalo P. [HerausgeberIn]

    Job Scheduling Strategies for Parallel Processing : 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers - [1st ed. 2021.]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer International Publishing, 2021. ; Cham: Imprint: Springer, 2021.

    Erschienen in: Theoretical Computer Science and General Issues ; 12985