1746 search results - page 284 / 350 » A linear implementation of PACMAN |
120
Voted
ATS
2005
IEEE
15 years 5 months ago
2005
IEEE
Reversibility is of interest in achieving extremely low power dissipation; it is also an inherent design requirement of quantum computation. Logical fault models for conventional ...
154
Voted
CCGRID
2005
IEEE
15 years 5 months ago
2005
IEEE
We introduce the Composite Endpoint Protocol (CEP) which efficiently composes a set of transmission elements to support high speed flows which exceed the capabilities of a single...
135
Voted
INFOSCALE
2007
ACM
15 years 5 months ago
2007
ACM
Searching for non-text data (e.g., images) is mostly done by means of metadata annotations or by extracting the text close to the data. However, supporting real content-based audi...
139
Voted
SERVICES
2010
15 years 4 months ago
2010
In recent years, a number of approaches to semantic Web service matchmaking have been proposed. Most of these proposals are based on discrete and thus relatively coarse Degrees of...
117
Voted
FORTE
2008
15 years 4 months ago
2008
Abstract. Several recent works have considered parameterized verification, i.e. automatic verification of systems consisting of an arbitrary number of finite-state processes organi...