Sciweavers

500 search results - page 68 / 100
» Universality and Cellular Automata
Sort
View
116
Voted
ISVD
2007
IEEE
15 years 10 months ago
Voronoi Tessellations and the Cosmic Web: Spatial Patterns and Clustering across the Universe
The spatial cosmic matter distribution on scales of a few up to more than a hundred Megaparsec1 displays a salient and pervasive foamlike pattern. Voronoi tessellations are a vers...
Rien van de Weygaert
119
Voted
FUIN
2007
91views more  FUIN 2007»
15 years 3 months ago
On Communicating Automata with Bounded Channels
Abstract. We review the characterization of communicating finite-state machines whose behaviors have universally or existentially bounded channels. These results rely on the theor...
Blaise Genest, Dietrich Kuske, Anca Muscholl
112
Voted
WIA
2001
Springer
15 years 8 months ago
Past Pushdown Timed Automata
d Abstract) Zhe Dang   , Tevfik Bultan ¡ , Oscar H. Ibarra ¡ , and Richard A. Kemmerer ¡ ¢ School of Electrical Engineering and Computer Science Washington State University P...
Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard ...
147
Voted
VLSID
2002
IEEE
81views VLSI» more  VLSID 2002»
15 years 8 months ago
A New Synthesis of Symmetric Functions
A new approach to synthesizing totally symmetric Boolean functions is presented. First, a novel cellular array is introduced for synthesizing unate symmetric functions. Using this...
Hafizur Rahaman, Debesh K. Das, Bhargab B. Bhattac...
100
Voted
TACAS
2010
Springer
167views Algorithms» more  TACAS 2010»
15 years 10 months ago
Antichain Algorithms for Finite Automata
Abstract. We present a general theory that exploits simulation relations on transition systems to obtain antichain algorithms for solving the reachability and repeated reachability...
Laurent Doyen, Jean-François Raskin