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)

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
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} 


— autori/autrici

Mirko Viroli

— a cura di

Stefan Dulman, Luidnel Maignan, Antoine Spicher, Mirko Viroli

— stato


— tipo

articolo in atti

Sede di pubblicazione

— volume

7th International Spatial Computing Workshop (SCW 2014)

— pagine


— data di pubblicazione

6 May 2014


PDF originale


— BibTeX ID
— BibTeX category

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