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.
L’algorithmique répartie : à la recherche de l’universalité perdue : Leçon inaugurale prononcée au Collège de France le jeudi 25 octobre 2018 / / Rachid Guerraoui
| L’algorithmique répartie : à la recherche de l’universalité perdue : Leçon inaugurale prononcée au Collège de France le jeudi 25 octobre 2018 / / Rachid Guerraoui |
| Autore | Guerraoui Rachid |
| Pubbl/distr/stampa | Paris, : Collège de France, 2019 |
| Altri autori (Persone) |
BerryGérard
GuerraouiRachid |
| Soggetto topico |
Multidisciplinary
informatique sciences numériques informatique répartie algorithmique algorithmes Internet réseaux universalité ordinateur asynchronisme calcul distribué calculabilité |
| Soggetto non controllato |
algorithmique
sciences numériques algorithmes informatique informatique répartie universalité calcul distribué réseaux calculabilité Internet asynchronisme ordinateur |
| ISBN | 2-7226-0527-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Altri titoli varianti |
Algorithmique répartie
Algorithmique répartie L’algorithmique répartie L’algorithmique répartie |
| Record Nr. | UNINA-9910357818503321 |
Guerraoui Rachid
|
||
| Paris, : Collège de France, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Distributed Computing [[electronic resource] ] : 18th International Conference, DISC 2004, Amsterdam, The Netherlands, October 4-8, 2004. Proceedings / / edited by Rachid Guerraoui
| Distributed Computing [[electronic resource] ] : 18th International Conference, DISC 2004, Amsterdam, The Netherlands, October 4-8, 2004. Proceedings / / edited by Rachid Guerraoui |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XIV, 470 p.) |
| Disciplina | 004.36 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Computer communication systems Algorithms Computer programming Operating systems (Computers) Theory of Computation Computer Communication Networks Algorithm Analysis and Problem Complexity Programming Techniques Computation by Abstract Devices Operating Systems |
| ISBN | 3-540-30186-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Synchronous Condition-Based Consensus Hierarchy -- Synchronous Condition-Based Consensus Adapting to Input-Vector Legality -- Group-Solvability -- The Notion of Veto Number and the Respective Power of and to Solve One-Shot Agreement Problems -- The Black-White Bakery Algorithm and Related Bounded-Space, Adaptive, Local-Spinning and FIFO Algorithms -- Local-Spin Group Mutual Exclusion Algorithms -- On Quorum Systems for Group Resources with Bounded Capacity -- Bounded Version Vectors -- An Optimistic Approach to Lock-Free FIFO Queues -- A Single-Enqueuer Wait-Free Queue Implementation -- Practical Lock-Free and Wait-Free LL/SC/VL Implementations Using 64-Bit CAS -- Efficient Adaptive Collect Using Randomization -- Nonblocking Concurrent Data Structures with Condition Synchronization -- Dynamic Memory ABP Work-Stealing -- Coupling and Self-stabilization -- Optimal Randomized Self-stabilizing Mutual Exclusion on Synchronous Rings -- Virtual Mobile Nodes for Mobile Ad Hoc Networks -- Contention-Free MAC Protocols for Wireless Sensor Networks -- Relationships Between Broadcast and Shared Memory in Reliable Anonymous Distributed Systems -- A Local Algorithm for Ad Hoc Majority Voting via Charge Fusion -- Message-Optimal and Latency-Optimal Termination Detection Algorithms for Arbitrary Topologies -- Routing with Improved Communication-Space Trade-Off -- Active and Concurrent Topology Maintenance -- Distributed Weighted Matching -- Exploiting Content Localities for Efficient Search in P2P Systems -- Compact Routing Schemes for Bounded Tree-Length Graphs and for k-Chordal Graphs -- Towards a Theory of Consistency Primitives -- Fault-Tolerant Storage in a Dynamic Environment -- Non-skipping Timestamps for Byzantine Data Storage Systems -- Efficient Verification for Provably Secure Storage and Secret Sharing in Systems Where Half the Servers Are Faulty -- Optimal Dispersal of Certificate Chains -- On Byzantine Agreement over (2,3)-Uniform Hypergraphs. |
| Record Nr. | UNISA-996465278703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Distributed Computing : 18th International Conference, DISC 2004, Amsterdam, The Netherlands, October 4-8, 2004. Proceedings / / edited by Rachid Guerraoui
| Distributed Computing : 18th International Conference, DISC 2004, Amsterdam, The Netherlands, October 4-8, 2004. Proceedings / / edited by Rachid Guerraoui |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XIV, 470 p.) |
| Disciplina | 004.36 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Computer communication systems Algorithms Computer programming Operating systems (Computers) Theory of Computation Computer Communication Networks Algorithm Analysis and Problem Complexity Programming Techniques Computation by Abstract Devices Operating Systems |
| ISBN | 3-540-30186-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Synchronous Condition-Based Consensus Hierarchy -- Synchronous Condition-Based Consensus Adapting to Input-Vector Legality -- Group-Solvability -- The Notion of Veto Number and the Respective Power of and to Solve One-Shot Agreement Problems -- The Black-White Bakery Algorithm and Related Bounded-Space, Adaptive, Local-Spinning and FIFO Algorithms -- Local-Spin Group Mutual Exclusion Algorithms -- On Quorum Systems for Group Resources with Bounded Capacity -- Bounded Version Vectors -- An Optimistic Approach to Lock-Free FIFO Queues -- A Single-Enqueuer Wait-Free Queue Implementation -- Practical Lock-Free and Wait-Free LL/SC/VL Implementations Using 64-Bit CAS -- Efficient Adaptive Collect Using Randomization -- Nonblocking Concurrent Data Structures with Condition Synchronization -- Dynamic Memory ABP Work-Stealing -- Coupling and Self-stabilization -- Optimal Randomized Self-stabilizing Mutual Exclusion on Synchronous Rings -- Virtual Mobile Nodes for Mobile Ad Hoc Networks -- Contention-Free MAC Protocols for Wireless Sensor Networks -- Relationships Between Broadcast and Shared Memory in Reliable Anonymous Distributed Systems -- A Local Algorithm for Ad Hoc Majority Voting via Charge Fusion -- Message-Optimal and Latency-Optimal Termination Detection Algorithms for Arbitrary Topologies -- Routing with Improved Communication-Space Trade-Off -- Active and Concurrent Topology Maintenance -- Distributed Weighted Matching -- Exploiting Content Localities for Efficient Search in P2P Systems -- Compact Routing Schemes for Bounded Tree-Length Graphs and for k-Chordal Graphs -- Towards a Theory of Consistency Primitives -- Fault-Tolerant Storage in a Dynamic Environment -- Non-skipping Timestamps for Byzantine Data Storage Systems -- Efficient Verification for Provably Secure Storage and Secret Sharing in Systems Where Half the Servers Are Faulty -- Optimal Dispersal of Certificate Chains -- On Byzantine Agreement over (2,3)-Uniform Hypergraphs. |
| Record Nr. | UNINA-9910767536403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ECOOP'99 - object-oriented programming : 13th European conference, Lisbon, Portugal, July 14-18, 1999 : proceedings / / Rachid Guerraoui (editor)
| ECOOP'99 - object-oriented programming : 13th European conference, Lisbon, Portugal, July 14-18, 1999 : proceedings / / Rachid Guerraoui (editor) |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (XIV, 538 p.) |
| Disciplina | 005.117 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Object-oriented programming (Computer science) |
| ISBN | 3-540-48743-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper 1 -- A Trace Model for Pointers and Objects -- Mixins -- Synthesizing Objects -- A Core Calculus of Classes and Mixins -- Propagating Class and Method Combination -- Debugging and Garbage Collection -- A study of the Allocation Behavior of the SPECjvm98 Java Benchmarks -- Visualizing Reference Patterns for Solving Memory Leaks in Java -- Dynamic Query-Based Debugging -- Type Checking -- Foundations for Virtual Types -- Unifying Genericity -- An Object-Oriented Effects System -- Invited Paper 2 -- Providing Persistent Objects in Distributed Systems -- Virtual and Multi-methods -- Inlining of Virtual Methods -- Modular Statically Typed Multimethods -- Multi-Method Dispatch Using Multiple Row Displacement -- Adaptive Programming -- Internal Iteration Externalized -- Type-Safe Delegation for Run-Time Component Adaptation -- Towards Automatic Specialization of Java Programs -- Classification and Inheritance -- Wide Classes -- An Approach to Classify Semi-Structured Objects -- Invited Paper 3 -- Object-Oriented Programming on the Network -- Distributed Objects -- Providing Fine-Grained Access Control for Java Programs -- Formal Specification and Prototyping of CORBA Systems -- A Process Algebraic Specication of the New Asynchronous CORBA Messaging Service? -- Invited Paper 4 -- Object-Oriented Programming: Regaining the Excitement. |
| Record Nr. | UNINA-9910143463903321 |
| Berlin ; ; Heidelberg : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ECOOP'99 - object-oriented programming : 13th European conference, Lisbon, Portugal, July 14-18, 1999 : proceedings / / Rachid Guerraoui (editor)
| ECOOP'99 - object-oriented programming : 13th European conference, Lisbon, Portugal, July 14-18, 1999 : proceedings / / Rachid Guerraoui (editor) |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (XIV, 538 p.) |
| Disciplina | 005.117 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Object-oriented programming (Computer science) |
| ISBN | 3-540-48743-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper 1 -- A Trace Model for Pointers and Objects -- Mixins -- Synthesizing Objects -- A Core Calculus of Classes and Mixins -- Propagating Class and Method Combination -- Debugging and Garbage Collection -- A study of the Allocation Behavior of the SPECjvm98 Java Benchmarks -- Visualizing Reference Patterns for Solving Memory Leaks in Java -- Dynamic Query-Based Debugging -- Type Checking -- Foundations for Virtual Types -- Unifying Genericity -- An Object-Oriented Effects System -- Invited Paper 2 -- Providing Persistent Objects in Distributed Systems -- Virtual and Multi-methods -- Inlining of Virtual Methods -- Modular Statically Typed Multimethods -- Multi-Method Dispatch Using Multiple Row Displacement -- Adaptive Programming -- Internal Iteration Externalized -- Type-Safe Delegation for Run-Time Component Adaptation -- Towards Automatic Specialization of Java Programs -- Classification and Inheritance -- Wide Classes -- An Approach to Classify Semi-Structured Objects -- Invited Paper 3 -- Object-Oriented Programming on the Network -- Distributed Objects -- Providing Fine-Grained Access Control for Java Programs -- Formal Specification and Prototyping of CORBA Systems -- A Process Algebraic Specication of the New Asynchronous CORBA Messaging Service? -- Invited Paper 4 -- Object-Oriented Programming: Regaining the Excitement. |
| Record Nr. | UNISA-996465742703316 |
| Berlin ; ; Heidelberg : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Middleware 2001 : IFIP/ACM International Conference on Distributed Systems Platforms, Heidelberg, Germany, November 12-16, 2001 : proceedings / / Rachid Guerraoui (editor)
| Middleware 2001 : IFIP/ACM International Conference on Distributed Systems Platforms, Heidelberg, Germany, November 12-16, 2001 : proceedings / / Rachid Guerraoui (editor) |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg ; ; New York : , : Springer, , [2001] |
| Descrizione fisica | 1 online resource (XIV, 398 p.) |
| Disciplina | 005.713 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Middleware |
| ISBN | 3-540-45518-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Java -- Automated Analysis of Java Message Service Providers -- Efficient Object Caching for Distributed Java RMI Applications -- Entity Bean A, B, C’s: Enterprise Java Beans Commit Options and Caching -- Mobility -- A WAP-Based Session Layer Supporting Distributed Applications in Nomadic Environments -- Middleware for Reactive Components: An Integrated Use of Context, Roles, and Event Based Coordination -- Experiments in Composing Proxy Audio Services for Mobile Users -- Distributed Abstractions -- Thread Transparency in Information Flow Middleware -- Abstracting Services in a Heterogeneous Environment -- An Efficient Component Model for the Construction of Adaptive Middleware -- Reliability -- Rule-Based Transactional Object Migration over a Reflective Middleware -- The CORBA Activity Service Framework for Supporting Extended Transactions -- Failure Mode Analysis of CORBA Service Implementations -- Home & Office -- ROOM-BRIDGE: Vertically Configurable Network Architecture and Real-Time Middleware for Interoperability between Ubiquitous Consumer Devices in the Home -- Reducing the Energy Usage of Office Applications -- System Software for Audio and Visual Networked Home Appliances on Commodity Operating Systems -- Scalability -- Access Control and Trust in the Use of Widely Distributed Services -- Preserving Causality in a Scalable Message-Oriented Middleware -- Pastry: Scalable, Decentralized Object Location, and Routing for Large-Scale Peer-to-Peer Systems -- Quality of Service -- Providing QoS Customization in Distributed Object Systems -- 2K Q+: An Integrated Approach of QoS Compilation and Reconfigurable, Component-Based Run-Time Middleware for the Unified QoS Management Framework. |
| Record Nr. | UNISA-996465932803316 |
| Berlin ; ; Heidelberg ; ; New York : , : Springer, , [2001] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Middleware 2001 : IFIP/ACM International Conference on Distributed Systems Platforms, Heidelberg, Germany, November 12-16, 2001 : proceedings / / Rachid Guerraoui (editor)
| Middleware 2001 : IFIP/ACM International Conference on Distributed Systems Platforms, Heidelberg, Germany, November 12-16, 2001 : proceedings / / Rachid Guerraoui (editor) |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg ; ; New York : , : Springer, , [2001] |
| Descrizione fisica | 1 online resource (XIV, 398 p.) |
| Disciplina | 005.713 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Middleware |
| ISBN | 3-540-45518-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Java -- Automated Analysis of Java Message Service Providers -- Efficient Object Caching for Distributed Java RMI Applications -- Entity Bean A, B, C’s: Enterprise Java Beans Commit Options and Caching -- Mobility -- A WAP-Based Session Layer Supporting Distributed Applications in Nomadic Environments -- Middleware for Reactive Components: An Integrated Use of Context, Roles, and Event Based Coordination -- Experiments in Composing Proxy Audio Services for Mobile Users -- Distributed Abstractions -- Thread Transparency in Information Flow Middleware -- Abstracting Services in a Heterogeneous Environment -- An Efficient Component Model for the Construction of Adaptive Middleware -- Reliability -- Rule-Based Transactional Object Migration over a Reflective Middleware -- The CORBA Activity Service Framework for Supporting Extended Transactions -- Failure Mode Analysis of CORBA Service Implementations -- Home & Office -- ROOM-BRIDGE: Vertically Configurable Network Architecture and Real-Time Middleware for Interoperability between Ubiquitous Consumer Devices in the Home -- Reducing the Energy Usage of Office Applications -- System Software for Audio and Visual Networked Home Appliances on Commodity Operating Systems -- Scalability -- Access Control and Trust in the Use of Widely Distributed Services -- Preserving Causality in a Scalable Message-Oriented Middleware -- Pastry: Scalable, Decentralized Object Location, and Routing for Large-Scale Peer-to-Peer Systems -- Quality of Service -- Providing QoS Customization in Distributed Object Systems -- 2K Q+: An Integrated Approach of QoS Compilation and Reconfigurable, Component-Based Run-Time Middleware for the Unified QoS Management Framework. |
| Record Nr. | UNINA-9910767577103321 |
| Berlin ; ; Heidelberg ; ; New York : , : Springer, , [2001] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Networked Systems [[electronic resource] ] : First International Conference, NETYS 2013, Marrakech, Marocco, May 2-4, 2013, Revised Selected Papers / / edited by Vincent Gramoli, Rachid Guerraoui
| Networked Systems [[electronic resource] ] : First International Conference, NETYS 2013, Marrakech, Marocco, May 2-4, 2013, Revised Selected Papers / / edited by Vincent Gramoli, Rachid Guerraoui |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 332 p. 112 illus.) |
| Disciplina | 001.64404 |
| Collana | Computer Communication Networks and Telecommunications |
| Soggetto topico |
Computer communication systems
Algorithms Computer Communication Networks Algorithm Analysis and Problem Complexity |
| ISBN | 3-642-40148-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Multi-core architectures -- Middleware -- Environments -- Storage clusters.- Sensor, wireless and mobile networks. |
| Record Nr. | UNISA-996465965703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Networked Systems : First International Conference, NETYS 2013, Marrakech, Marocco, May 2-4, 2013, Revised Selected Papers / / edited by Vincent Gramoli, Rachid Guerraoui
| Networked Systems : First International Conference, NETYS 2013, Marrakech, Marocco, May 2-4, 2013, Revised Selected Papers / / edited by Vincent Gramoli, Rachid Guerraoui |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 332 p. 112 illus.) |
| Disciplina | 001.64404 |
| Collana | Computer Communication Networks and Telecommunications |
| Soggetto topico |
Computer communication systems
Algorithms Computer Communication Networks Algorithm Analysis and Problem Complexity |
| ISBN | 3-642-40148-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Multi-core architectures -- Middleware -- Environments -- Storage clusters.- Sensor, wireless and mobile networks. |
| Record Nr. | UNINA-9910484619603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Object-Based Distributed Programming [[electronic resource] ] : ECOOP '93 Workshop, Kaiserslautern, Germany, July 26 - 27, 1993. Proceedings / / edited by Rachid Guerraoui, Oscar Nierstrasz, Michel Riveill
| Object-Based Distributed Programming [[electronic resource] ] : ECOOP '93 Workshop, Kaiserslautern, Germany, July 26 - 27, 1993. Proceedings / / edited by Rachid Guerraoui, Oscar Nierstrasz, Michel Riveill |
| Edizione | [1st ed. 1994.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 |
| Descrizione fisica | 1 online resource (VIII, 268 p.) |
| Disciplina | 005.2 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Operating systems (Computers) Software engineering Programming languages (Electronic computers) Programming Techniques Operating Systems Software Engineering Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-48389-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Models and paradigms of interaction -- Architectural convergence and the granularity of objects in distributed systems -- Separation of distribution and objects -- Integrating structural and operational programming to manage distributed systems -- Concurrency and communication: Choices in implementing the coordination language LO -- Toward languages and formal systems for distributed computing -- Decomposing and recomposing transactional concepts -- DPL to express a concurrency control using transaction and object semantics -- A reflective invocation scheme to realise advanced object management -- Abstracting object interactions using composition filters -- Object-oriented distributed programming in BETA -- A flexible system design to support object-groups and object-oriented distributed programming -- Distributed programming in GARF -- Object-oriented extendibility in Hermes/ST, a transactional distributed programming environment. |
| Record Nr. | UNISA-996465995403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
