3 search results - page 1 / 1 » Tensors of Comodels and Models for Operational Semantics |
ENTCS
2008
13 years 4 months ago
2008
In seeking a unified study of computational effects, in particular in order to give a general operational semantics agreeing with the standard one for state, one must take account...
LICS
2002
IEEE
13 years 9 months ago
2002
IEEE
The meaning and mathematical consequences of linearity (managing without a presumed ability to copy) are studied for a path-based model of processes which is also a model of affi...
LCPC
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Empirical optimizers like ATLAS have been very effective in optimizing computational kernels in libraries. The best choice of parameters such as tile size and degree of l...