PART V: Integration of Synchrony and Asynchrony
Programming languages that have been used for real-time programming can be broadly categorized into: 1. Asynchronous Languages: Here, a program is treated as a set of loosely coupled independent execution units or processes, each process evolving at its own pace. Interprocess communication is done b...
Uložené v:
| Vydané v: | Real Time Programming: Languages, Specification And Verification s. 149 - 150 |
|---|---|
| Hlavní autori: | , |
| Médium: | Kapitola |
| Jazyk: | English |
| Vydavateľské údaje: |
Singapore
World Scientific Publishing Company
2009
WORLD SCIENTIFIC |
| Predmet: | |
| ISBN: | 9789810225667, 9810225660, 9789814499316, 9789812814029, 9812814027, 9814499315 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | Programming languages that have been used for real-time programming can be broadly categorized into:
1. Asynchronous Languages: Here, a program is treated as a set of loosely coupled independent execution units or processes, each process evolving at its own pace. Interprocess communication is done by mechanisms such as message passing. Communication as a whole is asynchronous in the sense that an arbitrary amount of time can pass between the desire of communication and its actual completion. This class includes languages such as Ada, Occam, CSP etc.
2. Perfectly Synchronous Languages: In this class, programs react instantaneously to its inputs by producing the required outputs. Statements evolve in a tightly coupled input-driven way deterministically and communication is done by instantaneous broadcast where the receiver receives a message exactly at the time it is sent. That is, a perfectly synchronous program produces its outputs from its input with no observable time delay. Languages such as Esterel [12], Lustre, Signal, Statecharts belong to this category. These languages are often referred to as reactive languages. These languages use the multiform notion of time rather than clock time… |
|---|---|
| AbstractList | Programming languages that have been used for real-time programming can be broadly categorized into:
1. Asynchronous Languages: Here, a program is treated as a set of loosely coupled independent execution units or processes, each process evolving at its own pace. Interprocess communication is done by mechanisms such as message passing. Communication as a whole is asynchronous in the sense that an arbitrary amount of time can pass between the desire of communication and its actual completion. This class includes languages such as Ada, Occam, CSP etc.
2. Perfectly Synchronous Languages: In this class, programs react instantaneously to its inputs by producing the required outputs. Statements evolve in a tightly coupled input-driven way deterministically and communication is done by instantaneous broadcast where the receiver receives a message exactly at the time it is sent. That is, a perfectly synchronous program produces its outputs from its input with no observable time delay. Languages such as Esterel [12], Lustre, Signal, Statecharts belong to this category. These languages are often referred to as reactive languages. These languages use the multiform notion of time rather than clock time… |
| Author | R K Shyamasundar S Ramesh |
| Author_xml | – sequence: 1 fullname: R K Shyamasundar – sequence: 2 fullname: S Ramesh |
| BookMark | eNqdkEtLAzEUhSM-sNb-BZk_UJubyVNXg_goFBStbkMmk9jRktTJiPTfm1K7EFx5N_cezj3f4pyggxCDQ-gM8DkAJRMlpJJAJFBMlI79wnUJsz00-mXs7zQmhHEujtBAEIUJpsCO0SilN5yHEi6oGKDJQ_U4L14uimno3Wtn-jaGIvriaR3soothXZjQFFXayVN06M0yudHPHqLnm-v51d14dn87vapm4xUw5sfGSG4JNEJiV4NXlgHxtqwVhqasSQ0NgLceG86lcABKet9QQZiX0hrDyyG63HK_Yrdskm1d6FvfWl3H-J40YL2pRP9dSU5X_0_rumudzwy6Zay6-PHpUq_dJm0zqjNLuzCrPr9r4BLKUmQm5JuX3yATfGo |
| ContentType | Book Chapter |
| Copyright | World Scientific Publishing Co. Pte. Ltd. |
| Copyright_xml | – notice: World Scientific Publishing Co. Pte. Ltd. |
| DBID | FFUUA |
| DEWEY | 005.273 |
| DOI | 10.1142/9789812814029_others05 |
| DatabaseName | ProQuest Ebook Central - Book Chapters - Demo use only |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 9789812814029 9812814027 9789814499316 9814499315 |
| EndPage | 150 |
| ExternalDocumentID | 10.1142/9789812814029_others05 EBC1681337_101_166 |
| GroupedDBID | -VQ -VX 089 20A 38. 5O. 92K 9WS A4J AABBV AATMT ABARN ABCYV ABIAV ABMRC ABQPQ ACBYE ACLGV ACZWY ADVEM AERYV AFOJC AHWGJ AIXPE AJFER AKHYG ALMA_UNASSIGNED_HOLDINGS ALUEM AMYDA AVGCG AZZ BBABE CDOZE CZZ DUGUG EBSCA ECOWB FFUUA GEOUK J-X JJU MYL PD6 PQQKQ PVBBV TM9 WMAQA XI1 YSPEL |
| ID | FETCH-LOGICAL-p155f-aa86c21d780eb1f9c512fc3b901d3b2b1d11fcf0a6687e1198ffd4725f88caa63 |
| ISBN | 9789810225667 9810225660 9789814499316 9789812814029 9812814027 9814499315 |
| IngestDate | Sat Mar 08 07:01:45 EST 2025 Tue Oct 21 06:32:59 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | false |
| LCCallNum | QA76.54 .S33 2010 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-p155f-aa86c21d780eb1f9c512fc3b901d3b2b1d11fcf0a6687e1198ffd4725f88caa63 |
| OCLC | 729020415 |
| PQID | EBC1681337_101_166 |
| PageCount | 2 |
| ParticipantIDs | proquest_ebookcentralchapters_1681337_101_166 worldscientific_books_10_1142_9789812814029_others05_brief worldscientific_books_10_1142_9789812814029_others05 |
| PublicationCentury | 2000 |
| PublicationDate | 2009 20091100 |
| PublicationDateYYYYMMDD | 2009-01-01 2009-11-01 |
| PublicationDate_xml | – year: 2009 text: 2009 |
| PublicationDecade | 2000 |
| PublicationPlace | Singapore |
| PublicationPlace_xml | – name: Singapore |
| PublicationTitle | Real Time Programming: Languages, Specification And Verification |
| PublicationYear | 2009 |
| Publisher | World Scientific Publishing Company WORLD SCIENTIFIC |
| Publisher_xml | – name: World Scientific Publishing Company – name: WORLD SCIENTIFIC |
| SSID | ssj0000426747 |
| Score | 1.3514618 |
| Snippet | Programming languages that have been used for real-time programming can be broadly categorized into:
1. Asynchronous Languages: Here, a program is treated as a... |
| SourceID | worldscientific proquest |
| SourceType | Enrichment Source Publisher |
| StartPage | 149 |
| SubjectTerms | PART V: Integration of Synchrony and Asynchrony Software Engineering |
| Title | PART V: Integration of Synchrony and Asynchrony |
| URI | http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=1681337&ppg=166&c=UERG https://www.worldscientific.com/doi/10.1142/9789812814029_others05 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1La9wwEBZN2kMp9F26faFDb8HEsmU9citt0i5dktBultyMrJVgD3HCOg3Jv--MJdu720BpoBdjCVmW9cnSzGi-ESEfM1tl2jiZSCOLhMOYSgxaxDTX1guROhWQnsjDQ3V6qo_jWe1Ne5yArGt1fa0v_ivUkAdgI3X2H-DuK4UMuAfQ4Qqww3VDIl63vca4sci3X5w5ZACg49VZJDRPol2yha09dN5Hax36NO7MoGVdxuooOoaRtTPDCsYxrkQUMH_e1Bbj6obwTZ-aLrlmRdCRTtfPVUc_Jl-CXWs6Phh34SSDlqkVbreBoqlXZjoWIo3GRZOF6LF_zsc8Cy4YQx1lyyxr0mJYgbpd942FqXcX_FtNW2RLSpjk7n_dPzr53pvYUD0EbSmEWYLHQFwB4XVIx2r6NAftL2cCdPe-cBoSoaQMiVCsiHRzaNfu7a1a01ketwFwA8kV8VwRYqZPySMktlBknMBnPyP3XP2cPOmO9aBxln9BdhF0OtujK5DTc097yClATgfIX5KTg_3p529JPFcjuQDp0SfGKGEzNpcqhZXaawtCn7d5BaLhPK-yis0Z89anRgglHWNaeT_nMiu8UtYYkb8i2_V57V4TWlTCyMobnnHDC1sYrY2Hbnfwj2Os_hFJuj4o293_6HJsw6c2JROK5blET0O4FyPCNzqqxKegXMufz8rbu3pE9u7yWFktF86_uds735KHw4_0jmxfLn-59-SBvbpcNMsPcSz-BjC1gpE |
| linkProvider | ProQuest Ebooks |
| 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%3Abook&rft.genre=bookitem&rft.title=Real+Time+Programming%3A+Languages%2C+Specification+And+Verification&rft.atitle=Part+V%3A+Integration+of+Synchrony+and+Asynchrony&rft.date=2009-11-01&rft.pub=WORLD+SCIENTIFIC&rft.isbn=9789812814029&rft.spage=149&rft.epage=150&rft_id=info:doi/10.1142%2F9789812814029_others05&rft.externalDBID=n%2Fa&rft.externalDocID=10.1142%2F9789812814029_others05 |
| thumbnail_s | http://cvtisr.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F1681337-l.jpg http://cvtisr.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fwww.worldscientific.com%2Faction%2FshowCoverImage%3Fdoi%3D10.1142%2F9789812814029_others05 |