1611 search results - page 227 / 323 » A Library for Self-Adjusting Computation |
166
click to vote
HIPC
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we describe the design and implementation of a C++ based Common Component Architecture (CCA) framework, XCAT-C++. It can efficiently marshal and unmarshal large data...
129
click to vote
ICCSA
2005
Springer
15 years 11 months ago
2005
Springer
Component-Based Development (CBD) is gaining popularity as an effective reuse technology. Components in CBD are mainly for interorganizational reuse, rather than intra-organization...
146
click to vote
ICS
2005
Tsinghua U.
15 years 11 months ago
2005
Tsinghua U.
A key step in program optimization is the determination of optimal values for code optimization parameters such as cache tile sizes and loop unrolling factors. One approach, which...
168
click to vote
RTA
2005
Springer
15 years 11 months ago
2005
Springer
Proof-carrying code provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set ...
151
click to vote
SPIN
2005
Springer
15 years 11 months ago
2005
Springer
We present a novel algorithm for repairing structurally complex data. Given an assertion that represents desired structural integrity constraints and a structure that violates them...