Results 81 to 90 of about 246,119 (286)
Comments on a problem in concurrent programming control [PDF]
Harris Hyman
openalex +1 more source
Solution of a problem in concurrent programming control [PDF]
E. Dijkstra
openalex +1 more source
Formalizing Determinacy of Concurrent Revisions [PDF]
Concurrent revisions is a concurrency control model designed to guarantee determinacy, meaning that the outcomes of programs are uniquely determined. This paper describes an Isabelle/HOL formalization of the model's operational semantics and proof of determinacy.
arxiv
Liraglutide for idiopathic intracranial hypertension: a real‐world propensity score‐matched study
Abstract Objective Idiopathic intracranial hypertension (IIH) is a neurological disorder predominantly affecting young women with obesity, characterized by elevated intracranial pressure. While current treatments include weight loss counseling, medical therapies, and surgical interventions, their limitations necessitate exploring novel therapeutic ...
Ahmed Y. Azzam+13 more
wiley +1 more source
Additional comments on a problem in concurrent programming control [PDF]
N.G. de Bruijn
openalex +1 more source
Treatment-control comparisons in platform trials including non-concurrent controls [PDF]
Shared controls in platform trials comprise concurrent and non-concurrent controls. For a given experimental arm, non-concurrent controls refer to data from patients allocated to the control arm before the arm enters the trial. The use of non-concurrent controls in the analysis is attractive because it may increase the trial's power of testing ...
arxiv
DGCC:A New Dependency Graph based Concurrency Control Protocol for Multicore Database Systems [PDF]
Multicore CPUs and large memories are increasingly becoming the norm in modern computer systems. However, current database management systems (DBMSs) are generally ineffective in exploiting the parallelism of such systems. In particular, contention can lead to a dramatic fall in performance.
arxiv
Assessment of concurrent neoplasms and a paraneoplastic association in MOGAD
Abstract Cases of myelin oligodendrocyte glycoprotein (MOG) antibody‐associated disease (MOGAD) co‐occurring with neoplasms have been reported. In this international, retrospective cohort study in South Korea and the USA, 16 of 445 (3.6%) patients with MOGAD had concurrent neoplasm within 2 years of MOGAD onset, resulting in a standardized incidence ...
Young Nam Kwon+24 more
wiley +1 more source
Concurrent query processing in a GPU-based database system.
The unrivaled computing capabilities of modern GPUs meet the demand of processing massive amounts of data seen in many application domains. While traditional HPC systems support applications as standalone entities that occupy entire GPUs, there are GPU ...
Hao Li, Yi-Cheng Tu, Bo Zeng
doaj +1 more source
CONTROL OF HUMAN VIGILANCE BY CONCURRENT SCHEDULES [PDF]
Thomas Frazier, Vincent E. Bitetto
openalex +1 more source