Engineering Sciences/NOLTA-Circuits and Systems(Date:2004/10/28)

Presentation
表紙

,  

[Date]2004/10/28
[Paper #]
目次

,  

[Date]2004/10/28
[Paper #]
An application of behavioral traps to liveness monotonicity of POC nets

Atsushi OHTA,  

[Date]2004/10/28
[Paper #]CAS2004-42,CST2004-21
Symbolic Reachability Analysis Method of Probabilistic Linear Hybrid Automata

Yosuke MUTSUDA,  Satoshi YAMANE,  

[Date]2004/10/28
[Paper #]CAS2004-43,CST2004-22
Reachability analysis method of nonlinear hybrid automata using approximation techniques

Takashi YAMAZAKI,  Satoshi YAMANE,  

[Date]2004/10/28
[Paper #]CAS2004-44,CST2004-23
Broadcast scheduling for a parallel distributed system

Hiroshi TAMURA,  Futoshi TASAKI,  Masakazu SENGOKU,  Shoji SHINODA,  

[Date]2004/10/28
[Paper #]CAS2004-45,CST2004-24
Arithmetic Cost Reduction Algorithm for Linear Transformation Circuits Considering the Synthesis Order of Coefficient Set

Keisuke SATO,  Takao SASAKI,  Hisamichi TOYOSHIMA,  

[Date]2004/10/28
[Paper #]CAS2004-46,CST2004-25
A Study on the Pole Assignment for the Three-Dimensional Systems (II)

Atsushi Kawakami,  

[Date]2004/10/28
[Paper #]CAS2004-47,CST2004-26
Expansion of the image using the B-spline surface

Norito KATO,  Hiroshi YASUKAWA,  Akira TAGUCHI,  

[Date]2004/10/28
[Paper #]CAS2004-48,CST2004-27
Theory of Autonomous Distributed Optimization of Information Network and its Implementation by means of Semaphore Control

Yuki SHIBATA,  Hitoshi WATANABE,  

[Date]2004/10/28
[Paper #]CAS2004-49,CST2004-28
A Study on the Marginal Reliability of Multi-hop Wireless Network with Total Radiation Energy Restriction

Sumio HAYASHI,  Hitoshi WATANABE,  

[Date]2004/10/28
[Paper #]CAS2004-50,CST2004-29
Optimizing Method of Content Delivery Network with Information-Zooming Function (Z-CDN)

Kazunobu TAKADA,  Hitoshi WATANABE,  

[Date]2004/10/28
[Paper #]CAS2004-51,CST2004-30
On Obtaining All the Elementary T-invariants Using Linear Programming

Tomiyuki FUKUNAGA,  Qi-Wei GE,  Mitsuru NAKATA,  

[Date]2004/10/28
[Paper #]CAS2004-52,CST2004-31
On Dead of Program Nets

Kousuke YAMADA,  Shingo YAMAGUCHI,  Qi-Wei GE,  Minoru TANAKA,  

[Date]2004/10/28
[Paper #]CAS2004-53,CST2004-32
On Calculation of Maximum Throughput for Well-Structured Workflow Nets with Conflict-Free Resources

Keisuke KUNIYOSHI,  Shingo YAMAGUCHI,  Qi-Wei GE,  Minoru TANAKA,  

[Date]2004/10/28
[Paper #]CAS2004-54,CST2004-33
On the Effect of Firing Inhibition in Finding Firing Sequences of Timed Petri Nets

Tsuyoshi TACHIBATAKE,  Satoshi TAOKA,  Toshimasa WATANABE,  

[Date]2004/10/28
[Paper #]CAS2004-55,CST2004-34
複写されう方へ

,  

[Date]2004/10/28
[Paper #]
奥付

,  

[Date]2004/10/28
[Paper #]