Coordination of systems with real-time properties in manifold
dc.contributor.author | Papadopoulos, George Angelos | en |
dc.contributor.author | Arbab, Farhad | en |
dc.creator | Papadopoulos, George Angelos | en |
dc.creator | Arbab, Farhad | en |
dc.date.accessioned | 2019-11-13T10:41:45Z | |
dc.date.available | 2019-11-13T10:41:45Z | |
dc.date.issued | 1996 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54741 | |
dc.description.abstract | This paper combines work done in the areas of asynchronous timed computations and coordination models in order to derive a framework able to express real-time coordination without adhering to special architectures or real-time programming languages. In particular, it is shown how the coordination language MANIFOLD can be used to support coordinators with bounded response time. The only assumption made about the coordinated components is that they adhere to some constraints as imposed by timed asynchronous computational models derived for concurrent constraint languages. The model can be used as a basis for building complex software and hardware systems with the distinct advantage of enhancing reusability of existing components. Indeed, it is already being used in a project aiming to develop distributed multimedia applications. | en |
dc.publisher | IEEE | en |
dc.source | Proceedings - IEEE Computer Society's International Computer Software & Applications Conference | en |
dc.source | Proceedings of the 1996 IEEE 20th Annual International Computer Software & Applications Conference, COMPSAC'96 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-0029723249&partnerID=40&md5=2ffd50019fbffd94ae2118b8417e7085 | |
dc.subject | Computer software | en |
dc.subject | Mathematical models | en |
dc.subject | Real time systems | en |
dc.subject | Information technology | en |
dc.subject | Distributed computer systems | en |
dc.subject | Computer architecture | en |
dc.subject | Data communication systems | en |
dc.subject | Parallel processing systems | en |
dc.subject | Large scale systems | en |
dc.subject | Computer hardware | en |
dc.subject | Computer programming languages | en |
dc.subject | Software engineering | en |
dc.subject | Interoperability | en |
dc.subject | Response time (computer systems) | en |
dc.subject | Real time coordination | en |
dc.subject | Timed asynchronous languages | en |
dc.subject | Distributed multimedia applications | en |
dc.subject | Large scale software system | en |
dc.subject | Reactive systems | en |
dc.subject | Real time programming languages | en |
dc.title | Coordination of systems with real-time properties in manifold | en |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.description.startingpage | 50 | |
dc.description.endingpage | 55 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Conference Object | en |
dc.description.notes | <p>Sponsors: IEEE | en |
dc.description.notes | Conference code: 45361 | en |
dc.description.notes | Cited By :9</p> | en |
dc.contributor.orcid | Papadopoulos, George Angelos [0000-0001-9250-4916] | |
dc.gnosis.orcid | 0000-0001-9250-4916 |
Files in this item
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |