6404 search results - page 461 / 1281 » Blocks |
178
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract. We show that the description logic SOQ with number restrictions on transitive roles is decidable by a terminating tableau calculus. The language decided by the calculus i...
196
click to vote
HIPC
2009
Springer
15 years 4 months ago
2009
Springer
In many-core architectures, memory blocks are commonly assigned to the banks of a NUCA cache by following a physical mapping. This mapping assigns blocks to cache banks in a round-...
139
click to vote
IMCSIT
2010
15 years 1 months ago
2010
In this article we intend to present a method of obtaining high complexity sinthetic scenes by using simple volumes as the building blocks. The below described method can be used t...
257
click to vote
QUESTA
2011
15 years 1 months ago
2011
Abstract We consider a system with N unit-service-rate queues in tandem, with exogenous arrivals of rate λ at queue 1, under a back-pressure (MaxWeight) algorithm: service at queu...
188
click to vote
CRYPTO
2012
Springer
13 years 9 months ago
2012
Springer
We describe a working implementation of leveled homomorphic encryption (without bootstrapping) that can evaluate the AES-128 circuit in three different ways. One variant takes und...