4067 search results - page 71 / 814 » Programs for Applying Symmetries |
ECOOPW
2007
Springer
14 years 2 months ago
2007
Springer
ICCS
2003
Springer
14 years 1 months ago
2003
Springer
CIE
2010
Springer
14 years 25 days 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
14 years 1 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...
SOFSEM
2010
Springer
14 years 4 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...