3605 search results - page 204 / 721 » Associated types with class |
131
click to vote
FMCO
2008
Springer
15 years 5 months ago
2008
Springer
This paper outlines a general picture of our ongoing work under EU Mobius and Sensoria projects on a type-based compilation and execution framework for a class of multicore CPUs. O...
118
click to vote
ENTCS
2008
15 years 4 months ago
2008
: Countably based filter spaces have been suggested in the 1970's as a model for recursion theory on higher types. Weak limit spaces with a countable base are known to be the ...
132
click to vote
JSYML
2008
15 years 4 months ago
2008
We define a class of finite state automata acting on transfinite sequences, and use these automata to prove that no singular cardinal can be defined by a monadic second order formu...
123
click to vote
ENTCS
2002
15 years 4 months ago
2002
We illustrate the use of intersection types as a semantic tool for proving easiness result on -terms. We single out the notion of simple easiness for -terms as a useful semantic p...
130
Voted
PE
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we consider a single-server cyclic polling system. Between visits to successive queues, the server is delayed by a random switch-over time. The order in which custom...