3689 search results - page 557 / 738 » A Language with Distributed Scope |
145
click to vote
IPPS
2003
IEEE
2003
IEEE
Dynamically Loaded Classes as Shared Libraries: An Approach to Improving Virtual Machine Scalability
15 years 8 months ago
Sharing selected data structures among virtual machines of a safe language can improve resource utilization of each participating run-time system. The challenge is to determine wh...
127
click to vote
PODC
2003
ACM
15 years 8 months ago
2003
ACM
The distinction between safety and liveness properties is due to Lamport who gave the following informal characterization. Safety properties assert that nothing bad ever happens w...
109
click to vote
CP
2003
Springer
15 years 8 months ago
2003
Springer
Incomplete decision algorithms can often solve larger problem instances than complete ones. The drawback is that one does not know whether the algorithm will finish soon, later, ...
133
click to vote
ICS
2003
Tsinghua U.
2003
Tsinghua U.
Roccom: an object-oriented, data-centric software integration framework for multiphysics simulations
15 years 8 months ago
We describe an object-oriented software integration frameccom, abstracted from our five years of experience in developing a complex, integrated code for rocket simulation. Roccom...
136
click to vote
CW
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper describes how the web-based visualization can be greatly improved using the function-based shape modeling technique. The improvement is possible because the proposed fu...