4067 search results - page 71 / 814 » Programs for Applying Symmetries |
ECOOPW
2007
Springer
15 years 9 months ago
2007
Springer
114
Voted
CIE
2010
Springer
15 years 7 months ago
2010
Springer
This paper discusses Curry’s work on how to implement the problem of inverse interpolation on the ENIAC (1946) and his subsequent work on developing a theory of program compositi...
BIRTHDAY
2003
Springer
15 years 8 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...
134
Voted
SOFSEM
2010
Springer
15 years 11 months ago
2010
Springer
We extend the lower bound of Adler et. al [1] and Berenbrink [3] for parallel randomized load balancing algorithms. The setting in these asynchronous and distributed algorithms is...