27 search results - page 5 / 6 » Synchronization of Boolean Dynamical Systems: A Spectral Cha... |
CSR
2010
Springer
15 years 25 days ago
2010
Springer
We introduce the notion of sofic tree-shifts which corresponds to symbolic dynamical systems of infinite trees accepted by finite tree automata. We show that, contrary to shifts of...
FCT
1999
Springer
15 years 1 months ago
1999
Springer
The aim of this paper is to investigate the relation between two models of concurrent systems: tile rewrite systems and coalgebras. Tiles are rewrite rules with side e ects which a...
80
Voted
EMSOFT
2010
Springer
14 years 7 months ago
2010
Springer
In the design of hard real-time systems, the feasibility of the task set is one of the primary concerns. However, in embedded systems with scarce resources, optimizing resource us...
109
click to vote
PADS
2003
ACM
15 years 2 months ago
2003
ACM
We describe two major developments in the General Network Simulation Integration System (Genesis): the support for BGP protocol in large network simulations and distribution of th...
WWW
2005
ACM
15 years 10 months ago
2005
ACM
Search engines are the primary gateways of information access on the Web today. Behind the scenes, search engines crawl the Web to populate a local indexed repository of Web pages...