E-LIB Suche - Ergebnisse für: Chou, Ching-Tsun

1

Revisiting the Complexity of Hardware Cache Coherence and S..:

Komuravelli, Rakesh ; Adve, Sarita V. ; Chou, Ching-Tsun
ACM Transactions on Architecture and Code Optimization. 11 (2014) 4 - p. 1-22 , 2014

Link: https://doi.org/10.1145/..

2

Revisiting the Complexity of Hardware Cache Coherence and S..:

Komuravelli, Rakesh ; Adve, Sarita V. ; Chou, Ching-Tsun
ACM Transactions on Architecture and Code Optimization (TACO). 11 (2014) 4 - p. 1-22 , 2014

Link: https://dl.acm.org/doi/1..

3

Efficient methods for formally verifying safety properties ..:

Chen, Xiaofang ; Yang, Yu ; Gopalakrishnan, Ganesh.
Formal Methods in System Design. 36 (2010) 1 - p. 37-64 , 2010

Link: https://doi.org/10.1007/..

4

Experience with Applying Formal Methods to Protocol Specifi..:

Azimi, Mani ; Chou, Ching-Tsun ; Kumar, Akhilesh...
Formal Methods in System Design. 22 (2003) 2 - p. 109-116 , 2003

Link: https://doi.org/10.1023/..

5

Simple proof techniques for property preservation via simul..:

Chou, Ching-Tsun
Information Processing Letters. 60 (1996) 3 - p. 129-134 , 1996

Link: https://doi.org/10.1016/..

6

Linear broadcast routing:

Chou, Ching-Tsun ; Gopal, Inder S
Journal of Algorithms. 10 (1989) 4 - p. 490-517 , 1989

Link: https://doi.org/10.1016/..

7

Understanding and verifying distributed algorithms using st..:

, In: Proceedings of the seventh annual ACM Symposium on Principles of distributed computing,

Chou, Ching Tsun ; Gafni, Eli - p. 44-65 , 1988

Link: https://dl.acm.org/doi/1..

8

Horizontal and vertical movement patterns of sunfish off ea..:

Chang, Ching-Tsun ; Lin, Shian-Jhong ; Chiang, Wei-Chuan...
Deep Sea Research Part II: Topical Studies in Oceanography. 175 (2020) - p. 104683 , 2020

Link: https://doi.org/10.1016/..

9

Wide-range and area-selective threshold voltage tunability ..:

Tseng, Robert ; Wang, Sung-Tsun ; Ahmed, Tanveer...
Nature Communications. 14 (2023) 1 - p. , 2023

Link: https://doi.org/10.1038/..

10

Association of smoking status with non-small cell lung canc..:

Ko, How-Wen ; Shie, Shian-Sen ; Wang, Chih-Wei...
Frontiers in Immunology. 13 (2022) - p. , 2022

Link: https://doi.org/10.3389/..

11

The Effect of Far-Infrared Therapy on the Peritoneal Membra..:

Li, Ching-Po ; Chen, Chyong-Mei ; Chan, Chia-Hao...
Membranes. 11 (2021) 9 - p. 669 , 2021

Link: https://doi.org/10.3390/..

12

Erianin induces cell apoptosis through ERK pathway in human..:

Liu, Yen-Tze ; Hsieh, Ming-Ju ; Lin, Jen-Tsun...
Biomedicine & Pharmacotherapy. 111 (2019) - p. 262-269 , 2019

Link: https://doi.org/10.1016/..

13

Exercise Rehabilitation Attenuates Cognitive Deficits in Ra..:

Chou, Willy ; Liu, Yu-Fan ; Lin, Cheng-Hsien...
Molecular Neurobiology. 55 (2018) 11 - p. 8602-8611 , 2018

Link: https://doi.org/10.1007/..

14

Lessons from the Largest Epidemic of Avian Influenza Viruse..:

Chang, Ching-Fen ; King, Chwan-Chuen ; Wan, Cho-Hua...
Avian Diseases. 60 (2016) 1 - p. 156-171 , 2016

Link: https://www.jstor.org/st..

15

Exercise Preconditioning Protects against Spinal Cord Injur..:

Chang, Cheng-Kuei ; Chou, Willy ; Lin, Hung-Jung...
International Journal of Molecular Sciences. 15 (2014) 10 - p. 19018-19036 , 2014

Link: https://doi.org/10.3390/..