Kanna Shimizu

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2009
c5		Masana Murase, Kanna Shimizu, Wilfred Plouffe, Masaharu Sakamoto: Effective implementation of the cell broadband engine^TM isolation loader. ACM Conference on Computer and Communications Security 2009: 303-313
	2007
j2		Kanna Shimizu, H. Peter Hofstee, John S. Liberty: Cell Broadband Engine processor vault security architecture. IBM Journal of Research and Development 51(5): 521-528 (2007)
	2006
c4		Kanna Shimizu, Sanjay Gupta, Tatsuya Koyama, Takashi Omizo, Jamee Abdulhafiz, Larry McConville, Todd Swanson: Verification of the cell broadband engine^TM processor. DAC 2006: 338-343
	2002
j1		Kanna Shimizu, David L. Dill: Using Formal Specifications for Functional Validation of Hardware Designs. IEEE Design & Test of Computers 19(4): 96-106 (2002)
c3		Kanna Shimizu, David L. Dill: Deriving a simulation input generator and a coverage metric from a formal specification. DAC 2002: 801-806
	2001
c2		Kanna Shimizu, David L. Dill, Ching-Tsun Chou: A Specification Methodology by a Collection of Compact Properties as Applied to the Intel^® Itanium^TM Processor Bus Protocol. CHARME 2001: 340-354
	2000
c1		Kanna Shimizu, David L. Dill, Alan J. Hu: Monitor-Based Formal Specification of PCI. FMCAD 2000: 335-353

Coauthor Index

1	Jamee Abdulhafiz	[c4]
2	Ching-Tsun Chou	[c2]
3	David L. Dill	[j1] [c3] [c2] [c1]
4	Sanjay Gupta	[c4]
5	H. Peter Hofstee (Peter Hofstee)	[j2]
6	Alan J. Hu	[c1]
7	Tatsuya Koyama	[c4]
8	John S. Liberty	[j2]
9	Larry McConville	[c4]
10	Masana Murase	[c5]
11	Takashi Omizo	[c4]
12	Wilfred Plouffe	[c5]
13	Masaharu Sakamoto	[c5]
14	Todd Swanson	[c4]

Last update Fri May 24 20:57:46 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page