المؤلفون: Jeremy Hemmo, Chris Douglas, Andrey Andreev, Yizuo Tian, Kevin Beranek, Scott Dugas, Alexander Shraer, Hao Fu, Alec Grieser, Kfir Lev-Ari

المصدر: SIGMOD Conference

مصطلحات موضوعية: Service (systems architecture), Queue management system, Computer science, Asynchronous communication, business.industry, Resource allocation (computer), Observability, Isolation (database systems), Latency (engineering), business, Queue, Computer network

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::40308829c70758e4ef6970cad920b43e
https://doi.org/10.1145/3448016.3457567

المؤلفون: Alexander Shraer, Idit Keidar, Kfir Lev-Ari, Edward Bortnikov

المصدر: Information Processing Letters. 123:47-50

مصطلحات موضوعية: Theoretical computer science, Linearizability, Correctness, Property (programming), Sequential consistency, Computer science, Distributed computing, 020206 networking & telecommunications, 020207 software engineering, 02 engineering and technology, Object (computer science), Computer Science Applications, Theoretical Computer Science, Range (mathematics), Consistency (database systems), Composability, Signal Processing, 0202 electrical engineering, electronic engineering, information engineering, Information Systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6facac04cafe8830fb2c2430e99c4006
https://doi.org/10.1016/j.ipl.2017.03.004

المؤلفون: Kfir Lev-Ari and Alexander Spiegelman and Idit Keidar and Dahlia Malkhi, Lev-Ari, Kfir, Spiegelman, Alexander, Keidar, Idit, Malkhi, Dahlia

مصطلحات الفهرس: Blockchain, Fairness, Byzantine fault tolerance, Rational players, Equilibrium, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.4
Is Part Of LIPIcs, Volume 153, 23rd International Conference on Principles of Distributed Systems (OPODIS 2019)

المؤلفون: Alec Grieser, Mike McMahon, Scott Dugas, Nicholas Schiefer, Moussa Ehsan, Scott Gray, Christos Chrysafis, Ori Herrnstadt, Jay Dunkelberger, Alexander Shraer, Ben Collins, Kfir Lev-Ari, Tao Lin

المصدر: SIGMOD Conference

مصطلحات موضوعية: FOS: Computer and information sciences, Multitenancy, Database, Distributed database, Relational database, Computer science, business.industry, Search engine indexing, 020206 networking & telecommunications, Cloud computing, Databases (cs.DB), 02 engineering and technology, Commit, computer.software_genre, Data store, Data model, Computer Science - Databases, Computer Science - Distributed, Parallel, and Cluster Computing, Schema (psychology), Scalability, 0202 electrical engineering, electronic engineering, information engineering, Distributed, Parallel, and Cluster Computing (cs.DC), business, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a3a086a54f133ab8beac7978d6e49734
http://arxiv.org/abs/1901.04452

المؤلفون: Gregory Chockler, Idit Keidar, Kfir Lev-Ari

المساهمون: Technion - Israel Institute of Technology [Haifa], Department of Computer Science [Royal Holloway], Royal Holloway [University of London] (RHUL), Toshimitsu Masuzawa, Koichi Wada, Yoram Moses, Matthieu Roy

المصدر: DISC 2015
DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan. ⟨10.1007/978-3-662-48653-5_24⟩
Lecture Notes in Computer Science ISBN: 9783662486528
DISC

مصطلحات موضوعية: 020203 distributed computing, Correctness, Theoretical computer science, Linearizability, Concurrent data structure, 020207 software engineering, 02 engineering and technology, Software_PROGRAMMINGTECHNIQUES, Data structure, Constructive, Set (abstract data type), Linearization, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Abstraction (linguistics), Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ffe5d04f017207d0c2225d9b339a9682
https://hal.archives-ouvertes.fr/hal-01206583/document

المؤلفون: Gregory Chockler, Idit Keidar, Kfir Lev-Ari

المصدر: Lecture Notes in Computer Science ISBN: 9783662451731
DISC

مصطلحات موضوعية: Linearizability, Correctness, Programming language, Computer science, Concurrency, Linked list, State (computer science), Variety (universal algebra), Base (topology), Data structure, computer.software_genre, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d4aff17b0d78c1acea369b05f93ac1d7
https://doi.org/10.1007/978-3-662-45174-8_19

المؤلفون: Kfir Lev-ari, Gregory Chockler, Idit Keidar

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://webee.technion.ac.il/~idish/ftp/On_Correctness_of_Data_Structures_under_Reads-Write_Concurrency.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.650.9316; http://webee.technion.ac.il/~idish/ftp/On_Correctness_of_Data_Structures_under_Reads-Write_Concurrency.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.650.9316
http://webee.technion.ac.il/~idish/ftp/On_Correctness_of_Data_Structures_under_Reads-Write_Concurrency.pdf

المؤلفون: Lev-Ari, Kfir, Spiegelman, Alexander, Keidar, Idit, Malkhi, Dahlia

المساهمون: Kfir Lev-Ari and Alexander Spiegelman and Idit Keidar and Dahlia Malkhi

مصطلحات موضوعية: Blockchain, Fairness, Byzantine fault tolerance, Rational players, Equilibrium

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 153, 23rd International Conference on Principles of Distributed Systems (OPODIS 2019); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.4

الاتاحة: https://doi.org/10.4230/LIPIcs.OPODIS.2019.4
https://nbn-resolving.org/urn:nbn:de:0030-drops-117904
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.4