Mirko Viroli

7th International Spatial Computing Workshop (SCW 2014), pp. 1-11
6 May 2014
Stefan Dulman, Luidnel Maignan, Antoine Spicher, Mirko Viroli (a cura di)
Proceedings

In spatial computing, there is a fundamental tension between discrete and continuous models of computation: computational devices are generally discrete, yet it is often useful to program them in terms of the continuous environment through which they are embedded. Aggregate programming models for spatial computers have attempted to resolve this tension in a variety of different ways, generating a profusion of approaches that are difficult to compare or combine. Recently, however, two minimal models have been proposed: continuous space-time universality and a discrete field calculus. This paper unifies these two models by proving that field calculus is space-time universal, and thus provides the first formal connection between continuous and discrete approaches to spatial computing.

(keywords) Computational Fields, Continuous models, Expressiveness
 @inproceedings{fields-scw2014,
Address = {AAMAS 2014, Paris, France},
Author = {Beal, Jacob AND Viroli, Mirko AND Damiani, Ferruccio},
Booktitle = {7th International Spatial Computing Workshop (SCW 2014)},
Editor = {Giavitto, Jean-Louis and Dulman, Stefan and Spicher, Antoine and Viroli, Mirko},
Keywords = {Computational Fields, Confluence, Functional Programming, Chemical rules}},
Month = {6~} # may,
Note = {Proceedings},
Pages = {59--64},
Title = {Engineering Confluent Computational Fields: from Functions to Rewrite Rules},
Year = 2014} 
Tags:

Pubblicazione

— autori/autrici

Mirko Viroli

— a cura di

Stefan Dulman, Luidnel Maignan, Antoine Spicher, Mirko Viroli

— stato

pubblicato

— tipo

articolo in atti

Sede di pubblicazione

— volume

7th International Spatial Computing Workshop (SCW 2014)

— pagine

1-11

— data di pubblicazione

6 May 2014

URL

PDF originale

BibTeX

— BibTeX ID
fields-scw2014
— BibTeX category
inproceedings

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY