|
表紙
Full Text:
CiNii
|
|
|
目次
Full Text:
CiNii
|
|
|
On a new model for Quantum Computers by using Quantum Petri Nets
Full Text:
CiNii
|
1-6
|
|
Advanced Technologies for Dependable Systems through Product Lifecycle by Managing Gaps among their Specification, Implementation, and Environment
Full Text:
CiNii
|
7-12
|
|
Hierarchical Abstraction of Nonlinear Oscillator Macromodels
Full Text:
CiNii
|
13-17
|
|
A New FDTD Algorithm Based on Alternating-Direction Explicit (ADE) Method
Full Text:
CiNii
|
19-24
|
|
Parallel-Distributed Block Latency Insertion Method (Block-LIM) for Fast Transient Simulation of Tightly Coupled Transmission Lines
Full Text:
CiNii
|
25-30
|
|
Computational Complexity Analysis and Algorithm Design for Combinatorial Problems
Full Text:
CiNii
|
31-33
|
|
Modeling and Model Checking of Embedded Systems using Probablistic Game Theory
Full Text:
CiNii
|
35-40
|
|
Model Checking of subclass of PTCTL by Probabilistic Timed REGAR
Full Text:
CiNii
|
41-46
|
|
Diagnosis of Discrete Event Systems Modeled by Mealy Automata with Nondeterministic Output Functions
Full Text:
CiNii
|
47-52
|
|
Design and Evaluation of Graphics Accelerator System for Mobile Appliances
Full Text:
CiNii
|
53-57
|
|
Universal Test Sets for Reversible Circuits
Full Text:
CiNii
|
59-64
|
|
ILP Formulation of Graph Embedding and Its Application to LSI Routing
Full Text:
CiNii
|
65-70
|
|
A Method to Determine Firing Times of Transitions for Timed Petri Nets by Introducing Stochastic Decision Rules
Full Text:
CiNii
|
71-76
|
|
Experimental Evaluation of Asyncronous Genetic Algorithms on Line Topology
Full Text:
CiNii
|
77-81
|
|
The Design of distributed algorithm for information gathering by using Petri Net
Full Text:
CiNii
|
83-88
|
|
On Refactoring of Free-Choice Workflow Nets to Well-Structured Workflow Nets
Full Text:
CiNii
|
89-93
|
|
Application of a Consensus Problem to Distributed Fair QoS Control in Multi-tier Server Systems
Full Text:
CiNii
|
95-98
|
|
On Choreography Realization by Using Petri Nets
Full Text:
CiNii
|
99-104
|
|
Minimum Realization of Condition/Event Net Exhibiting Specified Behavior
Full Text:
CiNii
|
105-110
|
|
複写される方へ
Full Text:
CiNii
|
|
|
Notice for Photocopying
Full Text:
CiNii
|
|
|
奥付
Full Text:
CiNii
|
|
