7943 search results - page 1 / 1589 » A calculus for costed computations |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
We develop a version of the picalculus Picost where channels are interpreted as resources which have costs associated with them. Code runs under the financial responsibility of own...
TCS
2008
13 years 5 months ago
2008
We define a new cost model for the call-by-value lambda-calculus satisfying the invariance thesis. That is, under the proposed cost model, Turing machines and the call-by-value la...
IAT
2007
IEEE
13 years 11 months ago
2007
IEEE
To share resources in open distributed systems we have developed autonomous mobile programs, which periodically use a cost model to decide where to execute in a network. In additi...
POPL
2009
ACM
14 years 6 months ago
2009
ACM
Self-adjusting computation is an evaluation model in which programs can respond efficiently to small changes to their input data by using a change-propagation mechanism that updat...
LPAR
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...