371 search results - page 71 / 75 » Pushdown Automata Simulator |
107
click to vote
WDAG
2005
Springer
15 years 7 months ago
2005
Springer
Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algo...
110
click to vote
PODC
2004
ACM
15 years 7 months ago
2004
ACM
We explore the computational power of networks of small resource-limited mobile agents. We define two new models of computation based on pairwise interactions of finite-state ag...
119
Voted
ICTAI
2000
IEEE
15 years 6 months ago
2000
IEEE
Abstract— Polling policies have been introduced to simplify the accessing process in client/server systems by a centralized control access scheme. This paper considers a client/s...
118
Voted
DFT
2004
IEEE
15 years 5 months ago
2004
IEEE
Quantum dot Cellular Automata (QCA) is amongst promising new computing scheme in the nano-scale regimes. As an emerging technology, QCA relies on radically different operations in...
129
click to vote
COCO
2008
Springer
15 years 3 months ago
2008
Springer
We introduce a simple game family, called Constraint Logic, where players reverse edges in a directed graph while satisfying vertex in-flow constraints. This game family can be in...