|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 865 occurrences of 426 keywords
|
|
|
Results
Found 709 publication records. Showing 709 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
29 | Nancy A. Lynch, Alexander A. Shvartsman |
RAMBO: A Reconfigurable Atomic Memory Service for Dynamic Networks. |
DISC |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Shlomi Dolev, Ted Herman |
Dijkstra's Self-Stabilizing Algorithm in Unsupportive Environments. |
WSS |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Jari Veijalainen |
Transactions in Mobile Electronic Commerce. |
FMLDO - Selected Papers |
1999 |
DBLP DOI BibTeX RDF |
|
29 | Maurice Herlihy |
Concurrency and Availability as Dual Properties of Replicated Atomic Data |
J. ACM |
1990 |
DBLP DOI BibTeX RDF |
|
29 | Baruch Awerbuch, Lefteris M. Kirousis, Evangelos Kranakis, Paul M. B. Vitányi |
A Proof Technique for Register Automicity. |
FSTTCS |
1988 |
DBLP DOI BibTeX RDF |
|
28 | Edson Borin, Youfeng Wu, Cheng Wang 0013, Wei Liu 0014, Maurício Breternitz Jr., Shiliang Hu, Esfir Natanzon, Shai Rotem, Roni Rosner |
TAO: two-level atomicity for dynamic binary optimizations. |
CGO |
2010 |
DBLP DOI BibTeX RDF |
atomic execution, dynamic binary optimization, large region optimization, hardware/software co-design |
28 | Saba Sehrish, Jun Wang 0001, Rajeev Thakur |
Conflict Detection Algorithm to Minimize Locking for MPI-IO Atomicity. |
PVM/MPI |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps |
A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Martín Abadi |
Automatic Mutual Exclusion and Atomicity Checks. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Dave Cunningham, Khilan Gudka, Susan Eisenbach |
Keep Off the Grass: Locking the Right Path for Atomicity. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Wim H. Hesselink |
A criterion for atomicity revisited. |
Acta Informatica |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad |
Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model. |
SSS |
2007 |
DBLP DOI BibTeX RDF |
Parallel synthesis, Fault-tolerance, Distributed algorithms, Program transformation, Program synthesis |
28 | Debmalya Biswas, Il-Gon Kim |
Atomicity for P2P based XML Repositories. |
ICDE Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Suresh Jagannathan |
Weaving Atomicity Through Dynamic Dependence Tracking. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
28 | John Regehr, Nathan Cooprider, David Gay |
Atomicity and visibility in tiny embedded systems. |
PLOS |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Magdalena Payeras-Capellà, Josep Lluís Ferrer-Gomila, Llorenç Huguet i Rotger |
Fair Exchange to Achieve Atomicity in Payments of High Amounts Using Electronic Cash. |
ICCSA (1) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Magdalena Payeras-Capellà, Josep Lluís Ferrer-Gomila, Llorenç Huguet i Rotger |
Fair Exchange to Achieve Atomicity in Payments of High Amounts Using Electronic Cash. |
ICCSA (4) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Wim H. Hesselink |
An assertional criterion for atomicity. |
Acta Informatica |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Heiko Schuldt, Gustavo Alonso, Catriel Beeri, Hans-Jörg Schek |
Atomicity and isolation for transactional processes. |
ACM Trans. Database Syst. |
2002 |
DBLP DOI BibTeX RDF |
execution guarantees, rocesses, semantically rich transactions, unified theory of concurrency control and recovery, electronic commerce, business process management, locking, transactional workflows, Advanced transaction models |
28 | Isao Kaji, Kinji Mori |
Atomicity of Transaction Processing in Heterogeneous Autonomous Decentralized System. |
ISADS |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Divyakant Agrawal, John L. Bruno, Amr El Abbadi, Vasudha Krishnaswamy |
Relative Serializbility: An Approach for Relaxing the Atomicity of Transactions. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
|
28 | Ambuj K. Singh |
An Axiomatization of Wait-Freedom and Low-Atomicity. |
ICCI |
1990 |
DBLP DOI BibTeX RDF |
|
28 | Ralph-Johan Back |
A Method for Refining Atomicity in Parallel Algorithms. |
PARLE (2) |
1989 |
DBLP DOI BibTeX RDF |
|
25 | Jaeheon Yi, Cormac Flanagan |
Effects for cooperable and serializable threads. |
TLDI |
2010 |
DBLP DOI BibTeX RDF |
atomicity, yield, race conditions, effect system |
25 | Zhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan |
Detecting atomic-set serializability violations in multithreaded programs through active randomized testing. |
ICSE (1) |
2010 |
DBLP DOI BibTeX RDF |
software testing, dynamic analysis, atomicity, serializability |
25 | Tayfun Elmas, Shaz Qadeer, Serdar Tasiran |
A calculus of atomic actions. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
abstraction, concurrent programs, reduction, atomicity |
25 | Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer |
An annotation assistant for interactive debugging of programs with common synchronization idioms. |
PADTAD |
2009 |
DBLP DOI BibTeX RDF |
synchronization idioms, concurrent programs, atomicity |
25 | Yossi Lev, Jan-Willem Maessen |
Split hardware transactions: true nesting of transactions using best-effort hardware transactional memory. |
PPoPP |
2008 |
DBLP DOI BibTeX RDF |
transactional memory, atomicity, nesting |
25 | Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar |
Lock allocation. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
lock inference, atomicity, ILP |
25 | Vincent Gramoli, Michel Raynal |
Timed Quorum Systems for Large-Scale and Dynamic Environments. |
OPODIS |
2007 |
DBLP DOI BibTeX RDF |
Probabilistic atomicity, Scalability, Time, Quorums, Churn |
25 | Tim Harris 0001, Mark Plesko, Avraham Shinnar, David Tarditi |
Optimizing memory transactions. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
critical regions, transactional memory, atomicity |
25 | M. Erkan Keremoglu, Serdar Tasiran, Tayfun Elmas |
A classification of concurrency bugs in java benchmarks by developer intent. |
PADTAD |
2006 |
DBLP DOI BibTeX RDF |
concurrency errors, verification, refinement, atomicity, race condition |
25 | Pawel T. Wojciechowski |
A Class-Based Object Calculus of Dynamic Binding: Reduction and Properties. |
SC@ETAPS |
2006 |
DBLP DOI BibTeX RDF |
lambda and object calculi, atomicity, dynamic binding |
25 | Jian Tang 0001, Ada Wai-Chee Fu, Jari Veijalainen |
Supporting Dispute Handling in E-Commerce Transactions, a Framework and Related Methodologies. |
Electron. Commer. Res. |
2004 |
DBLP DOI BibTeX RDF |
merchant, protocol, E-commerce, transaction, customer, atomicity, arbiter, dispute |
25 | Pradeep Varakantham, Santosh Kumar Gangwani, Kamalakar Karlapalem |
On handling component and transaction failures in multi agent systems. |
SIGecom Exch. |
2002 |
DBLP DOI BibTeX RDF |
atomicity in agents, durability in agents, logging in agents, recovery in agents, Internet, multi agent system, agent |
25 | James H. Anderson, Yong-Jik Kim |
A new fast-path mechanism for mutual exclusion. |
Distributed Comput. |
2001 |
DBLP DOI BibTeX RDF |
Fast mutual exclusion, Read/write atomicity, Scalability, Shared memory, Local spinning |
25 | Philippe Pucheral, Luc Bouganim, Patrick Valduriez, Christophe Bobineau |
PicoDBMS: Scaling down database techniques for the smartcard. |
VLDB J. |
2001 |
DBLP DOI BibTeX RDF |
Smartcard applications, PicoDBMS, Query optimization, Atomicity, Execution model, Storage model, Durability |
25 | Kaisa Sere, Marina Waldén |
Data Refinement of Remote Procedures. |
Formal Aspects Comput. |
2000 |
DBLP DOI BibTeX RDF |
Remote procedures, Atomicity refinement, Action systems |
25 | Yih-Kuen Tsay |
Deriving a Scalable Algorithm for Mutual Exclusion. |
DISC |
1998 |
DBLP DOI BibTeX RDF |
read/write atomicity, scalability, refinement, mutual exclusion, local spins |
25 | Michel Raynal, Gérard Thia-Kime, Mustaque Ahamad |
From serializable to causal transactions for collaborative applications. |
EUROMICRO |
1997 |
DBLP DOI BibTeX RDF |
serializable transactions, causal transactions, decentralized distributed systems, shared distributed objects, consistency criteria, execution behaviour, failure atomicity, long-lived objects, causal serializability, service quality constraints, fault tolerance, performance, protocols, groupware, availability, cooperative work, autonomy, collaborative applications, concurrent access, operating system support, synchronization constraints, causal consistency |
25 | Weijia Jia 0001, Jiannong Cao 0001, Edgar Nett, Jörg Kaiser |
A high performance reliable atomic group protocol. |
ICPADS |
1996 |
DBLP DOI BibTeX RDF |
high performance reliable atomic group protocol, group communication multicast protocol, single logical-clock token ring approach, multicast messages, optimized fault-tolerant algorithms, process failures, message total ordering, atomic delivery, fault tolerant computing, message passing, local area networks, local area network, transport protocols, atomicity, network partitioning, total ordering, token networks |
25 | Ramesh Gupta, Jayant R. Haritsa, Krithi Ramamritham, S. Seshadri |
Commit processing in distributed real-time database systems. |
RTSS |
1996 |
DBLP DOI BibTeX RDF |
transaction atomicity, firm-deadline distributed real-time database, uncommitted data, optimistic commit protocol, performance, distributed databases, workloads, simulation model, data distribution, system configurations, commit protocols, commit processing, distributed real-time database systems |
25 | Stephen P. Hufnagel, James C. Browne |
Performance Properties of Vertically Partitioned Object-Oriented Systems. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
object-oriented system design, object-oriented system implementation, vertically partitioned structure, application-independent overheads, conventionally organized systems, layered structures, extended type managers, object semantics, state management functions, object type, type manager boundaries, recovery points, distributed real-time system application, performance evaluation, performance evaluation, software engineering, object-oriented programming, atomicity, object-oriented systems, performance improvement, design concepts, vertical partitioning |
25 | Mogens Nielsen, Uffe Engberg, Kim S. Larsen |
Fully abstract models for a process language with refinement. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
change of atomicity, noninterleaved models, labelled partial orders, semiwords, concurrency, full abstraction |
25 | Jean-Pierre Briot, Akinori Yonezawa |
Inheritance and Synchronization in Concurrent OOP. |
ECOOP |
1987 |
DBLP DOI BibTeX RDF |
sub classing, code sharing, distributed systems, synchronization, message passing, inheritance, objects, knowledge sharing, atomicity, delegation, proxies, actors, classes, copy |
19 | Nathan Grasso Bronson, Jared Casper, Hassan Chafi, Kunle Olukotun |
Transactional predication: high-performance concurrent sets and maps for STM. |
PODC |
2010 |
DBLP DOI BibTeX RDF |
concurrent map, semantic conflict detection, transactional predication, software transactional memory |
19 | Sebastian Obermeier 0001, Stefan Böttcher, Martin Hett, Panos K. Chrysanthis, George Samaras |
Blocking reduction for distributed transaction processing within MANETs. |
Distributed Parallel Databases |
2009 |
DBLP DOI BibTeX RDF |
Mobile transaction processing, Adjourn state, Mobile ad-hoc networks, Concurrency control, Validation, Locking, Atomic commit |
19 | Lindsay Groves, Robert Colvin |
Trace-based derivation of a scalable lock-free stack algorithm. |
Formal Aspects Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Khair Eddin Sabri, Ridha Khédri, Jason Jaskolka |
Verification of Information Flow in Agent-Based Systems. |
MCETECH |
2009 |
DBLP DOI BibTeX RDF |
Global calculus, Information Algebra, Agent Knowledge, Information Flow, Hoare Logic |
19 | Christoph Reichenbach, Devin Coughlin, Amer Diwan |
Program Metamorphosis. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
Refactoring, Program Evolution |
19 | Tshoganetso Khachana, Anne E. James, Rahat Iqbal |
Adaptive user defined transaction approach for CSCW. |
CSCWD |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Rachid Guerraoui, Ron R. Levy, Bastian Pochon, Jim Pugh |
The collective memory of amnesic processes. |
ACM Trans. Algorithms |
2008 |
DBLP DOI BibTeX RDF |
log complexity, Atomic registers, crash recovery, shared-memory emulation |
19 | Mark Thober, J. Aaron Pendergrass, C. Durward McDonell |
Improving coherency of runtime integrity measurement. |
STC |
2008 |
DBLP DOI BibTeX RDF |
LKIM, coherency, XEN, copy-on-write, integrity measurement |
19 | Doina Bein, Ajoy Kumar Datta, Chitwan K. Gupta, Lawrence L. Larmore |
Local Synchronization on Oriented Rings. |
SSS |
2008 |
DBLP DOI BibTeX RDF |
Local mutual exclusion, oriented ring, synchronization, transformer, self-stabilization |
19 | Brahim Ayari, Abdelmajid Khelil, Neeraj Suri |
Delay-Aware Mobile Transactions. |
SEUS |
2008 |
DBLP DOI BibTeX RDF |
mobile database systems, dependability, Transactions |
19 | Cliff B. Jones, Ken G. Pierce |
Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Jing Li 0062, Huibiao Zhu, Jifeng He 0001 |
Specifying and Verifying Web Transactions. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Feng Chen 0006, Traian-Florin Serbanuta, Grigore Rosu |
jPredictor: a predictive runtime analysis tool for java. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
predictive runtime analysis, sliced causality, runtime verification |
19 | Jaswanth Sreeram, Romain Cledat, Tushar Kumar, Santosh Pande |
RSTM : A Relaxed Consistency Software Transactional Memory for Multicores. |
PACT |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Janna Burman, Shay Kutten |
Time Optimal Asynchronous Self-stabilizing Spanning Tree. |
DISC |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Hiren D. Patel, Sandeep K. Shukla, E. Mednick, Rishiyur S. Nikhil |
A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Bonnie Brinton Anderson, James V. Hansen, Paul Benjamin Lowry, Scott L. Summers |
Model checking for E-business control and assurance. |
IEEE Trans. Syst. Man Cybern. Part C |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Indrakshi Ray |
Applying Semantic Knowledge to Real-Time Update of Access Control Policies. |
IEEE Trans. Knowl. Data Eng. |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Sandeep S. Kulkarni, Ali Ebnenasir |
The Effect of the Specification Model on the Complexity of Adding Masking Fault Tolerance. |
IEEE Trans. Dependable Secur. Comput. |
2005 |
DBLP DOI BibTeX RDF |
safety specification, Fault-tolerance, formal methods, program synthesis, automatic addition of fault tolerance |
19 | Roberto Bruni, Hernán C. Melgratti, Ugo Montanari |
Theoretical foundations for compensations in flow composition languages. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
process description languages, transactions, compensations |
19 | Eric Mercer, Michael D. Jones |
Model Checking Machine Code with the GNU Debugger. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Taoying Liu, Zhiwei Xu 0002, Ninghui Sun, Dan Meng |
Destructive Transaction: Human-Oriented Cluster System Management Mechanism. |
IPDPS |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Edwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby |
Extending JML for Modular Specification and Verification of Multi-threaded Programs. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Sami Bhiri, Claude Godart, Olivier Perrin 0001 |
Reliable Web Services Composition using a Transactional Approach. |
EEE |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Vijay A. Saraswat, Radha Jagadeesan |
Concurrent Clustered Programming. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Angelo Brayner, José de Aguiar Moraes Filho |
Increasing Mobile Transaction Concurrency in Dynamically Configurable Environments. |
ICDCS Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Michael J. Butler, C. A. R. Hoare, Carla Ferreira 0001 |
A Trace Semantics for Long-Running Transactions. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Yi Ren, Quanyuan Wu, Yan Jia 0001, Jianbo Guan, Weihong Han |
Transactional Business Coordination and Failure Recovery for Web Services Composition. |
GCC |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Jan L. G. Dietz |
Deriving Use Cases from Business Process Models. |
ER |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Sandeep S. Kulkarni, Ali Ebnenasir |
Enhancing The Fault-Tolerance of Nonmasking Programs. |
ICDCS |
2003 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Formal methods, Program transformation, Distributed programs, Program synthesis, Automatic addition of fault-tolerance |
19 | Yi Ren, Jianbo Guan, Yan Jia 0001, Weihong Han, Quanyuan Wu |
StarOTS: An Effcient Distributed Transaction Recovery Mechanism in the CORBA Component Runtime Environment. |
GCC (1) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Tim Kempster, Colin Stirling |
Modeling and Model Checking Mobile Phone Payment Systems. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Subhendu Chattopadhyay, Lisa Higham, Karen Seyffarth |
Dynamic and self-stabilizing distributed matching. |
PODC |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Jinlei Jiang, Meilin Shi |
Implementation of CovaTM. |
EDCIS |
2002 |
DBLP DOI BibTeX RDF |
|
19 | António Luís Pinto Ferreira de Sousa, Rui Oliveira 0001, Francisco Moura, Fernando Pedone |
Partial Replication in the Database State Machine. |
NCA |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Angelo Brayner, Theo Härder |
Global Semantic Serializability: An Approach to Increase Concurrency in Multidatabase Systems. |
CoopIS |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Kamel Adi, Mourad Debbabi, Mohamed Mejri |
A New Logic for Electronic Commerce Protocols. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Sandeep S. Kulkarni, Anish Arora |
Automating the Addition of Fault-Tolerance. |
FTRTFT |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Indrakshi Ray, Indrajit Ray |
Failure Analysis of an E-Commerce Protocol Using Model Checking. |
WECWIS |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Lars Frank |
Integration of Different Commit/Isolation Protocols in CSCW Systems with Shared Data. |
Ershov Memorial Conference |
1999 |
DBLP DOI BibTeX RDF |
semantic ACID properties, long-lived transactions, CSCW, concurrency control, collaborative writing, distributed groupware |
19 | Malik Saheb, Ramzi Karoui, Simone Sédillot |
Open Nested Transaction: A Support for Increasing Performance and Multi-tier Applications. |
FMLDO - Selected Papers |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Andrzej Cichocki, Marek Rusinkiewicz |
Providing Transactional Properties for Migrating Workflows. |
DEXA Workshops |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Tarek F. Abdelzaher, Anees Shaikh, Farnam Jahanian, Kang G. Shin |
RTCAST: lightweight multicast for real-time process groups. |
IEEE Real Time Technology and Applications Symposium |
1996 |
DBLP DOI BibTeX RDF |
RTCAST, real time process groups, lightweight fault tolerant multicast, bounded time message transport, processor crashes, communication failures, communicating processors, membership changes, event triggered approach, fast message delivery time, time triggered protocols, TTP, x-Kernel protocol architecture, RT Mach 3, real-time systems, protocols, fault tolerant computing, message passing, Unix, operating system kernels, communicating processes, membership service |
19 | Matti A. Hiltunen, Richard D. Schlichting |
Modularizing fault-tolerant protocols. |
ACM SIGOPS European Workshop |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Andrea Asperti, Gian-Luigi Ferrari 0002, Roberto Gorrieri |
Implicative Formulae in the "Proofs as Computations" Analogy. |
POPL |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Tony P. Ng |
Using Histories to Implement Atomic Objects. |
ACM Trans. Comput. Syst. |
1989 |
DBLP DOI BibTeX RDF |
|
19 | Gail E. Kaiser |
Transactions for concurrent object-oriented programming systems. |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming |
1988 |
DBLP DOI BibTeX RDF |
|
19 | John A. Stankovic, Wei Zhao 0001 |
On Real-Time Transactions. |
SIGMOD Rec. |
1988 |
DBLP DOI BibTeX RDF |
|
19 | Maurice Herlihy, William E. Weihl |
Hybrid Concurrency Control for Abstract Data Types. |
PODS |
1988 |
DBLP DOI BibTeX RDF |
|
19 | Yuechen Tao, Bo Li 0001, Baochun Li |
On Atomicity and Confidentiality Across Blockchains Under Failures. |
IEEE Trans. Knowl. Data Eng. |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Huaixi Lu, Akshay Jajoo, Kedar S. Namjoshi |
Atomicity and Abstraction for Cross-Blockchain Interactions. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Xiaoxue Ma, Imran Ashraf, W. K. Chan 0001 |
Davida: A Decentralization Approach to Localizing Transaction Sequences for Debugging Transactional Atomicity Violations. |
IEEE Trans. Reliab. |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Roshan Sharma, Shengyi Wang, Alexander Oey, Anastasiia Evdokimova, Lennart Beringer, William Mansky |
Proving Logical Atomicity using Lock Invariants. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
19 | V. Ironmonger, Nik Ruskuc |
Decidability of well quasi-order and atomicity for equivalence relations under embedding orderings. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Hervé Paulino, Ana Almeida Matos, Jan Cederquist, Marco Giunti, João Matos, António Ravara |
Sound Atomicity Inference for Data-Centric Synchronization. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 709 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|