Zobrazeno 1 - 10
of 10
pro vyhledávání: '"D.3.3 Language Constructs and features"'
Publikováno v:
Logical Methods in Computer Science
Logical Methods in Computer Science, 2015, 4 (12), pp.76. ⟨10.2168/LMCS-11(4:12)2015⟩
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2015, 4 (12), pp.76. ⟨10.2168/LMCS-11(4:12)2015⟩
Logical Methods in Computer Science, 2015, 4 (12), pp.76. ⟨10.2168/LMCS-11(4:12)2015⟩
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2015, 4 (12), pp.76. ⟨10.2168/LMCS-11(4:12)2015⟩
Session types allow communication protocols to be specified type-theoretically so that protocol implementations can be verified by static type checking. We extend previous work on session types for distributed object-oriented languages in three ways.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4bde3eae61fca1d031cb2a90bbc3ddc2
https://doi.org/10.2168/lmcs-11(4:12)2015
https://doi.org/10.2168/lmcs-11(4:12)2015
Publikováno v:
Proceedings of the 10th International Workshop on Adaptive and Reflective Middleware (ARM'2011)
Middleware 2011-12th International Middleware Conference
Middleware 2011-12th International Middleware Conference, Dec 2011, Lisbon, Portugal. pp.22-28, ⟨10.1145/2088876.2088880⟩
ARM@Middleware
Middleware 2011-12th International Middleware Conference
Middleware 2011-12th International Middleware Conference, Dec 2011, Lisbon, Portugal. pp.22-28, ⟨10.1145/2088876.2088880⟩
ARM@Middleware
International audience; The highly evolutionary aspect of new application domains, such as pervasive computing, demands new and more adaptable integration solutions. Those solutions should be flexible enough to be modified at runtime and should provi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::382882de5e0224873a2b6500a5c4309a
https://hal.archives-ouvertes.fr/hal-00745722
https://hal.archives-ouvertes.fr/hal-00745722
Autor:
Vincent Balat
Publikováno v:
ML
ML '06: Proceedings of the ACM SIGPLAN 2006 workshop on ML
ACM SIGPLAN 2006 workshop on ML
ACM SIGPLAN 2006 workshop on ML, Sep 2006, Portland, United States. pp.84-94
ML '06: Proceedings of the ACM SIGPLAN 2006 workshop on ML
ACM SIGPLAN 2006 workshop on ML
ACM SIGPLAN 2006 workshop on ML, Sep 2006, Portland, United States. pp.84-94
International audience; Ocsigen is a framework for programming highly dynamic web sites in Objective Caml. It allows to program sites as Ocaml applications and introduces new concepts to take into account the particularities of Web interaction, espec
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::85bdd133e34a5889626572aacd401016
https://hal.archives-ouvertes.fr/hal-00150444
https://hal.archives-ouvertes.fr/hal-00150444
Publikováno v:
GRID COMPUTING: SOFTWARE ENVIRONMENTS AND TOOLS, edited by José C. Cunha and Omer F. Rana, pp. 230–256. Berlin: Springer-Verlag, 2006
info:cnr-pdr/source/autori:Marco Aldinucci; Massimo Coppola; Marco Vanneschi; Corrado Zoccolo; Marco Danelutto/titolo:ASSIST as a research framework for high-performance grid programming environments/titolo_volume:GRID COMPUTING: SOFTWARE ENVIRONMENTS AND TOOLS/curatori_volume:José C. Cunha and Omer F. Rana/editore: /anno:2006
Grid Computing: Software Environments and Tools ISBN: 9781852339982
Grid Computing: Software Environments and Tools
info:cnr-pdr/source/autori:Marco Aldinucci; Massimo Coppola; Marco Vanneschi; Corrado Zoccolo; Marco Danelutto/titolo:ASSIST as a research framework for high-performance grid programming environments/titolo_volume:GRID COMPUTING: SOFTWARE ENVIRONMENTS AND TOOLS/curatori_volume:José C. Cunha and Omer F. Rana/editore: /anno:2006
Grid Computing: Software Environments and Tools ISBN: 9781852339982
Grid Computing: Software Environments and Tools
The research activity of our group at the Department of Computer Science, University of Pisa, is focused on programming models and environments for the development of high-performance multidisciplinary applications. The enabling computing platforms w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5964d58a43233e55a1c0045832cc7f78
http://www.cnr.it/prodotto/i/138958
http://www.cnr.it/prodotto/i/138958
Autor:
Aldinucci M., Benoit A.
Publikováno v:
HLPP2005. International Workshop on High-Level Parallel Programming, Warwick University, Coventry, July 2005
info:cnr-pdr/source/autori:Aldinucci M.; Benoit A./congresso_nome:HLPP2005. International Workshop on High-Level Parallel Programming/congresso_luogo:Warwick University, Coventry,/congresso_data:July 2005/anno:2005/pagina_da:/pagina_a:/intervallo_pagine
info:cnr-pdr/source/autori:Aldinucci M.; Benoit A./congresso_nome:HLPP2005. International Workshop on High-Level Parallel Programming/congresso_luogo:Warwick University, Coventry,/congresso_data:July 2005/anno:2005/pagina_da:/pagina_a:/intervallo_pagine
One of the most promising technical innovations in present-day computing is the invention of grid technologies which harness the computational power of widely distributed collections of computers. However, the programming and optimisation burden of a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c88f8f6bae26add014151cdfe93dfe79
http://www.cnr.it/prodotto/i/120535
http://www.cnr.it/prodotto/i/120535
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.
Publikováno v:
Scopus-Elsevier
International SERIES on Information Systems and Management in Creative eMedia (CreMedia); No 2014/1 (2014): Proceedings of the 7th Workshop on Semantic Ambient Media Experiences (SAME 2014); 11-18
International SERIES on Information Systems and Management in Creative eMedia (CreMedia); No 2014/1 (2014): Proceedings of the 7th Workshop on Semantic Ambient Media Experiences (SAME 2014); 11-18
Context-Adaptive Task models are a state-of-the-art executablemodelling language to develop pervasive computingsystems. Although these models have proven to be successfulin the automation and support of user daily tasks, they donot provide a proper c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::06d8e7bce7d8fb0a120570b52d284981
http://www.scopus.com/inward/record.url?eid=2-s2.0-84944396031&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-84944396031&partnerID=MN8TOARS
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.
Conference
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:
Ho BJ; University of California, Los Angeles, Los Angeles, CA 90095, USA., Nikzad N; Scripps Translational Science Institute, La Jolla, CA 92037, USA., Balaji B; University of California, Los Angeles, Los Angeles, CA 90095, USA., Srivastava M; University of California, Los Angeles, Los Angeles, CA 90095, USA.
Publikováno v:
Proceedings of the ... ACM International Conference on Ubiquitous Computing . UbiComp (Conference) [Proc ACM Int Conf Ubiquitous Comput] 2017 Sep; Vol. 2017, pp. 959-964.