1677 search results - page 259 / 336 » On the Completeness of Quantum Computation Models |
109
click to vote
CF
2007
ACM
15 years 5 months ago
2007
ACM
MppSoC is a SIMD architecture composed of a grid of processors and memories connected by a X-Net neighbourhood network and a general purpose global router. MppSoC is an evolution ...
121
click to vote
ACMICEC
2006
ACM
15 years 5 months ago
2006
ACM
Consider an open infrastructure in which anyone can deploy mechanisms to support automated decision making and coordination amongst self-interested computational agents. Strategyp...
127
click to vote
CASSIS
2004
Springer
15 years 5 months ago
2004
Springer
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...
127
click to vote
CONCUR
2006
Springer
15 years 5 months ago
2006
Springer
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...
111
click to vote
EURONGI
2006
Springer
15 years 5 months ago
2006
Springer
We consider wireless multihop data networks with random multi-access mechanisms at the MAC layer. In general, our aim is to study the performance as perceived by users in a dynamic...