11739 search results - page 156 / 2348 » Slideshow: functional presentations |
168
click to vote
CASES
2007
ACM
15 years 8 months ago
2007
ACM
This paper presents the first automatic scheme to allocate local (stack) data in recursive functions to scratch-pad memory (SPM) in embedded systems. A scratch-pad is a fast direct...
139
click to vote
BMCBI
2008
2008
Relating gene expression data on two-component systems to functional annotations in Escherichia coli
15 years 4 months ago
Background: Obtaining physiological insights from microarray experiments requires computational techniques that relate gene expression data to functional information. Traditionall...
142
click to vote
CAV
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formula describing the correctness condition ca...
141
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: High throughput methods of the genome era produce vast amounts of data in the form of gene lists. These lists are large and difficult to interpret without advanced com...
149
click to vote
NJC
2000
15 years 4 months ago
2000
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...