Results 71 to 80 of about 991,008 (302)

A paradigm for concurrency control in heterogeneous distributed database systems

[1990] Proceedings. Sixth International Conference on Data Engineering, 2002
A heterogeneous distributed databases system (HDDBS) is a system which integrates preexisting databases to support global applications accessing more than one database. An outline of approaches to concurrency control in HDDBSs is presented. The top-down approach emerges as a viable paradigm for ensuring the proper concurrent execution of global ...
Du, Weimin, Elmagarmid, Ahmed K.
openaire   +3 more sources

Novel Biologically Active Glass Fiber Functionalized Using Magnesium Phosphate Cement Promotes Bone and Vascular Regeneration

Advanced Biology, EarlyView.
In this study, a new type of bioactive glass fiber ‐based composite magnesium phosphate bone cement is prepared and verified that its mechanical strength and biological properties. In addition, the cement may have played a biologically active role in the Notch and HIF signaling pathways.
Yuzheng Lu, Yanbo Shan, Yingjie Xiong, Jianting Ye, Yanbin Wu, Jipeng Song, Yao Zhang, Wancheng Lin, Haoye Meng, Wenjing Xu, Jiang Peng, Qiang Lu, Lixiang Ding   +12 more
wiley   +1 more source

The Regulation of Trace Metal Elements in Cancer Ferroptosis

Advanced Biology, EarlyView.
The induction of ferroptosis inhibits tumor growth, enhances anticancer efficacy, and overcomes drug resistance. Recent evidence shows nonferrous metal elements play a role in ferroptosis. This review focuses on how trace metals regulate ferroptosis processes like iron accumulation, lipid peroxidation, and antioxidant defense.
Xiaoyan Wang, Yuanyuan Xue, Lei Chang, Xuena Zhu, Wenjun Liu, Tingbo Liang   +5 more
wiley   +1 more source

Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools [PDF]

arXiv, 2013
We provide simple equational principles for deriving rely-guarantee-style inference rules and refinement laws based on idempotent semirings. We link the algebraic layer with concrete models of programs based on languages and execution traces. We have implemented the approach in Isabelle/HOL as a lightweight concurrency verification tool that supports ...
arxiv  

Automated Workflow for Phase‐Field Simulations: Unveiling the Impact of Heat‐Treatment Parameters on Bainitic Microstructure in Steel

Advanced Engineering Materials, EarlyView.
In this study, OpenPhase software is used to simulate low‐carbon bainitic steels. The lower holding temperature sample exhibits smaller and finer grains. Grain thickness measurements of bainitic ferrite from simulations align with the experimental observations at high temperature. Bainitic steels are extensively utilized across various sectors, such as
Dhanunjaya K. Nerella, Muhammad Adil Ali, Hesham Salama, Oguz Gulbay, Marc Ackermann, Oleg Shchyglo, Ulrich Krupp, Ingo Steinbach   +7 more
wiley   +1 more source

An Ontology‐Augmented Digital Twin for Fiber‐Reinforced Polymer Structures at the Example of Wind Turbine Rotor Blades

Advanced Engineering Materials, EarlyView.
A methodology for establishing an ontology‐augmented structural digital twin for fiber‐reinforced polymer structures dedicated to individual lifetime prediction, in this case, a wind turbine rotor blade, is introduced. The methodology resembles the manufacturing as well as the operation of the structure.
Marc Luger, Alexander Seidel, Ursula Pähler, Sebastian Schröck, Peter Hofmann, Sebastian Kölbl, Klaus Drechsler   +6 more
wiley   +1 more source

A Distributed SDN Control Plane for Consistent Policy Updates [PDF]

arXiv, 2013
Software-defined networking (SDN) is a novel paradigm that out-sources the control of packet-forwarding switches to a set of software controllers. The most fundamental task of these controllers is the correct implementation of the \emph{network policy}, i.e., the intended network behavior.
arxiv  

On the complexity of concurrency control by locking in distributed database systems

Information and Control, 1984
Given a pair of locked transactions, accessing a distributed database, the problem is studied of whether this pair is safe, i.e., guaranteed to produce only serializable schedules. It is shown that an easy-to-test graph condition, which characterizes safety for a pair of locked transactions in a centralized database, also applies when the database has ...
Peter Widmayer, Eljas Soisalon-Soininen
openaire   +2 more sources

Determining the Necessity of Post‐Processing Heat Treatment for the 316L Stainless Steel Manufactured by Laser Powder Bed Fusion through Evaluation of Mechanical and Corrosion Properties

Advanced Engineering Materials, EarlyView.
This article examines the effect of postprocessing heat treatment on 316L stainless steel (SS316L) produced via laser powder bed fusion (LPBF). Heat treatment slightly affects property anisotropy, reduces strength, and enhances elongation. However, it increases corrosion susceptibility due to nanoscale precipitations, though overall corrosion ...
Baibhav Karan, Malar Vadani, Prashanth Muralishankar, Kiomars Moheimani, Ayan Bhowmik, Mingxing Zhang   +5 more
wiley   +1 more source

Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM [PDF]

arXiv
Concurrency bugs are hard to discover and reproduce. Prior work has developed sophisticated algorithms to search for concurrency bugs, such as partial order sampling (POS); however, fundamental limitations with existing platforms for concurrency control hinder effective testing of real-world software.
arxiv