Results 51 to 60 of about 119,463 (291)
An asynchronous message-passing distributed algorithm for the global critical section problem
, 2018 This paper considers the global $(l,k)$-CS problem which is the problem of controlling the system in such a way that, at least $l$ and at most $k$ processes must be in the CS at a time in the network.
Kakugawa, Hirotsugu, Kamei, Sayaka
core +1 more source
From Single Atoms to Nanoparticles: Pathways Toward Efficient and Durable Pt/TiO2 Photocatalysts
Advanced Functional Materials, EarlyView.Platinum single atoms on TiO2 nanosheets evolve into clusters and nanoparticles under ethanol photoreforming and thermal treatments. By controlling deposition and post‐treatments, particle size and location on specific facets are modulated. The study reveals how stability pathways determine efficiency, guiding the design of more durable photocatalysts.
Juan José Delgado +6 more
wiley +1 more source
Single‐ and Dual‐Atom Configurations in Atomically Dispersed Catalysts for Lithium–Sulfur Batteries
Advanced Functional Materials, EarlyView.Single‐atom and dual‐atom‐based atomically dispersed catalysts (ADCs) effectively address the shuttle effect and sluggish redox kinetics in Li–S batteries. With nearly 100% atomic utilization and tunable coordination environments, ADCs enhance LiPSs adsorption, lower conversion barriers, and accelerate sulfur redox reactions.
Haoyang Xu +4 more
wiley +1 more source
Property-Driven Fence Insertion using Reorder Bounded Model Checking [PDF]
, 2015 Modern architectures provide weaker memory consistency guarantees than sequential consistency. These weaker guarantees allow programs to exhibit behaviours where the program statements appear to have executed out of program order.
Joshi, Saurabh, Kroening, Daniel
core +2 more sources
Advanced Healthcare Materials, EarlyView.Implantable optoelectrical devices are an effective resource for the modulation and monitoring of neural activity with high spatiotemporal resolution. This review discusses current challenges faced by these devices and outlines future perspectives for the development of next‐generation neural interfaces targeting chronic, multisite, and multimodal ...
Stella Aslanoglou +4 more
wiley +1 more source
Permission-based fault tolerant mutual exclusion algorithm for mobile Ad Hoc networks [PDF]
, 2015 This study focuses on resolving the problem of mutual exclusion in mobile ad hoc networks. A Mobile Ad Hoc Network (MANET) is a wireless network without fixed infrastructure.
Zarafshan, Faraneh
core
Program transformation for development, verification, and synthesis of programs [PDF]
, 2011 This paper briefly describes the use of the program transformation methodology for the development of correct and efficient programs. In particular, we will refer to the case of constraint logic programs and, through some examples, we will show how by ...
Fioravanti, Fabio +3 more
core +1 more source
A new generalization of Dekker's algorithm for mutual exclusion [PDF]
Information Processing Letters, 1986 No abstract.
openaire +2 more sources
Advanced Materials, EarlyView.Transition metal oxy/carbo‐nitrides show great promise as catalysts for sustainable processes. A Mn‐Mo mixed‐metal oxynitride attains remarkable performance for the direct synthesis of acetonitrile, an important commodity chemical, via sequential C─N and C─C coupling from syngas (C1) and ammonia (N1) feedstocks.
M. Elena Martínez‐Monje +7 more
wiley +1 more source
Correctness proofs of the Peterson-Fischer mutual exclusion algorithms [PDF]
, 1989 Thesis (B.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1989.Includes bibliographical references (leaf 35).by Christopher P.
Colby, Christopher P
core +1 more source