44,847 research outputs found
Context-bounded analysis of tso systems
No full textWe address the state reachability problem in concurrent programs running over the TSO weak memory model. This problem has been shown to be decidable with non-primitive recursive complexity in the case of finite-state threads. For recursive threads this problem is undecidable. The aim of this paper is to provide under-approximate analyses for TSO systems that are decidable and have better (elementary) complexity. We propose three bounding concepts for TSO behaviors that are inspired from the concept of bounding the number of context switches introduced by Qadeer and Rehof for the sequentially consistent (SC) model. We investigate the decidability and the complexity of the state reachability problems under these three bounding concepts for TSO, and provide reduction of these problems to known reachability problems of concurrent systems under the SC semantics
On-line monitoring of trihalomethanes in drinking water using continuous-flow purge and cryofocusing gas chromatography–mass spectrometry
No full textChen Bi-sheng & Yang Guo-zhen, Chen Jia-geng zhuan
No full textChing-Fatt Yong. Chen Bi-sheng & Yang Guo-zhen, Chen Jia-geng zhuan. In: Archipel, volume 27, 1984. pp. 201-202
Chen Bi-sheng & Yang Guo-zhen, Chen Jia-geng zhuan
No full textChing-Fatt Yong. Chen Bi-sheng & Yang Guo-zhen, Chen Jia-geng zhuan. In: Archipel, volume 27, 1984. pp. 201-202
From Comic Trickster to Brilliant Detective: E. Harcourt Burrage's 'Immortal' Ching-Ching
No full textFrom Comic Trickster to Brilliant Detective: E. Harcourt Burrage's 'Immortal' Ching-Chin
Wang Chen-ping & Yu Gang, Chen Jia-geng xing-xue ji
No full textChing-Fatt Yong. Wang Chen-ping & Yu Gang, Chen Jia-geng xing-xue ji. In: Archipel, volume 27, 1984. pp. 199-200
Stimulation of GCMa Transcriptional Activity by Cyclic AMP/Protein Kinase A Signaling Is Attributed to CBP-Mediated Acetylation of GCMa
No full textAmblyeleotris bleekeri Chen, Shao and Chen 2006
No full text266. Amblyeleotris bleekeri Chen, Shao and Chen, 2006:2556, figs. 1A, 2 Holotype: ASIZP 64286 (57.7), Sogang, Penghu County, Taiwan, 23 Apr. 1991, coll. J. –P. Chen. Paratype: NMMB P7903 (2, 12.0–14.2), Guihou, Taipei county, Taiwan, 19 m, coll. J. –P. Chen. Remark. This speices is only found in the coastal regions off northeastern Taiwan and the Penghu Islands off western Taiwan.Published as part of Ho, Hsuan-Ching & Shao, Kwang-Tsao, 2011, 2957, pp. 1-74 in Zootaxa 2957 on page 5
Exhumation history of eastern Ladakh revealed by Ar-40/Ar-39 and fission-track ages: the Indus River-Tso Morari transect, NW Himalaya
No full textFission-track and Ar-40/Ar-39 ages place time constraints on the exhumation of the North Himalayan nappe stack, the Indus Suture Zone and Molasse, and the Transhimalayan Batholith in eastern Ladakh (NW India). Results from this and previous studies on a north-south transect passing near Tso Morari Lake suggest that the SW-directed North Himalayan nappe stack (comprising the Mata, Tetraogal and Tso Morari nappes) was emplaced and metamorphosed by c. 50-45 Ma, and exhumed to moderately shallow depths (c. 10 km) by c. 45-40 Ma. From the mid-Eocene to the present, exhumation continued at a steady and slow rate except for the root zone of the Tso Morari nappe, which cooled faster than the rest of the nappe stack. Rapid cooling occurred at c. 20 Ma and is linked to brittle deformation along the normal Ribil-Zildat Fault concomitant with extrusion of the Crystalline nappe in the south. Data from the Indus Molasse suggest that sediments were still being deposited during the Miocene
- …
