Let s Evaluate Performance, Algebraically Marco Bernardo Universit` di Bologna, Dipartimento di Scienze dell Informazione a Mura Anteo Zamboni 7, 40127 Bologna, Italy E-mail: bernardo@cs.unibo.it We discuss the bene ts of using process algebras in the eld of performance modeling and evaluation. We brie y present problems that have been tackled, theoretical results, and future developments. Many computing systems consist of a possibly huge number of components that not only work independently but also communicate with each other from time to time. Examples of such systems are communication protocols, operating systems, embedded control systems for automobiles, airplanes, and medical equipment, railway signaling systems, air tra c control systems, distributed systems and algorithms, computer architectures, and integrated circuits. The catastrophic consequences of failures, such as loss of human lives, environmental damages, and nancial losses, in many of these critical systems compel computer scientists to develop formal description techniques for ensuring that these systems are implemented correctly despite of their complexity. Formal methods are conceived to allow the correctness of a system design to be formally veri ed because the design can be described in a mathematically precise fashion, correctness criteria can be speci ed in a similarly precise way,
End of preview. The entire article is 5 pages. To view the full-text, please rent this article to continue.
/lp/association-for-computing-machinery/let-s-evaluate-performance-algebraically-1Xf6TjR90n
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%
Let's evaluate performance algebraically
Bernardo, Marco
Follow ACM Computing Surveys (CSUR)
, Volume 31 (3es)
Association for Computing Machinery – Sep 1, 1999
More Info
More Like This Article
View All dataSource[]=actageo&dataSource[]=aspet&dataSource[]=aaos&dataSource[]=aacc&dataSource[]=aacr&dataSource[]=aea&dataSource[]=aip&dataSource[]=ajnr&dataSource[]=ams&dataSource[]=aps_physical&dataSource[]=appi_book&dataSource[]=appi_journal&dataSource[]=apha&dataSource[]=asip&dataSource[]=asm&dataSource[]=asn&dataSource[]=aspb&dataSource[]=avs&dataSource[]=annual_reviews&dataSource[]=arxiv&dataSource[]=acm&dataSource[]=berghahn&dataSource[]=cabi&dataSource[]=clinical_trials&dataSource[]=dailymed&dataSource[]=degruyter&dataSource[]=du_press&dataSource[]=esa&dataSource[]=eu_press&dataSource[]=elsevier&dataSource[]=emerald&dataSource[]=ejtr&dataSource[]=emea&dataSource[]=epo&dataSource[]=faseb&dataSource[]=gsa&dataSource[]=health_affairs&dataSource[]=hindawi&dataSource[]=imanager&dataSource[]=imedpub&dataSource[]=informa_healthcare&dataSource[]=informs&dataSource[]=iop&dataSource[]=iucr&dataSource[]=iospress&dataSource[]=jbjs&dataSource[]=leftcoast&dataSource[]=lu_press&dataSource[]=mesharpe&dataSource[]=mary_ann_liebert&dataSource[]=medline&dataSource[]=mit_press&dataSource[]=nature&dataSource[]=oxford&dataSource[]=pier_professional&dataSource[]=pnas&dataSource[]=portlandpress&dataSource[]=psyc_articles&dataSource[]=psyc_books&dataSource[]=psyc_critiques&dataSource[]=plos_journal&dataSource[]=pubmed_central&dataSource[]=rsna&dataSource[]=rockefeller&dataSource[]=rcn&dataSource[]=ria&dataSource[]=rsc&dataSource[]=sage&dataSource[]=spie&dataSource[]=springer_journal&dataSource[]=springer&dataSource[]=taylor_francis&dataSource[]=aps&dataSource[]=the_scientist&dataSource[]=uc_press&dataSource[]=uspto_abstract&dataSource[]=wiley&dataSource[]=pct
© 2012 DeepDyve, Inc. All rights reserved.
Terms of Service | Privacy Policy
