System Resource Utilization Analysis based on Model Checking Method Ki-Seok...  Home/Search
Context
Related
| ai.ijs.si/informat...n%20Analysis...pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ai.ijs.si/informatica/v...current (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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