1,721,008 research outputs found
Gvol application procedural interface
No full textAppendix of "Gvol: software libero per la manipolazione e visualizzazione di dati volumetrici"Documentazione tecnica della libreria GVOL
Configuring and installing debian gnu/linux on a 64 bit hp itanium2 architecture
Full text linkThis document describes the work performed to install the Debian GNU/Linux operating system on a Hewlett-Packard zx6000 workstation, based on the IntelItanium2 (McKinley) processor
TinyKB: a dynamic class/object store and ORM for Python
No full textTinyKB is a Python module for defining and handling object-oriented knowledge bases composed by cross-referencing
classes and objects stored in a SQL DBMS. It is also a “dynamic object-relational mapper” in two senses: the knowl-
edge base elements are dynamically mapped into autogenerated Python classes and objects, and the SQL schema is
dynamically extended according to class definitions. This approach departs from other ORMs, which usually expect
SQL-mapped Python classes to be statically defined in the source code, and provide little or no support for run-time
SQL schema extension. TinyKB uses Python dynamic features to provide an easy-to-use API for querying and han-
dling the knowledge base, while at the same time ensuring that the underlying SQL schema is normalized, well-typed
and data-centric (thus leveraging the DBMS capabilities for data consistency and integrity)
Gvol: software libero per la manipolazione e visualizzazione di dati volumetrici
Full text linkQuesto studio è stato svolto in collaborazione con il gruppo GEMS
del CRS4, all’interno delle attività inerenti il Progetto Laboratorio
Avanzato per la Progettazione e Simulazione sul CalcolatoreLa rapresentazione volumetrica e' un importante schema di rappresentazione di modelli geometrici solidi. Questo lavoro illustra l'analisi e lo sviluppo di una libreria di componenti per la rappresentazione e la visualizzazione di dati volumetrici, chiamata GVol, orientata alla prototipazione rapida di applicazioni software general-purpose e all'ottimizzazione delle loro prestazioni. I settori applicativi di riferimento sono l'analisi e non distruttiva di materiali e le applicazione nel settore bio-medicale.Inedit
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
FLOW: Implementazione e analisi formale di un framework per il calcolo parallelo e distribuito
No full textQuesta tesi si articola in due parti. Nella prima viene illustrato il lavoro svolto nell'ambito
del progetto RTSim del Crs4 (parte del progetto Miur Far 630), con la
realizzazione di un framework per il calcolo parallelo e
distribuito chiamato FLOW, applicato alla simulazione d'impianto di
centrali elettriche turbogas. Nella seconda parte viene invece introdotta una
descrizione e un'analisi formale delle applicazioni sviluppate
utilizzando FLOW: vengono definite due implementazioni dotate di
semantica (una basata sul pi-calcolo, ed una sul linguaggio di
coordinamento Linda), e vengono analizzate e verificate alcune
proprietà ed equivalenze legate alla topologia della comunicazione
inter-processo
Photo-realistic image synthesis in volume rendering for rapid prototyping and CAM applications (draft)
Full text linkThis document describes some preliminary results of the application of direct volume visualization and realistic image synthesis techniques in Computer Aided Manufacturing (CAM) field. The final goal is to analyze the use volume data representation and direct volume visualization techniques respectively as basic geometric element and rendering method for numerical control (NC) process planning and simulation. In particular we want to study their application in the process of human organs replication by rapid prototyping techniques. Volume rendering techniques will be used to evaluate the geometric reconstruction of volumetric data (e.g. parts of human body extracted from a CT scan as the carotid arteries), in order to obtain the best polygonal approximation of a dataset. The polygonal model resulting from this evaluation stage will be used to drive its physical reconstruction via rapid prototyping. A volume rendering program, called VolCastIA, is presented. VolCastIA is a software environment built to evaluate the use of state of the art image synthesis methods in the volume rendering context
Choreography Synthesis as Contract Agreement
Full text linkWe propose a formal model for distributed systems, where each participant advertises its requirements and obligations as behavioural contracts, and where multiparty sessions are started when a set of contracts allows to synthesise a choreography. Our framework is based on the CO2 calculus for contract-oriented computing, and borrows concepts and results from the session type literature. It supports sessions where the number of participants is not determined beforehand, and keeps CO2's ability to rule out participants that are culpable if contracts are not fulfilled at runtime. We show that we have progress and session fidelity in CO2, as a result of the honesty of participants — i.e., their ability to always adhere to their contracts
Honesty by typing
Full text linkWe propose a type system for a calculus of contracting processes. Processes may stipulate contracts, and then either behave honestly, by keeping the promises made, or not. Type safety guarantees that a typeable process is honest - that is, the process abides by the contract it has stipulated in all possible contexts, even those containing dishonest adversaries
Preface for the special issue on selected software artifacts from DisCoTec 2023 – the 18th International Federated Conference on Distributed Computing Techniques
No full textThis special issue includes a selection of the artefacts presented at the 18th International Federated Conference on Distributed Computing Techniques (DiScoTec 2023), held at the NOVA University Lisbon (Lisbon, Portugal), in June 18-23, 2023. The federated conference included: COORDINATION 2023, the 25th International Conference on Coordination Models and Languages); DAIS 2023, the 23rd International Conference on Distributed Applications and Interoperable Systems; and FORTE 2023, the 43rd International Conference on Formal Techniques for Distributed Objects, Components, and Systems. All the three conferences welcomed submissions describing technological artefacts, including innovative prototypes supporting the modelling, development, analysis, simulation, or testing of systems in the broad spectrum of distributed computing subjects. The artefact evaluation chairs have selected a subset of high-quality accepted artefacts to be invited for submission to this special issue. Following the revision process, nine artefacts have been accepted to be part of this special issue. The published contributions include different types of artefacts, including programming libraries, frameworks, as well as tools for the analysis, verification, and simulation of distributed systems
- …
