Zobrazeno 1 - 10
of 21
pro vyhledávání: '"S. Lizeth Tapia Tarifa"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 228, Iss Proc. iFMCloud 2016, Pp 16-26 (2016)
The use of cloud technology can offer significant savings for the deployment of services, provided that the service is able to make efficient use of the available virtual resources to meet service-level requirements. To avoid software designs that sc
Externí odkaz:
https://doaj.org/article/11955698d305474b8c0ed8f2eca1e437
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, S. Lizeth Tapia Tarifa, David Cameron, Einar Broch Johnsen
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031197611
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c428d8f1d4cd3a80d7b1f6d37a378ee1
https://doi.org/10.1007/978-3-031-19762-8_6
https://doi.org/10.1007/978-3-031-19762-8_6
Publikováno v:
SCC
This paper describes emergent challenges in extending and uniting research in service science and process mining. By combining formal representations of user journeys with process mining constructs, we aim to develop tools for automated capture and a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4fcc8397ab945e459f0a5a5f4f86d447
https://doi.org/10.1109/scc53864.2021.00051
https://doi.org/10.1109/scc53864.2021.00051
Publikováno v:
Science of Computer Programming. 223:102861
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4d6516ea79f32bd5b3eafc412a103b07
https://doi.org/10.1016/j.scico.2022.102861
https://doi.org/10.1016/j.scico.2022.102861
Publikováno v:
Science of Computer Programming. 179:24-53
The performance of software running on parallel or distributed architectures can be severely affected by the location of data. In shared memory multicore architectures, data movement between caches and main memory is driven by data accesses from task
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cbaed84dd18950e259b0e0672a078e03
https://doi.org/10.1016/j.scico.2019.04.003
https://doi.org/10.1016/j.scico.2019.04.003
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319900889
It's All About Coordination
It's All About Coordination
It is well-known that the difference between theory and practice seems smaller in theory than in practice. From the perspective of the coordinator, the coordinated components play the role of wild beasts, fortunately imprisoned in boxes. From the per
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2ff145afef19801b217c518b30b2557e
https://doi.org/10.1007/978-3-319-90089-6_8
https://doi.org/10.1007/978-3-319-90089-6_8
Publikováno v:
SoftCOM
Although insufficient software scalability and bad resource management can easily consume any potential savings from cloud deployment, the scalability of software executed on the cloud empowers the software designer, who can fully control the trade-o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::81e25cc4a79814ad24077abbe6d79232
https://doi.org/10.23919/softcom.2017.8115501
https://doi.org/10.23919/softcom.2017.8115501
Autor:
Frank S. de Boer, Peter Y. H. Wong, Elvira Albert, Reiner Hähnle, S. Lizeth Tapia Tarifa, Rudolf Schlatte, Einar Broch Johnsen
Publikováno v:
Service Oriented Computing and Applications. 8:323-339
We demonstrate by a case study of an industrial distributed system how performance, resource consumption, and deployment on the cloud can be formally modeled and analyzed using the abstract behavioral specification language Real-Time ABS. These non-f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::547191d93fcdd45bf8901e3f81123800
https://doi.org/10.1007/s11761-013-0148-0
https://doi.org/10.1007/s11761-013-0148-0
Publikováno v:
SAC
This paper presents a formal semantics of multicore architectures with private cache, shared memory, and instantaneous inter-core communications. The purpose of the semantics is to provide an operational understanding of how low-level read and write
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d96b7047a5e4352553e52b0d0710d62a
https://doi.org/10.1145/2851613.2851718
https://doi.org/10.1145/2851613.2851718