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)
communication protocolresponsivenessverificationvirtual system statereachability analysis
 Summary | Full Text:PDF

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
real-time systemsfault-tolerant computingresponsive systemsresponsive schedulingresponsivenessearliest deadline first
 Summary | Full Text:PDF