Sciweavers

500 search results - page 59 / 100
» Universality and Cellular Automata
Sort
View
122
Voted
ECAL
2001
Springer
15 years 8 months ago
Fault-Tolerant Structures: Towards Robust Self-Replication in a Probabilistic Environment
Abstract. Self-replicating structures in cellular automata have been extensively studied in the past as models of Artificial Life. However, CAs, unlike the biological cellular mod...
Daniel C. Bünzli, Mathieu S. Capcarrèr...
110
Voted
FMCAD
2006
Springer
15 years 7 months ago
Optimizations for LTL Synthesis
We present an approach to automatic synthesis of specifications given in Linear Time Logic. The approach is based on a translation through universal co-B
Barbara Jobstmann, Roderick Bloem
119
Voted
WCE
2007
15 years 4 months ago
Adaptive Automata Community Detection and Clustering: A generic methodology
— We present in this paper a generic methodology based on genetic automata for modelling community detection. With Communities, we deal with dynamic organizations which are self-...
Rawan Ghnemat, Cyrille Bertelle, Gérard Hen...
154
Voted
CONCUR
2008
Springer
15 years 5 months ago
Completeness and Nondeterminism in Model Checking Transactional Memories
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh
153
Voted
FGCS
2007
125views more  FGCS 2007»
15 years 3 months ago
An autonomic tool for building self-organizing Grid-enabled applications
In this paper we present CAMELotGrid, a tool to manage Grid computations of Cellular Automata that support the efficient simulation of complex systems modeled by a very large numb...
Gianluigi Folino, Giandomenico Spezzano