Kazuko TAKAHASHI

Verification of Content-Centric Networking Using Proof Assistant
Sosuke MORIGUCHI Takashi MORISHIMA Mizuki GOTO Kazuko TAKAHASHI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2016/11/01
Vol. E99-B  No. 11  pp. 2297-2304
Type of Manuscript:  Special Section PAPER (Special Section on Deepening and Expanding of Information Network Science)
Category: 
Keyword: 
Content-Centric Networking, proof assistant, network topology, protocol verification, 
 Summary | Full Text:PDF
Probabilistic Symmetry Reduction for a System with Ring Buffer
Toshifusa SEKIZAWA Takashi TOYOSHIMA Koichi TAKAHASHI Kazuko TAKAHASHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2011/05/01
Vol. E94-D  No. 5  pp. 967-975
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: System Analysis
Keyword: 
probabilistic symmetry reduction, ring buffer, model checking, the Ising model, AIS, 
 Summary | Full Text:PDF
TPF: An Effective Method for Verifying Synchronous Circuits with Induction-Based Provers
Kazuko TAKAHASHI Hiroshi FUJITA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1998/01/25
Vol. E81-D  No. 1  pp. 12-18
Type of Manuscript:  PAPER
Category: Computer Hardware and Design
Keyword: 
design verification, hardware description, Boyer-Moore theorem prover, automated deduction, synchronous circuits, 
 Summary | Full Text:PDF
Derivation of a Parallel Bottom-Up Parser from a Sequential Parser
Kazuko TAKAHASHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1992/11/25
Vol. E75-D  No. 6  pp. 852-860
Type of Manuscript:  PAPER
Category: Software Theory
Keyword: 
parallel logic programming, AND/OR-parallelism, nondeterminacy, program transformation, bottom-up parsing, 
 Summary | Full Text:PDF