IEICE SEARCH SYSTEM

Keyword : debugging

Deterministic Message Passing for Distributed Parallel Computing Xu ZHOU Kai LU Xiaoping WANG Wenzhe ZHANG Kai ZHANG Xu LI Gen LI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2013/05/01 Vol. E96-D No. 5 pp. 1068-1077 Type of Manuscript: PAPER Category: Fundamentals of Information Systems Keyword: determinism, message-passing, debugging, distributed computing,
	Summary \| Full Text:PDF (869.5KB)

Reticella: An Execution Trace Slicing and Visualization Tool Based on a Behavior Model Kunihiro NODA Takashi KOBAYASHI Shinichiro YAMAMOTO Motoshi SAEKI Kiyoshi AGUSA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2012/04/01 Vol. E95-D No. 4 pp. 959-969 Type of Manuscript: Special Section PAPER (Special Section on Knowledge-Based Software Engineering) Category: Keyword: program slicing, program comprehension, program maintenance, sequence diagram, reverse engineering, debugging,
	Summary \| Full Text:PDF (1.4MB)

HPChecker: An AMBA AHB On-Chip Bus Protocol Checker with Efficient Verification Mechanisms Liang-Bi CHEN Jiun-Cheng JU Chien-Chou WANG Ing-Jer HUANG
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2010/08/01 Vol. E93-D No. 8 pp. 2100-2108 Type of Manuscript: Special Section PAPER (Special Section on Multiple-Valued Logic and VLSI Computing) Category: Multiple-Valued VLSI Technology Keyword: AMBA, debugging, system-on-a-chip (SoC), protocol checker, verification,
	Summary \| Full Text:PDF (1.2MB)

Redundant Exception Check Elimination by Assertions Norio SATO
Publication: IEICE TRANSACTIONS on Communications Publication Date: 1998/10/20 Vol. E81-B No. 10 pp. 1881-1893 Type of Manuscript: PAPER Category: Communication Software Keyword: exception handling support, common assertion elimination, compiler code optimization, programming language, debugging, runtime support, telecommunications software,
	Summary \| Full Text:PDF (1.1MB)