Engineering Sciences/NOLTA-Circuits and Systems(Date:2009/11/19)

Presentation
表紙

,  

[Date]2009/11/19
[Paper #]
目次

,  

[Date]2009/11/19
[Paper #]
On a new model for Quantum Computers by using Quantum Petri Nets

Shinsuke ITO,  Atsushi OHTA,  Kohkichi TSUJI,  

[Date]2009/11/19
[Paper #]CAS2009-45,CST2009-18
Advanced Technologies for Dependable Systems through Product Lifecycle by Managing Gaps among their Specification, Implementation, and Environment

Naoshi Uchihira,  

[Date]2009/11/19
[Paper #]CAS2009-46,CST2009-19
Hierarchical Abstraction of Nonlinear Oscillator Macromodels

Jaijeet Roychowdhury,  

[Date]2009/11/19
[Paper #]CAS2009-47,CST2009-20
A New FDTD Algorithm Based on Alternating-Direction Explicit (ADE) Method

Shuichi AONO,  Masaki UNNO,  Hideki ASAI,  

[Date]2009/11/19
[Paper #]CAS2009-48,CST2009-21
Parallel-Distributed Block Latency Insertion Method (Block-LIM) for Fast Transient Simulation of Tightly Coupled Transmission Lines

Yuta INOUE,  Tadatoshi SEKINE,  Hideki ASAI,  

[Date]2009/11/19
[Paper #]CAS2009-49,CST2009-22
Computational Complexity Analysis and Algorithm Design for Combinatorial Problems

Toshimasa WATANABE,  

[Date]2009/11/19
[Paper #]CAS2009-50,CST2009-23
Modeling and Model Checking of Embedded Systems using Probablistic Game Theory

Shouta KOSHIDA,  Satoshi YAMANE,  

[Date]2009/11/19
[Paper #]CAS2009-51,CST2009-24
Model Checking of subclass of PTCTL by Probabilistic Timed REGAR

Masaki TAKAHASHI,  Atsushi MORIMOTO,  Satoshi YAMANE,  

[Date]2009/11/19
[Paper #]CAS2009-52,CST2009-25
Diagnosis of Discrete Event Systems Modeled by Mealy Automata with Nondeterministic Output Functions

Shigemasa TAKAI,  Toshimitsu USHIO,  

[Date]2009/11/19
[Paper #]CAS2009-53,CST2009-26
Design and Evaluation of Graphics Accelerator System for Mobile Appliances

Yasushi NAGAI,  Toru OWADA,  Tetsuo TAKAGI,  Isao TAKITA,  

[Date]2009/11/19
[Paper #]CAS2009-54,CST2009-27
Universal Test Sets for Reversible Circuits

Satoshi TAYU,  Shota FUKUYAMA,  Shuichi UENO,  

[Date]2009/11/19
[Paper #]CAS2009-55,CST2009-28
ILP Formulation of Graph Embedding and Its Application to LSI Routing

Keisuke INOUE,  Mineo KANEKO,  

[Date]2009/11/19
[Paper #]CAS2009-56,CST2009-29
A Method to Determine Firing Times of Transitions for Timed Petri Nets by Introducing Stochastic Decision Rules

Yoshimasa MIWA,  Chen LI,  Qi-Wei GE,  Hiroshi MATSUNO,  

[Date]2009/11/19
[Paper #]CAS2009-57,CST2009-30
Experimental Evaluation of Asyncronous Genetic Algorithms on Line Topology

Hayato MIYAGI,  Morikazu NAKAMURA,  

[Date]2009/11/19
[Paper #]CAS2009-58,CST2009-31
The Design of distributed algorithm for information gathering by using Petri Net

Shin'nosuke YAMAGUCHI,  Katsumi WASAKI,  Yasunari SHIDAMA,  

[Date]2009/11/19
[Paper #]CAS2009-59,CST2009-32
On Refactoring of Free-Choice Workflow Nets to Well-Structured Workflow Nets

Yuki KURODA,  Shingo YAMAGUCHI,  Minoru TANAKA,  

[Date]2009/11/19
[Paper #]CAS2009-60,CST2009-33
Application of a Consensus Problem to Distributed Fair QoS Control in Multi-tier Server Systems

Naoki HAYASHI,  Toshimitsu USHIO,  Takafumi KANAZAWA,  

[Date]2009/11/19
[Paper #]CAS2009-61,CST2009-34
On Choreography Realization by Using Petri Nets

Toshiyuki MIYAMOTO,  Taku FUJII,  

[Date]2009/11/19
[Paper #]CAS2009-62,CST2009-35
12>> 1-20hit(24hit)