| 2007 |
|---|
| 8 | EE | Yasushi Umezawa,
Takeshi Shimizu:
A Formal Verification Methodology for Checking Data Integrity
CoRR abs/0710.4848: (2007) |
| 2006 |
|---|
| 7 | EE | Yoshinobu Yasuno,
Yasuhiro Riko,
Nobuhiro Funakoshi,
Takeshi Shimizu,
Goro Yamauchi:
Environmentally Robust Electret Condenser Microphone.
IEICE Transactions 89-A(8): 2226-2229 (2006) |
| 2005 |
|---|
| 6 | EE | Subramanian K. Iyer,
Jawahar Jain,
Debashis Sahoo,
Takeshi Shimizu:
Verification of Industrial Designs Using A Computing Grid With More than 100 Nodes.
Asian Test Symposium 2005: 460 |
| 2004 |
|---|
| 5 | EE | Yasushi Umezawa,
Takeshi Shimizu:
A Formal Verification Methodology for Checking Data Integrity.
DATE 2004: 284-289 |
| 4 | EE | Yasushi Umezawa,
Takeshi Shimizu:
A Formal Verification Methodology for Checking Data Integrity.
DATE 2004: 284-289 |
| 1998 |
|---|
| 3 | EE | Takeshi Shimizu,
Stephen W. Smoliar,
John S. Boreczky:
AESOP: An Outline-Oriented Authoring System.
HICSS (2) 1998: 207-215 |
| 1997 |
|---|
| 2 | EE | 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.
ISCA 1997: 98-107 |
| 1995 |
|---|
| 1 | | Takeshi Shimizu,
Osamu Nakamura,
Yasushi Kiyoki:
Multimedia Document System for Temporal and Spatial Structuring.
IWHD 1995: 39-58 |
