220 search results - page 38 / 44 » ideal 2005 |
169
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
The Nix software deployment system is based on the paradigm of transparent source/binary deployment: distributors deploy descriptors that build components from source, while clien...
167
click to vote
MICRO
2005
IEEE
15 years 11 months ago
2005
IEEE
Conventional processors use a fully-associative store queue (SQ) to implement store-load forwarding. Associative search latency does not scale well to capacities and bandwidths re...
171
click to vote
TPHOL
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
160
click to vote
VISUALIZATION
2005
IEEE
15 years 11 months ago
2005
IEEE
Recent years have seen an immense increase in the complexity of geometric data sets. Today’s gigabyte-sized polygon models can no longer be completely loaded into the main memor...
170
click to vote
PLDI
2005
ACM
15 years 11 months ago
2005
ACM
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...