Efficient Concurrent Execution of Smart Contracts in Blockchains Using Object-Based Transactional Memory (Englisch)
- Neue Suche nach: Anjana, Parwat Singh
- Neue Suche nach: Attiya, Hagit
- Neue Suche nach: Kumari, Sweta
- Neue Suche nach: Peri, Sathya
- Neue Suche nach: Somani, Archit
- Neue Suche nach: Anjana, Parwat Singh
- Neue Suche nach: Attiya, Hagit
- Neue Suche nach: Kumari, Sweta
- Neue Suche nach: Peri, Sathya
- Neue Suche nach: Somani, Archit
In:
Networked systems
; 77-93
;
2021
-
ISBN:
- Aufsatz (Konferenz) / Print
-
Titel:Efficient Concurrent Execution of Smart Contracts in Blockchains Using Object-Based Transactional Memory
-
Beteiligte:Anjana, Parwat Singh ( Autor:in ) / Attiya, Hagit ( Autor:in ) / Kumari, Sweta ( Autor:in ) / Peri, Sathya ( Autor:in ) / Somani, Archit ( Autor:in )
-
Kongress:NETYS ; 8. ; 2020 ; Online
-
Erschienen in:Networked systems ; 77-93
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Cham
-
Erscheinungsdatum:2021
-
ISBN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 54.32
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
BKL: 54.32 Rechnerkommunikation -
Datenquelle:
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 3
-
On Network Topologies and the Decidability of Reachability ProblemAiswarya, C. et al. | 2021
- 11
-
Hide Me: Enabling Location Privacy in Heterogeneous Vehicular NetworksMeuser, Hide Tobias / Ojo, Oluwasegun Taiwo / Bischoff, Daniel / Anta, Antonio Fernández / Stavrakakis, loannis / Steinmetz, Ralf et al. | 2021
- 28
-
Blockchains and the CommonsPotop-Butucaru, Maria et al. | 2021
- 47
-
On the State Reachability Problem for Concurrent Programs Under PowerAbdulla, Parosh Aziz / Atig, Mohamed Faouzi / Bouajjani, Ahmed / Derevenetc, Egor / Leonardsson, Carl / Meyer, Roland et al. | 2021
- 60
-
On the Encoding and Solving of Partial Information GamesAmoussou-Guenou, Yackolley / Baarir, Souheib / Potop-Butucaru, Maria / Sznajder, Nathalie / Tible, Léo / Tixeuil, Sébastien et al. | 2021
- 77
-
Efficient Concurrent Execution of Smart Contracts in Blockchains Using Object-Based Transactional MemoryAnjana, Parwat Singh / Attiya, Hagit / Kumari, Sweta / Peri, Sathya / Somani, Archit et al. | 2021
- 94
-
Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic ExecutionBannour, Boutheina / Lapitre, Arnault / Gall, Pascale Le et al. | 2021
- 112
-
Broadcasting Information in Multi-hop Networks Prone to Mobile Byzantine FaultsBonomi, Silvia / Farina, Giovanni / Tixeuil, Sébastien et al. | 2021
- 129
-
Infinite Grid Exploration by Disoriented RobotsBramas, Quentin / Devismes, Stéphane / Lafourcade, Pascal et al. | 2021
- 146
-
Wireless Broadcast with Short LabelsBu, Gewu / Potop-Butucaru, Maria / Rabie, Mikaël et al. | 2021
- 170
-
The Imitation Game: Algorithm Selection by Exploiting Black-Box RecommendersDamaskinos, Georgios / Guerraoui, Rachid / Merrer, Erwan Le / Neumann, Christoph et al. | 2021
- 183
-
Byzantine k-Set AgreementDelporte-Gallet, Carole / Fauconnier, Hugues / Safir, Mouna et al. | 2021
- 192
-
Fissile LocksDice, Dave / Kogan, Alex et al. | 2021
- 209
-
Verifying Safety of Parameterized Heard-Of AlgorithmsEles,, Zeinab Ganjei, Ahmed Rezine, Petru / Peng, Zebo et al. | 2021
- 227
-
Staleness and Local Progress in Transactional MemoryAttiya, Hagit / Fatourou, Panagiota / Hans, Sandeep / Kanellou, Eleni et al. | 2021
- 244
-
Framework for Optimization of Local Dissemination in Wireless NetworksKowalski, Generic Dariusz R. / Mosteiro, Miguel A. / Wadhwa, Krutika et al. | 2021
- 261
-
Venfying Weakly Consistent Transactional Programs Using Symbolic ExecutionOzkan, Burcu Kulahcioglu et al. | 2021
- 279
-
NetSheriff: Sheltering Software-Defined Networks from Rogue SwitchesLaffranchini, Paolo / Miranda, Joao / Machado, Nuno / Rodrigues, Luis / Riviere, Etienne / Sadre, Ramin et al. | 2021
- 296
-
Self-stabilizing Uniform Reliable BroadcastLundstrom, Oskar / Raynal, Michel / Schiller, Elad M. et al. | 2021
- 314
-
Fully Anonymous Consensus and Set Agreement AlgorithmsRaynal, Michel / Taubenfeld, Gadi et al. | 2021
- 329
-
Cutoffs for Symmetric Point-to-Point Distributed AlgorithmsTran, Thanh-Hai / Konnov, Igor / Widder, Josef et al. | 2021
- 349
-
Stateless Distributed LedgersBonnet, Francois / Bramas, Quentin / Defago, Xavier et al. | 2021
- 355
-
Stability Under Adversarial Injection of Dependent Tasks (Extended Abstract)Cholvi, Vicent / Echagüe, Juan / Anta, Antonio Fernández / Caro, Christopher Thraves et al. | 2021
- 361
-
Contents Collaborative Filtering: Comparative Study Between Matrix Factorization and Neural Network MethodAlaoui, Driss El / Riffi, Jamal / Aghoutane, Badraddine / Sabri, Abdelouahed / Yahyaouy, Ali / Tairi, Hamid et al. | 2021
- 368
-
Routing in Generalized Geometric Inhomogeneous Random Graphs (Extended Abstract)Sevilla, Andrés / Anta, Antonio Fernández et al. | 2021