Evaluating the Efficiency of Asynchronous Systems with FASE

In this paper, we present FASE (Faster Asynchronous Systems Evaluation), a tool for evaluating the worst-case efficiency of asynchronous systems. The tool is based on some well-established results in the setting of a timed process algebra (PAFAS: a Process Algebra for Faster Asynchronous Systems). T...

Full description

Saved in:
Bibliographic Details
Published inarXiv.org
Main Authors Buti, Federico, Massimo Callisto De Donato, Corradini, Flavio, Di Berardini, Maria Rita, Vogler, Walter
Format Paper
LanguageEnglish
Published Ithaca Cornell University Library, arXiv.org 06.05.2011
Subjects
Efficiency
Systems analysis
Online AccessGet full text

Cover

Abstract In this paper, we present FASE (Faster Asynchronous Systems Evaluation), a tool for evaluating the worst-case efficiency of asynchronous systems. The tool is based on some well-established results in the setting of a timed process algebra (PAFAS: a Process Algebra for Faster Asynchronous Systems). To show the applicability of FASE to concrete meaningful examples, we consider three implementations of a bounded buffer and use FASE to automatically evaluate their worst-case efficiency. We finally contrast our results with previous ones where the efficiency of the same implementations has already been considered.
AbstractList In this paper, we present FASE (Faster Asynchronous Systems Evaluation), a tool for evaluating the worst-case efficiency of asynchronous systems. The tool is based on some well-established results in the setting of a timed process algebra (PAFAS: a Process Algebra for Faster Asynchronous Systems). To show the applicability of FASE to concrete meaningful examples, we consider three implementations of a bounded buffer and use FASE to automatically evaluate their worst-case efficiency. We finally contrast our results with previous ones where the efficiency of the same implementations has already been considered.
Author Buti, Federico
Massimo Callisto De Donato
Corradini, Flavio
Vogler, Walter
Di Berardini, Maria Rita
Author_xml – sequence: 1
  givenname: Federico
  surname: Buti
  fullname: Buti, Federico
– sequence: 2
  fullname: Massimo Callisto De Donato
– sequence: 3
  givenname: Flavio
  surname: Corradini
  fullname: Corradini, Flavio
– sequence: 4
  givenname: Maria
  surname: Di Berardini
  middlename: Rita
  fullname: Di Berardini, Maria Rita
– sequence: 5
  givenname: Walter
  surname: Vogler
  fullname: Vogler, Walter
BookMark eNqNyr0KwjAUQOEgClbtO1xwLqQ39gecikTc615KSWxKTbQ3Ufr2OvgATmf4zoYtrbNqwSIUIk3KA-KaxUQD5xzzArNMROwoX-0YWm_sDXyvQGptOqNsN4PTUNFsu35y1gWCeiav7gRv43s4V7XcsZVuR1Lxr1u2P8vr6ZI8JvcMinwzuDDZLzXIy7woBaa5-O_6ACvpOK4
ContentType Paper
Copyright 2011. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
Copyright_xml – notice: 2011. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
DBID 8FE
8FG
ABJCF
ABUWG
AFKRA
AZQEC
BENPR
BGLVJ
CCPQU
DWQXO
HCIFZ
L6V
M7S
PIMPY
PQEST
PQQKQ
PQUKI
PRINS
PTHSS
DatabaseName ProQuest SciTech Collection
ProQuest Technology Collection
Materials Science & Engineering Collection
ProQuest Central (Alumni)
ProQuest Central
ProQuest Central Essentials
ProQuest Central
Technology Collection
ProQuest One Community College
ProQuest Central Korea
SciTech Premium Collection
ProQuest Engineering Collection
Engineering Database
Publicly Available Content Database
ProQuest One Academic Eastern Edition (DO NOT USE)
ProQuest One Academic
ProQuest One Academic UKI Edition
ProQuest Central China
Engineering Collection
DatabaseTitle Publicly Available Content Database
Engineering Database
Technology Collection
ProQuest Central Essentials
ProQuest One Academic Eastern Edition
ProQuest Central (Alumni Edition)
SciTech Premium Collection
ProQuest One Community College
ProQuest Technology Collection
ProQuest SciTech Collection
ProQuest Central China
ProQuest Central
ProQuest Engineering Collection
ProQuest One Academic UKI Edition
ProQuest Central Korea
Materials Science & Engineering Collection
ProQuest One Academic
Engineering Collection
DatabaseTitleList Publicly Available Content Database
Database_xml – sequence: 1
  dbid: 8FG
  name: ProQuest Technology Collection
  url: https://search.proquest.com/technologycollection1
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
Discipline Physics
EISSN 2331-8422
Genre Working Paper/Pre-Print
GroupedDBID 8FE
8FG
ABJCF
ABUWG
AFKRA
ALMA_UNASSIGNED_HOLDINGS
AZQEC
BENPR
BGLVJ
CCPQU
DWQXO
FRJ
HCIFZ
L6V
M7S
M~E
PIMPY
PQEST
PQQKQ
PQUKI
PRINS
PTHSS
ID FETCH-proquest_journals_20867832163
IEDL.DBID BENPR
IngestDate Thu Oct 10 20:07:06 EDT 2024
IsOpenAccess true
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-proquest_journals_20867832163
OpenAccessLink https://www.proquest.com/docview/2086783216?pq-origsite=%requestingapplication%
PQID 2086783216
PQPubID 2050157
ParticipantIDs proquest_journals_2086783216
PublicationCentury 2000
PublicationDate 20110506
PublicationDateYYYYMMDD 2011-05-06
PublicationDate_xml – month: 05
  year: 2011
  text: 20110506
  day: 06
PublicationDecade 2010
PublicationPlace Ithaca
PublicationPlace_xml – name: Ithaca
PublicationTitle arXiv.org
PublicationYear 2011
Publisher Cornell University Library, arXiv.org
Publisher_xml – name: Cornell University Library, arXiv.org
SSID ssj0002672553
Score 2.8062468
SecondaryResourceType preprint
Snippet In this paper, we present FASE (Faster Asynchronous Systems Evaluation), a tool for evaluating the worst-case efficiency of asynchronous systems. The tool is...
SourceID proquest
SourceType Aggregation Database
SubjectTerms Efficiency
Systems analysis
Title Evaluating the Efficiency of Asynchronous Systems with FASE
URI https://www.proquest.com/docview/2086783216
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwfV3PS8MwGP1wLYK3-Qt1cwT0GuiSNO3wIFNSh7Ax_AG7jS5NvHVznQcv_u1-iZkehB1LoCEhvC_vJXkP4DozrhJbS_uVNFSU5YAiV3GW-2yRGztgxmcRjCdy9CoeZ-ksCG5NuFa5xUQP1NVSO40cSXqOuMpZX96u3qlLjXKnqyFCowUxQ6aQRBDfqcn06VdlYTLDPTP_B7S-ehRtiKflyqwPYc_UR7DvL13q5hhuVLDart8I7sOI8nYO7i0kWVoybD5r7axrkZuTYCxOnGxKiuGzOoGrQr3cj-i2x3lYFc38bwz8FCKk9-YMSGqlMJJnwmhELRfyl_NKJJq5WODMZufQ3fWni93NHTj4UUFTmsguRJv1h7nEMrpZ9KCVFw-9MGP4Nf5S33Ebe7k
link.rule.ids 783,787,12777,21400,33385,33756,43612,43817
linkProvider ProQuest
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwfV3PS8MwGP3QFdGbP_HH1IBeA1uTph0eZEpK1a0MnbBb6dJkt26u8-B_b76Y6UHYOZCQEN6X95K8B3Aba6zExtBuJTTlZdmjlqug5X44TbTphdplEQxzkb3z50k08YJb459VrjHRAXU1V6iRW5KeWFxlYVfcLz4opkbh7aqP0NiGAK2qLPkKHmQ-ev1VWUIR2zMz-we0rnqk-xCMyoVeHsCWrg9hxz26VM0R3ElvtV3PiD2HEensHPAvJJkb0m--aoXWtZabE28sTlA2JWn_TR7DTSrHjxldj1j4XdEUf3NgJ9Cy9F6fAomM4FqwmGtlUQtD_hJW8Y4KMRY4NvEZtDf1dL65-Rp2s_FwUAye8pcL2PtRRCPaEW1orZaf-tKW1NX0yq_bN5x9fJw
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Evaluating+the+Efficiency+of+Asynchronous+Systems+with+FASE&rft.jtitle=arXiv.org&rft.au=Buti%2C+Federico&rft.au=Massimo+Callisto+De+Donato&rft.au=Corradini%2C+Flavio&rft.au=Di+Berardini%2C+Maria+Rita&rft.date=2011-05-06&rft.pub=Cornell+University+Library%2C+arXiv.org&rft.eissn=2331-8422