643 search results - page 91 / 129 » Semantic Determinism and Functional Logic Program Properties |
107
Voted
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...
114
click to vote
ICFP
2007
ACM
16 years 1 months ago
2007
ACM
Sharing analysis and uniqueness typing are static analyses that aim at determining which of a program's objects are to be used at most once. There are many commonalities betw...
116
Voted
GECCO
2003
Springer
15 years 7 months ago
2003
Springer
In this paper, a two-phase evolutionary optimization scheme is proposed for obtaining optimal structure of fuzzy control rules and their associated weights, using evolutionary prog...
132
click to vote
FPGA
2004
ACM
15 years 7 months ago
2004
ACM
The cost functions used to evaluate logic synthesis transformations for FPGAs are far removed from the final speed and routability determined after placement, routing and timing a...
123
click to vote
JFP
2000
15 years 1 months ago
2000
Indeterminism is typical for concurrent computation. If several concurrent actors compete for the same resource then at most one of them may succeed, whereby the choice of the suc...