Information and Systems-Software Science(Date:2000/05/12)

Presentation
表紙

,  

[Date]2000/5/12
[Paper #]
目次

,  

[Date]2000/5/12
[Paper #]
Deductive Verification for Real-Time Systems

Takashi Yamanokuchi,  Satoshi Yamane,  

[Date]2000/5/12
[Paper #]SS2000-6
Emprical Studeis of Automatic Verification for OS Scheduler

MAKOTO KANTO,  SATOSHI YAMANE,  

[Date]2000/5/12
[Paper #]SS2000-7
Formalization of Program Structures Including Iterations with Break's

Tadamasa Satou,  

[Date]2000/5/12
[Paper #]SS2000-8
Designing Unlimited Size Resource C-Libraries Freeing Users from GC Annoyance

Naoki Nishida,  Masahiko Sakai,  Toshiki Sakabe,  

[Date]2000/5/12
[Paper #]SS2000-9
Study on Distributed Parallel Processing for Speeding up Prime Factorization in the Elliptic Curve Method

Hidenobu TSURUSAWA,  Morio SAKANOUE,  Takaya YUIZONO,  Takayasu FUTIDA,  Shigeru NAKAYAMA,  Sadayuki MURASHIMA,  

[Date]2000/5/12
[Paper #]SS2000-10
[OTHERS]

,  

[Date]2000/5/12
[Paper #]