DeNovo: Rethinking the Memory Hierarchy for Disciplined Parallelism
Byn Choi, Komuravelli, R., Hyojin Sung, Smolinski, R., Honarmand, N., Adve, S. V., Adve, V. S., Carter, N. P., Ching-Tsun Chou
Published in 2011 International Conference on Parallel Architectures and Compilation Techniques (01.10.2011)
Published in 2011 International Conference on Parallel Architectures and Compilation Techniques (01.10.2011)
Get full text
Conference Proceeding
Hierarchical cache coherence protocol verification one level at a time through assume guarantee
Xiaofang Chen, Yu Yang, Delisi, M., Gopalakrishnan, G., Ching-Tsun Chou
Published in 2007 IEEE International High Level Design Validation and Test Workshop (01.11.2007)
Published in 2007 IEEE International High Level Design Validation and Test Workshop (01.11.2007)
Get full text
Conference Proceeding
Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee
Xiaofang Chen, Yu Yang, Gopalakrishnan, G., Ching-Tsun Chou
Published in 2006 Formal Methods in Computer Aided Design (01.11.2006)
Published in 2006 Formal Methods in Computer Aided Design (01.11.2006)
Get full text
Conference Proceeding
Synchronizing asynchronous bounded delay networks
Chou, C.-T., Cidon, I., Gopal, I.S., Zaks, S.
Published in IEEE transactions on communications (01.02.1990)
Published in IEEE transactions on communications (01.02.1990)
Get full text
Journal Article
INSTRUCTIONS AND SUPPORT FOR CONDITIONAL LOAD AND STORE
CHOU, Ching-Tsun, SHEFFIELD, David, YADLAPALLI, Leela Kamalesh, SONDAG, Tyler, WINKEL, Sebastian, WANG, Yipeng, AGRON, Jason
Year of Publication 04.07.2024
Get full text
Year of Publication 04.07.2024
Patent
INSTRUCTIONS AND SUPPORT FOR CONDITIONAL COMPARISON AND TEST
CHOU, Ching-Tsun, SHEFFIELD, David, YADLAPALLI, Leela Kamalesh, SONDAG, Tyler, WINKEL, Sebastian, WANG, Yipeng, AGRON, Jason
Year of Publication 04.07.2024
Get full text
Year of Publication 04.07.2024
Patent
INSTRUCTIONS AND SUPPORT FOR STACK PUSH AND POP
CHOU, Ching-Tsun, SHEFFIELD, David, YADLAPALLI, Leela Kamalesh, SONDAG, Tyler, WINKEL, Sebastian, WANG, Yipeng, AGRON, Jason
Year of Publication 04.07.2024
Get full text
Year of Publication 04.07.2024
Patent
INSTRUCTIONS AND SUPPORT FOR CONDITIONAL COMPARISON AND TEST
CHOU, Ching-Tsun, SHEFFIELD, David, YADLAPALLI, Leela Kamalesh, SONDAG, Tyler, WINKEL, Sebastian, WANG, Yipeng, AGRON, Jason
Year of Publication 03.07.2024
Get full text
Year of Publication 03.07.2024
Patent
INSTRUCTIONS AND SUPPORT FOR CONDITIONAL LOAD AND STORE
CHOU, Ching-Tsun, SHEFFIELD, David, WINKEL, Seabastian, YADLAPALLI, Leela Kamalesh, SONDAG, Tyler, WANG, Yipeng, AGRON, Jason
Year of Publication 03.07.2024
Get full text
Year of Publication 03.07.2024
Patent
PREFIX EXTENSIONS FOR EXTENDED GENERAL PURPOSE REGISTERS WITH OPTIMIZATION FEATURES FOR NON-DESTRUCTIVE DESTINATIONS AND FLAGS SUPPRESSION
WIEDEMEIER, Jeff, CHOU, Ching-Tsun, SHEFFIELD, David, COMBS, Jonathan, YADLAPALLI, Leela Kamalesh, SONDAG, Tyler, WINKEL, Sebastian, WANG, Yipeng, AGRON, Jason
Year of Publication 04.07.2024
Get full text
Year of Publication 04.07.2024
Patent
PREFIX EXTENSIONS FOR EXTENDED GENERAL PURPOSE REGISTERS WITH OPTIMIZATION FEATURES FOR NON-DESTRUCTIVE DESTINATIONS AND FLAGS SUPPRESSION
WIEDEMEIER, Jeff, CHOU, Ching-Tsun, SHEFFIELD, David, COMBS, Jonathan, YADLAPALLI, Leela Kamalesh, SONDAG, Tyler, WINKEL, Sebastian, WANG, Yipeng, AGRON, Jason
Year of Publication 03.07.2024
Get full text
Year of Publication 03.07.2024
Patent