スポンサーリンク
School Of Information Science Japan Advanced Institute Of Science And Te | 論文
- A Structured Walking-1 Approach for the Diagnosis of Interconnects and FPICs
- There exists a continuum of normal modal logics over KTB
- The predicate extension of the minimum orthologic
- Kripke-style semantics of orthomodular logics
- The super-amalgamation property of the variety of ortholattices
- Some properties of orthologics
- Fixpoint formulation of the completion problem of orthomodular lattices
- Component-based algebraic specification and verification in CafeOBJ
- Concurrent object composition in CafeOBJ
- Analysis of listening impression of modified piano performance by local tempo and dynamics
- 地球シミュレータ計画の現状
- Automatic texture mapping for 3-dimensional visualization
- A Molecular Dynamics Simulation of the Carbon Cluster Formation on a Parallel Computer
- イベントとプロパティの区別を導入した型階層論理
- Magnetic Experimental Data Analyzing Program
- Software Cache Techniques for Memory Nodes in Distributed Memory Parallel Production Systems (Special Issue on Architectures, Algorithms and Network for Massively Parllel Computing)
- A deadlock-free routing for hierarchical interconnection network : TESH
- Scheduling of parallel identical machines to maximize the weighted number
- Clock skew yield estimate of well-balanced H-tree
- A new delay yield model for digital circuits