|
Search the dblp DataBase
Takeshi Shimizu:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Subramanian K. Iyer, Jawahar Jain, Debashis Sahoo, Takeshi Shimizu
Verification of Industrial Designs Using A Computing Grid With More than 100 Nodes. [Citation Graph (0, 0)][DBLP] Asian Test Symposium, 2005, pp:460- [Conf]
- Yasushi Umezawa, Takeshi Shimizu
A Formal Verification Methodology for Checking Data Integrity. [Citation Graph (0, 0)][DBLP] DATE, 2004, pp:284-289 [Conf]
- Yasushi Umezawa, Takeshi Shimizu
A Formal Verification Methodology for Checking Data Integrity. [Citation Graph (0, 0)][DBLP] DATE, 2004, pp:284-289 [Conf]
- Takeshi Shimizu, Stephen W. Smoliar, John S. Boreczky
AESOP: An Outline-Oriented Authoring System. [Citation Graph (0, 0)][DBLP] HICSS (2), 1998, pp:207-215 [Conf]
- Wolf-Dietrich Weber, Stephen Gold, Pat Helland, Takeshi Shimizu, Thomas Wicki, Winfried W. Wilcke
The Mercury Interconnect Architecture: A Cost-effective Infrastructure for High-performance Servers. [Citation Graph (0, 0)][DBLP] ISCA, 1997, pp:98-107 [Conf]
- Takeshi Shimizu, Osamu Nakamura, Yasushi Kiyoki
Multimedia Document System for Temporal and Spatial Structuring. [Citation Graph (0, 0)][DBLP] IWHD, 1995, pp:39-58 [Conf]
- Yasushi Umezawa, Takeshi Shimizu
A Formal Verification Methodology for Checking Data Integrity [Citation Graph (0, 0)][DBLP] CoRR, 2007, v:0, n:, pp:- [Journal]
Search in 0.003secs, Finished in 0.004secs
|