43 search results - page 2 / 9 » birthday 2003 |
BIRTHDAY
2003
Springer
13 years 9 months ago
2003
Springer
BIRTHDAY
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. We present a general methodology for non-deterministic programming based on pure functional programming. We construct families of automata constructions which are used as...
BIRTHDAY
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. We give analytic inclusion-exclusion formulas for the area and perimeter derivatives of a union of finitely many disks in the plane. Keywords. Disks, Voronoi diagram, al...
BIRTHDAY
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...
BIRTHDAY
2003
Springer
13 years 8 months ago
2003
Springer
We prove in this paper that if r and s are two semilinear power series in commuting variables and s has bounded coefficients, then r-s is a rational series. This result can be tho...