2272 search results - page 174 / 455 » A Calculus for |
127
click to vote
SIAMREV
2011
14 years 7 months ago
2011
This paper deals with efficient numerical representation and manipulation of differential and integral operators as symbols in phase-space, i.e., functions of space x and frequen...
139
click to vote
CPP
2011
14 years 4 months ago
2011
Abstract. Dependent session types allow us to describe not only properties of the I/O behavior of processes but also of the exchanged data. In this paper we show how to exploit dep...