1835 search results - page 171 / 367 » Functional Programming of Behavior-Based Systems |
145
Voted
CORR
2011
Springer
15 years 2 days ago
2011
Springer
—A system of linear dependent types for the lambda calculus with full higher-order recursion, called d PCF, is introduced and proved sound and relatively complete. Completeness h...
147
click to vote
CAV
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
199
Voted
POST
2012
14 years 19 days ago
2012
Provenance is an increasing concern due to the revolution in sharing and processing scientific data on the Web and in other computer systems. It is proposed that many computer sys...
135
click to vote
ISCA
2010
IEEE
15 years 10 months ago
2010
IEEE
Aggressive technology scaling into the nanometer regime has led to a host of reliability challenges in the last several years. Unlike onchip caches, which can be efficiently prot...
253
click to vote
BMCBI
2006
15 years 5 months ago
2006
Background: In the post-genomic era, systems-level studies are being performed that seek to explain complex biological systems by integrating diverse resources from fields such as...