7943 search results - page 29 / 1589 » A calculus for costed computations |
IPPS
2009
IEEE
14 years 2 months ago
2009
IEEE
Public resource computing depends on the availability of computing resources that have been contributed by individuals. The amount of resources can be increased by incentivizing r...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
We present an algorithm for computing directly the denotation of a modal
CORR
2011
Springer
12 years 11 months ago
2011
Springer
—We consider timed Petri nets, i.e., unbounded Petri nets where each token carries a real-valued clock. Transition arcs are labeled with time intervals, which specify constraints...
TPDS
1998
13 years 7 months ago
1998
—A bus oriented network where there is a charge for the amount of divisible load processed on each processor is investigated. A cost optimal processor sequencing result is found ...
PPL
2008
13 years 7 months ago
2008
The aim of this work is to introduce a computational costs system associated to a semantic framework for orthogonal data and control parallelism handling. In such a framework a pa...