103,670 research outputs found
Endemic freshwater planarians of Sardinia: Redescription of Dugesia hepta (Platyhelminthes, Tricladida) with a comparison of the Mediterranean species of the genus
No full textStocchino, G. A., Corso, G., Manconi, R., Casu, S., Pala, M. (2005): Endemic freshwater planarians of Sardinia: Redescription of Dugesia hepta (Platyhelminthes, Tricladida) with a comparison of the Mediterranean species of the genus. Journal of Natural History 39 (22): 1947-1960, DOI: 10.1080/00222930500060025, URL: http://dx.doi.org/10.1080/0022293050006002
FLOW: Implementation and Formal Analysis of a Framework for Parallel and Distributed Computing
No full textThis is a (not so short) summary of the MSc thesis defended by Alces
te Scalas and Giovanni Casu on April 2011. The complete work (which is written i
n Italian) can be downloaded as CRS4 Technical Report 11/14. The first part of t
he thesis (from page 3) describes our work during the RTSim project at CRS4, con
sisting in the development of an Erlang-based framework for parallel and distrib
uted computing (called FLOW) to be used for combined cycle power plant (CCPP) si
mulation. A relevant part of the contents appeared in the paper we presented at
the ACM ICFP 2008 Erlang Workshop. The second part (from page 10) presents a for
mal model for FLOW-based applications. The model is analysed and translated into
two different process algebras (one based on Pi-calculus, and another on the Li
nda coordination language); it is finally verified that these translations are `
`correct'', in the sense that they preserve the communication topology of proces
ses
Note sulla distribuzione della architettura tardo-gotica in Sardegna in Architettura Catalana in Sardegna
No full text
- …
