880 search results - page 163 / 176 » Model checking erlang programs: the functional approach |
144
Voted
BMCBI
2005
15 years 3 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...
149
Voted
ISPASS
2008
IEEE
15 years 10 months 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...
156
Voted
ICPADS
2010
IEEE
15 years 1 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...
131
Voted
BMCBI
2004
15 years 3 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...
163
Voted
SEFM
2007
IEEE
15 years 10 months 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 ...