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 Networkingproof assistantnetwork topologyprotocol 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 reductionring buffermodel checkingthe Ising modelAIS
 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 verificationhardware descriptionBoyer-Moore theorem proverautomated deductionsynchronous 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 programmingAND/OR-parallelismnondeterminacyprogram transformationbottom-up parsing
 Summary | Full Text:PDF