743 search results - page 36 / 149 » A Calculus of Gamma Programs |
ECOOP
1994
Springer
13 years 11 months ago
1994
Springer
There is an undeniable demand to capture already proven and matured object-oriented design so that building reusable object-oriented software does not always have to start from scr...
SIAMJO
2002
13 years 7 months ago
2002
We outline a new approach for radiosurgery treatment planning, based on solving a series of optimization problems. We consider a specific treatment planning problem for a speciali...
PODS
1994
ACM
13 years 11 months ago
1994
ACM
We present a typed polymorphic calculus that supports a general mechanism for view definition and object sharing among classes. In this calculus, a class can contain inclusion spe...
JFP
2000
13 years 7 months ago
2000
Indeterminism is typical for concurrent computation. If several concurrent actors compete for the same resource then at most one of them may succeed, whereby the choice of the suc...
ICFP
2006
ACM
14 years 7 months ago
2006
ACM
A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. These faults do not cause permanent damage, but may result in incorr...