Sciweavers

IEICET
2006
61views more  IEICET 2006»
13 years 5 months ago
A Refined Theory for Available Operation of Extremely Complicated Large-Scale Network Systems
In this paper 1 , we shall describe about a refined theory based on the concept of set-valued operators, suitable for available operation of extremely complicated large-scale netwo...
Kazuo Horiuchi
IEICET
2006
114views more  IEICET 2006»
13 years 5 months ago
Synchronization Verification in System-Level Design with ILP Solvers
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro ...
IEICET
2006
43views more  IEICET 2006»
13 years 5 months ago
Redundancy in Instruction Sequences of Computer Programs
Kazuhiro Hattanda, Shuichi Ichikawa
IEICET
2006
73views more  IEICET 2006»
13 years 5 months ago
A Weil Descent Attack against Elliptic Curve Cryptosystems over Quartic Extension Fields
Seigo Arita, Kazuto Matsuo, Koh-ichi Nagao, Mahoro...
IEICET
2006
37views more  IEICET 2006»
13 years 5 months ago
Least-Squares Linear Smoothers from Randomly Delayed Observations with Correlation in the Delay
Seiichi Nakamori, Aurora Hermoso-Carazo, Josefa Li...