scientific article; zbMATH DE number 482761
From MaRDI portal
Publication:4274970
zbMath0781.68006MaRDI QIDQ4274970
Publication date: 15 December 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
fault toleranceresource managementconcurrency controlrecoverydatabasestransactioncommunicationsoperating systemstransaction monitor
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Database theory (68P15) Theory of operating systems (68N25)
Related Items (41)
Advanced concurrency control in Java ⋮ Automatic workflow verification and generation ⋮ Distributed speculative execution for reliability and fault tolerance: an operational semantics ⋮ Over-time and over-level replacement policies with random working cycles ⋮ A brief introduction to distributed systems ⋮ Automatic relational database compression scheme design based on swarm evolution ⋮ Preference update for e-commerce applications: Model, language, and processing ⋮ Formal specification of a web services protocol ⋮ Multicriteria resource brokering in cloud computing for streaming service ⋮ Splitting atoms safely ⋮ Performance of fault-tolerant data and compute intensive programs over a network of workstations ⋮ Transaction management in RDBMSs with XML support ⋮ Lockless blockchain sharding with multiversion control ⋮ Pronto: high availability for standard off-the-shelf databases ⋮ Scheduling optimization in coupling independent services as a grid transaction ⋮ X-Ability: a theory of replication ⋮ Adaptive locks: combining transactions and locks for efficient concurrency ⋮ Extensible transactional memory testbed ⋮ Read-abortion (RA) based synchronization protocols to prevent illegal information flow ⋮ An on-line algorithm to optimize file layout in a dynamic environment ⋮ Unnamed Item ⋮ Queueing analysis of a server node in transaction processing middleware systems ⋮ An efficient object promotion algorithm for persistent object systems ⋮ The Two-Phase Commitment Protocol in an Extended π-Calculus ⋮ Mapping evolution of dynamic web ontologies ⋮ Conformance notions for the coordination of interaction components ⋮ cJoin: Join with communicating transactions ⋮ Recoverable mutual exclusion ⋮ LinuxDirector: A connection director for scalable internet service ⋮ PVS Embedding of cCSP Semantic Models and Their Relationship ⋮ Atomic actions, and their refinements to isolated protocols ⋮ Static versus dynamic reversibility in CCS ⋮ A rule based knowledge transaction model for mobile environments ⋮ Compensation by design ⋮ The Conversation Calculus: A Model of Service-Oriented Computation ⋮ Replication and consistency in a distributed environment ⋮ Global lock escalation in database management systems. ⋮ Overcoming heterogeneity and autonomy in multidatabase systems ⋮ Restructuring the concurrent B\(^{+}\)-tree with non-blocked search operations ⋮ Consistency verification in transaction-based optimistic steering of distributed computations ⋮ Recovering distributed objects
This page was built for publication:
