Results 81 to 90 of about 36,627 (309)

The concurrency workbench [PDF]

, 1990
The Concurrency Workbench is an automated tool that caters for the analysis of networks of finite-state processes expressed in Milner's Calculus of Communicating Systems. Its key feature is its scope: a variety of different verification methods, including equivalence checking, preorder checking, and model checking, are supported for several different ...
Rance Cleaveland, Joachim Parrow, Bernhard Steffen   +2 more
openaire   +1 more source

Synchronising C/C++ and POWER [PDF]

, 2012
Shared memory concurrency relies on synchronisation primitives: compare-and-swap, load-reserve/store-conditional (aka LL/SC), language-level mutexes, and so on. In a sequentially consistent setting, or even in the TSO setting of x86 and Sparc, these have
Sarkar, Susmit, Sewell, Peter, Memarian, Kayvan, Susmit Sarkar, Jade Alglave, Derek Williams, Peter Sewell, Luc Maranget, Kayvan Memarian, Maranget, Luc, Alglave, Jade, Mark Batty, Batty, Mark, Williams, Derek, Owens, Scott, Scott Owens   +15 more
core   +1 more source

Targeting transcription factors associated with hemoglobinopathies: Lessons from successful interventions and implications for cancer

Molecular Oncology, EarlyView.
This review summarizes the transcription factors, repressive chromatin‐modifying complexes, and epigenetic mechanisms that control fetal hemoglobin repression. Notably, many regulators of γ‐globin silencing also function in transcriptional and epigenetic networks that drive cancer, highlighting opportunities to translate advances in hemoglobinopathy ...
Meigen Yu, Puspa Das, Xing Zhang, Xiaodong Cheng   +3 more
wiley   +1 more source

Architecting software concurrency [PDF]

Computer Science Journal of Moldova, 2011
Nowadays, the majority of software systems are inherently concurrent. Anyway, internal and external concurrent activities increase the complexity of systems' behavior. Adequate architecting can significantly decrease implementation errors.
Dumitru Ciorba, Victor Besliu
doaj  

Partner concurrency and HIV infection risk in South Africa

International Journal of Infectious Diseases, 2016
Background: The relationship between concurrent sexual partnerships and HIV risk is not fully understood. Evidence on the relationship between partner concurrency (one's sexual partner has another partner) and individual HIV risk is limited.
Chris R. Kenyon, Achilleas Tsoumanis, Ilan S. Schwartz, Brendan Maughan-Brown   +3 more
doaj   +1 more source

A Comprehensive Concurrency Control Technique for Real-Time Database System [PDF]

, 2013
Real-time database must maintain the Temporal Consistency of the data which cannot be achieved with the conventional concurrency control techniques as they focus only on the consistency of the data.
Dr. Md. Anisur Rahman, Md. Sahadat Hossain   +1 more
core  

Pharmacological chromatin remodeling enhances response to estrogen therapy in ER+ breast cancer

Molecular Oncology, EarlyView.
Estrogen therapy elicits clinical benefit in ~ 30% of patients with endocrine‐resistant estrogen receptor (ER)‐positive breast cancer. Based on findings that ER transcriptional activation underlies response to estrogen therapy, we tested the effects of epigenetic dysregulation via pharmacological inhibition of histone deacetylases (HDACi).
Anneka L. Johnson Thomas, Barbara Karakyriakou, Patricia C. Muskus, Alyssa M. Roberts, Justin Rendleman, Alexa Warren, Hanxu Lu, Kimberly A. Birmingham, Malone K. Friedman, Abigail E. Goen, Huijuan Yang, Owen M. Wilkins, Fred W. Kolling, Eugene Demidenko, Julie M. Jorns, Brock C. Christensen, Todd W. Miller   +16 more
wiley   +1 more source

Intrapatient tumour heterogeneity and clonal evolution in an autopsy study of metastatic salivary gland cancer

Molecular Oncology, EarlyView.
Tumour heterogeneity and clonal evolution of metastatic salivary gland cancer were evaluated in two patients with adenoid carcinoma and one patient with myoepithelial carcinoma. Radiology‐guided autopsy enabled multi‐region sampling (total samples n = 149), followed by whole‐genome sequencing and phylogenetic reconstruction (17 tumour samples, 4–7 per ...
Gerben Lassche, Niels J. van Ruitenbeek, Charlotte Adang, Luke O'Gorman, Pui Yuen Lee, Willemijn M. Klein, Adriana C. H. van Engen‐van Grunsven, Jack A. Schalken, Sander Bervoets, Gerald W. Verhaegh, Carla M. L. van Herpen   +10 more
wiley   +1 more source

Concurrent sexual partnerships do not explain the HIV epidemics in Africa: a systematic review of the evidence

Journal of the International AIDS Society, 2010
The notion that concurrent sexual partnerships are especially common in sub‐Saharan Africa and explain the region's high HIV prevalence is accepted by many as conventional wisdom.
Larry Sawers, Eileen Stillwaggon
doaj   +1 more source

Flow Java: declarative concurrency for Java. [PDF]

, 2003
Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations.
Drejhammar, Frej, Per Brand, Brand, Per, Christian Schulte, Schulte, Christian, Frej Drejhammar, Haridi, Seif, Seif Haridi   +7 more
core   +1 more source