Kanna Shimizu - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 10 from 10

2023

Personalized Dense Retrieval on Global Index for Voice-enabled Conversational SystemsMasha Belyi, Charlotte Dzialo, Chaitanya Dwivedi, Prajit Muppidi, Kanna Shimizu. emnlp 2023: 83-92 [doi]

RecQR: Using Recommendation Systems for Query Reformulation to correct unseen errors in spoken dialog systemsManik Bhandari, Mingxian Wang, Oleg Poliannikov, Kanna Shimizu. recsys 2023: 1019-1022 [doi]

2022

Iterative Stratified Testing and Measurement for Automated Model UpdatesElizabeth Dekeyser, Nicholas Comment, Shermin Pei, Rajat Kumar, Shruti Rai, Fengtao Wu, Lisa A. Haverty, Kanna Shimizu. emnlp 2022: 198-205 [doi]

2009

Effective implementation of the cell broadband engine:::TM::: isolation loaderMasana Murase, Kanna Shimizu, Wilfred Plouffe, Masaharu Sakamoto. ccs 2009: 303-313 [doi]

2007

Cell Broadband Engine processor vault security architectureKanna Shimizu, H. Peter Hofstee, John S. Liberty. ibmrd, 51(5):521-528, 2007. [doi]

2006

Verification of the cell broadband engine:::TM::: processorKanna Shimizu, Sanjay Gupta, Tatsuya Koyama, Takashi Omizo, Jamee Abdulhafiz, Larry McConville, Todd Swanson. dac 2006: 338-343 [doi]

2002

Deriving a simulation input generator and a coverage metric from a formal specificationKanna Shimizu, David L. Dill. dac 2002: 801-806 [doi]

Using Formal Specifications for Functional Validation of Hardware DesignsKanna Shimizu, David L. Dill. dt, 19(4):96-106, 2002. [doi]

2001

A Specification Methodology by a Collection of Compact Properties as Applied to the Intel:::®::: Itanium:::TM::: Processor Bus ProtocolKanna Shimizu, David L. Dill, Ching-Tsun Chou. charme 2001: 340-354 [doi]

2000

Monitor-Based Formal Specification of PCIKanna Shimizu, David L. Dill, Alan J. Hu. FMCAD 2000: 335-353 [doi]

Sign in or sign up to see more results.

runs on WebDSL