Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Concurrency
| Concurrency |
| Autore | Malkhi Dahlia |
| Pubbl/distr/stampa | San Rafael : , : Morgan & Claypool Publishers, , 2019 |
| Descrizione fisica | 1 online resource (367 pages) |
| Disciplina | 004.36 |
| Soggetto topico |
Algorithms
Computer algorithms Computer scientists |
| ISBN | 1-4503-7273-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Intro -- Contents -- Preface -- Photo and Text Credits -- Introduction -- The Computer Science of Concurrency: The Early Years -- PART I. TECHNICAL PERSPECTIVES ON LAMPORT'SWORK -- 1. Shared Memory and the Bakery Algorithm -- 2. The Notions of Time and Global State in a Distributed System -- 3. Byzantine Faults -- 4. State Machine Replication with Benign Failures -- 5. Formal Specification and Verification -- 6. Biography -- PART II. SELECTED PAPERS -- A New Solution of Dijkstra's Concurrent Programming Problem -- Clocks, and the Ordering of Events in a Distributed System -- How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs -- The Byzantine Generals Problem -- The Mutual Exclusion Problem: Part I-A Theory of Interprocess Communication -- The Mutual Exclusion Problem: Part II-Statement and Solutions -- The Part-Time Parliament -- References -- Index -- Biographies -- Blank Page. |
| Altri titoli varianti | Concurrency |
| Record Nr. | UNINA-9910861988203321 |
Malkhi Dahlia
|
||
| San Rafael : , : Morgan & Claypool Publishers, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Providing Sound Foundations for Cryptography : On the Work of Shafi Goldwasser and Silvio Micali
| Providing Sound Foundations for Cryptography : On the Work of Shafi Goldwasser and Silvio Micali |
| Autore | Goldreich Oded |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | San Rafael : , : Morgan & Claypool Publishers, , 2019 |
| Descrizione fisica | 1 online resource (838 pages) |
| Disciplina | 005.824 |
| Collana | ACM Bks. |
| Soggetto topico |
Algorithms
Computer algorithms Computer scientists |
| ISBN | 1-4503-7269-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Intro -- Contents -- Preface -- Acknowledgments -- Photo and Text Credits -- PART I. BIOGRAPHIES, INTERVIEWS, AND AWARD LECTURES -- 1. A Story Behind Every Problem: A Brief Biography of Shafi Goldwasser -- 2. One Obsession at a Time: A Brief Biography of Silvio Micali -- 3. An Interview with Shafi Goldwasser -- 4. An Interview with Silvio Micali -- 5. The Cryptographic Lens: Shafi Goldwasser'sTuring Lecture -- 6. Proofs, According to Silvio: Silvio Micali's Turing Lecture -- PART II. ORIGINAL PAPERS -- 7. Probabilistic Encryption -- 8. The Knowledge Complexity of Interactive Proof Systems -- 9. How to Generate Cryptographically Strong Sequences of Pseudorandom Bits -- 10. How to Construct Random Functions -- 11. A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks -- 12. Proofs that Yield Nothing but Their Validity or All Languages in NP Have Zero-Knowledge Proof Systems -- 13. How to Play Any Mental Game: A Completeness Theorem for Protocols with Honest Majority -- 14. Non-Interactive Zero-Knowledge (NIZK) Proof Systems -- 15. Completeness Theorems for Non-Cryptographic Fault-Tolerant Distributed Computation -- 16. Multi-Prover Interactive Proofs: How to Remove Intractability Assumptions -- PART III. PERSPECTIVES -- 17. On the Foundations of Cryptography -- 18. On the Impact of Cryptography on Complexity Theory -- 19. On Some Noncryptographic Works of Goldwasser and Micali -- 20. Fundamentals of Fully Homomorphic Encryption -- 21. Interactive Proofs for Lattice Problems -- 22. Following a Tangent of Proofs -- 23. A Tutorial on Concurrent Zero-Knowledge -- 24. Doubly Efficient Interactive Proofs -- 25. Computational Entropy -- 26. A Survey of Leakage-Resilient Cryptography -- Editor and Author Biographies -- Blank Page. |
| Altri titoli varianti | Providing Sound Foundations for Cryptography |
| Record Nr. | UNINA-9910838221303321 |
|
Goldreich Oded
|
||
| San Rafael : , : Morgan & Claypool Publishers, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Smarter Than Their Machines : Oral Histories of Pioneers in Interactive Computing
| Smarter Than Their Machines : Oral Histories of Pioneers in Interactive Computing |
| Autore | Cullinane John |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | San Rafael : , : Morgan & Claypool Publishers, , 2015 |
| Descrizione fisica | 1 online resource (218 pages) |
| Disciplina | 004.0922 |
| Collana | ACM Bks. |
| Soggetto topico | Computer scientists |
| Soggetto non controllato | Computer Scientists |
| ISBN | 1-62705-550-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Smarter Than Their Machines |
| Record Nr. | UNINA-9910838353403321 |
|
Cullinane John
|
||
| San Rafael : , : Morgan & Claypool Publishers, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Tales of electrologica : computers, software and people / / Gerard Alberts and Jan Friso Groote
| Tales of electrologica : computers, software and people / / Gerard Alberts and Jan Friso Groote |
| Autore | Alberts G (Gerard), <1954-> |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer International Publishing, , [2023] |
| Descrizione fisica | 1 online resource (205 pages) |
| Disciplina | 338.470040973 |
| Collana | History of Computing |
| Soggetto topico |
Computer industry - Netherlands
Computer scientists |
| ISBN | 3-031-13033-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Electrologica, A Gem (Gerard Alberts) -- Chapter 2. Philips and the Fate of Electrologica (Gerard Alberts) -- Chapter 3. From the X1 to the X8 (Huub de Beer) -- Chapter 4. Software Without Memory (Paul Klint) -- Chapter 5. The Mathematical Center, ALGOL 60 and the Electrologica X8 (Frans Kruseman Aretz) -- Chapter 6. History of Dekker’s Algorithm for Mutual Exclusion (Dirk Dekker) -- Chapter 7. The Electrologica X8 and the BOL Detector (René van Dantzig) -- Chapter 8. An Early Experiment in Algorithmic Composition (Lambert Meertens). |
| Record Nr. | UNISA-996508667703316 |
|
Alberts G (Gerard), <1954->
|
||
| Cham, Switzerland : , : Springer International Publishing, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
