スポンサーリンク
Nara Inst. Sci. And Technol. Ikoma‐shi Jpn | 論文
- An Efficient and Effective Algorithm for Online Task Placement with I/O Communications in Partially Reconfigurable FPGAs(System Level Design,VLSI Design and CAD Algorithms)
- Quantum versus Classical Pushdown Automata in Exact Computation (特集:量子計算と量子情報)
- Policy Controlled System and Its Model Checking
- Decidability of the Security Verification Problem for Programs with Stack Inspection
- Formal Language Theoretic Approach to the Disclosure Tree Strategy in Trust Negotiation
- Comparison of the Expressive Power of Language-Based Access Control Models
- An efficient middle-level framework for quantum circuit simulation on multiple simulator platforms (コンピュータシステム)
- SPFD-Based Flexible Transformation of LUT-Based FPGA Circuits(VLSI Design Technology and CAD)
- Automatic Generation of Java-Based, Database-Independent Query API
- Automatic Generation of Java-Based, Database-Independent Query API
- FOREWORD
- Secure Processor Architecture for High-Speed Verification of Memory Integrity
- Automata with Quantum and Classical Resources (特集:量子計算と量子情報)
- Quantum Walks on the Line with Phase Parameters
- Error Control for High-density Monochrome Two-dimensional Barcodes
- Quantum Biased Oracles
- Quantum versus Classical Pushdown Automata in Exact Computation
- LTL Model Checking for Extended Pushdown Systems with Regular Tree Valuations
- Quantum Biased Oracles