| 1. |
|
|
| 2. |
|
|
| 3. |
- Elmroth, Erik, 1964-, et al.
(författare)
-
Interfaces for Placement, Migration, and Monitoring of Virtual Machines in Federated Clouds
- 2009
-
Ingår i: Proceedings of the Eighth International Conference on Grid and Cooperative Computing (GCC 2009). - : IEEE Computer Society Press. - 9780769537665 ; , s. 253-260
-
Konferensbidrag (refereegranskat)abstract
- Current cloud computing infrastructure offerings are lacking in interoperability, which is a hindrance to the advancement and adoption of the cloud computing paradigm. As clouds are made interoperable, federations of clouds may be formed. Such federations are from the point of view of the user not burdened by vendor lock-in, and opens for business possibilities where a market place of cloud computing infrastructure can be formed. Federated clouds require unified management interfaces regarding the virtual machines (VMs) that comprise the services running in the cloud federation. Standardization efforts for the required management interfaces have so far focused on definition of description formats regarding VMs, and the control of already deployed VMs. We propose technology neutral interfaces and architectural additions for handling placement, migration, and monitoring of VMs in federated cloud environments, the latter as an extension of current monitoring architectures used in grid computing. The interfaces presented adhere to the general requirements of scalability, efficiency, and security in addition to specific requirements related to the particular issues of interoperability and business relationships between competing cloud computing infrastructure providers. In addition, they may be used equally well locally and remotely, creating a layer of abstraction that simplifies management of virtualized service components.
|
|
| 4. |
- Elmroth, Erik, 1964-, et al.
(författare)
-
Is the Future of Preservation Cloudy?
- 2013
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- This report documents the program and the outcomes of Dagstuhl Seminar 12472 “Is the Futureof Preservation Cloudy?”. Our seminar was composed of a series of panels structured as aseries of brief presentations followed by an open discussion. The seminar started with a sessionintroducing key concepts and definitions and illuminating the vast array of perspectives fromwhich attendees were addressing issues of cloud and preservation. We them proceeded into adiscussion of requirements from different types of communities and a subsequent discussion on howto protect the data and ensure its integrity and reliability. We next considered issues related tocloud infrastructure, in particular related to management of the bits and logical obsolescence. Wealso considered the economics of preservation and the ability to reuse knowledge. In addition tothese pre-planned panels, we had three breakout sessions that were identified by the participants:automated appraisal, design for forgetting, and PaaS/SaaS for data preservation. After theexecutive summary, we present summaries of the panels and reports on the breakout sessions,followed by brief abstracts from a majority of the seminar participants describing the materialthey presented in the panels.
|
|
| 5. |
|
|
| 6. |
|
|
| 7. |
|
|
| 8. |
- Proenca, Jose, et al.
(författare)
-
Typed Connector Families
- 2016
-
Ingår i: Formal Aspects Of Component Software. - Cham : Springer. - 9783319289342 - 9783319289335 ; , s. 294-311
-
Konferensbidrag (refereegranskat)abstract
- Typed models of connector/component composition specify interfaces describing ports of components and connectors. Typing ensures that these ports are plugged together appropriately, so that data can flow out of each output port and into an input port. These interfaces typically consider the direction of data flow and the type of values flowing. Components, connectors, and systems are often parameterised in such a way that the parameters affect the interfaces. Typing such connector families is challenging. This paper takes a first step towards addressing this problem by presenting a calculus of connector families with integer and boolean parameters. The calculus is based on monoidal categories, with a dependent type system that describes the parameterised interfaces of these connectors. As an example, we demonstrate how to define n-ary Reo connectors in the calculus. The paper focusses on the structure of connectors-well-connectedness-and less on their behaviour, making it easily applicable to a wide range of coordination and component-based models. A type-checking algorithm based on constraints is used to analyse connector families, supported by a proof-of-concept implementation.
|
|
| 9. |
- Proenca, Jose, et al.
(författare)
-
Typed connector families and their semantics
- 2017
-
Ingår i: Science of Computer Programming. - : Elsevier BV. - 0167-6423 .- 1872-7964. ; 146, s. 28-49
-
Tidskriftsartikel (refereegranskat)abstract
- Typed models of connector/component composition specify interfaces describing ports of components and connectors. Typing ensures that these ports are plugged together appropriately, so that data can flow out of each output port and into an input port. These interfaces typically consider the direction of data flow and the type of values flowing. Components, connectors, and systems are often parameterised in such a way that the parameters affect the interfaces. Typing such connector families is challenging. This paper takes a first step towards addressing this problem by presenting a calculus of connector families with integer and boolean parameters. The calculus is based on monoidal categories, with a dependent type system that describes the parameterised interfaces of these connectors. We use families of Reo connectors as running examples, and show how this calculus can be applied to Petri Nets and to BIP systems. The paper focuses on the structure of connectors-well-connectedness-and less on their behaviour, making it easily applicable to a wide range of coordination and component-based models. A type-checking algorithm based on constraints is used to analyse connector families, supported by a proof of-concept implementation.
|
|
| 10. |
- Proenza, J. A., et al.
(författare)
-
Cold plumes trigger contamination of oceanic mantle wedges with continental crust-derived sediments: Evidence from chromitite zircon grains of eastern Cuban ophiolites
- 2018
-
Ingår i: Geoscience Frontiers. - : Elsevier. - 1674-9871. ; 9:6, s. 1921-1936
-
Tidskriftsartikel (refereegranskat)abstract
- The origin of zircon grains, and other exotic minerals of typical crustal origin, in mantle-hosted ophiolitic chromitites are hotly debated. We report a population of zircon grains with ages ranging from Cretaceous (99 Ma) to Neoarchean (2750 Ma), separated from massive chromitite bodies hosted in the mantle section of the supra-subduction (SSZ)-type Mayarí-Baracoa Ophiolitic Belt in eastern Cuba. Most analyzed zircon grains (n = 20, 287 ± 3 Ma to 2750 ± 60 Ma) are older than the early Cretaceous age of the ophiolite body, show negative εHf(t) (−26 to −0.6) and occasional inclusions of quartz, K-feldspar, biotite, and apatite that indicate derivation from a granitic continental crust. In contrast, 5 mainly rounded zircon grains (297 ± 5 Ma to 2126 ± 27 Ma) show positive εHf(t) (+0.7 to +13.5) and occasional apatite inclusions, suggesting their possible crystallization from melts derived from juvenile (mantle) sources. Interestingly, younger zircon grains are mainly euhedral to subhedral crystals, whereas older zircon grains are predominantly rounded grains. A comparison of the ages and Hf isotopic compositions of the zircon grains with those of nearby exposed crustal terranes suggest that chromitite zircon grains are similar to those reported from terranes of Mexico and northern South America. Hence, chromitite zircon grains are interpreted as sedimentary-derived xenocrystic grains that were delivered into the mantle wedge beneath the Greater Antilles intra-oceanic volcanic arc by metasomatic fluids/melts during subduction processes. Thus, continental crust recycling by subduction could explain all populations of old xenocrystic zircon in Cretaceous mantle-hosted chromitites from eastern Cuba ophiolite. We integrate the results of this study with petrological-thermomechanical modeling and existing geodynamic models to propose that ancient zircon xenocrysts, with a wide spectrum of ages and Hf isotopic compositions, can be transferred to the mantle wedge above subducting slabs by cold plumes.
|
|
