Keyword : responsiveness


A New Verification Method Using Virtual System States for Responsive Communication Protocols and Its Application to a Broadcasting Protocol
Shin'ichi NAGANO Yoshiaki KAKUDA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/04/25
Vol. E81-A  No. 4 ; pp. 596-604
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
communication protocolresponsivenessverificationvirtual system statereachability analysis
 Summary | Full Text:PDF(779.4KB)

A New Scheduling Scheme in Responsive Systems
Seongbae EUN Seung Ryoul MAENG Jung Wan CHO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/10/25
Vol. E78-D  No. 10 ; pp. 1282-1287
Type of Manuscript:  PAPER
Category: Fault Tolerant Computing
Keyword: 
real-time systemsfault-tolerant computingresponsive systemsresponsive schedulingresponsivenessearliest deadline first
 Summary | Full Text:PDF(524KB)