19798 search results - page 3680 / 3960 » Is Structural Subtyping Useful |
247
click to vote
IWAN
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we present GateScript, a scripting language for active applications to be executed on generic active gateways. Unlike other active networking platforms, it offers a...
160
click to vote
MIDDLEWARE
2004
Springer
15 years 10 months ago
2004
Springer
Emerging large scale utility computing systems like Grids promise computing and storage to be provided to end users as a utility. System management services deployed in the middle...
132
click to vote
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
This paper introduces dynamic object colocation, an optimization to reduce copying costs in generational and other incremental garbage collectors by allocating connected objects t...
143
click to vote
SPIN
2004
Springer
15 years 10 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
167
click to vote
UPP
2004
Springer
15 years 10 months ago
2004
Springer
Self-assembly is the spontaneous self-ordering of substructures into superstructures driven by the selective affinity of the substructures. DNA provides a molecular scale material...