4757 search results - page 603 / 952 » Monads for Functional Programming |
177
Voted
CP
2007
Springer
16 years 26 days ago
2007
Springer
The increasing levels of system integration in Multi-Processor System-on-Chips (MPSoCs) emphasize the need for new design flows for efficient mapping of multi-task applications o...
168
click to vote
GECCO
2007
Springer
16 years 26 days ago
2007
Springer
In this paper, we propose a new approach that consists of the extended compact genetic algorithm (ECGA) and split-ondemand (SoD), an adaptive discretization technique, to economic...
139
click to vote
ICALP
2007
Springer
16 years 26 days ago
2007
Springer
Say that f : {0, 1}n → {0, 1} -approximates g : {0, 1}n → {0, 1} if the functions disagree on at most an fraction of points. This paper contains two results about approximatio...
192
click to vote
ACL2
2006
ACM
16 years 20 days ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
201
click to vote
CLUSTER
2005
IEEE
16 years 10 days ago
2005
IEEE
Thread migration moves a single call-stack to another machine to improve either load balancing or locality. Current approaches for checkpointing and thread migration are either no...