20 search results - page 2 / 4 » eurocast 2005 |
EUROCAST
2005
Springer
13 years 10 months ago
2005
Springer
EUROCAST
2005
Springer
13 years 10 months ago
2005
Springer
EUROCAST
2005
Springer
13 years 10 months ago
2005
Springer
In this paper a way to have structures with partiality in its internal structure in a categorical approach is presented and, with this, a category of partial graphs Grp is given an...
EUROCAST
2005
Springer
13 years 10 months ago
2005
Springer
In this paper, an approach to synthesize correct programs from specifications is presented. The idea is to extract code from definitions appearing in statements which have been me...
EUROCAST
2005
Springer
13 years 10 months ago
2005
Springer
In this paper, we present a new pseudo-random sequence generator, constructed by the generalized discrete Baker transformation. This new generator is called Cascaded Baker Register...