See this document in CiteSeerX!

Informatica 29 (2005) 219-226 219  (Make Corrections)  
System Resource Utilization Analysis based on Model Checking Method Ki-Seok...



  Home/Search   Context   Related

 
View or download:
ai.ijs.si/informat...n%20Analysis...pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  ai.ijs.si/informatica/v...current (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: this paper, we show model checking methods can be used for resource utilization analysis of systems. We specify system utilization properties using temporal logic called LTL, and find a bottleneck of system performance using model checking (Update)

Active bibliography (related documents):   More   All
0.5:   A Software Suite for High-Performance Communications - On Clusters Of   (Correct)
0.2:   PARNASS: Porting Gigabit-LAN components to a workstation cluster - Griebel, Zumbusch (1997)   (Correct)
0.2:   BDM: A Multiprotocol Myrinet Control Program and Host .. - Henley, Doss.. (1997)   (Correct)

Similar documents based on text:
0.0:   Unknown -   (Correct)

BibTeX entry:   (Update)

@misc{ utilization-informatica,
  author = "System Resource Utilization",
  title = "Informatica 29 (2005) 219--226 219",
  url = "citeseer.ist.psu.edu/747704.html" }
Citations (may not include all citations):
1180   The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
828   Model Checking - Clarke, Grumberg et al. - 1999
609   Myrinet -- A Gigabit-per-Second Local-Area Network - Boden, Cohen et al. - 1995
603   Kluwer Academic Publishers (context) - Macmillan, Checking - 1993
470   Design and Validation of Computer Protocols (context) - Holzmann - 1991
375   IEEE Transactions on Software Engineering (context) - Holzmann, Checker - 1997
126   BIP: a new protocol designed for high performance networking.. (context) - Prylli, Tourancheau - 1998
86   The Virtual Interface Architecture (context) - Dunning, Regnier et al. - 1998
81   A Case for Networks of Workstations: NOW (context) - Anderson, Culler et al. - 1995
77   Net: A User-Level Network Interface for Parallel and Distrib.. (context) - Eicken, Basu et al. - 1995
51   An Implementation and Analysis of the Virtual Interface Arch.. - Buonadonna, Geweke et al. - 1998
20   Bottleneck Network Storage with TrapezeMyrinet (context) - Gadde, Yocum et al. - 1998
4   Myrinet User's Guide (context) - Inc - 1996
2   An Improved NIC Program for High-Performance MPI (context) - Prylli, Tourancheau et al. - 1999
1   Bottleneck Analysis of a Gigabit Network Interface Card (context) - Jin, Bang et al. - 2002
1   IEICE Transactions on Communications (context) - Yoo, Jin et al. - 2001
http://www.isi.edu/nsnam/ns

Documents on the same site (http://ai.ijs.si/informatica/vols/current.html):   More
Informatica 30 (2006) 87--95 87 - Integration Of Access   (Correct)
Informatica 29 (2005) 71--78 71 - Fast Discovery Of   (Correct)
Informatica 29 (2005) 13--32 13 - Survey Of Forecasting   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC