io-port.net

first | previous | 141 161 181 201 221 241 | next | last

Result 241 to 252 of 252 total

io-port 70679575 Nakamura, Hideo; Takeshi, Kiyoshi

Fault-tolerant microcomputer design and application for railway train control (English)

IFIP Congress (1), 652-658 (1992).

241

PDF XML AMS-TeX TEXT BIBTeX

io-port 70866892 Javey, Shahram; Mitsui, Kin’ichi; Nakamura, Hiroaki; Ohira, Tsuyoshi; Yasuda, Kazu; Kuse, Kazushi; Kamimura, Tsutomu; Helm, Richard

Architecture of the XL C++ browser (English)

CASCON, 369-379 (1992).

242

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 00177263 Nakamura, Hiroshi; Kukimoto, Yuji; Fujita, Masahiro; Tanaka, Hidehiko

A data path verifier for register transfer level using temporal logic language Tokio. (English)

Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 493-504 (1991).

243

PDF XML AMS-TeX TEXT BIBTeX

io-port 70759937 Nakamura, Hiroshi; Kukimoto, Yuji; Fujita, Masahiro; Tanaka, Hidehiko

A data path verifier for register transfer level using temporal logic language tokio (English)

CAV, 76-85 (1990).

244

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70005150 Hosokawa, Kaoru; Nakamura, Hiroaki; Kamimura, Tsutomu

Concurrent programming in COB (English)

Concurrency: Theory, Language, And Architecture, 142-156 (1989).

245

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70635152 Nakamura, Hiroshi; Nakai, Masaya; Kono, Shinji; Fujita, Masahiro; Tanaka, Hidehiko

Logic design assistence using temporal logic based language tokio (English)

LP, 174-183 (1989).

246

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 04060695 Uchihira, Naoshi; Matsumoto, Kazunori; Honiden, Shinichi; Nakamura, Hideo

MENDELS: Concurrent program synthesis system using temporal logic. (English)

Logic programming, Proc. 6th Conf., Tokyo/Jap. 1987, Lect. Notes Comput. Sci. 315, 50-68 (1988).

247

PDF XML AMS-TeX TEXT BIBTeX

io-port 70635200 Uchihira, Naoshi; Matsumoto, Kazunori; Honiden, Shinichi; Nakamura, Hideo

MENDELS: concurrent program synthesis system using temporal logic (English)

LP, 50-68 (1987).

248

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70635139 Fujita, Masahiro; Ishisone, Makoto; Nakamura, Hiroshi; Tanaka, Hidehiko; Moto-Oka, Tohru

Using the temporal logic programming language tokio for algorithm description and automatic CMOS gate array synthesis (English)

LP, 246-255 (1985).

249

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70507836 Takenaka, S.; Takeda, Y.; Sakane, T.; Nakamura, H.; Toyonaga, N.

A new 4 ghz 90 mbps digital radio system using 64-QAM modulation (English)

ICC (2), 642-645 (1984).

250

PDF XML AMS-TeX TEXT BIBTeX

io-port 05336256 Funabashi, T.; Takagi, K.; Tsukada, T.; Nakamura, H.; Hara, M.

An NMOS microcomputer peripheral interface unit incorporating an analog-to-digital converter. (English)

IEEE Trans. Comput. 29, No. 02, 102-107 (1980).

251

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50178493 Funabashi, Tsuneo; Takagi, Katsuaki; Tsukada, Toshiro; Nakamura, Hideo; Hara, Michio

An NMOS microcomputer peripheral interface unit incorporating an analog-to-digital converter (English)

IEEE Trans. Computers 29, No. 2, 102-107 (1980).

252

PDF XML AMS-TeX TEXT BIBTeX URL

first | previous | 141 161 181 201 221 241 | next | last

Result 241 to 252 of 252 total