880 search results - page 163 / 176 » Model checking erlang programs: the functional approach |
174
click to vote
BMCBI
2005
15 years 5 months ago
2005
Background: Molecular profiling generates abundance measurements for thousands of gene transcripts in biological samples such as normal and tumor tissues (data points). Given such...
180
click to vote
ISPASS
2008
IEEE
16 years 9 days ago
2008
IEEE
—The potential for improving the performance of data-intensive scientific programs by enhancing data reuse in cache is substantial because CPUs are significantly faster than me...
186
click to vote
ICPADS
2010
IEEE
15 years 3 months ago
2010
IEEE
The MapReduce programming model simplifies large-scale data processing on commodity clusters by having users specify a map function that processes input key/value pairs to generate...
164
click to vote
BMCBI
2004
15 years 5 months ago
2004
Background: Systems Biology Markup Language (SBML) is gaining broad usage as a standard for representing dynamical systems as data structures. The open source statistical programm...
198
click to vote
SEFM
2007
IEEE
16 years 5 days ago
2007
IEEE
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...