6248 search results - page 332 / 1250 » Programming in a data factory |
234
click to vote
BMCBI
2004
15 years 7 months ago
2004
Background: All known genomes code for a large number of transcription factors. It is important to develop methods that will reveal how these transcription factors act on a genome...
200
click to vote
QRE
2010
2010
Improving quality of prediction in highly dynamic environments using approximate dynamic programming
15 years 5 months ago
In many applications, decision making under uncertainty often involves two steps- prediction of a certain quality parameter or indicator of the system under study and the subseque...
186
click to vote
FOSSACS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
169
click to vote
ADAEUROPE
2006
Springer
16 years 1 months ago
2006
Springer
In this paper we present data flow frameworks that are able to detect access anomalies in Ada multi-tasking programs. In particular, our approach finds all possible non-sequentia...
155
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Collective operations on distributed data sets foster a high-level data-parallel programming style that eases many aspects of parallel programming significantly. In this paper we...