4155 search results - page 370 / 831 » Topic-Specific Optimization and Structuring |
212
click to vote
JAR
2006
15 years 6 months ago
2006
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
163
click to vote
SLIP
2009
ACM
16 years 1 months ago
2009
ACM
Different interconnection structures have been proposed to solve the performance limitation caused by scaling of on-chip global wires. In this paper, we give an overview of curre...
194
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
In ciphertext policy attribute-based encryption (CP-ABE), every secret key is associated with a set of attributes, and every ciphertext is associated with an access structure on a...
168
click to vote
ER
2007
Springer
16 years 1 months ago
2007
Springer
Processing a twig pattern query in XML document includes structural search and content search. Most existing algorithms only focus on structural search. They treat content nodes th...
193
click to vote
EUROPAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Algorithmic skeletons correspond to a high-level programming model that takes advantage of nestable programming patterns to hide the complexity of parallel/distributed ap...