スポンサーリンク
The Graduate School Of Information Science And Technology Osaka University | 論文
- Timed Uniform Atomic Broadcast in Presence of Crash and Timing Faults(Foundations of Computer Science)
- Wait-Free Linearizable Distributed Shared Memory
- Parallel Algorithms for the All Nearest Neighbors of Binary Image on the BSP Model
- High-Level Synthesis for Weakly Testable Data Paths(Special Issue on Test and Diagnosis of VLSI)
- Stability Analysis of XCP (eXplicit Control Protocol) with Heterogeneous Flows
- Delay Performance Analysis on Ad-Hoc Delay Tolerant Broadcast Network Applied to Vehicle-to-Vehicle Communication
- Verification of the Security against Inference Attacks on XML Databases
- デジタルBS/CS用PSK同期復調の設計(デジタル放送・伝送方式)
- Regular Temporal Logic Expressively Equivalent to Finite Automata and Its Application to Logic Design Verification
- Fault-Tolerance of Distributed Algorithms : Self-Stabilization and Wait-Freedom(Special Issue on Algorithm Engineering : Surveys)
- Efficient Linearizable Implementation of Shared FIFO Queues and General Objects on a Distributed System(Special Section on Discrete Mathematics and Its Applications)
- Expressive Power of Quantum Pushdown Automata with Classical Stack Operations under the Perfect-Soundness Condition(Computation and Computational Models)
- On the Power of Non-deterministic Quantum Finite Automata(Special Issue on Selected Papers from LA Symposium)
- An Exponential Lower Bound on the Size of a Binary Moment Diagram Representing Integer Division (Special Section on Discrete Mathematics and Its Applications)
- A Representation Diagram for Maximal Independent Sets of a Graph(Special Section on Discrete Mathematics and Its Applications)
- VLSI Architecture of Switching Control for AAL Type2 Switch (Special Section of Selected Papers from the 12th Workshop on Circuit and Systems in Karuizawa)
- Improving Robustness of XCP (eXplicit Control Protocol) for Dynamic Traffic
- GridFTP-APT : Automatic Parallelism Tuning Mechanism for GridFTP in Long-Fat Networks
- Decidability of the Security against Inference Attacks Using a Functional Dependency on XML Databases
- A Small-Area and Low-Power SoC for Less-Invasive Pressure Sensing Capsules in Ambulatory Urodynamic Monitoring