5863 search results - page 476 / 1173 » Calculating Functional Programs |
237
click to vote
ECEASST
2006
15 years 7 months ago
2006
We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial soft...
166
click to vote
ENTCS
2000
15 years 7 months ago
2000
Haskell has long needed a debugger. Although there has been much research into the topic of debugging lazy functional programs, no robust tool has yet come from the Haskell commun...
237
Voted
JMLR
2012
13 years 10 months ago
2012
This paper proposes a new randomized strategy for adaptive MCMC using Bayesian optimization. This approach applies to nondifferentiable objective functions and trades off explor...
192
click to vote
RTSS
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—The functional consolidation induced by the costreduction trends in embedded systems can force tasks of different criticality (e.g. ABS Brakes with DVD) to share a proce...
199
Voted
BMCBI
2010
15 years 7 months ago
2010
Background: Large datasets of protein interactions provide a rich resource for the discovery of Short Linear Motifs (SLiMs) that recur in unrelated proteins. However, existing met...